FusionAtlasPaths={"~/projects/fusionatlas/code/package/"};
$Path=$Path~Join~FusionAtlasPaths;
<<FusionAtlas`

DisplayBigraph/@(vinelistwithduals={{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}}],DualData[{1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}}],DualData[{1},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}}],DualData[{1},{1},{1,2,3}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}}],DualData[{1},{1},{1,2,3}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}}],DualData[{1},{1},{3,2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}}],DualData[{1},{1},{3,2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,1}}],DualData[{1},{1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,1}}],DualData[{1},{1},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1},{0,1}}],DualData[{1},{1},{4,2,3,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,1}}],DualData[{1},{1},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}}],DualData[{1},{1},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}}],DualData[{1},{1},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}}],DualData[{1},{1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}}],DualData[{1},{1},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{1,0,0}}],DualData[{1},{1},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{1,0,0}}],DualData[{1},{1},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{1,0,0}}],DualData[{1},{1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{1,0,0}}],DualData[{1},{1},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{1,0,0}}],DualData[{1},{1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{1,0,0}}],DualData[{1},{1},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,1}}],DualData[{1},{1},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,1}}],DualData[{1},{1},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,1}}],DualData[{1},{1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,1}}],DualData[{1},{1},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,0,1}}],DualData[{1},{1},{3,2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,0,1}}],DualData[{1},{1},{3,2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}}],DualData[{1},{1},{1,2,3}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}}],DualData[{1},{1},{1,2,3}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}},{{1,0},{0,1}}],DualData[{1},{1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}},{{1,0},{0,1}}],DualData[{1},{1},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}}],DualData[{1},{1},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1}}],DualData[{1},{1},{1,2},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{1,0},{0,1}}],DualData[{1},{1},{1,2},{1,2,3}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1},{1,0}}],DualData[{1},{1},{1,2},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{1,0},{0,1}}],DualData[{1},{1},{1,2},{2,1,3}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1},{1,0}}],DualData[{1},{1},{1,2},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1}},{{1,0,0},{0,1,0},{0,0,1},{0,0,1}}],DualData[{1},{1},{1,2},{4,3,2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{1,0}}],DualData[{1},{1},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1}},{{0,1,0},{0,0,1}},{{0,1}}],DualData[{1},{1},{3,2,1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1}},{{0,0,1},{0,1,0}},{{1,0}}],DualData[{1},{1},{3,2,1},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}},{{1,0},{0,1}},{{1,0},{0,1}}],DualData[{1},{1},{2,1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{1,0,0},{0,1,0}},{{1,0},{0,1}},{{1,0},{0,1}}],DualData[{1},{1},{2,1},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{1,0},{0,1}},{{1,0,0}}],DualData[{1},{1},{1,2},{1,2,3}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1},{1,0}},{{0,1}}],DualData[{1},{1},{1,2},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1}},{{1,0,0},{0,0,1}},{{0,1}}],DualData[{1},{1},{1,2},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{1,0}},{{1,0,0},{0,1,0}},{{0,1}}],DualData[{1},{1},{1,2},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1}},{{1}},{{1}}],DualData[{1},{1},{1,2},{1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{1,1}}],DualData[{1},{1},{1,2},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1}},{{0,0,1}},{{1}}],DualData[{1},{1},{1,2},{3,2,1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0}},{{1}}],DualData[{1},{1},{1,2},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1}},{{0,1,0},{0,1,0},{0,0,1}},{{1,0,0},{0,1,0},{0,0,1},{0,0,1},{0,0,1}}],DualData[{1},{1},{1,2},{3,2,1},{5,4,3,2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0}},{{1},{1},{1}}],DualData[{1},{1},{1,2},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{1,0},{0,1}},{{0,0,0,1},{0,0,0,1}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{4,2,3,1},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{1,0}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{1,0},{0,1}},{{0,0,0,1},{0,0,0,1}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{4,2,3,1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{1,0}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{1,0},{0,1}},{{0,0,0,1},{0,0,0,1}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{4,3,2,1},{1,2}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{1,0}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{1,2}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{1,0},{0,1}},{{0,0,0,1},{0,0,0,1}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{4,3,2,1},{2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{1,0}},{{1,0},{0,1}}],DualData[{1},{1},{1,2},{2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,1}}],DualData[{1},{1},{1,2},{1,2},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,0,0,1},{1,0,0,0}},{{1,0},{1,0},{0,1},{0,1}}],DualData[{1},{1},{1,2},{4,2,3,1},{1,2,3,4}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,1}}],DualData[{1},{1},{1,2},{1,2},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,0,0,1},{1,0,0,0}},{{1,0},{1,0},{0,1},{0,1}}],DualData[{1},{1},{1,2},{4,2,3,1},{2,1,3,4}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,1}}],DualData[{1},{1},{1,2},{1,2},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,0,0,1},{1,0,0,0}},{{1,0},{1,0},{0,1},{0,1}}],DualData[{1},{1},{1,2},{4,2,3,1},{2,1,4,3}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}}],DualData[{1},{1},{1,2},{1,2},{4,3,2,1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,0,0,1},{1,0,0,0}},{{1,1}}],DualData[{1},{1},{1,2},{4,2,3,1},{1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,0,0,1},{1,0,0,0}},{{1,1}},{{1}},{{1}}],DualData[{1},{1},{1,2},{4,2,3,1},{1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{1,0,0,1}}],DualData[{1},{1},{1,2},{1,2},{4,3,2,1}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,1}},{{1}},{{1}}],DualData[{1},{1},{1,2},{1,2},{1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}},{{0,0,0,1},{1,0,0,0}},{{1,0},{1,0},{0,1},{0,1}},{{1,0,1,0}}],DualData[{1},{1},{1,2},{4,2,3,1},{1,2,3,4}]]},{BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1}},{{1,0,0},{0,1,0},{0,0,1}},{{0,1,0},{0,0,1}},{{1,0},{0,1}},{{0,1}},{{1}}],DualData[{1},{1},{1,2},{3,2,1},{2,1},{1}]],BigraphWithDuals[GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{1,0}},{{1,0,0},{0,1,0},{0,1,0}},{{1,0,0},{0,0,1}},{{1,0}},{{1}}],DualData[{1},{1},{1,2},{3,2,1},{1}]]}})

vinelist=Union[CanonicalizeBigraph/@Flatten[vinelistwithduals][[All,1]]];

Length[vinelist]

Alist=FindA[#,q]&/@vinelist;

TestAForm[A_,q_]:=Module[{poly=Expand[q (A/.q->q^(-1))]},
And[Exponent[A,q]==1,Coefficient[A,q]==1,Select[CoefficientList[poly-1,q],#≤0&]==CoefficientList[poly-1,q]]];

Length[Select[Alist,Not[TestAForm[#,q]]&]]

{goodAlist,badAlist}=GatherBy[vinelist,TestAForm[FindA[#,q],q]&];

GoodVinesWithBounds={{GradedBigraph[{{1}},{{1}},{{1},{1},{1}}],76},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}}],76},{GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,1}}],75},{GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1},{0,1}}],94},{GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{0,0,1},{0,0,1}}],119},{GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{0,1,0},{0,0,1}}],94},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,1}}],75},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}}],87},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1},{0,1}}],49},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}},{{0,1,0},{0,0,1}}],70},{GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{0,1,0},{0,0,1}},{{1,0},{0,1}}],65},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}}],67},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{0,1},{0,1},{1,0}}],87},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1}}],70},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{0,1},{1,1}}],70},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1}}],89},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{0,1}},{{0,1,0},{0,0,1},{1,0,0},{1,0,0}}],69},{GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}},{{1,0}}],79},{GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{0,1,0},{0,0,1}},{{1,0},{0,1}},{{1,0},{0,1}}],139},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{0,1}},{{1}}],96},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{0,1},{0,1}},{{1,0},{0,1}}],121},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}},{{1,1}}],104},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1},{0,1}},{{0,0,1}}],148},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{0,1},{1,1}},{{1,0}}],131},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}},{{1,0}}],79},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,1}}],83},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}}],134},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1}},{{1}},{{1}}],104},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{0,1}},{{1,0,0}},{{1}}],87},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{1,0},{0,1}},{{0,0,1,0},{0,0,0,1}},{{1,1}}],117},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{1,0},{0,1}},{{0,1,0},{0,1,0},{0,0,1}},{{0,1,0},{0,0,1}},{{0,1}},{{1}}],150},{GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,1,0},{0,0,1}},{{1,0,0},{0,0,1}},{{0,1},{1,0}},{{0,1}},{{1}}],152}}

CyclotomicToBound[g_GradedBigraph,n_Integer]:=Module[{m=n-GraphRank[g],possiblegraphs={}},
For[j=0,j<=m,j++,If[CyclotomicTest[Translate[g,j],200],possiblegraphs=Union[possiblegraphs,{Translate[g,j]}];
];
];
possiblegraphs
]

PossiblePrincipalGraphs=Union[{GradedBigraph[{{1}},{{1}},{{1},{1},{1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}}],GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,1}}],GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{1,0},{0,1},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}},{{0,0,1},{0,0,1}}],GradedBigraph[{{1}},{{1}},{{1},{1},{1}},{{0,1,0},{0,0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1},{1}},{{0,1,0},{0,0,1}},{{1,0},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{0,1},{0,1},{1,0}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{0,1},{1,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1}}],GradedBigraph[{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}},{{1,0}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}},{{1,0}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{0,1}},{{1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1},{0,1}},{{1,0,0},{0,0,1}},{{1,0}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{0,1},{0,1}},{{1,0},{0,1}},{{1,0},{0,1}},{{1,0},{1,0},{0,1},{0,1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{0,1}},{{1,0,0}},{{1}}],GradedBigraph[{{1}},{{1}},{{1}},{{1}},{{1}},{{1},{1}},{{1,0},{0,1}},{{1,0},{0,1},{1,0},{0,1}},{{0,0,1,0},{0,0,0,1}},{{1,1}}]}];

DisplayBigraph/@PossiblePrincipalGraphs

{GraphToString[#],DisplayBigraph[#],KnownObstructions[#],N[DimensionOfGenerator[#]]}&/@PossiblePrincipalGraphs//TableForm