digraph {
labelloc = "t";
label= "Equation: \"lbrace 1, 2, 2 over 4 rbrace subset setQ newline  lbrace 1, 2, 3 rbrace nsubset setZ\"";
n165137128 [label="SmTableNode"];
n165137128 -> n165134584 [label="0"];
n165134584 [label="SmLineNode"];
n165134584 -> n165179616 [label="0"];
n165179616 [label="SmExpressionNode"];
n165179616 -> n164579328 [label="0"];
n164579328 [label="SmBinHorNode"];
n164579328 -> n161765912 [label="0"];
n161765912 [label="SmBraceNode"];
n161765912 -> n164939520 [label="0"];
n164939520 [label="SmMathSymbolNode: {"];
n161765912 -> n158916104 [label="1"];
n158916104 [label="SmBracebodyNode"];
n158916104 -> n165250776 [label="0"];
n165250776 [label="SmExpressionNode"];
n165250776 -> n165681048 [label="0"];
n165681048 [label="SmTextNode: 1,"];
n165250776 -> n163832136 [label="1"];
n163832136 [label="SmTextNode: 2,"];
n165250776 -> n164462736 [label="2"];
n164462736 [label="SmBinVerNode"];
n164462736 -> n165084200 [label="0"];
n165084200 [label="SmTextNode: 2"];
n164462736 -> n158195320 [label="1"];
n158195320 [label="SmRectangleNode"];
n164462736 -> n163304128 [label="2"];
n163304128 [label="SmTextNode: 4"];
n161765912 -> n163383320 [label="2"];
n163383320 [label="SmMathSymbolNode: }"];
n164579328 -> n163393984 [label="1"];
n163393984 [label="SmMathSymbolNode: ⊂"];
n164579328 -> n165690888 [label="2"];
n165690888 [label="SmMathSymbolNode: ℚ"];
n165137128 -> n163394352 [label="1"];
n163394352 [label="SmLineNode"];
n163394352 -> n165585800 [label="0"];
n165585800 [label="SmExpressionNode"];
n165585800 -> n164963032 [label="0"];
n164963032 [label="SmBinHorNode"];
n164963032 -> n163213912 [label="0"];
n163213912 [label="SmBraceNode"];
n163213912 -> n164137232 [label="0"];
n164137232 [label="SmMathSymbolNode: {"];
n163213912 -> n165684048 [label="1"];
n165684048 [label="SmBracebodyNode"];
n165684048 -> n164032952 [label="0"];
n164032952 [label="SmExpressionNode"];
n164032952 -> n163929872 [label="0"];
n163929872 [label="SmTextNode: 1,"];
n164032952 -> n165668864 [label="1"];
n165668864 [label="SmTextNode: 2,"];
n164032952 -> n164022216 [label="2"];
n164022216 [label="SmTextNode: 3"];
n163213912 -> n163362448 [label="2"];
n163362448 [label="SmMathSymbolNode: }"];
n164963032 -> n165706096 [label="1"];
n165706096 [label="SmMathSymbolNode: ⊄"];
n164963032 -> n163392984 [label="2"];
n163392984 [label="SmMathSymbolNode: ℤ"];
}