687 ···​49c3e:​»       ​48·​85·​c0·············»       ​test···​%rax,​%rax687 ···​4b01e:​»       ​48·​85·​c0·············»       ​test···​%rax,​%rax
688 ···​49c41:​»       ​74·​0d················»       ​je·····​49c50·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xe70>688 ···​4b021:​»       ​74·​0d················»       ​je·····​4b030·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xe70>
689 ···​49c43:​»       ​5d···················»       ​pop····​%rbp689 ···​4b023:​»       ​5d···················»       ​pop····​%rbp
690 ···​49c44:​»       ​ff·​e0················»       ​jmpq···​*%rax690 ···​4b024:​»       ​ff·​e0················»       ​jmpq···​*%rax
691 ···​49c46:​»       ​66·​2e·​0f·​1f·​84·​00·​00·»       ​nopw···​%cs:​0x0(%rax,​%rax,​1)​691 ···​4b026:​»       ​66·​2e·​0f·​1f·​84·​00·​00·»       ​nopw···​%cs:​0x0(%rax,​%rax,​1)​
692 ···​49c4d:​»       ​00·​00·​00·692 ···​4b02d:​»       ​00·​00·​00·
693 ···​49c50:​»       ​5d···················»       ​pop····​%rbp693 ···​4b030:​»       ​5d···················»       ​pop····​%rbp
694 ···​49c51:​»       ​c3···················»       ​retq···694 ···​4b031:​»       ​c3···················»       ​retq···
695 ···​49c52:​»       ​0f·​1f·​40·​00··········»       ​nopl···​0x0(%rax)​695 ···​4b032:​»       ​0f·​1f·​40·​00··········»       ​nopl···​0x0(%rax)​
696 ···​49c56:​»       ​66·​2e·​0f·​1f·​84·​00·​00·»       ​nopw···​%cs:​0x0(%rax,​%rax,​1)​696 ···​4b036:​»       ​66·​2e·​0f·​1f·​84·​00·​00·»       ​nopw···​%cs:​0x0(%rax,​%rax,​1)​
697 ···​49c5d:​»       ​00·​00·​00·697 ···​4b03d:​»       ​00·​00·​00·
698 ···​49c60:​»       ​48·​8d·​3d·89·9d·​3c·​00·»       ​lea····​0x3c9d89(%rip)​,​%rdi········698 ···​4b040:​»       ​48·​8d·​3d·a9·ea·​3d·​00·»       ​lea····​0x3deaa9(%rip)​,​%rdi········
699 ···​49c67:​»       ​48·​8d·​35·82·9d·​3c·​00·»       ​lea····​0x3c9d82(%rip)​,​%rsi········699 ···​4b047:​»       ​48·​8d·​35·a2·ea·​3d·​00·»       ​lea····​0x3deaa2(%rip)​,​%rsi········
700 ···​49c6e:​»       ​55···················»       ​push···​%rbp700 ···​4b04e:​»       ​55···················»       ​push···​%rbp
701 ···​49c6f:​»       ​48·​29·​fe·············»       ​sub····​%rdi,​%rsi701 ···​4b04f:​»       ​48·​29·​fe·············»       ​sub····​%rdi,​%rsi
702 ···​49c72:​»       ​48·​89·​e5·············»       ​mov····​%rsp,​%rbp702 ···​4b052:​»       ​48·​89·​e5·············»       ​mov····​%rsp,​%rbp
703 ···​49c75:​»       ​48·​c1·​fe·​03··········»       ​sar····​$0x3,​%rsi703 ···​4b055:​»       ​48·​c1·​fe·​03··········»       ​sar····​$0x3,​%rsi
704 ···​49c79:​»       ​48·​89·​f0·············»       ​mov····​%rsi,​%rax704 ···​4b059:​»       ​48·​89·​f0·············»       ​mov····​%rsi,​%rax
705 ···​49c7c:​»       ​48·​c1·​e8·​3f··········»       ​shr····​$0x3f,​%rax705 ···​4b05c:​»       ​48·​c1·​e8·​3f··········»       ​shr····​$0x3f,​%rax
706 ···​49c80:​»       ​48·​01·​c6·············»       ​add····​%rax,​%rsi706 ···​4b060:​»       ​48·​01·​c6·············»       ​add····​%rax,​%rsi
707 ···​49c83:​»       ​48·​d1·​fe·············»       ​sar····​%rsi707 ···​4b063:​»       ​48·​d1·​fe·············»       ​sar····​%rsi
708 ···​49c86:​»       ​74·​18················»       ​je·····​49ca0·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xec0>708 ···​4b066:​»       ​74·​18················»       ​je·····​4b080·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xec0>
709 ···​49c88:​»       ​48·​8b·​05·31·63·​3c·​00·»       ​mov····​0x3c6331(%rip)​,​%rax········709 ···​4b068:​»       ​48·​8b·​05·51·af·​3d·​00·»       ​mov····​0x3daf51(%rip)​,​%rax········
710 ···​49c8f:​»       ​48·​85·​c0·············»       ​test···​%rax,​%rax710 ···​4b06f:​»       ​48·​85·​c0·············»       ​test···​%rax,​%rax
711 ···​49c92:​»       ​74·​0c················»       ​je·····​49ca0·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xec0>711 ···​4b072:​»       ​74·​0c················»       ​je·····​4b080·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xec0>
712 ···​49c94:​»       ​5d···················»       ​pop····​%rbp712 ···​4b074:​»       ​5d···················»       ​pop····​%rbp
713 ···​49c95:​»       ​ff·​e0················»       ​jmpq···​*%rax713 ···​4b075:​»       ​ff·​e0················»       ​jmpq···​*%rax
714 ···​49c97:​»       ​66·​0f·​1f·​84·​00·​00·​00·»       ​nopw···​0x0(%rax,​%rax,​1)​714 ···​4b077:​»       ​66·​0f·​1f·​84·​00·​00·​00·»       ​nopw···​0x0(%rax,​%rax,​1)​
715 ···​49c9e:​»       ​00·​00·715 ···​4b07e:​»       ​00·​00·
716 ···​49ca0:​»       ​5d···················»       ​pop····​%rbp716 ···​4b080:​»       ​5d···················»       ​pop····​%rbp
717 ···​49ca1:​»       ​c3···················»       ​retq···717 ···​4b081:​»       ​c3···················»       ​retq···
718 ···​49ca2:​»       ​0f·​1f·​40·​00··········»       ​nopl···​0x0(%rax)​718 ···​4b082:​»       ​0f·​1f·​40·​00··········»       ​nopl···​0x0(%rax)​
719 ···​49ca6:​»       ​66·​2e·​0f·​1f·​84·​00·​00·»       ​nopw···​%cs:​0x0(%rax,​%rax,​1)​719 ···​4b086:​»       ​66·​2e·​0f·​1f·​84·​00·​00·»       ​nopw···​%cs:​0x0(%rax,​%rax,​1)​
720 ···​49cad:​»       ​00·​00·​00·720 ···​4b08d:​»       ​00·​00·​00·
721 ···​49cb0:​»       ​80·​3d·49·9d·​3c·​00·​00·»       ​cmpb···​$0x0,​0x3c9d49(%rip)​········721 ···​4b090:​»       ​80·​3d·69·ea·​3d·​00·​00·»       ​cmpb···​$0x0,​0x3dea69(%rip)​········
722 ···​49cb7:​»       ​75·​2f················»       ​jne····​49ce8·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xf08>722 ···​4b097:​»       ​75·​2f················»       ​jne····​4b0c8·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xf08>
723 ···​49cb9:​»       ​48·​83·​3d·57·60·​3c·​00·»       ​cmpq···​$0x0,​0x3c6057(%rip)​········723 ···​4b099:​»       ​48·​83·​3d·6f·ac·​3d·​00·»       ​cmpq···​$0x0,​0x3dac6f(%rip)​········
724 ···​49cc0:​»       ​00·724 ···​4b0a0:​»       ​00·
725 ···​49cc1:​»       ​55···················»       ​push···​%rbp725 ···​4b0a1:​»       ​55···················»       ​push···​%rbp
726 ···​49cc2:​»       ​48·​89·​e5·············»       ​mov····​%rsp,​%rbp726 ···​4b0a2:​»       ​48·​89·​e5·············»       ​mov····​%rsp,​%rbp
727 ···​49cc5:​»       ​74·​0c················»       ​je·····​49cd3·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xef3>727 ···​4b0a5:​»       ​74·​0c················»       ​je·····​4b0b3·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xef3>
728 ···​49cc7:​»       ​48·​8b·​3d·32·9c·​3c·​00·»       ​mov····​0x3c9c32(%rip)​,​%rdi········728 ···​4b0a7:​»       ​48·​8b·​3d·52·e9·​3d·​00·»       ​mov····​0x3de952(%rip)​,​%rdi········
729 ···​49cce:​»       ​e8·​fd·​f0·​ff·​ff·······»       ​callq··​48dd0·​<__cxa_finalize@plt>729 ···​4b0ae:​»       ​e8·​fd·​f0·​ff·​ff·······»       ​callq··​4a1b0·​<__cxa_finalize@plt>
730 ···​49cd3:​»       ​e8·​48·​ff·​ff·​ff·······»       ​callq··​49c20·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xe40>730 ···​4b0b3:​»       ​e8·​48·​ff·​ff·​ff·······»       ​callq··​4b000·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xe40>
731 ···​49cd8:​»       ​c6·​05·21·9d·​3c·​00·​01·»       ​movb···​$0x1,​0x3c9d21(%rip)​········731 ···​4b0b8:​»       ​c6·​05·41·ea·​3d·​00·​01·»       ​movb···​$0x1,​0x3dea41(%rip)​········
732 ···​49cdf:​»       ​5d···················»       ​pop····​%rbp732 ···​4b0bf:​»       ​5d···················»       ​pop····​%rbp
733 ···​49ce0:​»       ​c3···················»       ​retq···733 ···​4b0c0:​»       ​c3···················»       ​retq···
734 ···​49ce1:​»       ​0f·​1f·​80·​00·​00·​00·​00·»       ​nopl···​0x0(%rax)​734 ···​4b0c1:​»       ​0f·​1f·​80·​00·​00·​00·​00·»       ​nopl···​0x0(%rax)​
735 ···​49ce8:​»       ​f3·​c3················»       ​repz·​retq·735 ···​4b0c8:​»       ​f3·​c3················»       ​repz·​retq·
736 ···​49cea:​»       ​66·​0f·​1f·​44·​00·​00····»       ​nopw···​0x0(%rax,​%rax,​1)​736 ···​4b0ca:​»       ​66·​0f·​1f·​44·​00·​00····»       ​nopw···​0x0(%rax,​%rax,​1)​
737 ···​49cf0:​»       ​55···················»       ​push···​%rbp737 ···​4b0d0:​»       ​55···················»       ​push···​%rbp
738 ···​49cf1:​»       ​48·​89·​e5·············»       ​mov····​%rsp,​%rbp738 ···​4b0d1:​»       ​48·​89·​e5·············»       ​mov····​%rsp,​%rbp
739 ···​49cf4:​»       ​5d···················»       ​pop····​%rbp739 ···​4b0d4:​»       ​5d···················»       ​pop····​%rbp
740 ···​49cf5:​»       ​e9·​66·​ff·​ff·​ff·······»       ​jmpq···​49c60·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xe80>740 ···​4b0d5:​»       ​e9·​66·​ff·​ff·​ff·······»       ​jmpq···​4b040·​<NTL:​:​Vec<NTL:​:​GF2X>:​:​~Vec()​@plt+0xe80>
741 ···​49cfa:​»       ​66·​0f·​1f·​44·​00·​00····»       ​nopw···​0x0(%rax,​%rax,​1)​741 ···​4b0da:​»       ​66·​0f·​1f·​44·​00·​00····»       ​nopw···​0x0(%rax,​%rax,​1)​
  
742 0000000000049d00·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base>:​742 000000000004b0e0·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base>:​
743 ···​49d00:​»       ​48·​8d·​57·​fe··········»       ​lea····​-​0x2(%rdi)​,​%rdx743 ···​4b0e0:​»       ​48·​8d·​57·​fe··········»       ​lea····​-​0x2(%rdi)​,​%rdx
744 ···​49d04:​»       ​48·​b8·​fd·​ff·​ff·​ff·​ff·»       ​movabs·​$0xffffffffffffffd,​%rax744 ···​4b0e4:​»       ​48·​b8·​fd·​ff·​ff·​ff·​ff·»       ​movabs·​$0xffffffffffffffd,​%rax
745 ···​49d0b:​»       ​ff·​ff·​0f·745 ···​4b0eb:​»       ​ff·​ff·​0f·
746 ···​49d0e:​»       ​48·​39·​c2·············»       ​cmp····​%rax,​%rdx746 ···​4b0ee:​»       ​48·​39·​c2·············»       ​cmp····​%rax,​%rdx
747 ···​49d11:​»       ​0f·​87·29·​02·​00·​00····»       ​ja·····​49f40·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x240>747 ···​4b0f1:​»       ​0f·​87·b1·​02·​00·​00····»       ​ja·····​4b3a8·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x2c8>
748 ···​49d17:​»       ​40·​f6·​c7·​01··········»       ​test···​$0x1,​%dil748 ···​4b0f7:​»       ​40·​f6·​c7·​01··········»       ​test···​$0x1,​%dil
749 ···​49d1b:​»       ​0f·​84·1f·​02·​00·​00····»       ​je·····​49f40·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x240>749 ···​4b0fb:​»       ​0f·​84·a7·​02·​00·​00····»       ​je·····​4b3a8·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x2c8>
750 ···​49d21:​»       ​48·​89·​f8·············»       ​mov····​%rdi,​%rax750 ···​4b101:​»       ​48·​89·​f8·············»       ​mov····​%rdi,​%rax
751 ···​49d24:​»       ​48·​ba·​56·​55·​55·​55·​55·»       ​movabs·​$0x5555555555555556,​%rdx751 ···​4b104:​»       ​48·​ba·​56·​55·​55·​55·​55·»       ​movabs·​$0x5555555555555556,​%rdx
752 ···​49d2b:​»       ​55·​55·​55·752 ···​4b10b:​»       ​55·​55·​55·
753 ···​49d2e:​»       ​48·​89·​f9·············»       ​mov····​%rdi,​%rcx753 ···​4b10e:​»       ​48·​89·​f9·············»       ​mov····​%rdi,​%rcx
754 ···​49d31:​»       ​48·​f7·​ea·············»       ​imul···​%rdx754 ···​4b111:​»       ​48·​f7·​ea·············»       ​imul···​%rdx
755 ···​49d34:​»       ​48·​c1·​f9·​3f··········»       ​sar····​$0x3f,​%rcx755 ···​4b114:​»       ​48·​c1·​f9·​3f··········»       ​sar····​$0x3f,​%rcx
756 ···​49d38:​»       ​48·​29·​ca·············»       ​sub····​%rcx,​%rdx756 ···​4b118:​»       ​48·​29·​ca·············»       ​sub····​%rcx,​%rdx
757 ···​49d3b:​»       ​48·​8d·​04·​52··········»       ​lea····​(%rdx,​%rdx,​2)​,​%rax757 ···​4b11b:​»       ​48·​8d·​04·​52··········»       ​lea····​(%rdx,​%rdx,​2)​,​%rax
758 ···​49d3f:​»       ​48·​39·​c7·············»       ​cmp····​%rax,​%rdi758 ···​4b11f:​»       ​48·​39·​c7·············»       ​cmp····​%rax,​%rdi
759 ···​49d42:​»       ​0f·​84·f8·​01·​00·​00····»       ​je·····​49f40·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x240>759 ···​4b122:​»       ​0f·​84·80·​02·​00·​00····»       ​je·····​4b3a8·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x2c8>
760 ···​49d48:​»       ​48·​89·​f8·············»       ​mov····​%rdi,​%rax760 ···​4b128:​»       ​48·​89·​f8·············»       ​mov····​%rdi,​%rax
761 ···​49d4b:​»       ​48·​ba·​67·​66·​66·​66·​66·»       ​movabs·​$0x6666666666666667,​%rdx761 ···​4b12b:​»       ​48·​ba·​67·​66·​66·​66·​66·»       ​movabs·​$0x6666666666666667,​%rdx
762 ···​49d52:​»       ​66·​66·​66·762 ···​4b132:​»       ​66·​66·​66·
763 ···​49d55:​»       ​48·​f7·​ea·············»       ​imul···​%rdx763 ···​4b135:​»       ​48·​f7·​ea·············»       ​imul···​%rdx
764 ···​49d58:​»       ​48·​d1·​fa·············»       ​sar····​%rdx764 ···​4b138:​»       ​48·​d1·​fa·············»       ​sar····​%rdx
765 ···​49d5b:​»       ​48·​29·​ca·············»       ​sub····​%rcx,​%rdx765 ···​4b13b:​»       ​48·​29·​ca·············»       ​sub····​%rcx,​%rdx
766 ···​49d5e:​»       ​48·​8d·​04·​92··········»       ​lea····​(%rdx,​%rdx,​4)​,​%rax766 ···​4b13e:​»       ​48·​8d·​04·​92··········»       ​lea····​(%rdx,​%rdx,​4)​,​%rax
767 ···​49d62:​»       ​48·​39·​c7·············»       ​cmp····​%rax,​%rdi767 ···​4b142:​»       ​48·​39·​c7·············»       ​cmp····​%rax,​%rdi
768 ···​49d65:​»       ​0f·​84·d5·​01·​00·​00····»       ​je·····​49f40·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x240>768 ···​4b145:​»       ​0f·​84·5d·​02·​00·​00····»       ​je·····​4b3a8·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x2c8>
769 ···​49d6b:​»       ​48·​89·​f8·············»       ​mov····​%rdi,​%rax769 ···​4b14b:​»       ​48·​89·​f8·············»       ​mov····​%rdi,​%rax
770 ···​49d6e:​»       ​48·​ba·​25·​49·​92·​24·​49·»       ​movabs·​$0x4924924924924925,​%rdx770 ···​4b14e:​»       ​48·​ba·​25·​49·​92·​24·​49·»       ​movabs·​$0x4924924924924925,​%rdx
771 ···​49d75:​»       ​92·​24·​49·771 ···​4b155:​»       ​92·​24·​49·
772 ···​49d78:​»       ​48·​f7·​ea·············»       ​imul···​%rdx772 ···​4b158:​»       ​48·​f7·​ea·············»       ​imul···​%rdx
773 ···​49d7b:​»       ​48·​d1·​fa·············»       ​sar····​%rdx773 ···​4b15b:​»       ​48·​d1·​fa·············»       ​sar····​%rdx
774 ···​49d7e:​»       ​48·​29·​ca·············»       ​sub····​%rcx,​%rdx774 ···​4b15e:​»       ​48·​29·​ca·············»       ​sub····​%rcx,​%rdx
775 ···​49d81:​»       ​48·​8d·​04·​d5·​00·​00·​00·»       ​lea····​0x0(,​%rdx,​8)​,​%rax775 ···​4b161:​»       ​48·​8d·​04·​d5·​00·​00·​00·»       ​lea····​0x0(,​%rdx,​8)​,​%rax
776 ···​49d88:​»       ​00·776 ···​4b168:​»       ​00·
777 ···​49d89:​»       ​48·​29·​d0·············»       ​sub····​%rdx,​%rax777 ···​4b169:​»       ​48·​29·​d0·············»       ​sub····​%rdx,​%rax
778 ···​49d8c:​»       ​48·​39·​c7·············»       ​cmp····​%rax,​%rdi778 ···​4b16c:​»       ​48·​39·​c7·············»       ​cmp····​%rax,​%rdi
779 ···​49d8f:​»       ​0f·​84·ab·​01·​00·​00····»       ​je·····​49f40·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x240>779 ···​4b16f:​»       ​0f·​84·33·​02·​00·​00····»       ​je·····​4b3a8·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x2c8>
780 ···​49d95:​»       ​41·​57················»       ​push···​%r15780 ···​4b175:​»       ​41·​57················»       ​push···​%r15
781 ···​49d97:​»       ​41·​56················»       ​push···​%r14781 ···​4b177:​»       ​41·​56················»       ​push···​%r14
782 ···​49d99:​»       ​41·​55················»       ​push···​%r13782 ···​4b179:​»       ​41·​55················»       ​push···​%r13
783 ···​49d9b:​»       ​41·54················»       ​push···%r12783 ···​4b17b:​»       ​4c·8d·6f·ff··········»       ​lea····-​0x1(%rdi)​,​%r13
784 ···​49d9d:​»       ​4c·8d·67·ff··········»       ​lea····-​0x1(%rdi)​,​%r12784 ···​4b17f:​»       ​41·54················»       ​push···%r12
785 ···​49da1:​»       ​55···················»       ​push···​%rbp785 ···​4b181:​»       ​55···················»       ​push···​%rbp
786 ···​49da2:​»       ​53···················»       ​push···​%rbx786 ···​4b182:​»       ​53···················»       ​push···​%rbx
787 ···​49da3:​»       ​4d·​89·​e6·············»       ​mov····​%r12,​%r14787 ···​4b183:​»       ​4d·​89·​ef·············»       ​mov····​%r13,​%r15
788 ···​49da6:​»       ​4c·​89·​e3·············»       ​mov····​%r12,​%rbx788 ···​4b186:​»       ​4d·​89·​ec·············»       ​mov····​%r13,​%r12
789 ···​49da9:​»       ​48·​83·​ec·38··········»       ​sub····​$0x38,​%rsp789 ···​4b189:​»       ​48·​83·​ec·28··········»       ​sub····​$0x28,​%rsp
790 ···​49dad:​»       ​41·​83·​e6·​01··········»       ​and····​$0x1,​%r14d790 ···​4b18d:​»       ​41·​83·​e7·​01··········»       ​and····​$0x1,​%r15d
791 ···​49db1:​»       ​0f·​85·2c·​02·​00·​00····»       ​jne····​49fe3·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x2e3>791 ···​4b191:​»       ​0f·​85·af·​02·​00·​00····»       ​jne····​4b446·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0x366>
792 ···​49db7:​»       ​66·​0f·​1f·​84·​00·​00·​00·»       ​nopw···​0x0(%rax,​%rax,​1)​792 ···​4b197:​»       ​66·​0f·​1f·​84·​00·​00·​00·»       ​nopw···​0x0(%rax,​%rax,​1)​
793 ···​49dbe:​»       ​00·​00·793 ···​4b19e:​»       ​00·​00·
794 ···​49dc0:​»       ​48·​d1·​fb·············»       ​sar····​%rbx794 ···​4b1a0:​»       ​49·​d1·​fc·············»       ​sar····​%r12
795 ···​49dc3:​»       ​49·​83·​c6·​01··········»       ​add····​$0x1,​%r14795 ···​4b1a3:​»       ​49·​83·​c7·​01··········»       ​add····​$0x1,​%r15
796 ···​49dc7:​»       ​f6·​c3·​01·············»       ​test···​$0x1,​%bl796 ···​4b1a7:​»       ​41·f6·​c4·​01··········»       ​test···​$0x1,​%r12b
797 ···​49dca:​»       ​74·​f4················»       ​je·····​49dc0·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0xc0>797 ···​4b1ab:​»       ​74·​f3················»       ​je·····​4b1a0·​<NTL:​:​IsFFTPrime(long,​·​long&)​@@Base+0xc0>
798 ···​49dcc:​»       ​48·89·3c·24··········»       ​mov····​%rdi,​(%rsp)​798 ···​4b1ad:​»       ​48·0f·bd·c7··········»       ​bsr····​%rdi,​%rax
799 ···​49dd0:​»       ​48·89·f5·············»       ​mov····​%rsi,​%rbp799 ···​4b1b1:​»       ​66·0f·ef·e4··········»       ​pxor···%xmm4,​%xmm4
800 ···​49dd3:​»       ​49·​89·​fd·············»       ​mov····%rdi,​%r13800 ···​4b1b5:​»       ​48·​83·​f0·3f··········»       ​xor····$0x3f,​%rax
801 ···​49dd6:​»       ​df·2c·24·············»       ​fildll·(%rsp)​801 ···​4b1b9:​»       ​48·89·fb·············»       ​mov····%rdi,​%rbx
802 ···​49dd9:​»       ​db·​7c·​24·​10··········»       ​fstpt··0x10(%rsp)​802 ···​4b1bc:​»       ​48·89·​74·​24·​10·······»       ​mov····​%rsi,​0x10(%rsp)​
803 ···​49ddd:​»       ​eb·03················»       ​jmp····49de2·<NTL:​:​IsFFTPrime(long,​·long&)​@@Base+0xe2>803 ···​4b1c1:​»       ​48·98················»       ​cltq···
804 ···​49ddf:​»       ​90···················»       ​nop804 ···​4b1c3:​»       ​48·89·fd·············»       ​mov····%rdi,​%rbp
805 ···​49de0:​»       ​dd·d8················»       ​fstp···%st(0)​805 ···​4b1c6:​»       ​48·8d·48·fc··········»       ​lea····-​0x4(%rax)​,​%rcx
806 ···​49de2:​»       ​4c·89·​ef·············»       ​mov····​%r13,​%rdi806 ···​4b1ca:​»       ​48·d3·​e3·············»       ​shl····​%cl,​%rbx
807 ···​49de5:​»       ​e8·e6·​c4·ff·ff·······»       ​callq··462d0·<NTL:​:​RandomBnd(long)​@plt>807 ···​4b1cd:​»       ​41·89·​ce·············»       ​mov····​%ecx,​%r14d
... load diff ...