# We #-lines are comments
# dir model property model_latex_name property_latex_name
#1394 1394-3-2 p0 1394-3-2 $0$
#1394 1394-3-2 p0neg 1394-3-2 $\neg{}0$
1394 1394-3-2 p1 1394-3-2 $1$
1394 1394-3-2 p1neg 1394-3-2 $\neg{}1$
1394 1394-3-2 p5 1394-3-2 $5$
1394 1394-3-2 p5neg 1394-3-2 $\neg{}5$
#1394 1394-3-2 p6 1394-3-2 $6$
#1394 1394-3-2 p6neg 1394-3-2 $\neg{}6$
#1394 1394-3-3 p0
#1394 1394-3-3 p0neg
#1394 1394-3-3 p1
#1394 1394-3-3 p1neg
#1394 1394-3-3 p5
#1394 1394-3-3 p5neg
#1394 1394-3-3 p6
#1394 1394-3-3 p6neg
#1394 1394-3-4 p0
#1394 1394-3-4 p0neg
#1394 1394-3-4 p1
#1394 1394-3-4 p1neg
#1394 1394-3-4 p5
#1394 1394-3-4 p5neg
#1394 1394-3-4 p6
#1394 1394-3-4 p6neg
#1394 1394-4-2 p0 1394-4-2 $0$
#1394 1394-4-2 p0neg 1394-4-2 $\neg{}0$
1394 1394-4-2 p1 1394-4-2 $1$
1394 1394-4-2 p1neg 1394-4-2 $\neg{}1$
1394 1394-4-2 p2-2 1394-4-2 $2$
1394 1394-4-2 p2-3 1394-4-2 $3$
1394 1394-4-2 p2-4 1394-4-2 $4$
1394 1394-4-2 p5 1394-4-2 $5$
1394 1394-4-2 p5neg 1394-4-2 $\neg{}5$
#1394 1394-4-2 p6 1394-4-2 $6$
#1394 1394-4-2 p6neg 1394-4-2 $\neg{}6$
#1394 1394-4-3 p0
#1394 1394-4-3 p0neg
#1394 1394-4-3 p1
#1394 1394-4-3 p1neg
#1394 1394-4-3 p2-2
#1394 1394-4-3 p2-3
#1394 1394-4-3 p2-4
#1394 1394-4-3 p5
#1394 1394-4-3 p5neg
#1394 1394-4-3 p6
#1394 1394-4-3 p6neg
#1394 1394-4-4 p0
#1394 1394-4-4 p0neg
#1394 1394-4-4 p1
#1394 1394-4-4 p1neg
#1394 1394-4-4 p2-2
#1394 1394-4-4 p2-3
#1394 1394-4-4 p2-4
#1394 1394-4-4 p5
#1394 1394-4-4 p5neg
#1394 1394-4-4 p6
#1394 1394-4-4 p6neg
#1394 1394-5-2 p0 1394-5-2 $0$
#1394 1394-5-2 p0neg 1394-5-2 $\neg{}0$
1394 1394-5-2 p1 1394-5-2 $1$
1394 1394-5-2 p1neg 1394-5-2 $\neg{}1$
#1394 1394-5-2 p2-2 1394-5-2 $2$
#1394 1394-5-2 p2-3 1394-5-2 $3$
#1394 1394-5-2 p2-4 1394-5-2 $4$
1394 1394-5-2 p5 1394-5-2 $5$
1394 1394-5-2 p5neg 1394-5-2 $\neg{}5$
#1394 1394-5-2 p6 1394-5-2 $6$
#1394 1394-5-2 p6neg 1394-5-2 $\neg{}6$
#1394 1394-5-3 p0
#1394 1394-5-3 p0neg
#1394 1394-5-3 p1
#1394 1394-5-3 p1neg
#1394 1394-5-3 p2-2
#1394 1394-5-3 p2-3
#1394 1394-5-3 p2-4
#1394 1394-5-3 p5
#1394 1394-5-3 p5neg
#1394 1394-5-3 p6
#1394 1394-5-3 p6neg
#1394 1394-5-4 p0
#1394 1394-5-4 p0neg
#1394 1394-5-4 p1
#1394 1394-5-4 p1neg
#1394 1394-5-4 p2-2
#1394 1394-5-4 p2-3
#1394 1394-5-4 p2-4
#1394 1394-5-4 p5
#1394 1394-5-4 p5neg
#1394 1394-5-4 p6
#1394 1394-5-4 p6neg
#1394 1394-6-2 p0
#1394 1394-6-2 p0neg
#1394 1394-6-2 p1
#1394 1394-6-2 p1neg
#1394 1394-6-2 p2-2
#1394 1394-6-2 p2-3
#1394 1394-6-2 p2-4
#1394 1394-6-2 p5
#1394 1394-6-2 p5neg
#1394 1394-6-2 p6
#1394 1394-6-2 p6neg
#1394 1394-6-3 p0
#1394 1394-6-3 p0neg
#1394 1394-6-3 p1
#1394 1394-6-3 p1neg
#1394 1394-6-3 p2-2
#1394 1394-6-3 p2-3
#1394 1394-6-3 p2-4
#1394 1394-6-3 p5
#1394 1394-6-3 p5neg
#1394 1394-6-3 p6
#1394 1394-6-3 p6neg
#1394 1394-6-4 p0
#1394 1394-6-4 p0neg
#1394 1394-6-4 p1
#1394 1394-6-4 p1neg
#1394 1394-6-4 p2-2
#1394 1394-6-4 p2-3
#1394 1394-6-4 p2-4
#1394 1394-6-4 p5
#1394 1394-6-4 p5neg
#1394 1394-6-4 p6
#1394 1394-6-4 p6neg
1394 1394b-4-2 p2-2 1394b-4-2 $2$
1394 1394b-4-2 p2-3 1394b-4-2 $3$
1394 1394b-4-2 p2-4 1394b-4-2 $4$
#1394 1394b-4-3 p2-2 1394b-4-3 $2$
#1394 1394b-4-3 p2-3 1394b-4-3 $3$
#1394 1394b-4-3 p2-4 1394b-4-3 $4$
#1394 1394b-4-4 p2-2 1394b-4-4 $2$
#1394 1394b-4-4 p2-3 1394b-4-4 $3$
#1394 1394b-4-4 p2-4 1394b-4-4 $4$
#1394 1394b-5-2 p2-2 1394b-5-2 $2$
#1394 1394b-5-2 p2-3 1394b-5-2 $3$
#1394 1394b-5-2 p2-4 1394b-5-2 $4$
1394 1394b-5-3 p2-2 1394b-5-3 $2$
1394 1394b-5-3 p2-3 1394b-5-3 $3$
1394 1394b-5-3 p2-4 1394b-5-3 $4$
#1394 1394b-5-4 p2-2 1394b-5-4 $2$
#1394 1394b-5-4 p2-3 1394b-5-4 $3$
#1394 1394b-5-4 p2-4 1394b-5-4 $4$
#1394 1394b-6-2 p2-2 1394b-6-2 $2$
#1394 1394b-6-2 p2-3 1394b-6-2 $3$
#1394 1394b-6-2 p2-4 1394b-6-2 $4$
#1394 1394b-6-3 p2-2 1394b-6-3 $2$
#1394 1394b-6-3 p2-3 1394b-6-3 $3$
#1394 1394b-6-3 p2-4 1394b-6-3 $4$
1394 1394b-6-4 p2-2 1394b-6-4 $2$
1394 1394b-6-4 p2-3 1394b-6-4 $3$
1394 1394b-6-4 p2-4 1394b-6-4 $4$
abp4 abp4 ptimo abp4 $0$
abp4 abp4 ptimoneg abp4 $\neg{}0$
abp4 abp4 pold abp4 $1$
abp4 abp4 p2false abp4 $2$
abp4 abp4 p2true abp4 $3$
brp brp ptimo brp $0$
brp brp ptimoneg brp $\neg{}0$
brp brp ptimonegnv brp $\neg{}0,\textup{nv}$
brp brp p1 brp $1$
brp brp p1neg brp $\neg{}1$
counter counter p0 counter $0$
counter counter p0neg counter $\neg{}0$
csmacd csmacd p0 csmacd $0$
csmacd csmacd p0neg csmacd $\neg{}0$
csmacd csmacd p2 csmacd $1$
csmacd csmacd p2neg csmacd $\neg{}1$
#dme dme2 ptimo dme2 $0$
#dme dme2 ptimoneg dme2 $\neg{}0$
#dme dme2 ptimonegnv dme2 $\neg{}0,\textup{nv}$
dme dme3 ptimo dme3 $0$
dme dme3 ptimoneg dme3 $\neg{}0$
dme dme3 ptimonegnv dme3 $\neg{}0,\textup{nv}$
dme dme3 p1 dme3 $1$
dme dme3 p1neg dme3 $\neg{}1$
#dme dme4 ptimo dme4 $0$
#dme dme4 ptimoneg dme4 $\neg{}0$
#dme dme4 ptimonegnv dme4 $\neg{}0,\textup{nv}$
#dme dme4 p1 dme4 $1$
#dme dme4 p1neg dme4 $\neg{}1$
dme dme5 ptimo dme5 $0$
dme dme5 ptimoneg dme5 $\neg{}0$
dme dme5 ptimonegnv dme5 $\neg{}0,\textup{nv}$
dme dme5 p1 dme5 $1$
dme dme5 p1neg dme5 $\neg{}1$
#dme dme6 ptimo dme6 $0$
#dme dme6 ptimoneg dme6 $\neg{}0$
#dme dme6 ptimonegnv dme6 $\neg{}0,\textup{nv}$
#dme dme6 p1 dme6 $1$
#dme dme6 p1neg dme6 $\neg{}1$
mutex mutex p0 mutex $0$
mutex mutex p0neg mutex $\neg{}0$
pci pci ptimo pci $0$
pci pci ptimoneg pci $\neg{}0$
pci pci pFtimo pci $\textbf{F}0$
pci pci p1 pci $1$
pci pci p1neg pci $\neg{}1$
prod-cons prod-cons p0 prod-cons $0$
prod-cons prod-cons p0neg prod-cons $\neg{}0$
prod-cons prod-cons p1 prod-cons $1$
prod-cons prod-cons p1negnv prod-cons $\neg{}1,\textup{nv}$
prod-cons prod-cons pold1 prod-cons $2$
prod-cons prod-cons pold3 prod-cons $3$
prod-cons prod-cons pold4 prod-cons $4$
prod-cons prod-cons p5 prod-cons $5$
prod-cons prod-cons p5neg prod-cons $\neg{}5$
production-cell production-cell p0 production-cell $0$
production-cell production-cell p0neg production-cell $\neg{}0$
production-cell production-cell p1 production-cell $1$
production-cell production-cell p1neg production-cell $\neg{}1$
production-cell production-cell p2 production-cell $2$
production-cell production-cell p2neg production-cell $\neg{}2$
production-cell production-cell p3 production-cell $3$
production-cell production-cell p3neg production-cell $\neg{}3$
production-cell production-cell p4 production-cell $4$
production-cell production-cell p4neg production-cell $\neg{}4$
reactor bc57-sensors p0 bc57-sensors $0$
reactor bc57-sensors p0neg bc57-sensors $\neg{}0$
reactor bc57-sensors p1 bc57-sensors $1$
reactor bc57-sensors p1neg bc57-sensors $\neg{}1$
reactor bc57-sensors p2 bc57-sensors $2$
reactor bc57-sensors p2neg bc57-sensors $\neg{}2$
reactor bc57-sensors p3 bc57-sensors $3$
ring ring p0 ring $0$
ring ring p0neg ring $\neg{}0$
short short p0 short $0$
short short p0neg short $\neg{}0$
srg5 srg5 ptimo srg5 $0$
srg5 srg5 ptimoneg srg5 $\neg{}0$
srg5 srg5 ptimonegnv srg5 $\neg{}0,\textup{nv}$
