Pensieve header: $p_2$ data from Andrea Overbay, February 9, 2019.

SetDirectory["C:\\drorbn\\AcademicPensieve\\People\\Overbay"]

three1=1-(1/(t^4))+(1/(t^2))+(t^2)-(t^4)

four1=5+(1/(t^4))-(4/(t^2))-4 (t^2)+(t^4)

five1=61+(1/(t^16))-(4/(t^14))+(8/(t^12))-(12/(t^10))+(13/(t^8))-(18/(t^6))+(32/(t^4))-(49/(t^2))-49 (t^2)+32 (t^4)-18 (t^6)+13 (t^8)-12 (t^10)+8 (t^12)-4 (t^14)+(t^16)

five2=80+(3/(t^8))-(14/(t^6))+(31/(t^4))-(59/(t^2))-59 (t^2)+31 (t^4)-14 (t^6)+3 (t^8)

six1=-70-(1/(t^8))+(10/(t^6))-(32/(t^4))+(57/(t^2))+57 (t^2)-32 (t^4)+10 (t^6)-(t^8)

six2=87-(1/(t^12))+(14/(t^10))-(63/(t^8))+(135/(t^6))-(131/(t^4))+(2/(t^2))+2 (t^2)-131 (t^4)+135 (t^6)-63 (t^8)+14 (t^10)-(t^12)

six3=405-(1/(t^12))+(4/(t^10))+(2/(t^8))-(52/(t^6))+(177/(t^4))-(332/(t^2))-332 (t^2)+177 (t^4)-52 (t^6)+2 (t^8)+4 (t^10)-(t^12)

seven1=438+(3/(t^24))-(12/(t^22))+(27/(t^20))-(48/(t^18))+(72/(t^16))-(96/(t^14))+(114/(t^12))-(141/(t^10))+(189/(t^8))-(255/(t^6))+(333/(t^4))-(402/(t^2))-402 (t^2)+333 (t^4)-255 (t^6)+189 (t^8)-141 (t^10)+114 (t^12)-96 (t^14)+72 (t^16)-48 (t^18)+27 (t^20)-12 (t^22)+3 (t^24)

seven2=1593+(42/(t^8))-(248/(t^6))+(705/(t^4))-(1294/(t^2))-1294 (t^2)+705 (t^4)-248 (t^6)+42 (t^8)

seven3=3849+(23/(t^16))-(130/(t^14))+(372/(t^12))-(740/(t^10))+(1193/(t^8))-(1793/(t^6))+(2615/(t^4))-(3462/(t^2))-3462 (t^2)+2615 (t^4)-1793 (t^6)+1193 (t^8)-740 (t^10)+372 (t^12)-130 (t^14)+23 (t^16)

seven4=4994+(112/(t^8))-(720/(t^6))+(2177/(t^4))-(4064/(t^2))-4064 (t^2)+2177 (t^4)-720 (t^6)+112 (t^8)

seven5=12090+(23/(t^16))-(168/(t^14))+(632/(t^12))-(1652/(t^10))+(3389/(t^8))-(5847/(t^6))+(8697/(t^4))-(11117/(t^2))-11117 (t^2)+8697 (t^4)-5847 (t^6)+3389 (t^8)-1652 (t^10)+632 (t^12)-168 (t^14)+23 (t^16)

seven6=499+(8/(t^10))-(60/(t^8))+(155/(t^6))-(99/(t^4))-(253/(t^2))-253 (t^2)-99 (t^4)+155 (t^6)-60 (t^8)+8 (t^10)

seven7=929-(1/(t^12))+(12/(t^10))-(46/(t^8))+(36/(t^6))+(207/(t^4))-(673/(t^2))-673 (t^2)+207 (t^4)+36 (t^6)-46 (t^8)+12 (t^10)-(t^12)

eight1=117-(3/(t^8))+(20/(t^6))-(14/(t^4))-(63/(t^2))-63 (t^2)-14 (t^4)+20 (t^6)-3 (t^8)

eight2=5698+(1/(t^24))-(12/(t^22))+(63/(t^20))-(194/(t^18))+(407/(t^16))-(628/(t^14))+(738/(t^12))-(742/(t^10))+(962/(t^8))-(1826/(t^6))+(3361/(t^4))-(4979/(t^2))-4979 (t^2)+3361 (t^4)-1826 (t^6)+962 (t^8)-742 (t^10)+738 (t^12)-628 (t^14)+407 (t^16)-194 (t^18)+63 (t^20)-12 (t^22)+(t^24)

eight3=-2422-(16/(t^8))+(176/(t^6))-(795/(t^4))+(1848/(t^2))+1848 (t^2)-795 (t^4)+176 (t^6)-16 (t^8)

eight4=1773-(1/(t^16))+(10/(t^14))-(60/(t^12))+(268/(t^10))-(761/(t^8))+(1205/(t^6))-(697/(t^4))-(852/(t^2))-852 (t^2)-697 (t^4)+1205 (t^6)-761 (t^8)+268 (t^10)-60 (t^12)+10 (t^14)-(t^16)

eight5=10965+(1/(t^24))-(12/(t^22))+(65/(t^20))-(214/(t^18))+(501/(t^16))-(927/(t^14))+(1492/(t^12))-(2298/(t^10))+(3596/(t^8))-(5579/(t^6))+(8009/(t^4))-(10117/(t^2))-10117 (t^2)+8009 (t^4)-5579 (t^6)+3596 (t^8)-2298 (t^10)+1492 (t^12)-927 (t^14)+501 (t^16)-214 (t^18)+65 (t^20)-12 (t^22)+(t^24)

eight6=6782+(3/(t^16))-(36/(t^14))+(182/(t^12))-(498/(t^10))+(915/(t^8))-(1593/(t^6))+(3179/(t^4))-(5544/(t^2))-5544 (t^2)+3179 (t^4)-1593 (t^6)+915 (t^8)-498 (t^10)+182 (t^12)-36 (t^14)+3 (t^16)

eight7=3280-(1/(t^20))+(10/(t^18))-(58/(t^16))+(238/(t^14))-(692/(t^12))+(1401/(t^10))-(1908/(t^8))+(1464/(t^6))+(226/(t^4))-(2319/(t^2))-2319 (t^2)+226 (t^4)+1464 (t^6)-1908 (t^8)+1401 (t^10)-692 (t^12)+238 (t^14)-58 (t^16)+10 (t^18)-(t^20)

eight8=114-(1/(t^16))+(12/(t^14))-(82/(t^12))+(326/(t^10))-(790/(t^8))+(1179/(t^6))-(996/(t^4))+(296/(t^2))+296 (t^2)-996 (t^4)+1179 (t^6)-790 (t^8)+326 (t^10)-82 (t^12)+12 (t^14)-(t^16)

eight9=7338-(1/(t^20))+(12/(t^18))-(58/(t^16))+(156/(t^14))-(236/(t^12))+(60/(t^10))+(735/(t^8))-(2372/(t^6))+(4578/(t^4))-(6544/(t^2))-6544 (t^2)+4578 (t^4)-2372 (t^6)+735 (t^8)+60 (t^10)-236 (t^12)+156 (t^14)-58 (t^16)+12 (t^18)-(t^20)

eight10=3287-(2/(t^20))+(19/(t^18))-(99/(t^16))+(351/(t^14))-(892/(t^12))+(1634/(t^10))-(2074/(t^8))+(1502/(t^6))+(270/(t^4))-(2351/(t^2))-2351 (t^2)+270 (t^4)+1502 (t^6)-2074 (t^8)+1634 (t^10)-892 (t^12)+351 (t^14)-99 (t^16)+19 (t^18)-2 (t^20)

eight11=9879+(3/(t^16))-(38/(t^14))+(199/(t^12))-(552/(t^10))+(1029/(t^8))-(1949/(t^6))+(4339/(t^4))-(7971/(t^2))-7971 (t^2)+4339 (t^4)-1949 (t^6)+1029 (t^8)-552 (t^10)+199 (t^12)-38 (t^14)+3 (t^16)

eight12=14553+(4/(t^12))-(72/(t^10))+(557/(t^8))-(2436/(t^6))+(6669/(t^4))-(12000/(t^2))-12000 (t^2)+6669 (t^4)-2436 (t^6)+557 (t^8)-72 (t^10)+4 (t^12)

eight13=433-(1/(t^16))+(14/(t^14))-(98/(t^12))+(410/(t^10))-(1057/(t^8))+(1647/(t^6))-(1373/(t^4))+(242/(t^2))+242 (t^2)-1373 (t^4)+1647 (t^6)-1057 (t^8)+410 (t^10)-98 (t^12)+14 (t^14)-(t^16)

eight14=18714+(3/(t^16))-(40/(t^14))+(248/(t^12))-(948/(t^10))+(2618/(t^8))-(5829/(t^6))+(10838/(t^4))-(16247/(t^2))-16247 (t^2)+10838 (t^4)-5829 (t^6)+2618 (t^8)-948 (t^10)+248 (t^12)-40 (t^14)+3 (t^16)

eight15=230228+(129/(t^16))-(1271/(t^14))+(6263/(t^12))-(20644/(t^10))+(50993/(t^8))-(99815/(t^6))+(159284/(t^4))-(210051/(t^2))-210051 (t^2)+159284 (t^4)-99815 (t^6)+50993 (t^8)-20644 (t^10)+6263 (t^12)-1271 (t^14)+129 (t^16)

eight16=8109-(2/(t^20))+(25/(t^18))-(156/(t^16))+(621/(t^14))-(1709/(t^12))+(3325/(t^10))-(4416/(t^8))+(3259/(t^6))+(820/(t^4))-(5821/(t^2))-5821 (t^2)+820 (t^4)+3259 (t^6)-4416 (t^8)+3325 (t^10)-1709 (t^12)+621 (t^14)-156 (t^16)+25 (t^18)-2 (t^20)

eight17=35247-(1/(t^20))+(12/(t^18))-(56/(t^16))+(108/(t^14))+(135/(t^12))-(1564/(t^10))+(5571/(t^8))-(13056/(t^6))+(22931/(t^4))-(31704/(t^2))-31704 (t^2)+22931 (t^4)-13056 (t^6)+5571 (t^8)-1564 (t^10)+135 (t^12)+108 (t^14)-56 (t^16)+12 (t^18)-(t^20)

eight18=77731+(13/(t^16))-(180/(t^14))+(1168/(t^12))-(4760/(t^10))+(13742/(t^8))-(29964/(t^6))+(51208/(t^4))-(70092/(t^2))-70092 (t^2)+51208 (t^4)-29964 (t^6)+13742 (t^8)-4760 (t^10)+1168 (t^12)-180 (t^14)+13 (t^16)

eight19=215+(3/(t^24))-(12/(t^22))+(18/(t^20))-(7/(t^18))-(17/(t^16))+(30/(t^14))-(25/(t^12))+(20/(t^10))-(40/(t^8))+(65/(t^6))-(10/(t^4))-(130/(t^2))-130 (t^2)-10 (t^4)+65 (t^6)-40 (t^8)+20 (t^10)-25 (t^12)+30 (t^14)-17 (t^16)-7 (t^18)+18 (t^20)-12 (t^22)+3 (t^24)

eight20=416-(7/(t^12))+(46/(t^10))-(120/(t^8))+(138/(t^6))+(14/(t^4))-(278/(t^2))-278 (t^2)+14 (t^4)+138 (t^6)-120 (t^8)+46 (t^10)-7 (t^12)

eight21=2670+(1/(t^14))+(4/(t^12))-(60/(t^10))+(276/(t^8))-(775/(t^6))+(1550/(t^4))-(2331/(t^2))-2331 (t^2)+1550 (t^4)-775 (t^6)+276 (t^8)-60 (t^10)+4 (t^12)+(t^14)

Ks={Knot[3,1],Knot[4,1],Knot[5,1],Knot[5,2],Knot[6,1],Knot[6,2],Knot[6,3],Knot[7,1],Knot[7,2],Knot[7,3],Knot[7,4],Knot[7,5],Knot[7,6],Knot[7,7],Knot[8,1],Knot[8,2],Knot[8,3],Knot[8,4],Knot[8,5],Knot[8,6],Knot[8,7],Knot[8,8],Knot[8,9],Knot[8,10],Knot[8,11],Knot[8,12],Knot[8,13],Knot[8,14],Knot[8,15],Knot[8,16],Knot[8,17],Knot[8,18],Knot[8,19],Knot[8,20],Knot[8,21]};

OverbayP2Data=Ks /. Knot[n_,k_] :> (Knot[n,k]->ToExpression[IntegerName[n]<>ToString[k]] /. t->T)

OverbayP2Data >> "OverbayP2Data.m"

Ks/.OverbayP2Data /. T->1

Ks/.OverbayP2Data /. T->-1