<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE attributes PUBLIC "-//NetBeans//DTD DefaultAttributes 1.0//EN" "http://www.netbeans.org/dtds/attributes-1_0.dtd">
<attributes version="1.0">
    <fileobject name="">
        <attr name="Filters\C2 Basic Coloring\after" stringvalue="Remove State"/>
        <attr name="Filters\C2 Matcher Flags Coloring\after" stringvalue="Probability Coloring"/>
        <attr name="Filters\C2 Remove Filter\after" stringvalue="Stamp Coloring"/>
        <attr name="Filters\Call Graph Coloring\after" stringvalue="Remove Floating"/>
        <attr name="Filters\Probability Coloring\after" stringvalue="Call Graph Coloring"/>
        <attr name="Filters\Reduce Edges\after" stringvalue="Remove State"/>
        <attr name="Filters\Remove Floating\after" stringvalue="Reduce Edges"/>
        <attr name="Filters\Remove State\after" stringvalue="Coloring"/>
        <attr name="Filters\Stamp Coloring\after" stringvalue="Probability Coloring"/>
    </fileobject>
</attributes>
