140072c21:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
140072c27:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
140072c2d:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140072c32:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140072c38:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
140072c3e:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140072c43:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140072c49:	66 4c 0f 38 f6 eb    	adcx   %rbx,%r13
140072c4f:	c4 e2 fb f6 1c 24    	mulx   (%rsp),%rax,%rbx
140072c55:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
140072c5b:	66 4c 0f 38 f6 f3    	adcx   %rbx,%r14
140072c61:	c4 42 fb f6 ff       	mulx   %r15,%rax,%r15
140072c66:	ba 26 00 00 00       	mov    $0x26,%edx
140072c6b:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140072c71:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140072c77:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140072c7d:	e9 3e 01 00 00       	jmp    0x140072dc0
140072c82:	90                   	nop
140072c83:	90                   	nop
140072c84:	90                   	nop
140072c85:	90                   	nop
140072c86:	90                   	nop
140072c87:	90                   	nop
140072c88:	90                   	nop
140072c89:	90                   	nop
140072c8a:	90                   	nop
140072c8b:	90                   	nop
140072c8c:	90                   	nop
140072c8d:	90                   	nop
140072c8e:	90                   	nop
140072c8f:	90                   	nop
140072c90:	90                   	nop
140072c91:	90                   	nop
140072c92:	90                   	nop
140072c93:	90                   	nop
140072c94:	90                   	nop
140072c95:	90                   	nop
140072c96:	90                   	nop
140072c97:	90                   	nop
140072c98:	90                   	nop
140072c99:	90                   	nop
140072c9a:	90                   	nop
140072c9b:	90                   	nop
140072c9c:	90                   	nop
140072c9d:	90                   	nop
140072c9e:	90                   	nop
140072c9f:	90                   	nop
140072ca0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072ca5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140072caa:	48 89 e0             	mov    %rsp,%rax
140072cad:	48 89 cf             	mov    %rcx,%rdi
140072cb0:	48 89 d6             	mov    %rdx,%rsi
140072cb3:	55                   	push   %rbp
140072cb4:	53                   	push   %rbx
140072cb5:	41 54                	push   %r12
140072cb7:	41 55                	push   %r13
140072cb9:	41 56                	push   %r14
140072cbb:	41 57                	push   %r15
140072cbd:	57                   	push   %rdi
140072cbe:	48 8d 64 24 f0       	lea    -0x10(%rsp),%rsp
140072cc3:	48 8b 16             	mov    (%rsi),%rdx
140072cc6:	48 8b 4e 08          	mov    0x8(%rsi),%rcx
140072cca:	48 8b 6e 10          	mov    0x10(%rsi),%rbp
140072cce:	48 8b 76 18          	mov    0x18(%rsi),%rsi
140072cd2:	c4 62 bb f6 fa       	mulx   %rdx,%r8,%r15
140072cd7:	c4 e2 b3 f6 c1       	mulx   %rcx,%r9,%rax
140072cdc:	31 ff                	xor    %edi,%edi
140072cde:	c4 e2 ab f6 dd       	mulx   %rbp,%r10,%rbx
140072ce3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140072ce9:	c4 62 a3 f6 e6       	mulx   %rsi,%r11,%r12
140072cee:	48 89 ca             	mov    %rcx,%rdx
140072cf1:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140072cf7:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140072cfd:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140072d02:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140072d08:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
140072d0e:	c4 62 fb f6 ee       	mulx   %rsi,%rax,%r13
140072d13:	48 89 ea             	mov    %rbp,%rdx
140072d16:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140072d1c:	66 4c 0f 38 f6 ef    	adcx   %rdi,%r13
140072d22:	c4 62 fb f6 f6       	mulx   %rsi,%rax,%r14
140072d27:	48 89 ca             	mov    %rcx,%rdx
140072d2a:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
140072d30:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
140072d36:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
140072d3c:	66 4d 0f 38 f6 c9    	adcx   %r9,%r9
140072d42:	f3 4d 0f 38 f6 cf    	adox   %r15,%r9
140072d48:	66 4d 0f 38 f6 d2    	adcx   %r10,%r10
140072d4e:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140072d53:	48 89 ea             	mov    %rbp,%rdx
140072d56:	66 4d 0f 38 f6 db    	adcx   %r11,%r11
140072d5c:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140072d62:	66 4d 0f 38 f6 e4    	adcx   %r12,%r12
140072d68:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140072d6e:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140072d73:	48 89 f2             	mov    %rsi,%rdx
140072d76:	66 4d 0f 38 f6 ed    	adcx   %r13,%r13
140072d7c:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140072d82:	66 4d 0f 38 f6 f6    	adcx   %r14,%r14
140072d88:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
140072d8e:	c4 62 fb f6 fa       	mulx   %rdx,%rax,%r15
140072d93:	ba 26 00 00 00       	mov    $0x26,%edx
140072d98:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140072d9e:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140072da4:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140072daa:	eb 14                	jmp    0x140072dc0
140072dac:	90                   	nop
140072dad:	90                   	nop
140072dae:	90                   	nop
140072daf:	90                   	nop
140072db0:	90                   	nop
140072db1:	90                   	nop
140072db2:	90                   	nop
140072db3:	90                   	nop
140072db4:	90                   	nop
140072db5:	90                   	nop
140072db6:	90                   	nop
140072db7:	90                   	nop
140072db8:	90                   	nop
140072db9:	90                   	nop
140072dba:	90                   	nop
140072dbb:	90                   	nop
140072dbc:	90                   	nop
140072dbd:	90                   	nop
140072dbe:	90                   	nop
140072dbf:	90                   	nop
140072dc0:	c4 c2 fb f6 dc       	mulx   %r12,%rax,%rbx
140072dc5:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140072dcb:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140072dd1:	c4 c2 fb f6 dd       	mulx   %r13,%rax,%rbx
140072dd6:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140072ddc:	f3 4c 0f 38 f6 d3    	adox   %rbx,%r10
140072de2:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140072de7:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140072ded:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140072df3:	c4 42 fb f6 e7       	mulx   %r15,%rax,%r12
140072df8:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140072dfe:	f3 4c 0f 38 f6 e7    	adox   %rdi,%r12
140072e04:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140072e0a:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
140072e0f:	4c 0f af e2          	imul   %rdx,%r12
140072e13:	4d 01 e0             	add    %r12,%r8
140072e16:	49 83 d1 00          	adc    $0x0,%r9
140072e1a:	49 83 d2 00          	adc    $0x0,%r10
140072e1e:	49 83 d3 00          	adc    $0x0,%r11
140072e22:	48 19 c0             	sbb    %rax,%rax
140072e25:	48 83 e0 26          	and    $0x26,%rax
140072e29:	49 01 c0             	add    %rax,%r8
140072e2c:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072e30:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140072e34:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140072e38:	4c 89 07             	mov    %r8,(%rdi)
140072e3b:	4c 8b 7c 24 18       	mov    0x18(%rsp),%r15
140072e40:	4c 8b 74 24 20       	mov    0x20(%rsp),%r14
140072e45:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140072e4a:	4c 8b 64 24 30       	mov    0x30(%rsp),%r12
140072e4f:	48 8b 5c 24 38       	mov    0x38(%rsp),%rbx
140072e54:	48 8b 6c 24 40       	mov    0x40(%rsp),%rbp
140072e59:	48 8d 64 24 48       	lea    0x48(%rsp),%rsp
140072e5e:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140072e63:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140072e68:	f3 c3                	repz ret
140072e6a:	90                   	nop
140072e6b:	90                   	nop
140072e6c:	90                   	nop
140072e6d:	90                   	nop
140072e6e:	90                   	nop
140072e6f:	90                   	nop
140072e70:	90                   	nop
140072e71:	90                   	nop
140072e72:	90                   	nop
140072e73:	90                   	nop
140072e74:	90                   	nop
140072e75:	90                   	nop
140072e76:	90                   	nop
140072e77:	90                   	nop
140072e78:	90                   	nop
140072e79:	90                   	nop
140072e7a:	90                   	nop
140072e7b:	90                   	nop
140072e7c:	90                   	nop
140072e7d:	90                   	nop
140072e7e:	90                   	nop
140072e7f:	90                   	nop
140072e80:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072e85:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140072e8a:	48 89 e0             	mov    %rsp,%rax
140072e8d:	48 89 cf             	mov    %rcx,%rdi
140072e90:	48 89 d6             	mov    %rdx,%rsi
140072e93:	ba 42 db 01 00       	mov    $0x1db42,%edx
140072e98:	c4 e2 bb f6 0e       	mulx   (%rsi),%r8,%rcx
140072e9d:	c4 e2 b3 f6 46 08    	mulx   0x8(%rsi),%r9,%rax
140072ea3:	49 01 c9             	add    %rcx,%r9
140072ea6:	c4 e2 ab f6 4e 10    	mulx   0x10(%rsi),%r10,%rcx
140072eac:	49 11 c2             	adc    %rax,%r10
140072eaf:	c4 e2 a3 f6 46 18    	mulx   0x18(%rsi),%r11,%rax
140072eb5:	49 11 cb             	adc    %rcx,%r11
140072eb8:	48 83 d0 00          	adc    $0x0,%rax
140072ebc:	48 6b c0 26          	imul   $0x26,%rax,%rax
140072ec0:	49 01 c0             	add    %rax,%r8
140072ec3:	49 83 d1 00          	adc    $0x0,%r9
140072ec7:	49 83 d2 00          	adc    $0x0,%r10
140072ecb:	49 83 d3 00          	adc    $0x0,%r11
140072ecf:	48 19 c0             	sbb    %rax,%rax
140072ed2:	48 83 e0 26          	and    $0x26,%rax
140072ed6:	49 01 c0             	add    %rax,%r8
140072ed9:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072edd:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140072ee1:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140072ee5:	4c 89 07             	mov    %r8,(%rdi)
140072ee8:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140072eed:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140072ef2:	f3 c3                	repz ret
140072ef4:	90                   	nop
140072ef5:	90                   	nop
140072ef6:	90                   	nop
140072ef7:	90                   	nop
140072ef8:	90                   	nop
140072ef9:	90                   	nop
140072efa:	90                   	nop
140072efb:	90                   	nop
140072efc:	90                   	nop
140072efd:	90                   	nop
140072efe:	90                   	nop
140072eff:	90                   	nop
140072f00:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072f05:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140072f0a:	48 89 e0             	mov    %rsp,%rax
140072f0d:	48 89 cf             	mov    %rcx,%rdi
140072f10:	48 89 d6             	mov    %rdx,%rsi
140072f13:	4c 89 c2             	mov    %r8,%rdx
140072f16:	4c 8b 06             	mov    (%rsi),%r8
140072f19:	4c 8b 4e 08          	mov    0x8(%rsi),%r9
140072f1d:	4c 8b 56 10          	mov    0x10(%rsi),%r10
140072f21:	4c 8b 5e 18          	mov    0x18(%rsi),%r11
140072f25:	4c 03 02             	add    (%rdx),%r8
140072f28:	4c 13 4a 08          	adc    0x8(%rdx),%r9
140072f2c:	4c 13 52 10          	adc    0x10(%rdx),%r10
140072f30:	4c 13 5a 18          	adc    0x18(%rdx),%r11
140072f34:	48 19 c0             	sbb    %rax,%rax
140072f37:	48 83 e0 26          	and    $0x26,%rax
140072f3b:	49 01 c0             	add    %rax,%r8
140072f3e:	49 83 d1 00          	adc    $0x0,%r9
140072f42:	49 83 d2 00          	adc    $0x0,%r10
140072f46:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072f4a:	49 83 d3 00          	adc    $0x0,%r11
140072f4e:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140072f52:	48 19 c0             	sbb    %rax,%rax
140072f55:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140072f59:	48 83 e0 26          	and    $0x26,%rax
140072f5d:	49 01 c0             	add    %rax,%r8
140072f60:	4c 89 07             	mov    %r8,(%rdi)
140072f63:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140072f68:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140072f6d:	f3 c3                	repz ret
140072f6f:	90                   	nop
140072f70:	90                   	nop
140072f71:	90                   	nop
140072f72:	90                   	nop
140072f73:	90                   	nop
140072f74:	90                   	nop
140072f75:	90                   	nop
140072f76:	90                   	nop
140072f77:	90                   	nop
140072f78:	90                   	nop
140072f79:	90                   	nop
140072f7a:	90                   	nop
140072f7b:	90                   	nop
140072f7c:	90                   	nop
140072f7d:	90                   	nop
140072f7e:	90                   	nop
140072f7f:	90                   	nop
140072f80:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072f85:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140072f8a:	48 89 e0             	mov    %rsp,%rax
140072f8d:	48 89 cf             	mov    %rcx,%rdi
140072f90:	48 89 d6             	mov    %rdx,%rsi
140072f93:	4c 89 c2             	mov    %r8,%rdx
140072f96:	4c 8b 06             	mov    (%rsi),%r8
140072f99:	4c 8b 4e 08          	mov    0x8(%rsi),%r9
140072f9d:	4c 8b 56 10          	mov    0x10(%rsi),%r10
140072fa1:	4c 8b 5e 18          	mov    0x18(%rsi),%r11
140072fa5:	4c 2b 02             	sub    (%rdx),%r8
140072fa8:	4c 1b 4a 08          	sbb    0x8(%rdx),%r9
140072fac:	4c 1b 52 10          	sbb    0x10(%rdx),%r10
140072fb0:	4c 1b 5a 18          	sbb    0x18(%rdx),%r11
140072fb4:	48 19 c0             	sbb    %rax,%rax
140072fb7:	48 83 e0 26          	and    $0x26,%rax
140072fbb:	49 29 c0             	sub    %rax,%r8
140072fbe:	49 83 d9 00          	sbb    $0x0,%r9
140072fc2:	49 83 da 00          	sbb    $0x0,%r10
140072fc6:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072fca:	49 83 db 00          	sbb    $0x0,%r11
140072fce:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140072fd2:	48 19 c0             	sbb    %rax,%rax
140072fd5:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140072fd9:	48 83 e0 26          	and    $0x26,%rax
140072fdd:	49 29 c0             	sub    %rax,%r8
140072fe0:	4c 89 07             	mov    %r8,(%rdi)
140072fe3:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140072fe8:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140072fed:	f3 c3                	repz ret
140072fef:	90                   	nop
140072ff0:	90                   	nop
140072ff1:	90                   	nop
140072ff2:	90                   	nop
140072ff3:	90                   	nop
140072ff4:	90                   	nop
140072ff5:	90                   	nop
140072ff6:	90                   	nop
140072ff7:	90                   	nop
140072ff8:	90                   	nop
140072ff9:	90                   	nop
140072ffa:	90                   	nop
140072ffb:	90                   	nop
140072ffc:	90                   	nop
140072ffd:	90                   	nop
140072ffe:	90                   	nop
140072fff:	90                   	nop
140073000:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140073005:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007300a:	48 89 e0             	mov    %rsp,%rax
14007300d:	48 89 cf             	mov    %rcx,%rdi
140073010:	48 89 d6             	mov    %rdx,%rsi
140073013:	4c 8b 06             	mov    (%rsi),%r8
140073016:	4c 8b 4e 08          	mov    0x8(%rsi),%r9
14007301a:	4c 8b 56 10          	mov    0x10(%rsi),%r10
14007301e:	4c 8b 5e 18          	mov    0x18(%rsi),%r11
140073022:	4b 8d 04 1b          	lea    (%r11,%r11,1),%rax
140073026:	49 c1 fb 3f          	sar    $0x3f,%r11
14007302a:	48 d1 e8             	shr    $1,%rax
14007302d:	49 83 e3 13          	and    $0x13,%r11
140073031:	49 83 c3 13          	add    $0x13,%r11
140073035:	4d 01 d8             	add    %r11,%r8
140073038:	49 83 d1 00          	adc    $0x0,%r9
14007303c:	49 83 d2 00          	adc    $0x0,%r10
140073040:	48 83 d0 00          	adc    $0x0,%rax
140073044:	4c 8d 1c 00          	lea    (%rax,%rax,1),%r11
140073048:	48 c1 f8 3f          	sar    $0x3f,%rax
14007304c:	49 d1 eb             	shr    $1,%r11
14007304f:	48 f7 d0             	not    %rax
140073052:	48 83 e0 13          	and    $0x13,%rax
140073056:	49 29 c0             	sub    %rax,%r8
140073059:	49 83 d9 00          	sbb    $0x0,%r9
14007305d:	49 83 da 00          	sbb    $0x0,%r10
140073061:	49 83 db 00          	sbb    $0x0,%r11
140073065:	4c 89 07             	mov    %r8,(%rdi)
140073068:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
14007306c:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140073070:	4c 89 5f 18          	mov    %r11,0x18(%rdi)