show all invariants
|
show all metadata
kht++
:
examples
/
miscellaneous
/
TrivialAlexTangleSeries2_2
Input data and context
% TrivialAlexTangle1
l1.x0.y2.x0.x1.x1.x1.x0.x0.y2.u1.
l1.y0.x2.y0.y1.y1.y1.y0.y0.x2.u1
,1,0