68VerifyNotEquivalent(tree1, tree2, topLevel:=True) 69VerifyNotEquivalent(tree1, tree2, topLevel:=False) 76VerifyNotEquivalent(tree1, tree2, topLevel:=True) 77VerifyNotEquivalent(tree1, tree2, topLevel:=False) 84VerifyNotEquivalent(tree1, tree2, topLevel:=True) 85VerifyNotEquivalent(tree1, tree2, topLevel:=False) 93VerifyNotEquivalent(tree1, tree2, topLevel:=False) 116VerifyNotEquivalent(tree1, tree2, topLevel:=True) 117VerifyNotEquivalent(tree1, tree2, topLevel:=False) 125VerifyNotEquivalent(tree1, tree2, topLevel:=False) 133VerifyNotEquivalent(tree1, tree2, topLevel:=False) 141VerifyNotEquivalent(tree1, tree2, topLevel:=False) 148VerifyNotEquivalent(tree1, tree2, topLevel:=True) 149VerifyNotEquivalent(tree1, tree2, topLevel:=False) 156VerifyNotEquivalent(tree1, tree2, topLevel:=True) 157VerifyNotEquivalent(tree1, tree2, topLevel:=False) 165VerifyNotEquivalent(tree1, tree2, topLevel:=False) 172VerifyNotEquivalent(tree1, tree2, topLevel:=True) 173VerifyNotEquivalent(tree1, tree2, topLevel:=False) 180VerifyNotEquivalent(tree1, tree2, topLevel:=True) 181VerifyNotEquivalent(tree1, tree2, topLevel:=False) 188VerifyNotEquivalent(tree1, tree2, topLevel:=True) 189VerifyNotEquivalent(tree1, tree2, topLevel:=False) 204VerifyNotEquivalent(tree1, tree2, topLevel:=True) 205VerifyNotEquivalent(tree1, tree2, topLevel:=False) 228VerifyNotEquivalent(tree1, tree2, topLevel:=True) 229VerifyNotEquivalent(tree1, tree2, topLevel:=False) 245VerifyNotEquivalent(tree1, tree2, topLevel:=False) 270VerifyNotEquivalent(tree1, tree2, topLevel:=False) 274VerifyNotEquivalent(tree1, tree2, topLevel:=False) 283VerifyNotEquivalent(tree1, tree2, topLevel:=True) 284VerifyNotEquivalent(tree1, tree2, topLevel:=False) 291VerifyNotEquivalent(tree1, tree2, topLevel:=True) 292VerifyNotEquivalent(tree1, tree2, topLevel:=False) 300VerifyNotEquivalent(tree1, tree2, topLevel:=False) 308VerifyNotEquivalent(tree1, tree2, topLevel:=False) 316VerifyNotEquivalent(tree1, tree2, topLevel:=False) 324VerifyNotEquivalent(tree1, tree2, topLevel:=False) 327VerifyNotEquivalent(tree1, tree2, topLevel:=False) 334VerifyNotEquivalent(tree1, tree2, topLevel:=True) 335VerifyNotEquivalent(tree1, tree2, topLevel:=False) 342VerifyNotEquivalent(tree1, tree2, topLevel:=True) 343VerifyNotEquivalent(tree1, tree2, topLevel:=False) 345VerifyNotEquivalent(tree1, tree2, topLevel:=True) 346VerifyNotEquivalent(tree1, tree2, topLevel:=False) 358VerifyNotEquivalent(tree1, tree2, topLevel:=False) 367VerifyNotEquivalent(tree1, tree2, topLevel:=False) 368VerifyNotEquivalent(tree1, tree2, topLevel:=True) 376VerifyNotEquivalent(tree1, tree2, topLevel:=False) 377VerifyNotEquivalent(tree1, tree2, topLevel:=True) 385VerifyNotEquivalent(tree1, tree2, topLevel:=False) 386VerifyNotEquivalent(tree1, tree2, topLevel:=True) 394VerifyNotEquivalent(tree1, tree2, topLevel:=False) 395VerifyNotEquivalent(tree1, tree2, topLevel:=True) 403VerifyNotEquivalent(tree1, tree2, topLevel:=False) 404VerifyNotEquivalent(tree1, tree2, topLevel:=True) 412VerifyNotEquivalent(tree1, tree2, topLevel:=False) 413VerifyNotEquivalent(tree1, tree2, topLevel:=True) 421VerifyNotEquivalent(tree1, tree2, topLevel:=False) 422VerifyNotEquivalent(tree1, tree2, topLevel:=True) 430VerifyNotEquivalent(tree1, tree2, topLevel:=False) 431VerifyNotEquivalent(tree1, tree2, topLevel:=True) 439VerifyNotEquivalent(tree1, tree2, topLevel:=False) 440VerifyNotEquivalent(tree1, tree2, topLevel:=True) 448VerifyNotEquivalent(tree1, tree2, topLevel:=False) 449VerifyNotEquivalent(tree1, tree2, topLevel:=True) 457VerifyNotEquivalent(tree1, tree2, topLevel:=False) 458VerifyNotEquivalent(tree1, tree2, topLevel:=True) 466VerifyNotEquivalent(tree1, tree2, topLevel:=False) 475VerifyNotEquivalent(tree1, tree2, topLevel:=False) 484VerifyNotEquivalent(tree1, tree2, topLevel:=False) 491VerifyNotEquivalent(tree1, tree2, topLevel:=True) 492VerifyNotEquivalent(tree1, tree2, topLevel:=False) 502VerifyNotEquivalent(tree1, tree2, topLevel:=False) 511VerifyNotEquivalent(tree1, tree2, topLevel:=False) 520VerifyNotEquivalent(tree1, tree2, topLevel:=False) 521VerifyNotEquivalent(tree1, tree2, topLevel:=True) 531VerifyNotEquivalent(tree1, tree2, topLevel:=False) 540VerifyNotEquivalent(tree1, tree2, topLevel:=False) 541VerifyNotEquivalent(tree1, tree2, topLevel:=True) 551VerifyNotEquivalent(tree1, tree2, topLevel:=False) 552VerifyNotEquivalent(tree1, tree2, topLevel:=True) 560VerifyNotEquivalent(tree1, tree2, topLevel:=False) 561VerifyNotEquivalent(tree1, tree2, topLevel:=True) 569VerifyNotEquivalent(tree1, tree2, topLevel:=False) 570VerifyNotEquivalent(tree1, tree2, topLevel:=True) 578VerifyNotEquivalent(tree1, tree2, topLevel:=False) 579VerifyNotEquivalent(tree1, tree2, topLevel:=True) 587VerifyNotEquivalent(tree1, tree2, topLevel:=False) 596VerifyNotEquivalent(tree1, tree2, topLevel:=False) 597VerifyNotEquivalent(tree1, tree2, topLevel:=True) 607VerifyNotEquivalent(tree1, tree2, topLevel:=False) 608VerifyNotEquivalent(tree1, tree2, topLevel:=True) 616VerifyNotEquivalent(tree1, tree2, topLevel:=False) 617VerifyNotEquivalent(tree1, tree2, topLevel:=True) 625VerifyNotEquivalent(tree1, tree2, topLevel:=False) 626VerifyNotEquivalent(tree1, tree2, topLevel:=True) 634VerifyNotEquivalent(tree1, tree2, topLevel:=False) 635VerifyNotEquivalent(tree1, tree2, topLevel:=True) 643VerifyNotEquivalent(tree1, tree2, topLevel:=False) 644VerifyNotEquivalent(tree1, tree2, topLevel:=True) 654VerifyNotEquivalent(tree1, tree2, topLevel:=False) 655VerifyNotEquivalent(tree1, tree2, topLevel:=True) 663VerifyNotEquivalent(tree1, tree2, topLevel:=False) 664VerifyNotEquivalent(tree1, tree2, topLevel:=True) 672VerifyNotEquivalent(tree1, tree2, topLevel:=False) 673VerifyNotEquivalent(tree1, tree2, topLevel:=True) 681VerifyNotEquivalent(tree1, tree2, topLevel:=False) 682VerifyNotEquivalent(tree1, tree2, topLevel:=True) 690VerifyNotEquivalent(tree1, tree2, topLevel:=False) 691VerifyNotEquivalent(tree1, tree2, topLevel:=True)