400VerifyNotEquivalent(tree1, tree2, topLevel:=False) 409VerifyNotEquivalent(tree1, tree2, topLevel:=False) 410VerifyNotEquivalent(tree1, tree2, topLevel:=True) 418VerifyNotEquivalent(tree1, tree2, topLevel:=False) 419VerifyNotEquivalent(tree1, tree2, topLevel:=True) 427VerifyNotEquivalent(tree1, tree2, topLevel:=False) 428VerifyNotEquivalent(tree1, tree2, topLevel:=True) 436VerifyNotEquivalent(tree1, tree2, topLevel:=False) 437VerifyNotEquivalent(tree1, tree2, topLevel:=True) 445VerifyNotEquivalent(tree1, tree2, topLevel:=False) 446VerifyNotEquivalent(tree1, tree2, topLevel:=True) 454VerifyNotEquivalent(tree1, tree2, topLevel:=False) 455VerifyNotEquivalent(tree1, tree2, topLevel:=True) 463VerifyNotEquivalent(tree1, tree2, topLevel:=False) 464VerifyNotEquivalent(tree1, tree2, topLevel:=True) 472VerifyNotEquivalent(tree1, tree2, topLevel:=False) 473VerifyNotEquivalent(tree1, tree2, topLevel:=True) 481VerifyNotEquivalent(tree1, tree2, topLevel:=False) 482VerifyNotEquivalent(tree1, tree2, topLevel:=True) 490VerifyNotEquivalent(tree1, tree2, topLevel:=False) 491VerifyNotEquivalent(tree1, tree2, topLevel:=True) 499VerifyNotEquivalent(tree1, tree2, topLevel:=False) 500VerifyNotEquivalent(tree1, tree2, topLevel:=True) 508VerifyNotEquivalent(tree1, tree2, topLevel:=False) 517VerifyNotEquivalent(tree1, tree2, topLevel:=False) 544VerifyNotEquivalent(tree1, tree2, topLevel:=False) 553VerifyNotEquivalent(tree1, tree2, topLevel:=False) 562VerifyNotEquivalent(tree1, tree2, topLevel:=False) 563VerifyNotEquivalent(tree1, tree2, topLevel:=True) 573VerifyNotEquivalent(tree1, tree2, topLevel:=False) 582VerifyNotEquivalent(tree1, tree2, topLevel:=False) 583VerifyNotEquivalent(tree1, tree2, topLevel:=True) 593VerifyNotEquivalent(tree1, tree2, topLevel:=False) 594VerifyNotEquivalent(tree1, tree2, topLevel:=True) 602VerifyNotEquivalent(tree1, tree2, topLevel:=False) 603VerifyNotEquivalent(tree1, tree2, topLevel:=True) 611VerifyNotEquivalent(tree1, tree2, topLevel:=False) 612VerifyNotEquivalent(tree1, tree2, topLevel:=True) 620VerifyNotEquivalent(tree1, tree2, topLevel:=False) 621VerifyNotEquivalent(tree1, tree2, topLevel:=True) 629VerifyNotEquivalent(tree1, tree2, topLevel:=False) 638VerifyNotEquivalent(tree1, tree2, topLevel:=False) 639VerifyNotEquivalent(tree1, tree2, topLevel:=True) 649VerifyNotEquivalent(tree1, tree2, topLevel:=False) 650VerifyNotEquivalent(tree1, tree2, topLevel:=True) 658VerifyNotEquivalent(tree1, tree2, topLevel:=False) 659VerifyNotEquivalent(tree1, tree2, topLevel:=True) 667VerifyNotEquivalent(tree1, tree2, topLevel:=False) 668VerifyNotEquivalent(tree1, tree2, topLevel:=True) 676VerifyNotEquivalent(tree1, tree2, topLevel:=False) 677VerifyNotEquivalent(tree1, tree2, topLevel:=True) 685VerifyNotEquivalent(tree1, tree2, topLevel:=False) 686VerifyNotEquivalent(tree1, tree2, topLevel:=True) 696VerifyNotEquivalent(tree1, tree2, topLevel:=False) 697VerifyNotEquivalent(tree1, tree2, topLevel:=True) 705VerifyNotEquivalent(tree1, tree2, topLevel:=False) 706VerifyNotEquivalent(tree1, tree2, topLevel:=True) 714VerifyNotEquivalent(tree1, tree2, topLevel:=False) 715VerifyNotEquivalent(tree1, tree2, topLevel:=True) 723VerifyNotEquivalent(tree1, tree2, topLevel:=False) 724VerifyNotEquivalent(tree1, tree2, topLevel:=True) 732VerifyNotEquivalent(tree1, tree2, topLevel:=False) 733VerifyNotEquivalent(tree1, tree2, topLevel:=True)