<alloy>

<instance bitwidth="4" maxseq="4" command="Run addEntry" filename="/User/my.als">

<sig label="univ" ID="0" builtin="yes">
   <atom label="a$0"/>
   <atom label="b$0"/>
   <atom label="-8"/>
   <atom label="-7"/>
   <atom label="-6"/>
   <atom label="-5"/>
   <atom label="-4"/>
   <atom label="-3"/>
   <atom label="-2"/>
   <atom label="-1"/>
   <atom label="0"/>
   <atom label="1"/>
   <atom label="2"/>
   <atom label="3"/>
   <atom label="4"/>
   <atom label="5"/>
   <atom label="6"/>
   <atom label="7"/>
</sig>

<sig label="Int" ID="1" parentID="0" builtin="yes">
   <atom label="-8"/>
   <atom label="-7"/>
   <atom label="-6"/>
   <atom label="-5"/>
   <atom label="-4"/>
   <atom label="-3"/>
   <atom label="-2"/>
   <atom label="-1"/>
   <atom label="0"/>
   <atom label="1"/>
   <atom label="2"/>
   <atom label="3"/>
   <atom label="4"/>
   <atom label="5"/>
   <atom label="6"/>
   <atom label="7"/>
</sig>

<sig label="seq/Int" ID="2" parentID="1" builtin="yes">
   <atom label="0"/>
   <atom label="1"/>
   <atom label="2"/>
   <atom label="3"/>
</sig>

<sig label="p" ID="3" parentID="0">
   <atom label="a$0"/>
   <atom label="b$0"/>
</sig>

<sig label="a" ID="4" parentID="3">
   <atom label="a$0"/>
</sig>

<sig label="b" ID="8" parentID="3">
   <atom label="b$0"/>
</sig>

<field label="x" ID="9" parentID="8">
   <tuple> <atom label="b$0"/> <atom label="a$0"/> </tuple>
   <types> <type ID="8"/> <type ID="4"/> </types>
   <types> <type ID="8"/> <type ID="8"/> </types>
</field>

</instance>

</alloy>
