Pensieve header: Verifying invariance on the 10-crossing Andrey Khesin graph; see https://github.com/AndreyBorisKhesin/RolfsenTable/.

SetDirectory["C:\\drorbn\\AcademicPensieve\\2016-09"];
<< OneSmidgen.m

(Subscript[t, _])=t;

Table[Length@Get[ToString[n]<>".m"],{n,7,10}]

tot=0;
tab=Table[
edges=Get[ToString[n]<>".m"];
k=0;
Table[
++k;
If[e[[1]]=!=e[[2]],
Echo[{++tot,n,k,e}->Z[DTCode@@(2e[[1]])] == Z[DTCode@@(2e[[2]])] ∨  Z[DTCode@@(2e[[1]])] == Z[DTCode@@(-2e[[2]])]]
],
{e,edges}],
{n,7,10}
]

Count[tab, False, ∞]

Count[tab, True, ∞]

Count[tab, Null, ∞]

Total[Length/@tab]

1478+639