view pending changes or download as text // json
Identifier
Values
=>
Cc0005;cc-rep
[1,0]=>1 [1,0,1,0]=>1 [1,1,0,0]=>1 [1,0,1,0,1,0]=>1 [1,0,1,1,0,0]=>1 [1,1,0,0,1,0]=>1 [1,1,0,1,0,0]=>1 [1,1,1,0,0,0]=>1 [1,0,1,0,1,0,1,0]=>2 [1,0,1,0,1,1,0,0]=>1 [1,0,1,1,0,0,1,0]=>1 [1,0,1,1,0,1,0,0]=>1 [1,0,1,1,1,0,0,0]=>1 [1,1,0,0,1,0,1,0]=>1 [1,1,0,0,1,1,0,0]=>1 [1,1,0,1,0,0,1,0]=>1 [1,1,0,1,0,1,0,0]=>1 [1,1,0,1,1,0,0,0]=>1 [1,1,1,0,0,0,1,0]=>1 [1,1,1,0,0,1,0,0]=>1 [1,1,1,0,1,0,0,0]=>1 [1,1,1,1,0,0,0,0]=>1 [1,0,1,0,1,0,1,0,1,0]=>3 [1,0,1,0,1,0,1,1,0,0]=>2 [1,0,1,0,1,1,0,0,1,0]=>1 [1,0,1,0,1,1,0,1,0,0]=>2 [1,0,1,0,1,1,1,0,0,0]=>1 [1,0,1,1,0,0,1,0,1,0]=>1 [1,0,1,1,0,0,1,1,0,0]=>1 [1,0,1,1,0,1,0,0,1,0]=>1 [1,0,1,1,0,1,0,1,0,0]=>2 [1,0,1,1,0,1,1,0,0,0]=>1 [1,0,1,1,1,0,0,0,1,0]=>1 [1,0,1,1,1,0,0,1,0,0]=>1 [1,0,1,1,1,0,1,0,0,0]=>1 [1,0,1,1,1,1,0,0,0,0]=>1 [1,1,0,0,1,0,1,0,1,0]=>2 [1,1,0,0,1,0,1,1,0,0]=>1 [1,1,0,0,1,1,0,0,1,0]=>1 [1,1,0,0,1,1,0,1,0,0]=>1 [1,1,0,0,1,1,1,0,0,0]=>1 [1,1,0,1,0,0,1,0,1,0]=>1 [1,1,0,1,0,0,1,1,0,0]=>1 [1,1,0,1,0,1,0,0,1,0]=>2 [1,1,0,1,0,1,0,1,0,0]=>1 [1,1,0,1,0,1,1,0,0,0]=>1 [1,1,0,1,1,0,0,0,1,0]=>1 [1,1,0,1,1,0,0,1,0,0]=>1 [1,1,0,1,1,0,1,0,0,0]=>1 [1,1,0,1,1,1,0,0,0,0]=>1 [1,1,1,0,0,0,1,0,1,0]=>1 [1,1,1,0,0,0,1,1,0,0]=>1 [1,1,1,0,0,1,0,0,1,0]=>1 [1,1,1,0,0,1,0,1,0,0]=>1 [1,1,1,0,0,1,1,0,0,0]=>1 [1,1,1,0,1,0,0,0,1,0]=>1 [1,1,1,0,1,0,0,1,0,0]=>1 [1,1,1,0,1,0,1,0,0,0]=>1 [1,1,1,0,1,1,0,0,0,0]=>1 [1,1,1,1,0,0,0,0,1,0]=>1 [1,1,1,1,0,0,0,1,0,0]=>1 [1,1,1,1,0,0,1,0,0,0]=>1 [1,1,1,1,0,1,0,0,0,0]=>1 [1,1,1,1,1,0,0,0,0,0]=>1 [1,0,1,0,1,0,1,0,1,0,1,0]=>4 [1,0,1,0,1,0,1,0,1,1,0,0]=>3 [1,0,1,0,1,0,1,1,0,0,1,0]=>2 [1,0,1,0,1,0,1,1,0,1,0,0]=>3 [1,0,1,0,1,0,1,1,1,0,0,0]=>2 [1,0,1,0,1,1,0,0,1,0,1,0]=>1 [1,0,1,0,1,1,0,0,1,1,0,0]=>1 [1,0,1,0,1,1,0,1,0,0,1,0]=>2 [1,0,1,0,1,1,0,1,0,1,0,0]=>3 [1,0,1,0,1,1,0,1,1,0,0,0]=>2 [1,0,1,0,1,1,1,0,0,0,1,0]=>1 [1,0,1,0,1,1,1,0,0,1,0,0]=>1 [1,0,1,0,1,1,1,0,1,0,0,0]=>2 [1,0,1,0,1,1,1,1,0,0,0,0]=>1 [1,0,1,1,0,0,1,0,1,0,1,0]=>2 [1,0,1,1,0,0,1,0,1,1,0,0]=>1 [1,0,1,1,0,0,1,1,0,0,1,0]=>1 [1,0,1,1,0,0,1,1,0,1,0,0]=>1 [1,0,1,1,0,0,1,1,1,0,0,0]=>1 [1,0,1,1,0,1,0,0,1,0,1,0]=>1 [1,0,1,1,0,1,0,0,1,1,0,0]=>1 [1,0,1,1,0,1,0,1,0,0,1,0]=>3 [1,0,1,1,0,1,0,1,0,1,0,0]=>2 [1,0,1,1,0,1,0,1,1,0,0,0]=>2 [1,0,1,1,0,1,1,0,0,0,1,0]=>1 [1,0,1,1,0,1,1,0,0,1,0,0]=>1 [1,0,1,1,0,1,1,0,1,0,0,0]=>2 [1,0,1,1,0,1,1,1,0,0,0,0]=>1 [1,0,1,1,1,0,0,0,1,0,1,0]=>1 [1,0,1,1,1,0,0,0,1,1,0,0]=>1 [1,0,1,1,1,0,0,1,0,0,1,0]=>1 [1,0,1,1,1,0,0,1,0,1,0,0]=>1 [1,0,1,1,1,0,0,1,1,0,0,0]=>1 [1,0,1,1,1,0,1,0,0,0,1,0]=>1 [1,0,1,1,1,0,1,0,0,1,0,0]=>1 [1,0,1,1,1,0,1,0,1,0,0,0]=>2 [1,0,1,1,1,0,1,1,0,0,0,0]=>1 [1,0,1,1,1,1,0,0,0,0,1,0]=>1 [1,0,1,1,1,1,0,0,0,1,0,0]=>1 [1,0,1,1,1,1,0,0,1,0,0,0]=>1 [1,0,1,1,1,1,0,1,0,0,0,0]=>1 [1,0,1,1,1,1,1,0,0,0,0,0]=>1 [1,1,0,0,1,0,1,0,1,0,1,0]=>3 [1,1,0,0,1,0,1,0,1,1,0,0]=>2 [1,1,0,0,1,0,1,1,0,0,1,0]=>1 [1,1,0,0,1,0,1,1,0,1,0,0]=>2 [1,1,0,0,1,0,1,1,1,0,0,0]=>1 [1,1,0,0,1,1,0,0,1,0,1,0]=>1 [1,1,0,0,1,1,0,0,1,1,0,0]=>1 [1,1,0,0,1,1,0,1,0,0,1,0]=>1 [1,1,0,0,1,1,0,1,0,1,0,0]=>2 [1,1,0,0,1,1,0,1,1,0,0,0]=>1 [1,1,0,0,1,1,1,0,0,0,1,0]=>1 [1,1,0,0,1,1,1,0,0,1,0,0]=>1 [1,1,0,0,1,1,1,0,1,0,0,0]=>1 [1,1,0,0,1,1,1,1,0,0,0,0]=>1 [1,1,0,1,0,0,1,0,1,0,1,0]=>2 [1,1,0,1,0,0,1,0,1,1,0,0]=>1 [1,1,0,1,0,0,1,1,0,0,1,0]=>1 [1,1,0,1,0,0,1,1,0,1,0,0]=>1 [1,1,0,1,0,0,1,1,1,0,0,0]=>1 [1,1,0,1,0,1,0,0,1,0,1,0]=>2 [1,1,0,1,0,1,0,0,1,1,0,0]=>2 [1,1,0,1,0,1,0,1,0,0,1,0]=>2 [1,1,0,1,0,1,0,1,0,1,0,0]=>2 [1,1,0,1,0,1,0,1,1,0,0,0]=>1 [1,1,0,1,0,1,1,0,0,0,1,0]=>1 [1,1,0,1,0,1,1,0,0,1,0,0]=>2 [1,1,0,1,0,1,1,0,1,0,0,0]=>1 [1,1,0,1,0,1,1,1,0,0,0,0]=>1 [1,1,0,1,1,0,0,0,1,0,1,0]=>1 [1,1,0,1,1,0,0,0,1,1,0,0]=>1 [1,1,0,1,1,0,0,1,0,0,1,0]=>1 [1,1,0,1,1,0,0,1,0,1,0,0]=>1 [1,1,0,1,1,0,0,1,1,0,0,0]=>1 [1,1,0,1,1,0,1,0,0,0,1,0]=>1 [1,1,0,1,1,0,1,0,0,1,0,0]=>2 [1,1,0,1,1,0,1,0,1,0,0,0]=>1 [1,1,0,1,1,0,1,1,0,0,0,0]=>1 [1,1,0,1,1,1,0,0,0,0,1,0]=>1 [1,1,0,1,1,1,0,0,0,1,0,0]=>1 [1,1,0,1,1,1,0,0,1,0,0,0]=>1 [1,1,0,1,1,1,0,1,0,0,0,0]=>1 [1,1,0,1,1,1,1,0,0,0,0,0]=>1 [1,1,1,0,0,0,1,0,1,0,1,0]=>2 [1,1,1,0,0,0,1,0,1,1,0,0]=>1 [1,1,1,0,0,0,1,1,0,0,1,0]=>1 [1,1,1,0,0,0,1,1,0,1,0,0]=>1 [1,1,1,0,0,0,1,1,1,0,0,0]=>1 [1,1,1,0,0,1,0,0,1,0,1,0]=>1 [1,1,1,0,0,1,0,0,1,1,0,0]=>1 [1,1,1,0,0,1,0,1,0,0,1,0]=>2 [1,1,1,0,0,1,0,1,0,1,0,0]=>1 [1,1,1,0,0,1,0,1,1,0,0,0]=>1 [1,1,1,0,0,1,1,0,0,0,1,0]=>1 [1,1,1,0,0,1,1,0,0,1,0,0]=>1 [1,1,1,0,0,1,1,0,1,0,0,0]=>1 [1,1,1,0,0,1,1,1,0,0,0,0]=>1 [1,1,1,0,1,0,0,0,1,0,1,0]=>1 [1,1,1,0,1,0,0,0,1,1,0,0]=>1 [1,1,1,0,1,0,0,1,0,0,1,0]=>1 [1,1,1,0,1,0,0,1,0,1,0,0]=>1 [1,1,1,0,1,0,0,1,1,0,0,0]=>1 [1,1,1,0,1,0,1,0,0,0,1,0]=>2 [1,1,1,0,1,0,1,0,0,1,0,0]=>1 [1,1,1,0,1,0,1,0,1,0,0,0]=>1 [1,1,1,0,1,0,1,1,0,0,0,0]=>1 [1,1,1,0,1,1,0,0,0,0,1,0]=>1 [1,1,1,0,1,1,0,0,0,1,0,0]=>1 [1,1,1,0,1,1,0,0,1,0,0,0]=>1 [1,1,1,0,1,1,0,1,0,0,0,0]=>1 [1,1,1,0,1,1,1,0,0,0,0,0]=>1 [1,1,1,1,0,0,0,0,1,0,1,0]=>1 [1,1,1,1,0,0,0,0,1,1,0,0]=>1 [1,1,1,1,0,0,0,1,0,0,1,0]=>1 [1,1,1,1,0,0,0,1,0,1,0,0]=>1 [1,1,1,1,0,0,0,1,1,0,0,0]=>1 [1,1,1,1,0,0,1,0,0,0,1,0]=>1 [1,1,1,1,0,0,1,0,0,1,0,0]=>1 [1,1,1,1,0,0,1,0,1,0,0,0]=>1 [1,1,1,1,0,0,1,1,0,0,0,0]=>1 [1,1,1,1,0,1,0,0,0,0,1,0]=>1 [1,1,1,1,0,1,0,0,0,1,0,0]=>1 [1,1,1,1,0,1,0,0,1,0,0,0]=>1 [1,1,1,1,0,1,0,1,0,0,0,0]=>1 [1,1,1,1,0,1,1,0,0,0,0,0]=>1 [1,1,1,1,1,0,0,0,0,0,1,0]=>1 [1,1,1,1,1,0,0,0,0,1,0,0]=>1 [1,1,1,1,1,0,0,0,1,0,0,0]=>1 [1,1,1,1,1,0,0,1,0,0,0,0]=>1 [1,1,1,1,1,0,1,0,0,0,0,0]=>1 [1,1,1,1,1,1,0,0,0,0,0,0]=>1 [1,0,1,0,1,0,1,0,1,0,1,0,1,0]=>5 [1,0,1,0,1,0,1,0,1,0,1,1,0,0]=>4 [1,0,1,0,1,0,1,0,1,1,0,0,1,0]=>3 [1,0,1,0,1,0,1,0,1,1,0,1,0,0]=>4 [1,0,1,0,1,0,1,0,1,1,1,0,0,0]=>3 [1,0,1,0,1,0,1,1,0,0,1,0,1,0]=>2 [1,0,1,0,1,0,1,1,0,0,1,1,0,0]=>2 [1,0,1,0,1,0,1,1,0,1,0,0,1,0]=>3 [1,0,1,0,1,0,1,1,0,1,0,1,0,0]=>4 [1,0,1,0,1,0,1,1,0,1,1,0,0,0]=>3 [1,0,1,0,1,0,1,1,1,0,0,0,1,0]=>2 [1,0,1,0,1,0,1,1,1,0,0,1,0,0]=>2 [1,0,1,0,1,0,1,1,1,0,1,0,0,0]=>3 [1,0,1,0,1,0,1,1,1,1,0,0,0,0]=>2 [1,0,1,0,1,1,0,0,1,0,1,0,1,0]=>2 [1,0,1,0,1,1,0,0,1,0,1,1,0,0]=>1 [1,0,1,0,1,1,0,0,1,1,0,0,1,0]=>1 [1,0,1,0,1,1,0,0,1,1,0,1,0,0]=>1 [1,0,1,0,1,1,0,0,1,1,1,0,0,0]=>1 [1,0,1,0,1,1,0,1,0,0,1,0,1,0]=>2 [1,0,1,0,1,1,0,1,0,0,1,1,0,0]=>2 [1,0,1,0,1,1,0,1,0,1,0,0,1,0]=>4 [1,0,1,0,1,1,0,1,0,1,0,1,0,0]=>3 [1,0,1,0,1,1,0,1,0,1,1,0,0,0]=>3 [1,0,1,0,1,1,0,1,1,0,0,0,1,0]=>2 [1,0,1,0,1,1,0,1,1,0,0,1,0,0]=>2 [1,0,1,0,1,1,0,1,1,0,1,0,0,0]=>3 [1,0,1,0,1,1,0,1,1,1,0,0,0,0]=>2 [1,0,1,0,1,1,1,0,0,0,1,0,1,0]=>1 [1,0,1,0,1,1,1,0,0,0,1,1,0,0]=>1 [1,0,1,0,1,1,1,0,0,1,0,0,1,0]=>1 [1,0,1,0,1,1,1,0,0,1,0,1,0,0]=>1 [1,0,1,0,1,1,1,0,0,1,1,0,0,0]=>1 [1,0,1,0,1,1,1,0,1,0,0,0,1,0]=>2 [1,0,1,0,1,1,1,0,1,0,0,1,0,0]=>2 [1,0,1,0,1,1,1,0,1,0,1,0,0,0]=>3 [1,0,1,0,1,1,1,0,1,1,0,0,0,0]=>2 [1,0,1,0,1,1,1,1,0,0,0,0,1,0]=>1 [1,0,1,0,1,1,1,1,0,0,0,1,0,0]=>1 [1,0,1,0,1,1,1,1,0,0,1,0,0,0]=>1 [1,0,1,0,1,1,1,1,0,1,0,0,0,0]=>2 [1,0,1,0,1,1,1,1,1,0,0,0,0,0]=>1 [1,0,1,1,0,0,1,0,1,0,1,0,1,0]=>3 [1,0,1,1,0,0,1,0,1,0,1,1,0,0]=>2 [1,0,1,1,0,0,1,0,1,1,0,0,1,0]=>1 [1,0,1,1,0,0,1,0,1,1,0,1,0,0]=>2 [1,0,1,1,0,0,1,0,1,1,1,0,0,0]=>1 [1,0,1,1,0,0,1,1,0,0,1,0,1,0]=>1 [1,0,1,1,0,0,1,1,0,0,1,1,0,0]=>1 [1,0,1,1,0,0,1,1,0,1,0,0,1,0]=>1 [1,0,1,1,0,0,1,1,0,1,0,1,0,0]=>2 [1,0,1,1,0,0,1,1,0,1,1,0,0,0]=>1 [1,0,1,1,0,0,1,1,1,0,0,0,1,0]=>1 [1,0,1,1,0,0,1,1,1,0,0,1,0,0]=>1 [1,0,1,1,0,0,1,1,1,0,1,0,0,0]=>1 [1,0,1,1,0,0,1,1,1,1,0,0,0,0]=>1 [1,0,1,1,0,1,0,0,1,0,1,0,1,0]=>2 [1,0,1,1,0,1,0,0,1,0,1,1,0,0]=>1 [1,0,1,1,0,1,0,0,1,1,0,0,1,0]=>1 [1,0,1,1,0,1,0,0,1,1,0,1,0,0]=>1 [1,0,1,1,0,1,0,0,1,1,1,0,0,0]=>1 [1,0,1,1,0,1,0,1,0,0,1,0,1,0]=>3 [1,0,1,1,0,1,0,1,0,0,1,1,0,0]=>3 [1,0,1,1,0,1,0,1,0,1,0,0,1,0]=>3 [1,0,1,1,0,1,0,1,0,1,0,1,0,0]=>3 [1,0,1,1,0,1,0,1,0,1,1,0,0,0]=>2 [1,0,1,1,0,1,0,1,1,0,0,0,1,0]=>2 [1,0,1,1,0,1,0,1,1,0,0,1,0,0]=>3 [1,0,1,1,0,1,0,1,1,0,1,0,0,0]=>2 [1,0,1,1,0,1,0,1,1,1,0,0,0,0]=>2 [1,0,1,1,0,1,1,0,0,0,1,0,1,0]=>1 [1,0,1,1,0,1,1,0,0,0,1,1,0,0]=>1 [1,0,1,1,0,1,1,0,0,1,0,0,1,0]=>1 [1,0,1,1,0,1,1,0,0,1,0,1,0,0]=>1 [1,0,1,1,0,1,1,0,0,1,1,0,0,0]=>1 [1,0,1,1,0,1,1,0,1,0,0,0,1,0]=>2 [1,0,1,1,0,1,1,0,1,0,0,1,0,0]=>3 [1,0,1,1,0,1,1,0,1,0,1,0,0,0]=>2 [1,0,1,1,0,1,1,0,1,1,0,0,0,0]=>2 [1,0,1,1,0,1,1,1,0,0,0,0,1,0]=>1 [1,0,1,1,0,1,1,1,0,0,0,1,0,0]=>1 [1,0,1,1,0,1,1,1,0,0,1,0,0,0]=>1 [1,0,1,1,0,1,1,1,0,1,0,0,0,0]=>2 [1,0,1,1,0,1,1,1,1,0,0,0,0,0]=>1 [1,0,1,1,1,0,0,0,1,0,1,0,1,0]=>2 [1,0,1,1,1,0,0,0,1,0,1,1,0,0]=>1 [1,0,1,1,1,0,0,0,1,1,0,0,1,0]=>1 [1,0,1,1,1,0,0,0,1,1,0,1,0,0]=>1 [1,0,1,1,1,0,0,0,1,1,1,0,0,0]=>1 [1,0,1,1,1,0,0,1,0,0,1,0,1,0]=>1 [1,0,1,1,1,0,0,1,0,0,1,1,0,0]=>1 [1,0,1,1,1,0,0,1,0,1,0,0,1,0]=>2 [1,0,1,1,1,0,0,1,0,1,0,1,0,0]=>1 [1,0,1,1,1,0,0,1,0,1,1,0,0,0]=>1 [1,0,1,1,1,0,0,1,1,0,0,0,1,0]=>1 [1,0,1,1,1,0,0,1,1,0,0,1,0,0]=>1 [1,0,1,1,1,0,0,1,1,0,1,0,0,0]=>1 [1,0,1,1,1,0,0,1,1,1,0,0,0,0]=>1 [1,0,1,1,1,0,1,0,0,0,1,0,1,0]=>1 [1,0,1,1,1,0,1,0,0,0,1,1,0,0]=>1 [1,0,1,1,1,0,1,0,0,1,0,0,1,0]=>1 [1,0,1,1,1,0,1,0,0,1,0,1,0,0]=>1 [1,0,1,1,1,0,1,0,0,1,1,0,0,0]=>1 [1,0,1,1,1,0,1,0,1,0,0,0,1,0]=>3 [1,0,1,1,1,0,1,0,1,0,0,1,0,0]=>2 [1,0,1,1,1,0,1,0,1,0,1,0,0,0]=>2 [1,0,1,1,1,0,1,0,1,1,0,0,0,0]=>2 [1,0,1,1,1,0,1,1,0,0,0,0,1,0]=>1 [1,0,1,1,1,0,1,1,0,0,0,1,0,0]=>1 [1,0,1,1,1,0,1,1,0,0,1,0,0,0]=>1 [1,0,1,1,1,0,1,1,0,1,0,0,0,0]=>2 [1,0,1,1,1,0,1,1,1,0,0,0,0,0]=>1 [1,0,1,1,1,1,0,0,0,0,1,0,1,0]=>1 [1,0,1,1,1,1,0,0,0,0,1,1,0,0]=>1 [1,0,1,1,1,1,0,0,0,1,0,0,1,0]=>1 [1,0,1,1,1,1,0,0,0,1,0,1,0,0]=>1 [1,0,1,1,1,1,0,0,0,1,1,0,0,0]=>1 [1,0,1,1,1,1,0,0,1,0,0,0,1,0]=>1 [1,0,1,1,1,1,0,0,1,0,0,1,0,0]=>1 [1,0,1,1,1,1,0,0,1,0,1,0,0,0]=>1 [1,0,1,1,1,1,0,0,1,1,0,0,0,0]=>1 [1,0,1,1,1,1,0,1,0,0,0,0,1,0]=>1 [1,0,1,1,1,1,0,1,0,0,0,1,0,0]=>1 [1,0,1,1,1,1,0,1,0,0,1,0,0,0]=>1 [1,0,1,1,1,1,0,1,0,1,0,0,0,0]=>2 [1,0,1,1,1,1,0,1,1,0,0,0,0,0]=>1 [1,0,1,1,1,1,1,0,0,0,0,0,1,0]=>1 [1,0,1,1,1,1,1,0,0,0,0,1,0,0]=>1 [1,0,1,1,1,1,1,0,0,0,1,0,0,0]=>1 [1,0,1,1,1,1,1,0,0,1,0,0,0,0]=>1 [1,0,1,1,1,1,1,0,1,0,0,0,0,0]=>1 [1,0,1,1,1,1,1,1,0,0,0,0,0,0]=>1 [1,1,0,0,1,0,1,0,1,0,1,0,1,0]=>4 [1,1,0,0,1,0,1,0,1,0,1,1,0,0]=>3 [1,1,0,0,1,0,1,0,1,1,0,0,1,0]=>2 [1,1,0,0,1,0,1,0,1,1,0,1,0,0]=>3 [1,1,0,0,1,0,1,0,1,1,1,0,0,0]=>2 [1,1,0,0,1,0,1,1,0,0,1,0,1,0]=>1 [1,1,0,0,1,0,1,1,0,0,1,1,0,0]=>1 [1,1,0,0,1,0,1,1,0,1,0,0,1,0]=>2 [1,1,0,0,1,0,1,1,0,1,0,1,0,0]=>3 [1,1,0,0,1,0,1,1,0,1,1,0,0,0]=>2 [1,1,0,0,1,0,1,1,1,0,0,0,1,0]=>1 [1,1,0,0,1,0,1,1,1,0,0,1,0,0]=>1 [1,1,0,0,1,0,1,1,1,0,1,0,0,0]=>2 [1,1,0,0,1,0,1,1,1,1,0,0,0,0]=>1 [1,1,0,0,1,1,0,0,1,0,1,0,1,0]=>2 [1,1,0,0,1,1,0,0,1,0,1,1,0,0]=>1 [1,1,0,0,1,1,0,0,1,1,0,0,1,0]=>1 [1,1,0,0,1,1,0,0,1,1,0,1,0,0]=>1 [1,1,0,0,1,1,0,0,1,1,1,0,0,0]=>1 [1,1,0,0,1,1,0,1,0,0,1,0,1,0]=>1 [1,1,0,0,1,1,0,1,0,0,1,1,0,0]=>1 [1,1,0,0,1,1,0,1,0,1,0,0,1,0]=>3 [1,1,0,0,1,1,0,1,0,1,0,1,0,0]=>2 [1,1,0,0,1,1,0,1,0,1,1,0,0,0]=>2 [1,1,0,0,1,1,0,1,1,0,0,0,1,0]=>1 [1,1,0,0,1,1,0,1,1,0,0,1,0,0]=>1 [1,1,0,0,1,1,0,1,1,0,1,0,0,0]=>2 [1,1,0,0,1,1,0,1,1,1,0,0,0,0]=>1 [1,1,0,0,1,1,1,0,0,0,1,0,1,0]=>1 [1,1,0,0,1,1,1,0,0,0,1,1,0,0]=>1 [1,1,0,0,1,1,1,0,0,1,0,0,1,0]=>1 [1,1,0,0,1,1,1,0,0,1,0,1,0,0]=>1 [1,1,0,0,1,1,1,0,0,1,1,0,0,0]=>1 [1,1,0,0,1,1,1,0,1,0,0,0,1,0]=>1 [1,1,0,0,1,1,1,0,1,0,0,1,0,0]=>1 [1,1,0,0,1,1,1,0,1,0,1,0,0,0]=>2 [1,1,0,0,1,1,1,0,1,1,0,0,0,0]=>1 [1,1,0,0,1,1,1,1,0,0,0,0,1,0]=>1 [1,1,0,0,1,1,1,1,0,0,0,1,0,0]=>1 [1,1,0,0,1,1,1,1,0,0,1,0,0,0]=>1 [1,1,0,0,1,1,1,1,0,1,0,0,0,0]=>1 [1,1,0,0,1,1,1,1,1,0,0,0,0,0]=>1 [1,1,0,1,0,0,1,0,1,0,1,0,1,0]=>3 [1,1,0,1,0,0,1,0,1,0,1,1,0,0]=>2 [1,1,0,1,0,0,1,0,1,1,0,0,1,0]=>1 [1,1,0,1,0,0,1,0,1,1,0,1,0,0]=>2 [1,1,0,1,0,0,1,0,1,1,1,0,0,0]=>1 [1,1,0,1,0,0,1,1,0,0,1,0,1,0]=>1 [1,1,0,1,0,0,1,1,0,0,1,1,0,0]=>1 [1,1,0,1,0,0,1,1,0,1,0,0,1,0]=>1 [1,1,0,1,0,0,1,1,0,1,0,1,0,0]=>2 [1,1,0,1,0,0,1,1,0,1,1,0,0,0]=>1 [1,1,0,1,0,0,1,1,1,0,0,0,1,0]=>1 [1,1,0,1,0,0,1,1,1,0,0,1,0,0]=>1 [1,1,0,1,0,0,1,1,1,0,1,0,0,0]=>1 [1,1,0,1,0,0,1,1,1,1,0,0,0,0]=>1 [1,1,0,1,0,1,0,0,1,0,1,0,1,0]=>3 [1,1,0,1,0,1,0,0,1,0,1,1,0,0]=>2 [1,1,0,1,0,1,0,0,1,1,0,0,1,0]=>2 [1,1,0,1,0,1,0,0,1,1,0,1,0,0]=>2 [1,1,0,1,0,1,0,0,1,1,1,0,0,0]=>2 [1,1,0,1,0,1,0,1,0,0,1,0,1,0]=>2 [1,1,0,1,0,1,0,1,0,0,1,1,0,0]=>2 [1,1,0,1,0,1,0,1,0,1,0,0,1,0]=>3 [1,1,0,1,0,1,0,1,0,1,0,1,0,0]=>3 [1,1,0,1,0,1,0,1,0,1,1,0,0,0]=>2 [1,1,0,1,0,1,0,1,1,0,0,0,1,0]=>1 [1,1,0,1,0,1,0,1,1,0,0,1,0,0]=>2 [1,1,0,1,0,1,0,1,1,0,1,0,0,0]=>2 [1,1,0,1,0,1,0,1,1,1,0,0,0,0]=>1 [1,1,0,1,0,1,1,0,0,0,1,0,1,0]=>1 [1,1,0,1,0,1,1,0,0,0,1,1,0,0]=>1 [1,1,0,1,0,1,1,0,0,1,0,0,1,0]=>2 [1,1,0,1,0,1,1,0,0,1,0,1,0,0]=>2 [1,1,0,1,0,1,1,0,0,1,1,0,0,0]=>2 [1,1,0,1,0,1,1,0,1,0,0,0,1,0]=>1 [1,1,0,1,0,1,1,0,1,0,0,1,0,0]=>2 [1,1,0,1,0,1,1,0,1,0,1,0,0,0]=>2 [1,1,0,1,0,1,1,0,1,1,0,0,0,0]=>1 [1,1,0,1,0,1,1,1,0,0,0,0,1,0]=>1 [1,1,0,1,0,1,1,1,0,0,0,1,0,0]=>1 [1,1,0,1,0,1,1,1,0,0,1,0,0,0]=>2 [1,1,0,1,0,1,1,1,0,1,0,0,0,0]=>1 [1,1,0,1,0,1,1,1,1,0,0,0,0,0]=>1 [1,1,0,1,1,0,0,0,1,0,1,0,1,0]=>2 [1,1,0,1,1,0,0,0,1,0,1,1,0,0]=>1 [1,1,0,1,1,0,0,0,1,1,0,0,1,0]=>1 [1,1,0,1,1,0,0,0,1,1,0,1,0,0]=>1 [1,1,0,1,1,0,0,0,1,1,1,0,0,0]=>1 [1,1,0,1,1,0,0,1,0,0,1,0,1,0]=>1 [1,1,0,1,1,0,0,1,0,0,1,1,0,0]=>1 [1,1,0,1,1,0,0,1,0,1,0,0,1,0]=>2 [1,1,0,1,1,0,0,1,0,1,0,1,0,0]=>1 [1,1,0,1,1,0,0,1,0,1,1,0,0,0]=>1 [1,1,0,1,1,0,0,1,1,0,0,0,1,0]=>1 [1,1,0,1,1,0,0,1,1,0,0,1,0,0]=>1 [1,1,0,1,1,0,0,1,1,0,1,0,0,0]=>1 [1,1,0,1,1,0,0,1,1,1,0,0,0,0]=>1 [1,1,0,1,1,0,1,0,0,0,1,0,1,0]=>1 [1,1,0,1,1,0,1,0,0,0,1,1,0,0]=>1 [1,1,0,1,1,0,1,0,0,1,0,0,1,0]=>2 [1,1,0,1,1,0,1,0,0,1,0,1,0,0]=>2 [1,1,0,1,1,0,1,0,0,1,1,0,0,0]=>2 [1,1,0,1,1,0,1,0,1,0,0,0,1,0]=>2 [1,1,0,1,1,0,1,0,1,0,0,1,0,0]=>1 [1,1,0,1,1,0,1,0,1,0,1,0,0,0]=>2 [1,1,0,1,1,0,1,0,1,1,0,0,0,0]=>1 [1,1,0,1,1,0,1,1,0,0,0,0,1,0]=>1 [1,1,0,1,1,0,1,1,0,0,0,1,0,0]=>1 [1,1,0,1,1,0,1,1,0,0,1,0,0,0]=>2 [1,1,0,1,1,0,1,1,0,1,0,0,0,0]=>1 [1,1,0,1,1,0,1,1,1,0,0,0,0,0]=>1 [1,1,0,1,1,1,0,0,0,0,1,0,1,0]=>1 [1,1,0,1,1,1,0,0,0,0,1,1,0,0]=>1 [1,1,0,1,1,1,0,0,0,1,0,0,1,0]=>1 [1,1,0,1,1,1,0,0,0,1,0,1,0,0]=>1 [1,1,0,1,1,1,0,0,0,1,1,0,0,0]=>1 [1,1,0,1,1,1,0,0,1,0,0,0,1,0]=>1 [1,1,0,1,1,1,0,0,1,0,0,1,0,0]=>1 [1,1,0,1,1,1,0,0,1,0,1,0,0,0]=>1 [1,1,0,1,1,1,0,0,1,1,0,0,0,0]=>1 [1,1,0,1,1,1,0,1,0,0,0,0,1,0]=>1 [1,1,0,1,1,1,0,1,0,0,0,1,0,0]=>1 [1,1,0,1,1,1,0,1,0,0,1,0,0,0]=>2 [1,1,0,1,1,1,0,1,0,1,0,0,0,0]=>1 [1,1,0,1,1,1,0,1,1,0,0,0,0,0]=>1 [1,1,0,1,1,1,1,0,0,0,0,0,1,0]=>1 [1,1,0,1,1,1,1,0,0,0,0,1,0,0]=>1 [1,1,0,1,1,1,1,0,0,0,1,0,0,0]=>1 [1,1,0,1,1,1,1,0,0,1,0,0,0,0]=>1 [1,1,0,1,1,1,1,0,1,0,0,0,0,0]=>1 [1,1,0,1,1,1,1,1,0,0,0,0,0,0]=>1 [1,1,1,0,0,0,1,0,1,0,1,0,1,0]=>3 [1,1,1,0,0,0,1,0,1,0,1,1,0,0]=>2 [1,1,1,0,0,0,1,0,1,1,0,0,1,0]=>1 [1,1,1,0,0,0,1,0,1,1,0,1,0,0]=>2 [1,1,1,0,0,0,1,0,1,1,1,0,0,0]=>1 [1,1,1,0,0,0,1,1,0,0,1,0,1,0]=>1 [1,1,1,0,0,0,1,1,0,0,1,1,0,0]=>1 [1,1,1,0,0,0,1,1,0,1,0,0,1,0]=>1 [1,1,1,0,0,0,1,1,0,1,0,1,0,0]=>2 [1,1,1,0,0,0,1,1,0,1,1,0,0,0]=>1 [1,1,1,0,0,0,1,1,1,0,0,0,1,0]=>1 [1,1,1,0,0,0,1,1,1,0,0,1,0,0]=>1 [1,1,1,0,0,0,1,1,1,0,1,0,0,0]=>1 [1,1,1,0,0,0,1,1,1,1,0,0,0,0]=>1 [1,1,1,0,0,1,0,0,1,0,1,0,1,0]=>2 [1,1,1,0,0,1,0,0,1,0,1,1,0,0]=>1 [1,1,1,0,0,1,0,0,1,1,0,0,1,0]=>1 [1,1,1,0,0,1,0,0,1,1,0,1,0,0]=>1 [1,1,1,0,0,1,0,0,1,1,1,0,0,0]=>1 [1,1,1,0,0,1,0,1,0,0,1,0,1,0]=>2 [1,1,1,0,0,1,0,1,0,0,1,1,0,0]=>2 [1,1,1,0,0,1,0,1,0,1,0,0,1,0]=>2 [1,1,1,0,0,1,0,1,0,1,0,1,0,0]=>2 [1,1,1,0,0,1,0,1,0,1,1,0,0,0]=>1 [1,1,1,0,0,1,0,1,1,0,0,0,1,0]=>1 [1,1,1,0,0,1,0,1,1,0,0,1,0,0]=>2 [1,1,1,0,0,1,0,1,1,0,1,0,0,0]=>1 [1,1,1,0,0,1,0,1,1,1,0,0,0,0]=>1 [1,1,1,0,0,1,1,0,0,0,1,0,1,0]=>1 [1,1,1,0,0,1,1,0,0,0,1,1,0,0]=>1 [1,1,1,0,0,1,1,0,0,1,0,0,1,0]=>1 [1,1,1,0,0,1,1,0,0,1,0,1,0,0]=>1 [1,1,1,0,0,1,1,0,0,1,1,0,0,0]=>1 [1,1,1,0,0,1,1,0,1,0,0,0,1,0]=>1 [1,1,1,0,0,1,1,0,1,0,0,1,0,0]=>2 [1,1,1,0,0,1,1,0,1,0,1,0,0,0]=>1 [1,1,1,0,0,1,1,0,1,1,0,0,0,0]=>1 [1,1,1,0,0,1,1,1,0,0,0,0,1,0]=>1 [1,1,1,0,0,1,1,1,0,0,0,1,0,0]=>1 [1,1,1,0,0,1,1,1,0,0,1,0,0,0]=>1 [1,1,1,0,0,1,1,1,0,1,0,0,0,0]=>1 [1,1,1,0,0,1,1,1,1,0,0,0,0,0]=>1 [1,1,1,0,1,0,0,0,1,0,1,0,1,0]=>2 [1,1,1,0,1,0,0,0,1,0,1,1,0,0]=>1 [1,1,1,0,1,0,0,0,1,1,0,0,1,0]=>1 [1,1,1,0,1,0,0,0,1,1,0,1,0,0]=>1 [1,1,1,0,1,0,0,0,1,1,1,0,0,0]=>1 [1,1,1,0,1,0,0,1,0,0,1,0,1,0]=>1 [1,1,1,0,1,0,0,1,0,0,1,1,0,0]=>1 [1,1,1,0,1,0,0,1,0,1,0,0,1,0]=>2 [1,1,1,0,1,0,0,1,0,1,0,1,0,0]=>1 [1,1,1,0,1,0,0,1,0,1,1,0,0,0]=>1 [1,1,1,0,1,0,0,1,1,0,0,0,1,0]=>1 [1,1,1,0,1,0,0,1,1,0,0,1,0,0]=>1 [1,1,1,0,1,0,0,1,1,0,1,0,0,0]=>1 [1,1,1,0,1,0,0,1,1,1,0,0,0,0]=>1 [1,1,1,0,1,0,1,0,0,0,1,0,1,0]=>2 [1,1,1,0,1,0,1,0,0,0,1,1,0,0]=>2 [1,1,1,0,1,0,1,0,0,1,0,0,1,0]=>1 [1,1,1,0,1,0,1,0,0,1,0,1,0,0]=>2 [1,1,1,0,1,0,1,0,0,1,1,0,0,0]=>1 [1,1,1,0,1,0,1,0,1,0,0,0,1,0]=>2 [1,1,1,0,1,0,1,0,1,0,0,1,0,0]=>2 [1,1,1,0,1,0,1,0,1,0,1,0,0,0]=>1 [1,1,1,0,1,0,1,0,1,1,0,0,0,0]=>1 [1,1,1,0,1,0,1,1,0,0,0,0,1,0]=>1 [1,1,1,0,1,0,1,1,0,0,0,1,0,0]=>2 [1,1,1,0,1,0,1,1,0,0,1,0,0,0]=>1 [1,1,1,0,1,0,1,1,0,1,0,0,0,0]=>1 [1,1,1,0,1,0,1,1,1,0,0,0,0,0]=>1 [1,1,1,0,1,1,0,0,0,0,1,0,1,0]=>1 [1,1,1,0,1,1,0,0,0,0,1,1,0,0]=>1 [1,1,1,0,1,1,0,0,0,1,0,0,1,0]=>1 [1,1,1,0,1,1,0,0,0,1,0,1,0,0]=>1 [1,1,1,0,1,1,0,0,0,1,1,0,0,0]=>1 [1,1,1,0,1,1,0,0,1,0,0,0,1,0]=>1 [1,1,1,0,1,1,0,0,1,0,0,1,0,0]=>1 [1,1,1,0,1,1,0,0,1,0,1,0,0,0]=>1 [1,1,1,0,1,1,0,0,1,1,0,0,0,0]=>1 [1,1,1,0,1,1,0,1,0,0,0,0,1,0]=>1 [1,1,1,0,1,1,0,1,0,0,0,1,0,0]=>2 [1,1,1,0,1,1,0,1,0,0,1,0,0,0]=>1 [1,1,1,0,1,1,0,1,0,1,0,0,0,0]=>1 [1,1,1,0,1,1,0,1,1,0,0,0,0,0]=>1 [1,1,1,0,1,1,1,0,0,0,0,0,1,0]=>1 [1,1,1,0,1,1,1,0,0,0,0,1,0,0]=>1 [1,1,1,0,1,1,1,0,0,0,1,0,0,0]=>1 [1,1,1,0,1,1,1,0,0,1,0,0,0,0]=>1 [1,1,1,0,1,1,1,0,1,0,0,0,0,0]=>1 [1,1,1,0,1,1,1,1,0,0,0,0,0,0]=>1 [1,1,1,1,0,0,0,0,1,0,1,0,1,0]=>2 [1,1,1,1,0,0,0,0,1,0,1,1,0,0]=>1 [1,1,1,1,0,0,0,0,1,1,0,0,1,0]=>1 [1,1,1,1,0,0,0,0,1,1,0,1,0,0]=>1 [1,1,1,1,0,0,0,0,1,1,1,0,0,0]=>1 [1,1,1,1,0,0,0,1,0,0,1,0,1,0]=>1 [1,1,1,1,0,0,0,1,0,0,1,1,0,0]=>1 [1,1,1,1,0,0,0,1,0,1,0,0,1,0]=>2 [1,1,1,1,0,0,0,1,0,1,0,1,0,0]=>1 [1,1,1,1,0,0,0,1,0,1,1,0,0,0]=>1 [1,1,1,1,0,0,0,1,1,0,0,0,1,0]=>1 [1,1,1,1,0,0,0,1,1,0,0,1,0,0]=>1 [1,1,1,1,0,0,0,1,1,0,1,0,0,0]=>1 [1,1,1,1,0,0,0,1,1,1,0,0,0,0]=>1 [1,1,1,1,0,0,1,0,0,0,1,0,1,0]=>1 [1,1,1,1,0,0,1,0,0,0,1,1,0,0]=>1 [1,1,1,1,0,0,1,0,0,1,0,0,1,0]=>1 [1,1,1,1,0,0,1,0,0,1,0,1,0,0]=>1 [1,1,1,1,0,0,1,0,0,1,1,0,0,0]=>1 [1,1,1,1,0,0,1,0,1,0,0,0,1,0]=>2 [1,1,1,1,0,0,1,0,1,0,0,1,0,0]=>1 [1,1,1,1,0,0,1,0,1,0,1,0,0,0]=>1 [1,1,1,1,0,0,1,0,1,1,0,0,0,0]=>1 [1,1,1,1,0,0,1,1,0,0,0,0,1,0]=>1 [1,1,1,1,0,0,1,1,0,0,0,1,0,0]=>1 [1,1,1,1,0,0,1,1,0,0,1,0,0,0]=>1 [1,1,1,1,0,0,1,1,0,1,0,0,0,0]=>1 [1,1,1,1,0,0,1,1,1,0,0,0,0,0]=>1 [1,1,1,1,0,1,0,0,0,0,1,0,1,0]=>1 [1,1,1,1,0,1,0,0,0,0,1,1,0,0]=>1 [1,1,1,1,0,1,0,0,0,1,0,0,1,0]=>1 [1,1,1,1,0,1,0,0,0,1,0,1,0,0]=>1 [1,1,1,1,0,1,0,0,0,1,1,0,0,0]=>1 [1,1,1,1,0,1,0,0,1,0,0,0,1,0]=>1 [1,1,1,1,0,1,0,0,1,0,0,1,0,0]=>1 [1,1,1,1,0,1,0,0,1,0,1,0,0,0]=>1 [1,1,1,1,0,1,0,0,1,1,0,0,0,0]=>1 [1,1,1,1,0,1,0,1,0,0,0,0,1,0]=>2 [1,1,1,1,0,1,0,1,0,0,0,1,0,0]=>1 [1,1,1,1,0,1,0,1,0,0,1,0,0,0]=>1 [1,1,1,1,0,1,0,1,0,1,0,0,0,0]=>1 [1,1,1,1,0,1,0,1,1,0,0,0,0,0]=>1 [1,1,1,1,0,1,1,0,0,0,0,0,1,0]=>1 [1,1,1,1,0,1,1,0,0,0,0,1,0,0]=>1 [1,1,1,1,0,1,1,0,0,0,1,0,0,0]=>1 [1,1,1,1,0,1,1,0,0,1,0,0,0,0]=>1 [1,1,1,1,0,1,1,0,1,0,0,0,0,0]=>1 [1,1,1,1,0,1,1,1,0,0,0,0,0,0]=>1 [1,1,1,1,1,0,0,0,0,0,1,0,1,0]=>1 [1,1,1,1,1,0,0,0,0,0,1,1,0,0]=>1 [1,1,1,1,1,0,0,0,0,1,0,0,1,0]=>1 [1,1,1,1,1,0,0,0,0,1,0,1,0,0]=>1 [1,1,1,1,1,0,0,0,0,1,1,0,0,0]=>1 [1,1,1,1,1,0,0,0,1,0,0,0,1,0]=>1 [1,1,1,1,1,0,0,0,1,0,0,1,0,0]=>1 [1,1,1,1,1,0,0,0,1,0,1,0,0,0]=>1 [1,1,1,1,1,0,0,0,1,1,0,0,0,0]=>1 [1,1,1,1,1,0,0,1,0,0,0,0,1,0]=>1 [1,1,1,1,1,0,0,1,0,0,0,1,0,0]=>1 [1,1,1,1,1,0,0,1,0,0,1,0,0,0]=>1 [1,1,1,1,1,0,0,1,0,1,0,0,0,0]=>1 [1,1,1,1,1,0,0,1,1,0,0,0,0,0]=>1 [1,1,1,1,1,0,1,0,0,0,0,0,1,0]=>1 [1,1,1,1,1,0,1,0,0,0,0,1,0,0]=>1 [1,1,1,1,1,0,1,0,0,0,1,0,0,0]=>1 [1,1,1,1,1,0,1,0,0,1,0,0,0,0]=>1 [1,1,1,1,1,0,1,0,1,0,0,0,0,0]=>1 [1,1,1,1,1,0,1,1,0,0,0,0,0,0]=>1 [1,1,1,1,1,1,0,0,0,0,0,0,1,0]=>1 [1,1,1,1,1,1,0,0,0,0,0,1,0,0]=>1 [1,1,1,1,1,1,0,0,0,0,1,0,0,0]=>1 [1,1,1,1,1,1,0,0,0,1,0,0,0,0]=>1 [1,1,1,1,1,1,0,0,1,0,0,0,0,0]=>1 [1,1,1,1,1,1,0,1,0,0,0,0,0,0]=>1 [1,1,1,1,1,1,1,0,0,0,0,0,0,0]=>1
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The number of 3-torsionfree simple modules in the linear Nakayama algebra corresponding to a Dyck path.
A module $M$ is called $r$-torsionfree in case $\operatorname{Ext}^i_A(D(A),\tau(M))=0$ for all $i=1,2,..,r$.
The number of simple 1-torsionfree (i.e. torsionless) modules is given by St001068The number of torsionless simple modules in the linear Nakayama algebra corresponding to a Dyck path.. The number of simple 2-torsionfree (i.e. reflexive) modules is given by St001066The number of simple reflexive modules of the linear Nakayama algebra corresponding to a Dyck path..
The correspondence between linear Nakayama algebras and Dyck paths is explained on the Nakayama algebras page.
References
[1] wikipedia:Torsion-free module
[2] Auslander, M., Bridger, M. Stable module theory DOI:10.1090/memo/0094
Code
gap('LoadPackage("QPA");')

import tempfile as _tf, os as _os
_gap_code = r"""
DeclareOperation("ntorsionlesstest",[IsList]);

InstallMethod(ntorsionlesstest, "for a representation of a quiver", [IsList],0,function(LIST)
    local A, CoRegA, M, i, n, temp;
    A := LIST[1];
    M := LIST[2];
    n := LIST[3];
    CoRegA := DirectSumOfQPAModules(IndecInjectiveModules(A));
    temp := [];
    for i in [0..n-1] do Append(temp,[Size(ExtOverAlgebra(NthSyzygy(CoRegA,i),DTr(M))[2])]);
    od;
    return(Sum(temp));
end);

DeclareOperation("Numberofsimple3torsionfree",[IsList]);

InstallMethod(Numberofsimple3torsionfree, "for a representation of a quiver", [IsList],0,function(LIST)
    local A, L, U, simA;
    L := LIST[1];

    A := NakayamaAlgebra(L,GF(3));
    simA := SimpleModules(A);
    U := Filtered(simA,x->ntorsionlesstest([A,x,3])=0);
    return(Size(U));
end);
"""
with _tf.NamedTemporaryFile(mode="w", suffix=".g", delete=False, dir="/tmp") as _f:
    _f.write('LoadPackage("QPA");;\n')
    _f.write(_gap_code)
    _tmp = _f.name
gap.eval('Read("' + _tmp + '");')
_os.unlink(_tmp)

def kupisch(D):
    DR = D.reverse()
    H = DR.heights()
    return [1 + H[i] for i, s in enumerate(DR) if s == 0] + [1]

def statistic(D):
    K = kupisch(D)
    return ZZ(gap.Numberofsimple3torsionfree([K]))
Created
Dec 30, 2017 at 15:48 by Rene Marczinzik
Updated
Mar 12, 2026 at 15:32 by Nupur Jain