M7R0
I2validColorVectorsf*6('%(quandleG-%'rtableG6#/%)datatypeG&%(integerG6#""#'%,qu
andlesizeG&F-6#""%'%%knotGF''%+braidindexGF2'%)nopsknotGF2'%+validCvecsGF'6"6#%
.call_externalGF=-F?6$X*%)anythingG6"F=[gl%!%!"!"8"8c[`i]^[oc_]e`\[o%'[_[e`\[o!
gb_d`\[o![_[e`\[o!gb_d`\[o!gb_d`\[o![_[e`\[o!!!!!!!!9"F=F=F=F=,
I*cvrtarrayf*6&%&brindG%'nopkntG%"LG%&numVCG6'%"iG%"jG%"kG%(tempClrG%)counttmpG
F=F=C'>&8'6#""!9'?(8$"""FfnFY%%trueG?(8%FfnFfn,&9%FfnFfnFfnFgn>&&FV6#Fen6#Fin-%
&arrayG6#;Ffn9$>8(Ffn?(FenFfnFfnFYFgn?(FinFfnFfnFjnFgn?(8&FfnFfnFeoFgnC$>&F]o6#
F[p&9&6#Fgo>Fgo,&FgoFfnFfnFfn-%%evalG6#FVF=F=F=F=,
I5Invar2_3UntwistedDLLf*6%%(QuandleG%"pG%%KnotG6C%(SST2cocG%(SST3cocG%+SST2cont
riG%+SST3contriG%$jj3G%$jj5G%$jj6G%$jj8G%"sG%$numG%&ColorGFI%%indxG%.ColDiffMat
ch0G%+ColorDiff0G%%GinvG%-quandleorderG%-co2SolutionsG%-co3SolutionsG%+Facecolo
rsG%+facecolorsG%-precolorfaceG%)nowcolorG%,colcoloringG%,VALIDCOLORSG%)Quandle
CG%&KnotCG%"xG%"yGFN%*valid2cocG%*valid3cocG%+numVcolorsGF=F=C6>FenFX>FinFX>8<7
">86Fcs>85Fcs>84-F16#Feo>Fes-%,co3SolutionG6$FeoF[o>Fgs-%,co2SolutionGF_t>8/,&-
%$maxG6#-%#opG6#-%$mapG6$%$absGFapFfnFfnFfn>8DFX>8=-%&ArrayG6%-FjtF[tF*/%&order
G%(C_orderG>8>-Feu6&;FX,&-%%nopsG6#FapFfn!""FfnFapF*Fhu>Fbs-Feu6%;FX")+++5F*Fhu
>Fau-F"6(FcuFisF\vFdtFavFbs>&8.FWFau?(8?FfnFfnFauFgn?(8@FfnFfn,&FavFfnFfnFfnFgn
>&&F_w6#Faw6#Fcw-Fbo6$;FfnFdtFcs?(FgoFfnFfnFdwFgn>&87Fbp-Fbo6#;FX,&FdtFfnFdvFfn
>F_w-FF6&FdtFavFbsFau?(8AFfnFfnFauFgnC%?(88FXFfn,&FisFfnFdvFfnFgnC(>F[pFX>FVFX?
(89FfnFfnFdwFgn>&&F`x6#FbyFWF\y?(8:FfnFfnFavFgn?(8;FXFfn,&-F_u6#&Fap6#FhyFfnFdv
FfnFgn>&&F`xF_z6#,&FjyFfnFfnFfn&Feo6$&Fbz6#Fjy&&&F_w6#FixF_zFcz?(8,FfnFfnFavFgn
@%2FX&Fap6#F^[l>FV,&FVFfn&Fes6%&&F`xFb[l6#,&-F_u6#Fa[lFfnFdvFfn&&F[[lFb[l6#F[\l
&F^\l6#,&F[\lFfnFfnFfnFfn>FV,&FVFfn&Fes6%Fg[l&&F[[l6#,&F^[lFfnFfnFfnF_\l&Fh\lFa
\lFdv>Fin,&FinFfn)%"uG-F]u6$f*6#%"zGF=6$%)operatorG%&arrowGF=-%$modG6$FeoT$F=F=
6$F\qF[oFVFfn?(F^[lFfnFfnFavFgn@%F`[l>F[p,&F[pFfn&Fgs6$F]\lF`\lFfn>F[p,&F[pFfn&
Fgs6$Fg\lF[]lFdv>Fen,&FenFfn)F_]l-F]u6$f*Fc]lF=Fe]lF=Fh]lF=F=F\^lF[pFfnO6(FenFi
nF_wFgsFesFauF=F=F=F=,
I2CalcUntwistinvarsf*6'%)filePATHGF\q%%qordG%%qnumG%.numberofknotsG6?FN%#HHG%-t
mpfilename1G%-tmpfilename2G%-tmpfilename3G%&tmpf1G%&tmpf2G%&tmpf3G%'INVARSGF[qF
^r%-tmpfilename4G%-tmpfilename5G%&tmpf4G%&tmpf5GFI%,tmpColorstrGFirFjrFd]l%*tmp
co2strG%*tmpco3strG%(bstrandG%)crossvecG%'colnumG%#JJG%-writesolpathG%&cpathG%(
solpathGF=F=C?>Faw&FE6#""'>Fcw&FE6#""(>8--%$catG6&%"QGFap%"_GFY>F_w-F16#Fgal>Fi
n-%(ssystemG6#%%dateG&FinF.>F[p-Fial6*FeoQ#Z_F=F[oQ+untwistedQF=FapQ"_F=FYQ-_2c
ocinv.invF=>FV-Fial6*FeoFiblF[oFjblFapF[clFYQ-_3cocinv.invF=@$0Fcw%&falseGC1>Fd
t-Fial6*FcwQ,coc2SolnsZ_F=F[oFjblFapF[clFYQ%.solF=>80-Fial6*FcwQ,coc3SolnsZ_F=F
[oFjblFapF[clFYFicl>81-%&fopenG6$Fdt%&WRITEG>82-Fbdl6$F[dlFddl-%'printfG6$Q$%s|
+F=Fdt-Fjdl6$F\elF[dl-%(fprintfG6'F`dlQgp#Untwisted~Quandle~2-cocycle~solutions
~for~the~Quandle~Q%d_%d~and~|+#coefficient~group~Z_%d|+|+F=FapFYF[o-F`el6'FfdlQ
fp#Untwisted~Quandle~3-cocyclesolutions~for~the~Quandle~Q%d_%d~and~|+#coefficie
nt~group~Z_%d|+|+F=FapFYF[o-F`el6&F`dlQJ#The~cayley~table~for~the~quandle~Q%d_%
d|+F=FapFY-F`el6&FfdlFhelFapFY-%'fpQuanG6%F`dlFgalF_w-F\fl6%FfdlFgalF_w-F`el6%F
`dlQ/#Generated~%s|+F=Febl-F`el6%FfdlFbflFebl>F\vFgn>8)-Fbdl6$F[pFddl>8*-Fbdl6$
FVFddl-Fjdl6$F\elF[p-Fjdl6$F\elFV-F`el6'FgflQhp#Untwisted~Quandle~2-cocycle~inv
ariants~for~the~Quandle~Q%d_%d~and~|+#coefficient~group~Z_%d|+|+F=FapFYF[o-F`el
6'F[glQhp#Untwisted~Quandle~3-cocycle~invariants~for~the~Quandle~Q%d_%d~and~|+#
coefficient~group~Z_%d|+|+F=FapFYF[o-F`el6&FgflFhelFapFY-F`el6&F[glFhelFapFY-F\
fl6%FgflFgalF_w-F\fl6%F[glFgalF_w-F`el6%FgflFbflFebl-F`el6%F[glFbflFebl?(FenFXF
fn9(FgnC(>FcuFabl>F^[l-Fhp6%FgalF[o&F]q6$FenF/-F`el6'FgflQ-%s|*%s|*~|+%s|+|+F=-
%(convertG6$&F]q6$FenFfn%'stringG-Fail6$F[ilFeil-Fail6$&F^[l6#FfnFeil-F`el6'F[g
lF_ilF`ilFfil-Fail6$&F^[lF.Feil@$0FawFcclC1>Fgo-Fial6'FawQ(ColorsQF=FapF[clFY>F
go-Fial6&FgoQ"KF=FcilQ%.clrF=>8+-Fbdl6$FgoFddl-F`el6(F^[mQdq#The~valid~color~ve
ctors~for~the~braids~colored~with~the~quandle~Q%d_%d~|+#for~the~knot~%s~with~br
aid~%s|+|+F=FapFYF`ilFfil-F`el6&F^[mFhelFapFY-F\fl6%F^[mFgalF_w-F`el6%F^[mFbfl&
FcuF.>Fis-Fial6)%$ColGF`ilF\blF[blFapF\blFY-F`el6&F^[mQ,%s[0]:=%d;|+F=Fis&F^[lF
`al>83,&-Fgt6#-Fjt6#-F]u6$F_uF[ilFfnFfnFfn?(FbsFfnFfnFb\mFgn?(FjyFfnFfn,&-Fbv6#
F[ilFfnFfnFfnFgn?(FhyFfnFfnFd\mFgn-F`el6)F^[mQ5%s[%d][%d][%d]:=%d;|+F=FisFbsFjy
Fhy&&&&F^[l6#""$6#FbsFhzF_z>FcuFablFh[m-F`el6$F^[mQ$|+|+|+F=-%'fcloseG6#F^[m@$0
F\vFcclC*>F\y-Fial6)%.co2SolUntwistGF[blFapF\blFY%#Z_GF[o>Fby-Fial6)%.co3SolUnt
wistGF[blFapF\blFYFj^mF[o?(FgsFXFfn,&F_wFfnFdvFfnFgn?(FesFXFfnF`_mFgnC$?(F`xFXF
fnF`_mFgn-F`el6)FfdlQ3%s[%d,%d,%d]:=%s;|+F=FbyFgsFesF`x-Fail6$&&F^[l6#""&6%FgsF
esF`xFeil-F`el6(F`dlQ0%s[%d,%d]:=%s;|+F=F\yFgsFes-Fail6$&&F^[lF36$FgsFesFeil-F`
el6$F`dlF_^m-F`el6$FfdlF_^m-Fa^m6#F`dl-Fa^m6#Ffdl>F\vFccl-%&printG6#Q3finished~
all~knotsF=>FinFablFeblF`hlFbhl-Fa^m6#Fgfl-Fa^m6#F[glF=F=F=F=,
I'fpQuanf*6%%&tfileGF[q%&qsizeG6$FNFOF=F=C%-F`el6$FeoQ%|+#~~F=?(FenFXFfn,&FapFf
nFdvFfnFgnC$?(FinFXFfnFcbmFgn-F`el6%FeoQ&%5d~~F=&F[o6$FenFinF_bm-F`el6$FeoQ#|+|
+F=F=F=F=F=,
I3Invar2UntwistedDLLf*Fjp6:F_qFaqFcqFdqFeqFfqFgqFhqFiqFIFjqF[rF\rF]rF^rF_rFfrFg
rFhrFirFjrFNF[sF]sF=F=C2>FenFX>FisFcs>Fd\mFcs>FfdlFjs@%29#F4>Fd\mFat>Fd\m&FEF3>
FgalFet>FjyFX>FgsFdu>FesF]v>FisFfv>Fjy-F"6(FgsFfdlFesFgalFavFis>&F^[lFWFjy?(F`x
FfnFfnFjyFgn?(F\yFfnFfnFdwFgn>&&F^[l6#F`x6#F\y-Fbo6$;FfnFgalFcs>F^[l-FF6&FgalFa
vFisFjy?(FbyFfnFfnFjyFgnC%>FinFX?(F[glFfnFfnFavFgn@%2FX&FapFgam>Fin,&FinFfn&Fd\
m6$&&&F^[lFfyFgam6#-F_u6#Fiem&F_fm6#,&FbfmFfnFfnFfnFfn>Fin,&FinFfn&Fd\m6$&&F`fm
6#,&F[glFfnFfnFfnFafm&F\gmFefmFdv>Fen,&FenFfn)F_]l-F]u6$f*Fc]lF=Fe]lF=Fh]lF=F=F
\^lFinFfnO6&FenF^[lFd\mFjyF=F=F=F=,
I3Calc2Untwistinvarsf*Fa_lFf_lF=F=C6>FawF_al>FcwFcal>FgalFhal>F_wF^bl>FinFablFe
bl>F[pFgbl@$FbclC*>FdtFfcl>F`dlFadlFidlF_elFfelF[flF`fl>F\vFgn>FgflFhflF^glFbgl
FhglF\hlF`hl?(FenFXFfnFehlFgnC'>FcuFabl>F^[l-F^cmFjhlF]il@$FbjlC1>FgoFejl>FgoFi
jl>F^[mF_[mFa[mFd[mFf[mFh[m>FisF\\m-F`el6&F^[mFa\mFisFd`m>Fd\mFe\m?(FbsFfnFfnFd
`mFgn?(FjyFfnFfnF^]mFgn?(FhyFfnFfnFd\mFgn-F`el6)F^[mFd]mFisFbsFjyFhy&&&F`jlF[^m
FhzF_z>FcuFablFh[mF]^mF`^m@$Fd^mC'>F\yFg^m?(FgsFXFfnF`_mFgn?(FesFXFfnF`_mFgn-F`
el6(F`dlF``mF\yFgsFes-Fail6$&Fh]mFe`mFeilFf`mFj`m>F\vFcclF_am>FinFablFeblF`hlFd
amF=F=F=F=,
I3Invar3UntwistedDLLf*Fjp6@F`qFbqFcqFdqFeqFfqFgqFhqFiqFIFjqF[rF\rF]rF^rF`rFarFb
rFcrFdrFerFfrFgrFhrFirFjrFNF[sF\sF]sF=F=C3>FenFX>FbyFcs>Fd\mFcs>FfdlFjs@%Fgcm>F
d\mF]t>Fd\mF[dm>FgalFet>FixFX>FhyFdu>FjyF]v>FbyFfv>Fix-F"6(FhyFfdlFjyFgalFavFby
>FedmFix?(FbsFfnFfnFixFgn?(FcuFfnFfnFdwFgn>&&F^[lF[^m6#FcuF]em?(F[pFfnFfnFdwFgn
>&FisF_p-Fbo6#;FX,&FgalFfnFdvFfn>F^[l-FF6&FgalFavFbyFix?(F\vFfnFfnFixFgn?(FgsFX
Ffn,&FfdlFfnFdvFfnFgnC'>FinFX?(FesFfnFfnFdwFgn>&&Fis6#FesFWFgs?(F`xFfnFfnFavFgn
?(F\yFXFfn,&-F_u6#&FapF[emFfnFdvFfnFgn>&&FisF[em6#,&F\yFfnFfnFfn&Feo6$&F`^nF\em
&&&F^[l6#F\vF[emFa^n?(F[glFfnFfnFavFgn@%Fhem>Fin,&FinFfn&Fd\m6%&&FisFgam6#,&Fbf
mFfnFdvFfn&&Fh^nFgamFafm&Fe_nFefmFfn>Fin,&FinFfn&Fd\m6%F`_n&&Fh^nF]gmFafm&F\`nF
efmFdv>Fen,&FenFfn)F_]l-F]u6$f*Fc]lF=Fe]lF=Fh]lF=F=F\^lFinFfnO6&FenF^[lFd\mFixF
=F=F=F=,
I3Calc3Untwistinvarsf*Fa_lFf_lF=F=C6>FawF_al>FcwFcal>FgalFhal>F_wF^bl>FinFablFe
bl>FVF^cl@$FbclC*>F[dlF\dl>FfdlFgdlF]elFcelFielF^flFcfl>F\vFgn>F[glF\glF`glFegl
FjglF^hlFbhl?(FenFXFfnFehlFgnC'>FcuFabl>F^[l-FjjmFjhl-F`el6'F[glF_ilF`ilFfilFhi
l@$FbjlC1>FgoFejl>FgoFijl>F^[mF_[mFa[mFd[mFf[mFh[m>FisF\\mFbim>Fd\mFe\m?(FbsFfn
FfnFd`mFgn?(FjyFfnFfnF^]mFgn?(FhyFfnFfnFd\mFgnFhim>FcuFablFh[mF]^mF`^m@$Fd^mC'>
FbyF\_m?(FgsFXFfnF`_mFgn?(FesFXFfnF`_mFgn?(F`xFXFfnF`_mFgn-F`el6)FfdlFf_mFbyFgs
FesF`x-Fail6$&Fh]mF]`mFeilFh`mF\am>F\vFcclF_am>FinFablFeblFbhlFfamF=F=F=F=,
I5Invar2_3MochizukiDLLf*6+%'XpolymG%'ApolymGF\q%#m1G%#m2G%#a3G%#n1G%#b2GF]q6DF_
qF`qFaqFbqFcqFdqFeqFfqFgqFhqFiqFIFjqF[rF\rF]rF^rF_rF`rFarFbrFcrFdrFerF[qFfrFgrF
hrFirFjrFNF[sF\sF]sF=F=C/>FenFX>FinFX>FcuFcs>8CFccl>FauFccl>Fbs-%,AlexQuandleG6
$FeoFap>FesFcs>FgsFcs>Fis-F1F[^m>Fes-%.Mochizuki3cocG6(FeoF[oFapFYFehl9)>Fgs-%.
Mochizuki2cocG6'FeoF[oFap9*9+@$3-%%typeG6$Fgs%&tableG-F\fn6$FesF^fnC$>Fddn-%.co
cycle2checkG6&FgsFeoF[oFap>Fau-%.cocycle3checkG6&FesFeoF[oFap@%3FddnFauC.>Fdt,&
-Fgt6#-Fjt6#-F]u6$F_u9,FfnFfnFfn>8EFX>F\v-Feu6%-FjtF[^mF*Fhu>Faw-Feu6&;FX,&-Fbv
6#FegnFfnFdvFfnFegnF*Fhu>FcuFfv>Fggn-F"6(F\vFisFawFdtFahnFcu>F^wFggn?(FcwFfnFfn
FggnFgn?(FixFfnFfn,&FahnFfnFfnFfnFgn>&&F_wFiwF\[lFjw?(FgoFfnFfnFjhnFgn>F_xFax>F
_w-FF6&FdtFahnFcuFggn?(8BFfnFfnFggnFgnC%?(F\yFXFfnF]yFgnC(>F[pFX>FVFX?(FbyFfnFf
nFjhnFgn>FdyF\y?(FhyFfnFfnFahnFgn?(FjyFXFfn,&-F_u6#&FegnF_zFfnFdvFfnFgn>Faz&Fbs
6$Fgz&&&F_w6#FdinF_zFcz?(F^[lFfnFfnFahnFgn@%2FX&FegnFb[l>FV,&FVFfn&Fes6%&Fh[l6#
,&-F_u6#F\[oFfnFdvFfn&&FgjnFb[l6#Fd[o&Fg[o6#,&Fd[oFfnFfnFfnFfn>FV,&FVFfn&Fes6%F
a[o&&FgjnFi\lFh[o&Fa\oFj[oFdv>Fin,&FinFfn)F_]l-Fi]l6$-%$RemG6%FVF[o%"tGFapFfn?(
F^[lFfnFfnFahnFgn@%F[[o>F[p,&F[pFfn&Fgs6$Ff[oFi[oFfn>F[p,&F[pFfn&Fgs6$F`\oFb\oF
dv>Fen,&FenFfn)F_]l-Fi]l6$-Fi\o6%F[pF[oF[]oFapFfnO6(FenFinF_wFgsFesFggnC$-F`am6
#Q1Invalid~cocyclesF=OF=F=F=F=F=,
I/CalcMochinvarsf*6+Fb_lF\q%&polymGFicnFjcnF[dn%"nG%"bGFe_l6>FNFg_lFh_lFi_lFj_l
F[`lF\`lF]`lF^`lF^rF_`lF``lFa`lFb`lFIFc`lFirFjrFd]lFd`lFe`lFf`lFg`lFh`lFi`lFj`l
F[alF\alF=F=C?>F\v&FE6#"#5>Faw&FE6#"#6>FinFablFebl>F[p-Fial6,FeoFiblF[oQ%mod(F=
-Fail6$FapFeilQ))2cocinvF=FgenF[clFhenQ%.invF=>FV-Fial6.FeoFiblF[oFh_oFi_oQ))3c
ocinvF=FYF[clFehlF[clFbenF\`o>F[p-&%,StringToolsG6#%'RemoveG6$%'ismultGF[p>FV-F
c`o6$Fh`oFV@$FbjlC1>F_w-Fial6,FawFhclF[oFh_oFi_oQ#)_F=FgenF[clFhenFicl>Fdt-Fial
6.FawF^dlF[oFh_oFi_oFaaoFYF[clFehlF[clFbenFicl>F_w-Fc`o6$Fh`oF_w>Fdt-Fc`o6$Fh`o
Fdt>F[dl-Fbdl6$F_wFddl>F`dlFadl-Fjdl6$F\elF_wFidl-F`el6%F[dlQgn#Mochizuki~2-coc
ycle~solutions~for~the~Alexander~Quandle~%s|+F=-Fial6)Fj^mF[oQ+[t^1,t^-1]F=Q"/F
=Q"(F=Fi_oQ")F=-F`el6%F`dlQgn#Mochizuki~3-cocycle~solutions~for~the~Alexander~Q
uandle~%s|+F=Fdbo-F`el6'F[dlQN#2-cocycle~formula~f(x,y)=(x-y)^%d^%d~*y^%d~|+F=F
[oFgenFhen-F`el6)F`dlQfn#3-cocycle~formula~f(x,y,z)=(x-y)^%d^%d~*(y-z)^%d^%d~*z
^%d|+F=F[oFYF[oFehlFben-F`el6%F[dlFbflFeblF`fl>FcuFgn>FgflFhfl>F[glF\glF^glF`gl
-F`el6$FgflQX#Mochizuki~2-cocycle~invariants~for~Alexander~Quandles|+F=-F`el6$F
[glQX#Mochizuki~3-cocycle~invariants~for~Alexander~Quandles|+F=-F`el6'FgflF_coF
[oFgenFhen-F`el6)F[glFbcoF[oFYF[oFehlFben-F`el6%FgflQ7#Alexander~Quandle~%s|+F=
Fdbo-F`el6%F[glFddoFdboF`hlFbhl?(FenFXFfnFegnFgn@$0-Fi]l6$-%$GcdG6$&F]q6$FenFj]
mFapF[oFfnC(>FbsFabl>F^[l-Fdcn6+FapFapF[oFYFehlFbenFgenFhenF[ilF]ilF\jl@$Fd^mC0
>Fgo-Fial6(F\vQ)ColorsZ_F=F[oFh_oFi_oFibo>Fgo-Fc`o6$Fh`oFgo>FgoFijl>F^[mF_[m-F`
el6%F^[mQio#The~valid~color~vectors~for~the~braids~colored~with~the~Alexander~q
uandle~%s|+F=Fdbo-F`el6%F^[mFbfl&FbsF.>Fd\m-Fial6%F^\mF`il-Fial6(Fj^mF[oQ$modF=
FhboFi_oFibo-F`el6&F^[mFa\mFd\mFb\m>FfdlFe\m?(FjyFfnFfnFb\mFgn?(FhyFfnFfnF^]mFg
n?(FbyFfnFfnFfdlFgn-F`el6)F^[mFd]mFd\mFjyFhyFby&&&Fh]mFhzF_zFfy>FbsFablFdfoF]^m
F`^m@$0FcuFcclC/>F`x-Fial6/%&co2Z_GF[o%"mG%"oG%"dGFhboFi_oFiboF/%'cocSolGFgenF\
blFhen>F\y-Fial61%&co3Z_GF[oF`hoFahoFbhoFhboFi_oFiboFj]mFchoFYF\blFehlF\blFben>
Fgal-F16#-Fhdn6$FapF[o?(FisFXFfnFj\nFgn?(FgsFXFfnFj\nFgnC$?(FesFXFfnFj\nFgn-F`e
l6)F`dlFf_mF\yFisFgsFes-Fail6$&Fj_m6%FisFgsFesFeil-F`el6(F[dlF``mF`xFisFgs-Fail
6$&Fd`m6$FisFgsFeil>FbsFablFffo-F`el6%F[dlFbflFffo-F`el6%F`dlFbflFffo-F`el6$F[d
lF_^mFf`m-Fa^m6#F[dlFj`m>FcuFcclF_am>FinFablFeblF`hlFbhlFdamFfamF=F=F=F=,
I3Invar2MochizukiDLLf*6(FgcnFhcnF\qF\dnF]dnF]qF^dnF=F=C+>FenFX>FcuFcs>FddnFccl>
FgsFcs>FbsFgdn>FisF]en>Fgs-Feen6'FeoF[oFapFYFehl@$F[fn>FddnFcfn@%FddnC->Fdt,&-F
gt6#-Fjt6#-F]u6$F_uFbenFfnFfnFfn>FggnFX>F\vFign>Faw-Feu6&;FX,&-Fbv6#FbenFfnFdvF
fnFbenF*Fhu>FcuFfv>Fggn-F"6(F\vFisFawFdtFh\pFcu>F^wFggn?(FcwFfnFfnFggnFgn?(FixF
fnFfn,&Fh\pFfnFfnFfnFgn>F\inFjw>F_w-FF6&FdtFh\pFcuFggn?(FdinFfnFfnFggnFgnC%>F[p
FX?(F^[lFfnFfnFh\pFgn@%2FX&FbenFb[l>F[p,&F[pFfn&Fgs6$&Fg[o6#-F_u6#F\^p&Fg[o6#,&
Fc^pFfnFfnFfnFfn>F[p,&F[pFfn&Fgs6$&Fa\oFb^p&Fa\oFf^pFdv>FenFg]oO6&FenF_wFgsFggn
C$F`^oOFcclF=F=F=F=,
I0Calc2Mochinvarsf*6(Fb_lF\qFg^oFh^oFi^oFe_lFj^oF=F=C5>F\vFcal>Faw&FE6#"")>FinF
ablFebl>F[p-Fial6,FeoFiblF[oFh_oFi_oF[`oFYF[clFehlF\`o>F[pFb`o@$FbjlC*>F_w-Fial
6,FawFhclF[oFh_oFi_oFaaoFYF[clFehlFicl>F_wFfao>F[dlF\boF_boFabo-F`el6'F[dlF_coF
[oFYFehlFcco>FcuFgn>FgflFhflF^glFhco-F`el6'FgflF_coF[oFYFehlFbdoF`hl?(FenFXFfnF
benFgn@$FidoC'>FbsFabl>F^[l-Fhjo6(FapFapF[oFYFehlF[ilF]il@$Fd^mC0>FgoFieo>FgoF]
fo>FgoFijl>F^[mF_[mFafoFdfo>Fd\mFhfo-F`el6&F^[mFa\mFd\mFd`m>FfdlFe\m?(FjyFfnFfn
Fd`mFgn?(FhyFfnFfnF^]mFgn?(FbyFfnFfnFfdlFgn-F`el6)F^[mFd]mFd\mFjyFhyFby&&&F`jlF
hzF_zFfy>FbsFablFdfoF]^mF`^m@$FjgoC+>F`x-Fial6/F_hoF[oF`hoFahoFbhoFhboFi_oFiboF
/FchoFYF\blFehl>FgalFiho?(FisFXFfnFj\nFgn?(FgsFXFfnFj\nFgn-F`el6(F[dlF``mF`xFis
Fgs-Fail6$&Fh]mF\joFeil>FbsFablFffoF^joFbjoFdjo>FcuFcclF_am>FinFablFeblF`hlFdam
F=F=F=F=,
I3Invar3MochizukiDLLf*6)FgcnFhcnF\qFicnFjcnF[dnF]qF^dnF=F=C+>FinFX>FcuFcs>FauFc
cl>FesFcs>FbsFgdn>FisF]en>FesF_en@$F_fn>FauFgfn@%FauC.>Fdt,&-Fgt6#-Fjt6#-F]u6$F
_uFgenFfnFfnFfn>FggnFX>F\vFign>Faw-Feu6&;FX,&-Fbv6#FgenFfnFdvFfnFgenF*Fhu>FcuFf
v>Fggn-F"6(F\vFisFawFdtFfepFcu>F^wFggn?(FcwFfnFfnFggnFgn?(FixFfnFfn,&FfepFfnFfn
FfnFgn>F\inFjw?(FgoFfnFfnF_fpFgn>F_xFax>F_w-FF6&FdtFfepFcuFggn?(FdinFfnFfnFggnF
gn?(F\yFXFfnF]yFgnC'>FVFX?(FbyFfnFfnF_fpFgn>FdyF\y?(FhyFfnFfnFfepFgn?(FjyFXFfn,
&-F_u6#&FgenF_zFfnFdvFfnFgn>FazFcjn?(F^[lFfnFfnFfepFgn@%2FX&FgenFb[l>FV,&FVFfn&
Fes6%&Fh[l6#,&-F_u6#FfgpFfnFdvFfn&Fg[o6#F^hp&Fg[o6#,&F^hpFfnFfnFfnFfn>FV,&FVFfn
&Fes6%F[hp&Fa\oFahp&Fa\oFchpFdv>FinFd\oO6&FinF_wFesFggnC$F`^oOFcclF=F=F=F=,
I0Calc3Mochinvarsf*6)Fb_lF\qFg^oFicnFjcnF[dnFe_lFj^oF=F=C5>F\vFi_p>Faw&FE6#""*>
FinFablFebl>FVF^`o>FVFj`o@$FbjlC*>FdtFcao>FdtFiao>F`dlFadlFidlFjboF`coF`fl>FcuF
gn>F[glF\glF`glF[doF`doFedoFbhl?(FenFXFfnFgenFgn@$FidoC'>FbsFabl>F^[l-Fhcp6)Fap
FapF[oFYFehlFbenF[ilFjan@$Fd^mC0>FgoFieo>FgoF]fo>FgoFijl>F^[mF_[mFafoFdfo>Fd\mF
hfoF\bp>FfdlFe\m?(FjyFfnFfnFd`mFgn?(FhyFfnFfnF^]mFgn?(FbyFfnFfnFfdlFgnFbbp>FbsF
ablFdfoF]^mF`^m@$FjgoC+>F\yFeho>FgalFiho?(FisFXFfnFj\nFgn?(FgsFXFfnFj\nFgn?(Fes
FXFfnFj\nFgn-F`el6)F`dlFf_mF\yFisFgsFes-Fail6$&Fh]mFfioFeil>FbsFablFffoF`joFf`m
Fj`m>FcuFcclF_am>FinFablFeblFbhlFfamF=F=F=F=,
I'ismultf*6#%)charstarGF=F=F=@%/FeoQ"*F=OFgnOFcclF=F=F=F=,
I.CalcDihinvarsf*6%Fb_lF\q%.numberofKnotsG6;FNFg_lFh_lF[`l%*McocyclesG%&INVARGF
g^oFi_lFj_lF]`lF\`lFirFjrFd]lFc`lFIFh`lFg`lFf`lF^rFe`lFi`lFj`lF[alF\alF=F=C6>Fj
yF[dm>Fbs&FEF[`m>FgoFcs>F[gl,&F[]oFfnFfnFfn>Fgo-%6MochizukiDihedral3cocG6#F[o>F
inFablFebl>F[p-Fial6(FeoQ+MochDih_R_F=F[oQ*3coc_inZ_F=F[oF\`o@$0FbsFcclC(>F^[m-
Fial6&FbsQ4MochDih3cocSOL_inZ_F=F[oFicl>F_w-Fbdl6$F^[mFddl-F`el6%F_wQin#Mochizu
ki~3-cocycle~solutions~for~the~Dihedral~Quandle~R_%d~|+F=F[o-F`el6*F_wQ[p#3-coc
ycle~formula~in~Z_%d~is~f(x,y,z)=(x-y)[(2z^%d~-j^%d)-(2z-y)^%d]/%d~mod~%d|+F=F[
oF[oF[oF[oF[oF[o-Fjdl6$F\elF^[m>FhyFgnF^gl>FVFhfl-F`el6%FVQjn#Mochizuki~3-cocyc
le~invariants~for~the~Dihedral~Quandle~R_%d~|+F=F[o-F`el6*FVFe_qF[oF[oF[oF[oF[o
F[o-F`el6%FVFbflFebl?(FenFXFfnFapFgnC(>FbyFabl&FbyF.>Fgfl-Fjjm6&-Fhdn6$F[glF[oF
[oF[ilFgo-F`el6'FVQ,%s|*%s|*|+%s|+|+F=F`ilFfil-Fail6$&FgflF[jlFeil@$0FjyFcclC/>
F^[l-Fial6%FjyQ,ColorDih_R_F=F[o>F^[l-Fial6&F^[lF[[mFcilF\[m>Fgal-Fbdl6$F^[lFdd
l-F`el6%FgalQao#The~valid~color~vectors~for~the~braids~colored~with~the~quandle
~R_%d|+F=F[o-F`el6%FgalFbflFd`q>Ffdl-Fial6'F^\mF`il%"RGF\blF[o-F`el6&FgalFa\mFf
dl&FgflF3>Fd\mFe\m?(FisFfnFfnFhbqFgn?(FgsFfnFfnF^]mFgn?(FesFfnFfnFd\mFgn-F`el6)
FgalFd]mFfdlFisFgsFes&&&&FgflF.6#Fis6#FgsFg]n>FbyFablF`bq-F`el6$FgalF_^m-Fa^mF_
bl@$0FhyFcclC*>F\y-Fial6%%-co3MochDihZ_GF[o%$SolG>F`xF[o?(FdtFXFfn,&F`xFfnFdvFf
nFgn?(F[dlFXFfnFcdqFgn?(F`dlFXFfnFcdqFgn-F`el6)F_wFf_mF\yFdtF[dlF`dl-Fail6$&&Fg
flFi]m6%FdtF[dlF`dlFeil-F`el6$F_wF_^m>FbyFabl-F`el6%F_wFbflFd`q-Fa^m6#F_w>FhyFc
clF_am>FinFablFeblF_`q-Fa^mFgpF=F=F=F=,
I.co2TwistedSolf*6%F[qFg^o'F`ho%'posintG6=FirFjrFd]lFN%#EQG%"fG%"FG%%varsG%"AG%
'quanodG%"EGF`dq%)Sol_listGFO%%tempG%$degG%$CofG%(testsolG%&ttempG%)TempPolyG%'
TempEqG%)TempListGFP%#LLG%#GGGFi^o%#ssG6#%)rememberGF=C=>FisFcs@%-F\fn6$F[o%(po
lynomG>Fd\m-%'degreeG6$F[oF[]oC$-Fjdl6$F\el%&ERRORGOF=>Fis-%'coeffsGF_^q@%30-%$
gcdG6$&FisF[jlFapFfn0-Fhhq6$&Fis6#-FbvFccqFapFfnC$-Fjdl6$Q#%sF=Q:ERROR:~Not~a~f
inite~ring.F=OF=%)continueG>FgalFjs>Fgfl-Fbo6%Fi\nFi\n;FX,&Fd\mFfnFdvFfn>FgoFcs
?(FVFXFfnFj\nFgn?(F`dlFXFfnFj\nFgn>&F[gl6$FVF`dl-%$sumG6$*&&Fgfl6%FVF`dlFhyFfn)
F[]oFhyFfn/FhyF\jq?(FenFXFfnFj\nFgn?(FinFXFfnFj\nFgn?(F[pFXFfnFj\nFgnC&>&F\y6%F
enFinF[p,,*&F[]oFfn&F[glFjbmFfnFfn&F[gl6$&FeoFjbmF[pFfn*&F[]oFfn&F[gl6$FenF[pFf
nFdv&F[gl6$&FeoF[\r&Feo6$FinF[pFdv*&,&F[]oFfnFdvFfnFfn&F[glF`\rFfnFfn>F`x-Fi]l6
$-Fi\o6%Fa[rF[oF[]oFap>Fby-&%0PolynomialToolsG6#%0CoefficientListG6$F`xF[]o?(FV
FfnFfn-FbvFfyFgnC$>&F_w6&FenFinF[p,&FVFfnFdvFfn&FbyFgp>Fgo7$-FjtFbp/Fd]rFX?(FVF
XFfnFj\nFgn?(F`dlFXFfnF]jqFgn>Fgo7$Fj]r/&Fgfl6%FVFVF`dlFX>F^[m7#-%$seqG6$-Ff^r6
$-Ff^r6$Fhjq/FVFi\n/F`dlFi\nF[[r>F^[l-&%'linalgG6#%*genmatrixG6$FgoF^[m>Fcu-%'v
ectorG6$-&Fa_r6#%'rowdimGFb[lFX>Fdt-Fi]l6$-%)LinsolveG6&F^[lFcu.%"rGF\vFap>F[dl
-Fail6$Fdt%%listG>Fjy-%'indetsGFejo>Fjy-Fail6$FjyFh`r>Fen.Fen>FfdlFfn>FbsFcs?(F
VFfnFfn-FbvFhzFgnC%>Fes-Fjt6#&FjyFgp>Fbs7$F[hn/&F\vFg]n*&&FenF]amFfn)F[]o-%%iqu
oG6$Fes*$FgalF/Ffn>Ffdl,&FfdlFfnFfnFfn>F[dl-%%subsG6$FbsF[dl>FfdlFfn?(FhyFXFfnF
]jqFgn?(F`dlFXFfnFj\nFgn?(FVFXFfnFj\nFgnC$>Fhjq-%(collectG6$&F[dlF]amF[]o>FfdlF
fbr>Fgs-F]u6%Fi]l-%&evalmG6#,&-%#&*G6$F^[lFdtFfnFcuFdvFap>Fgs-Fail6$Fgs%$setG@%
/Fgs<#FXOFgflC$-Fjdl6$FdiqQMERROR:~co2TwistedSol~solutions~are~not~validF=OF=F=
F=F=F=,
I1Invar2TwistedDLLf*6&F[qF]qFg^oFjeq6AFNFOFPFirFjrFd]lF^rF_fqF^fq%%tinvGFI%*SST
contriG%$SSTGFcqFdqFeqFfqFgqFhqFiqF[rF\rF]rFjqFifqFffq%%SST2GF]sFgrFhrFfrF=F=C5
>F\vFX>F^[lFcs>F[glFjs>Fgal-%)tinverseG6$FapFY>Fhy-%(makeinvGF[t>F_w,&-Fgt6#-Fj
t6#-F]u6$F_uF[oFfnFfnFfn>Fcu-Fjgq6$FapF[]o@%2FhcmF\`m>F^[l-Fgeq6%FeoFapFY>F^[lF
h]q?(FenFXFfn,&F[glFfnFdvFfnFgn?(FinFXFfnFbgrFgn>&F^[mFjbm-Fejq6$&F^[lFb[r/F[p;
FX,&FcuFfnFdvFfn>FawFX>FcwFdu>Fix-Feu6&;FX,&-FbvF_^qFfnFdvFfnF[oF*Fhu>FdinFfv>F
aw-F"6(FcwF[glFixF_wFchrFdin>&F`xFWFaw?(FVFfnFfnFawFgn?(FgoFfnFfn,&FchrFfnFfnFf
nFgn>&&F`xFgpFbp-Fbo6$;FfnF_wFcs>F`x-FF6&F_wFchrFdinFaw?(FenFfnFfnFawFgnC%>FdtF
X?(FgsFfnFfnFchrFgn@%2FX&F[oFdcqC$>Fbs*&)Fgal-F_u6#,&-F_u6#F\jrFdvFfnFfnFfn&F^[
m6$&&&F`xF_oFdcq6#Fdjr&Fijr6#,&FdjrFfnFfnFfnFfn>Fdt-Fi]l6$,&FdtFfn-Fi\o6%FbsFap
F[]oFfnFYC$>Fbs*&F`jrFfn&F^[m6$&&Fjjr6#,&FgsFfnFfnFfnF[[s&F[\sF][sFfn>Fdt-Fi]l6
$,&FdtFfn-Fi\o6%,$FbsFdvFapF[]oFfnFY>F\v,&F\vFfn)F_]l-Fi]l6$-Fi\o6%FdtFapF[]oFY
FfnO6&F\vF`xF^[mFawF=F=F=F=,
I1Calc2twistinvarsf*6(Fb_lF\qFg^oFc_lFd_lFe_lFf_lF=F=C6>FawFcal>FcwFi_p>Fgal-Fi
al6&F[blFYF\blFehl>F_wF^bl>FinFablFebl>F[p-Fial6,FeoFiblF[oF\goFi_oQ)twistedQF=
FYF[clFehlF\cl@$FbclC*>Fdt-Fial6*FcwFhclF[oF]^sFYF[clFehlFicl>F`dlFadlFidl-F`el
6(F`dlQdq#Twisted~Quandle~2-cocycle~solutions~for~the~Quandle~Q%d_%d~and~|+#coe
fficient~group~Z_%d[t,t^(-1)]/(%s)|+|+F=FYFehlF[oFi_o-F`el6&F`dlFhelFYFehlF[flF
`fl>F\vFgn>FgflFhflF^gl-F`el6(FgflQeq#Twisted~Quandle~2-cocycle~invariants~for~
the~Quandle~Q%d_%d~and~|+#coefficient~group~Z_%d[t,t^(-1)]/(%s)|+|+F=FYFehlF[oF
i_o-F`el6&FgflFhelFYFehlF\hlF`hl?(FenFXFfnFbenFgnC'>FcuFabl>F^[l-F]er6&FgalF[il
FapF[oF]il@$FbjlC1>Fgo-Fial6'FawFgjlFYF[clFehl>FgoFijl>F^[mF_[m-F`el6(F^[mFc[mF
YFehlF`ilFfil-F`el6&F^[mFhelFYFehlFf[mFh[m>Fis-Fial6)F^\mF`ilF\blF[blFYF\blFehl
Fbim>Fd\mFe\m?(FbsFfnFfnFd`mFgn?(FjyFfnFfnF^]mFgn?(FhyFfnFfnFd\mFgnFhim>FcuFabl
Fh[mF]^mF`^m@$Fd^mC'>F\y-Fial6)Fi^mF[blFYF\blFehlFj^mF[o?(FgsFXFfnF`_mFgn?(FesF
XFfnF`_mFgnFcjmFf`mFj`m>F\vFcclF_am>FinFablFeblF`hlFdamF=F=F=F=,
I)tinversef*6$Fg^oF`ho6+FNFefqFKFffqFaerFgfq%'lowdegG%(coffinvG%(tmppgcdGF`gqF=
C0@%-F\fn6$FeoFggq>FV-Fjgq6$FeoF[]oC$F]hqOF=>Fgfl-F[]rF_bs>FinFfn?(F=FfnFfnF=/&
FgflF`oFX>Fin,&FinFfnFfnFfn@%3/-Fhhq6$FgbsF[oFfn/-Fhhq6$&Fgfl6#-FbvFeamF[oFfnFg
iqC$-Fjdl6$FdiqQ:ERROR,~Not~a~finite~ring.F=OF=>F[glFX?(F=FfnFfnF=/&FgflF]gmFX>
F[glF^gm>FgoFX?(Fen,&F[glFfnF/FfnFfnFdcsFgn>Fgo,&FgoFfn*&&FgflF_oFfn)F[]o,(FenF
fnF[glFdv!"#FfnFfnFdv>F^[l-%'igcdexG6&F]dsF[o.FgqFc`r@%0F^[lFfn-Fjdl6'Q,%s~%d~%
s~%dF=Q8ERROR:~Inverse~dne~for~F=F]dsF\goF[o>F^[m-Fi]l6$FgqF[o>Fgo*&FgoFfnF^[mF
fn>Fgo-Fi]l6$-Fi\o6%FgoFeoF[]oF[oOFgoF=F=F=F=,
I,quandlesizef*6#F[q6#%"TGF`gqF=C$>Fen-Fail6$Feo%'matrixG@%0-Fj_rF_o-&Fa_r6#%'c
oldimGF_o-%&prinfG6&Q*%s~%s~%s|+F=F_hqF&%+dimensionsGOF[gsF=F=F=F=,
I(makeinvf*Fafs6'FNFOFefqFKF^rF`gqF=C&>FgoFjs>FV-Fbo6%;FX,&FgoFfnFdvFfnF^hsFcs?
(FenFXFfnF_hsFgn?(FinFXFfnF_hsFgnC$>F[pFh[r>&FVF`\rFenOFVF=F=F=F=,
I,co2Solutionf*6$F[qFjeq61FirFjrFd]lFNF]fqF^fqF`fqFafqFbfqFcfqF`dqFdfqFOFefqFhf
qF`gqF=C2-F`am6#%/co2solproccallG>F^[lFjs>Fgfl-Fbo6$;FX,&F^[lFfnFdvFfnFcis>FgoF
cs?(FenFXFfnFdisFgn?(FinFXFfnFdisFgn?(F[pFXFfnFdisFgnC$>&FgalFb[r,*&FgflFjbmFfn
&FgflFg[rFfn&FgflF[\rFdv&FgflF]\rFdv>Fgo7$Fj]r/F[jsFX?(FVFXFfnFdisFgn>Fgo7$Fj]r
/&Fgfl6$FVFVFX>F[gl7#-Ff^r6$-Ff^r6$&Fgfl6$FVF[dl/F[dlFcis/FVFcis>F^[m-F`_r6%Fgo
F[glFi^o>F_w-Fi]l6$-Fa`r6&F^[mFi^oFc`rF[]oF[o>Fdt-Fail6$F_wFh`r>F`dlFfn?(FVFXFf
nFdisFgn?(F[dlFXFfnFdisFgnC$>F`[t&FdtF[am>F`dl,&F`dlFfnFfnFfn>FfdlFcs?(FVFfnFfn
-FbvFbpFgn>Ffdl7$-FjtF]am-F]u6$f*6#FirF=Fe]lF=Fh]lF=F=6$F`hoF[o-Ffp6#&FgoFgp>Ff
dl-Fail6$FfdlFcdr@%/Ffdl<#/FXFXOFgfl-Fjdl6&FcgsFbt%*solutionsG%(invalidGF=F=F=F
=,
I+mirrorKnotf*6#FK6%FN%"SG%+braidIndexGF=F=C&>F[p,&-Fgt6#-Fjt6#-F]u6$F_uFeoFfnF
fnFfn>FinFcs?(FenFfnFfn-FbvF[tFgn@%2&FeoF_oFX>Fin7$-FjtF`o,&F[pFfnFe_tFfn>Fin7$
Fh_t,&F[pFdvFe_tFfnOFinF=F=F=F=,
I(barKnotf*Fc^t6$FNFe^tF=F=C%>FinFcs?(FenFfnFfnFb_tFgn>Fin7$Fe_tFh_tOFinF=F=F=F
=,
I-connSumKnotsf*6#%+Knots_listG6(%)newIndexGFNFPFO%(NewKnotG%1Braid_Index_listG
F=F=C)>FgoFcsFgflFcs>FenFX?(F[pFfnFfnFb_tFgn>&FgflF_p,&-Fgt6#-Fjt6#-F]u6$F_u&Fe
oF_pFfnFfnFfn?(FinFfnFfnFb_tFgnC%?(FVFfnFfn-Fbv6#&FeoF`oFgn@%2&FbbtFgpFX>Fgo7$F
j]r,&FebtFfnFenFdv>Fgo7$Fj]r,&FebtFfnFenFfn>Fen,&FenFfnFgbsFfn@$0FinFb_t>Fgo7$F
j]rFenOFgoF=F=F=F=,
I,co3Solutionf*Fihs63FirFjrFd]lFN%"wGFPF]fq%"hGF`fqFafqFbfqFcfqF`dqFdfqFOFefqFh
fqF`gqF=C2-F`am6#%/co3solproccallG>F_wFjs>F^[m-Fbo6%;FXF`_mF`dtF`dt>F[glFcs?(Fe
nFXFfnF`_mFgn?(FinFXFfnF`_mFgn?(F[pFXFfnF`_mFgn?(FgoFXFfnF`_mFgnC$>&Fdt6&FenFin
F[pFgo,.&F^[m6%FenF[pFgoFfn&F^[m6%FenFinFgoFdv&F^[mFb[rFfn&F^[m6%Fh[rF[pFgoFdv&
F^[m6%F^\rF_\rFgoFfn&F^[m6%&Feo6$FenFgo&Feo6$FinFgo&Feo6$F[pFgoFdv>F[gl7$-FjtFg
am/FhdtFX?(FVFXFfnF`_mFgn?(FfdlFXFfnF`_mFgn>F[gl7$F^ft/&F^[m6%FVFfdlFfdlFX>F^[l
7#-Ff^r6$-Ff^r6$-Ff^r6$&F^[m6%FVFfdlFgfl/FgflF`dt/FfdlF`dt/FVF`dt>Fgal-F`_r6%F[
glF^[lFi^o>F[dl-Fi]l6$-Fa`r6&FgalFi^oFc`rF[]oF[o>F`dl-Fail6$F[dlFh`r>Fd\mFfn?(F
VFXFfnF`_mFgn?(FfdlFXFfnF`_mFgn?(FgflFXFfnF`_mFgnC$>F_gt&F`dl6#Fd\m>Fd\m,&Fd\mF
fnFfnFfn>FisFcs?(FVFfnFfn-FbvFgamFgn>Fis7$-FjtFccq-F]u6$f*F`]tF=Fe]lF=Fh]lF=F=F
a]t-Ffp6#&F[glFgp>Fis-Fail6$FisFcdr@%/FisFj]tOF^[m-Fjdl6&FcgsF^tF_^tF`^tF=F=F=F
=,
I.Mochizuki3cocf*6(FgcnFhcnF\qFicnFjcnF[dn6+FNFOFPF^fqF\bmF[q%*XelementsGFefq%*
tempcheckGF`gqF=C*>F[glFcs>F[gl-%%rresGFidn>FgoF[it>F^[l-Fi]l6$-%'DivideG6$,&Ff
nFfn)F[]o,()FapFYFfn)FapFehlFfnFbenFfnFdvF[oFap@%5/FbenFXF^[lFgiqC$-F`am6#QCMoc
hizuki~conditions~not~satisfiedF=OFccl>FV-Fbo6%F^hsF^hsF^hs?(FenFfnFfnFgoFgn?(F
inFfnFfnFgoFgn?(F[pFfnFfnFgoFgnC$>F^[m*(),&&F[glF_oFfn&F[glF`oFdvFb[uFfn),&Fh\u
Ffn&F[glF_pFdvFc[uFfn)F[]uFbenFfn>&FV6%,&FenFfnFdvFfn,&FinFfnFdvFfn,&F[pFfnFdvF
fn-Fi]l6$-Fi\o6%F^[mF[oF[]oFapOFVF=F=F=F=,
I.cocycle3checkf*6&%%cocyGFgcnFhcnF\q6-FNFOFPFirFjrFd]lFfctFefq%(rrespolGFbfqF[
qF`gqF=C(>F^[l-Fgjt6$F[oFY>F_w-FhdnFa^u>Fgal-FbvFb[l?(FenFXFfnFj\nFgn?(FinFXFfn
Fj\nFgn@$0&Feo6%FenFinFinFXC$-F`am6(Q#f[F=FenFinFinQ#]=F=Fj^uOFccl?(FVFXFfnFj\n
Fgn?(FgoFXFfnFj\nFgn?(FgflFXFfnFj\nFgn?(F[glFXFfnFj\nFgnC$>F^[m,.&Feo6%FVFgflF[
glFfn&Feo6%FVFgoF[glFdv&Feo6%FVFgoFgflFfn&Feo6%&F_w6$FVFgoFgflF[glFdv&Feo6%&F_w
6$FVFgfl&F_w6$FgoFgflF[glFfn&Feo6%&F_w6$FVF[gl&F_w6$FgoF[gl&F_w6$FgflF[glFdv@$0
-Fi]l6$-Fi\o6%F^[mFapF[]oFYFXC$-F`am6)Q6temp~from~ReidIII~is~F=F^[mQ(xyzw~isF=F
VFgoFgflF[glOFcclOFgnF=F=F=F=,
I#Xif*6#Fh^oF=F=F=@%/FeoFXOFXO-Fejq6$),$F[]oFdvFN/FN;FX,&FeoFfnFdvFfnF=F=F=F=,
I.Mochizuki2cocf*6'FgcnFhcnF\qFicn%#a2G6*FNFOF^fqF\bmF[qFajtFefqFbjtF`gqF=C*>Fg
flFcs>FgflFfjt>FVFdcs>F^[m-Fi]l6$-F][u6$,&FfnFfn)F[]o,&Fb[uFfnFehlFfnFdvFeoFap@
%5/FehlFXF^[mFgiqC$Fh[uOFccl>F[p-Fbo6$;FXFf]rFedu?(FenFfnFfnFVFgn?(FinFfnFfnFVF
gnC$>F[gl*&),&FedsFfnFgbsFdvFb[uFfn)FgbsFehlFfn>&F[p6$F`]uFa]u-Fi]l6$-Fi\o6%F[g
lF[oF[]oFapOF[pF=F=F=F=,
I.cocycle2checkf*Fj]uF\^uF`gqF=C(>F^[lF`^u>F_wFc^u>FgalFe^u?(FenFXFfnFj\nFgn@$0
&Feo6$FenFenFXC$-F`am6'F__uFenFenF`_uF_fuOFccl?(FVFXFfnFj\nFgn?(FgoFXFfnFj\nFgn
?(FgflFXFfnFj\nFgnC$>F^[m,*&FeoFb`uFfn&Feo6$Fa`uFgflFfn&FeoFf`uFdv&Feo6$Fe`uFg`
uFdv@$FbauC$-F`am6(FjauF^[mQ'xyz~isF=FVFgoFgflOFcclOFgnF=F=F=F=,
I6MochizukiDihedral3cocf*6#F\qF`jtF`gqF=C%>FV-Fbo6%FjbuFjbuFjbu?(FenFXFfnF[cuFg
n?(FinFXFfnF[cuFgn?(F[pFXFfnF[cuFgn>&FVFb[r-Fi]l6$*(,&FenFfnFinFdvFfn,()F[pFeoF
/)FinFeoFdv),&F[pF/FinFdvFeoFdvFfnFeoFdvFeoOFVF=F=F=F=