140007db6:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
140007dbb:	49 89 d5             	mov    %rdx,%r13
140007dbe:	48 f7 e3             	mul    %rbx
140007dc1:	49 01 c3             	add    %rax,%r11
140007dc4:	4a 8b 04 f9          	mov    (%rcx,%r15,8),%rax
140007dc8:	48 83 d2 00          	adc    $0x0,%rdx
140007dcc:	4d 01 da             	add    %r11,%r10
140007dcf:	49 89 d3             	mov    %rdx,%r11
140007dd2:	49 83 d3 00          	adc    $0x0,%r11
140007dd6:	4d 8d 7f 01          	lea    0x1(%r15),%r15
140007dda:	48 f7 e5             	mul    %rbp
140007ddd:	4d 39 cf             	cmp    %r9,%r15
140007de0:	0f 85 ba ff ff ff    	jne    0x140007da0
140007de6:	49 01 c5             	add    %rax,%r13
140007de9:	48 8b 06             	mov    (%rsi),%rax
140007dec:	48 83 d2 00          	adc    $0x0,%rdx
140007df0:	4d 01 d5             	add    %r10,%r13
140007df3:	4e 8b 14 fc          	mov    (%rsp,%r15,8),%r10
140007df7:	48 83 d2 00          	adc    $0x0,%rdx
140007dfb:	4e 89 6c fc f0       	mov    %r13,-0x10(%rsp,%r15,8)
140007e00:	49 89 d5             	mov    %rdx,%r13
140007e03:	48 31 d2             	xor    %rdx,%rdx
140007e06:	4d 01 dd             	add    %r11,%r13
140007e09:	48 83 d2 00          	adc    $0x0,%rdx
140007e0d:	4d 01 d5             	add    %r10,%r13
140007e10:	48 83 d2 00          	adc    $0x0,%rdx
140007e14:	4e 89 6c cc f8       	mov    %r13,-0x8(%rsp,%r9,8)
140007e19:	4a 89 14 cc          	mov    %rdx,(%rsp,%r9,8)
140007e1d:	4d 8d 76 01          	lea    0x1(%r14),%r14
140007e21:	4d 39 ce             	cmp    %r9,%r14
140007e24:	0f 82 26 ff ff ff    	jb     0x140007d50
140007e2a:	4d 31 f6             	xor    %r14,%r14
140007e2d:	48 8b 04 24          	mov    (%rsp),%rax
140007e31:	4d 89 cf             	mov    %r9,%r15
140007e34:	90                   	nop
140007e35:	90                   	nop
140007e36:	90                   	nop
140007e37:	90                   	nop
140007e38:	90                   	nop
140007e39:	90                   	nop
140007e3a:	90                   	nop
140007e3b:	90                   	nop
140007e3c:	90                   	nop
140007e3d:	90                   	nop
140007e3e:	90                   	nop
140007e3f:	90                   	nop
140007e40:	4a 1b 04 f1          	sbb    (%rcx,%r14,8),%rax
140007e44:	4a 89 04 f7          	mov    %rax,(%rdi,%r14,8)
140007e48:	4a 8b 44 f4 08       	mov    0x8(%rsp,%r14,8),%rax
140007e4d:	4d 8d 76 01          	lea    0x1(%r14),%r14
140007e51:	49 ff cf             	dec    %r15
140007e54:	0f 85 e6 ff ff ff    	jne    0x140007e40
140007e5a:	48 83 d8 00          	sbb    $0x0,%rax
140007e5e:	48 c7 c3 ff ff ff ff 	mov    $0xffffffffffffffff,%rbx
140007e65:	48 31 c3             	xor    %rax,%rbx
140007e68:	4d 31 f6             	xor    %r14,%r14
140007e6b:	4d 89 cf             	mov    %r9,%r15
140007e6e:	4a 8b 0c f7          	mov    (%rdi,%r14,8),%rcx
140007e72:	4a 8b 14 f4          	mov    (%rsp,%r14,8),%rdx
140007e76:	48 21 d9             	and    %rbx,%rcx
140007e79:	48 21 c2             	and    %rax,%rdx
140007e7c:	4e 89 0c f4          	mov    %r9,(%rsp,%r14,8)
140007e80:	48 09 ca             	or     %rcx,%rdx
140007e83:	4a 89 14 f7          	mov    %rdx,(%rdi,%r14,8)
140007e87:	4d 8d 76 01          	lea    0x1(%r14),%r14
140007e8b:	49 83 ef 01          	sub    $0x1,%r15
140007e8f:	0f 85 d9 ff ff ff    	jne    0x140007e6e
140007e95:	4a 8b 74 cc 08       	mov    0x8(%rsp,%r9,8),%rsi
140007e9a:	b8 01 00 00 00       	mov    $0x1,%eax
140007e9f:	4c 8b 7e d0          	mov    -0x30(%rsi),%r15
140007ea3:	4c 8b 76 d8          	mov    -0x28(%rsi),%r14
140007ea7:	4c 8b 6e e0          	mov    -0x20(%rsi),%r13
140007eab:	4c 8b 66 e8          	mov    -0x18(%rsi),%r12
140007eaf:	48 8b 6e f0          	mov    -0x10(%rsi),%rbp
140007eb3:	48 8b 5e f8          	mov    -0x8(%rsi),%rbx
140007eb7:	48 8d 26             	lea    (%rsi),%rsp
140007eba:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140007ebf:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140007ec4:	c3                   	ret
140007ec5:	90                   	nop
140007ec6:	90                   	nop
140007ec7:	90                   	nop
140007ec8:	90                   	nop
140007ec9:	90                   	nop
140007eca:	90                   	nop
140007ecb:	90                   	nop
140007ecc:	90                   	nop
140007ecd:	90                   	nop
140007ece:	90                   	nop
140007ecf:	90                   	nop
140007ed0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140007ed5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140007eda:	48 89 e0             	mov    %rsp,%rax
140007edd:	48 89 cf             	mov    %rcx,%rdi
140007ee0:	48 89 d6             	mov    %rdx,%rsi
140007ee3:	4c 89 c2             	mov    %r8,%rdx
140007ee6:	4c 89 c9             	mov    %r9,%rcx
140007ee9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
140007eee:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
140007ef3:	45 89 c9             	mov    %r9d,%r9d
140007ef6:	48 89 e0             	mov    %rsp,%rax
140007ef9:	53                   	push   %rbx
140007efa:	55                   	push   %rbp
140007efb:	41 54                	push   %r12
140007efd:	41 55                	push   %r13
140007eff:	41 56                	push   %r14
140007f01:	41 57                	push   %r15
140007f03:	49 f7 d9             	neg    %r9
140007f06:	49 89 e3             	mov    %rsp,%r11
140007f09:	4e 8d 54 cc e0       	lea    -0x20(%rsp,%r9,8),%r10
140007f0e:	49 f7 d9             	neg    %r9
140007f11:	49 81 e2 00 fc ff ff 	and    $0xfffffffffffffc00,%r10
140007f18:	4d 29 d3             	sub    %r10,%r11
140007f1b:	49 81 e3 00 f0 ff ff 	and    $0xfffffffffffff000,%r11
140007f22:	4b 8d 24 1a          	lea    (%r10,%r11,1),%rsp
140007f26:	4c 8b 1c 24          	mov    (%rsp),%r11
140007f2a:	4c 39 d4             	cmp    %r10,%rsp
140007f2d:	0f 87 05 00 00 00    	ja     0x140007f38
140007f33:	e9 15 00 00 00       	jmp    0x140007f4d
140007f38:	48 8d a4 24 00 f0 ff 	lea    -0x1000(%rsp),%rsp
140007f3f:	ff
140007f40:	4c 8b 1c 24          	mov    (%rsp),%r11
140007f44:	4c 39 d4             	cmp    %r10,%rsp
140007f47:	0f 87 eb ff ff ff    	ja     0x140007f38
140007f4d:	4a 89 44 cc 08       	mov    %rax,0x8(%rsp,%r9,8)
140007f52:	4a 89 7c cc 10       	mov    %rdi,0x10(%rsp,%r9,8)
140007f57:	49 89 d4             	mov    %rdx,%r12
140007f5a:	4d 8b 00             	mov    (%r8),%r8
140007f5d:	49 8b 1c 24          	mov    (%r12),%rbx
140007f61:	48 8b 06             	mov    (%rsi),%rax
140007f64:	4d 31 f6             	xor    %r14,%r14
140007f67:	4d 31 ff             	xor    %r15,%r15
140007f6a:	4c 89 c5             	mov    %r8,%rbp
140007f6d:	48 f7 e3             	mul    %rbx
140007f70:	49 89 c2             	mov    %rax,%r10
140007f73:	48 8b 01             	mov    (%rcx),%rax
140007f76:	49 0f af ea          	imul   %r10,%rbp
140007f7a:	49 89 d3             	mov    %rdx,%r11
140007f7d:	48 f7 e5             	mul    %rbp
140007f80:	49 01 c2             	add    %rax,%r10
140007f83:	48 8b 46 08          	mov    0x8(%rsi),%rax
140007f87:	48 83 d2 00          	adc    $0x0,%rdx
140007f8b:	48 89 d7             	mov    %rdx,%rdi
140007f8e:	48 f7 e3             	mul    %rbx
140007f91:	49 01 c3             	add    %rax,%r11
140007f94:	48 8b 41 08          	mov    0x8(%rcx),%rax
140007f98:	48 83 d2 00          	adc    $0x0,%rdx
140007f9c:	49 89 d2             	mov    %rdx,%r10
140007f9f:	48 f7 e5             	mul    %rbp
140007fa2:	48 01 c7             	add    %rax,%rdi
140007fa5:	48 8b 46 10          	mov    0x10(%rsi),%rax
140007fa9:	48 83 d2 00          	adc    $0x0,%rdx
140007fad:	4c 01 df             	add    %r11,%rdi
140007fb0:	4d 8d 7f 04          	lea    0x4(%r15),%r15
140007fb4:	48 83 d2 00          	adc    $0x0,%rdx
140007fb8:	48 89 3c 24          	mov    %rdi,(%rsp)
140007fbc:	49 89 d5             	mov    %rdx,%r13
140007fbf:	e9 0c 00 00 00       	jmp    0x140007fd0
140007fc4:	90                   	nop
140007fc5:	90                   	nop
140007fc6:	90                   	nop
140007fc7:	90                   	nop
140007fc8:	90                   	nop
140007fc9:	90                   	nop
140007fca:	90                   	nop
140007fcb:	90                   	nop
140007fcc:	90                   	nop
140007fcd:	90                   	nop
140007fce:	90                   	nop
140007fcf:	90                   	nop
140007fd0:	48 f7 e3             	mul    %rbx
140007fd3:	49 01 c2             	add    %rax,%r10
140007fd6:	4a 8b 44 f9 f0       	mov    -0x10(%rcx,%r15,8),%rax
140007fdb:	48 83 d2 00          	adc    $0x0,%rdx
140007fdf:	49 89 d3             	mov    %rdx,%r11
140007fe2:	48 f7 e5             	mul    %rbp
140007fe5:	49 01 c5             	add    %rax,%r13
140007fe8:	4a 8b 44 fe f8       	mov    -0x8(%rsi,%r15,8),%rax
140007fed:	48 83 d2 00          	adc    $0x0,%rdx
140007ff1:	4d 01 d5             	add    %r10,%r13
140007ff4:	48 83 d2 00          	adc    $0x0,%rdx
140007ff8:	4e 89 6c fc e8       	mov    %r13,-0x18(%rsp,%r15,8)
140007ffd:	48 89 d7             	mov    %rdx,%rdi
140008000:	48 f7 e3             	mul    %rbx
140008003:	49 01 c3             	add    %rax,%r11
140008006:	4a 8b 44 f9 f8       	mov    -0x8(%rcx,%r15,8),%rax
14000800b:	48 83 d2 00          	adc    $0x0,%rdx
14000800f:	49 89 d2             	mov    %rdx,%r10
140008012:	48 f7 e5             	mul    %rbp
140008015:	48 01 c7             	add    %rax,%rdi
140008018:	4a 8b 04 fe          	mov    (%rsi,%r15,8),%rax
14000801c:	48 83 d2 00          	adc    $0x0,%rdx
140008020:	4c 01 df             	add    %r11,%rdi
140008023:	48 83 d2 00          	adc    $0x0,%rdx
140008027:	4a 89 7c fc f0       	mov    %rdi,-0x10(%rsp,%r15,8)
14000802c:	49 89 d5             	mov    %rdx,%r13
14000802f:	48 f7 e3             	mul    %rbx
140008032:	49 01 c2             	add    %rax,%r10
140008035:	4a 8b 04 f9          	mov    (%rcx,%r15,8),%rax
140008039:	48 83 d2 00          	adc    $0x0,%rdx
14000803d:	49 89 d3             	mov    %rdx,%r11
140008040:	48 f7 e5             	mul    %rbp
140008043:	49 01 c5             	add    %rax,%r13
140008046:	4a 8b 44 fe 08       	mov    0x8(%rsi,%r15,8),%rax
14000804b:	48 83 d2 00          	adc    $0x0,%rdx
14000804f:	4d 01 d5             	add    %r10,%r13
140008052:	48 83 d2 00          	adc    $0x0,%rdx
140008056:	4e 89 6c fc f8       	mov    %r13,-0x8(%rsp,%r15,8)
14000805b:	48 89 d7             	mov    %rdx,%rdi
14000805e:	48 f7 e3             	mul    %rbx
140008061:	49 01 c3             	add    %rax,%r11
140008064:	4a 8b 44 f9 08       	mov    0x8(%rcx,%r15,8),%rax
140008069:	48 83 d2 00          	adc    $0x0,%rdx
14000806d:	4d 8d 7f 04          	lea    0x4(%r15),%r15
140008071:	49 89 d2             	mov    %rdx,%r10
140008074:	48 f7 e5             	mul    %rbp
140008077:	48 01 c7             	add    %rax,%rdi
14000807a:	4a 8b 44 fe f0       	mov    -0x10(%rsi,%r15,8),%rax
14000807f:	48 83 d2 00          	adc    $0x0,%rdx
140008083:	4c 01 df             	add    %r11,%rdi
140008086:	48 83 d2 00          	adc    $0x0,%rdx
14000808a:	4a 89 7c fc e0       	mov    %rdi,-0x20(%rsp,%r15,8)
14000808f:	49 89 d5             	mov    %rdx,%r13
140008092:	4d 39 cf             	cmp    %r9,%r15
140008095:	0f 82 35 ff ff ff    	jb     0x140007fd0
14000809b:	48 f7 e3             	mul    %rbx
14000809e:	49 01 c2             	add    %rax,%r10
1400080a1:	4a 8b 44 f9 f0       	mov    -0x10(%rcx,%r15,8),%rax
1400080a6:	48 83 d2 00          	adc    $0x0,%rdx
1400080aa:	49 89 d3             	mov    %rdx,%r11
1400080ad:	48 f7 e5             	mul    %rbp
1400080b0:	49 01 c5             	add    %rax,%r13
1400080b3:	4a 8b 44 fe f8       	mov    -0x8(%rsi,%r15,8),%rax
1400080b8:	48 83 d2 00          	adc    $0x0,%rdx
1400080bc:	4d 01 d5             	add    %r10,%r13
1400080bf:	48 83 d2 00          	adc    $0x0,%rdx
1400080c3:	4e 89 6c fc e8       	mov    %r13,-0x18(%rsp,%r15,8)
1400080c8:	48 89 d7             	mov    %rdx,%rdi
1400080cb:	48 f7 e3             	mul    %rbx
1400080ce:	49 01 c3             	add    %rax,%r11
1400080d1:	4a 8b 44 f9 f8       	mov    -0x8(%rcx,%r15,8),%rax
1400080d6:	48 83 d2 00          	adc    $0x0,%rdx
1400080da:	49 89 d2             	mov    %rdx,%r10
1400080dd:	48 f7 e5             	mul    %rbp
1400080e0:	48 01 c7             	add    %rax,%rdi
1400080e3:	48 8b 06             	mov    (%rsi),%rax
1400080e6:	48 83 d2 00          	adc    $0x0,%rdx
1400080ea:	4c 01 df             	add    %r11,%rdi
1400080ed:	48 83 d2 00          	adc    $0x0,%rdx
1400080f1:	4a 89 7c fc f0       	mov    %rdi,-0x10(%rsp,%r15,8)
1400080f6:	49 89 d5             	mov    %rdx,%r13
1400080f9:	48 31 ff             	xor    %rdi,%rdi
1400080fc:	4d 01 d5             	add    %r10,%r13
1400080ff:	48 83 d7 00          	adc    $0x0,%rdi
140008103:	4e 89 6c fc f8       	mov    %r13,-0x8(%rsp,%r15,8)
140008108:	4a 89 3c fc          	mov    %rdi,(%rsp,%r15,8)
14000810c:	4d 8d 76 01          	lea    0x1(%r14),%r14
140008110:	4b 8b 1c f4          	mov    (%r12,%r14,8),%rbx
140008114:	4d 31 ff             	xor    %r15,%r15
140008117:	4c 8b 14 24          	mov    (%rsp),%r10
14000811b:	4c 89 c5             	mov    %r8,%rbp
14000811e:	48 f7 e3             	mul    %rbx
140008121:	49 01 c2             	add    %rax,%r10
140008124:	48 8b 01             	mov    (%rcx),%rax
140008127:	48 83 d2 00          	adc    $0x0,%rdx
14000812b:	49 0f af ea          	imul   %r10,%rbp
14000812f:	49 89 d3             	mov    %rdx,%r11
140008132:	48 f7 e5             	mul    %rbp
140008135:	49 01 c2             	add    %rax,%r10
140008138:	48 8b 46 08          	mov    0x8(%rsi),%rax
14000813c:	48 83 d2 00          	adc    $0x0,%rdx
140008140:	48 89 d7             	mov    %rdx,%rdi
140008143:	48 f7 e3             	mul    %rbx
140008146:	49 01 c3             	add    %rax,%r11
140008149:	48 8b 41 08          	mov    0x8(%rcx),%rax
14000814d:	48 83 d2 00          	adc    $0x0,%rdx
140008151:	4c 03 5c 24 08       	add    0x8(%rsp),%r11
140008156:	48 83 d2 00          	adc    $0x0,%rdx
14000815a:	49 89 d2             	mov    %rdx,%r10
14000815d:	48 f7 e5             	mul    %rbp
140008160:	48 01 c7             	add    %rax,%rdi
140008163:	48 8b 46 10          	mov    0x10(%rsi),%rax
140008167:	48 83 d2 00          	adc    $0x0,%rdx
14000816b:	4c 01 df             	add    %r11,%rdi
14000816e:	4d 8d 7f 04          	lea    0x4(%r15),%r15
140008172:	48 83 d2 00          	adc    $0x0,%rdx
140008176:	48 89 3c 24          	mov    %rdi,(%rsp)
14000817a:	49 89 d5             	mov    %rdx,%r13
14000817d:	e9 0e 00 00 00       	jmp    0x140008190
140008182:	90                   	nop
140008183:	90                   	nop
140008184:	90                   	nop
140008185:	90                   	nop
140008186:	90                   	nop
140008187:	90                   	nop
140008188:	90                   	nop
140008189:	90                   	nop
14000818a:	90                   	nop
14000818b:	90                   	nop
14000818c:	90                   	nop
14000818d:	90                   	nop
14000818e:	90                   	nop
14000818f:	90                   	nop
140008190:	48 f7 e3             	mul    %rbx
140008193:	49 01 c2             	add    %rax,%r10
140008196:	4a 8b 44 f9 f0       	mov    -0x10(%rcx,%r15,8),%rax
14000819b:	48 83 d2 00          	adc    $0x0,%rdx
14000819f:	4e 03 54 fc f0       	add    -0x10(%rsp,%r15,8),%r10
1400081a4:	48 83 d2 00          	adc    $0x0,%rdx
1400081a8:	49 89 d3             	mov    %rdx,%r11
1400081ab:	48 f7 e5             	mul    %rbp
1400081ae:	49 01 c5             	add    %rax,%r13
1400081b1:	4a 8b 44 fe f8       	mov    -0x8(%rsi,%r15,8),%rax
1400081b6:	48 83 d2 00          	adc    $0x0,%rdx
1400081ba:	4d 01 d5             	add    %r10,%r13
1400081bd:	48 83 d2 00          	adc    $0x0,%rdx
1400081c1:	4e 89 6c fc e8       	mov    %r13,-0x18(%rsp,%r15,8)
1400081c6:	48 89 d7             	mov    %rdx,%rdi
1400081c9:	48 f7 e3             	mul    %rbx
1400081cc:	49 01 c3             	add    %rax,%r11
1400081cf:	4a 8b 44 f9 f8       	mov    -0x8(%rcx,%r15,8),%rax
1400081d4:	48 83 d2 00          	adc    $0x0,%rdx
1400081d8:	4e 03 5c fc f8       	add    -0x8(%rsp,%r15,8),%r11
1400081dd:	48 83 d2 00          	adc    $0x0,%rdx
1400081e1:	49 89 d2             	mov    %rdx,%r10
1400081e4:	48 f7 e5             	mul    %rbp
1400081e7:	48 01 c7             	add    %rax,%rdi
1400081ea:	4a 8b 04 fe          	mov    (%rsi,%r15,8),%rax
1400081ee:	48 83 d2 00          	adc    $0x0,%rdx
1400081f2:	4c 01 df             	add    %r11,%rdi
1400081f5:	48 83 d2 00          	adc    $0x0,%rdx
1400081f9:	4a 89 7c fc f0       	mov    %rdi,-0x10(%rsp,%r15,8)
1400081fe:	49 89 d5             	mov    %rdx,%r13
140008201:	48 f7 e3             	mul    %rbx
140008204:	49 01 c2             	add    %rax,%r10
140008207:	4a 8b 04 f9          	mov    (%rcx,%r15,8),%rax
14000820b:	48 83 d2 00          	adc    $0x0,%rdx
14000820f:	4e 03 14 fc          	add    (%rsp,%r15,8),%r10
140008213:	48 83 d2 00          	adc    $0x0,%rdx
140008217:	49 89 d3             	mov    %rdx,%r11
14000821a:	48 f7 e5             	mul    %rbp
14000821d:	49 01 c5             	add    %rax,%r13
140008220:	4a 8b 44 fe 08       	mov    0x8(%rsi,%r15,8),%rax
140008225:	48 83 d2 00          	adc    $0x0,%rdx
140008229:	4d 01 d5             	add    %r10,%r13
14000822c:	48 83 d2 00          	adc    $0x0,%rdx
140008230:	4e 89 6c fc f8       	mov    %r13,-0x8(%rsp,%r15,8)
140008235:	48 89 d7             	mov    %rdx,%rdi
140008238:	48 f7 e3             	mul    %rbx
14000823b:	49 01 c3             	add    %rax,%r11