📄 pigs.bif
字号:
variable p609164891 {
property label = "609164891";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627246188 {
property label = "627246188";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627320490 {
property label = "627320490";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627367791 {
property label = "627367791";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p751522389 {
property label = "751522389";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627378291 {
property label = "627378291";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197343392 {
property label = "197343392";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197224190 {
property label = "197224190";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197131588 {
property label = "197131588";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197143589 {
property label = "197143589";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197111387 {
property label = "197111387";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197114187 {
property label = "197114187";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197131688 {
property label = "197131688";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630068489 {
property label = "630068489";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p197155489 {
property label = "197155489";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630388190 {
property label = "630388190";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p48084991 {
property label = "48084991";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630886588 {
property label = "630886588";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630349790 {
property label = "630349790";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p48084291 {
property label = "48084291";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p48084391 {
property label = "48084391";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p50249390 {
property label = "50249390";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p50141889 {
property label = "50141889";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p50249590 {
property label = "50249590";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p48092591 {
property label = "48092591";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630659387 {
property label = "630659387";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630335990 {
property label = "630335990";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630155891 {
property label = "630155891";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630007589 {
property label = "630007589";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630370190 {
property label = "630370190";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p50070388 {
property label = "50070388";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p630798688 {
property label = "630798688";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p50133089 {
property label = "50133089";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82282491 {
property label = "82282491";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82154688 {
property label = "82154688";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82093287 {
property label = "82093287";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82154888 {
property label = "82154888";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82071386 {
property label = "82071386";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p750261487 {
property label = "750261487";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82140988 {
property label = "82140988";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627350790 {
property label = "627350790";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627257588 {
property label = "627257588";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627333990 {
property label = "627333990";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82155088 {
property label = "82155088";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p627253288 {
property label = "627253288";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
variable p82265990 {
property label = "82265990";
type discrete[3] { 0, // "0"
1, // "1"
2// "2"
};
}
probability ( p630400490 ) {
table 0.25, 0.5, 0.25;
}
probability ( p48124091 | p82265990, p630400490 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p627270088 ) {
table 0.25, 0.5, 0.25;
}
probability ( p392115290 | p627253288, p627270088 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p627276488 ) {
table 0.25, 0.5, 0.25;
}
probability ( p392150190 | p627253288, p627276488 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p48109691 | p83456290, p630384190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p630071089 ) {
table 0.25, 0.5, 0.25;
}
probability ( p630067789 ) {
table 0.25, 0.5, 0.25;
}
probability ( p630384190 | p630067789, p630071089 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p48109791 | p83456290, p630384190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p83306289 ) {
table 0.25, 0.5, 0.25;
}
probability ( p83456290 | p82140988, p83306289 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p277195691 | p277155690, p277162190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p277114088 ) {
table 0.25, 0.5, 0.25;
}
probability ( p197132888 ) {
table 0.25, 0.5, 0.25;
}
probability ( p277155690 | p197132888, p277114088 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p277195791 | p277155690, p277162190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p277111088 ) {
table 0.25, 0.5, 0.25;
}
probability ( p277162190 | p82140988, p277111088 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p216124491 | p630396290, p216077190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p230416387 ) {
table 0.25, 0.5, 0.25;
}
probability ( p216077190 | p82140988, p230416387 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p216124591 | p630396290, p216077190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p630396290 ) {
table 0.25, 0.5, 0.25;
}
probability ( p630182291 | p630396290, p630299990 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p630031389 ) {
table 0.25, 0.5, 0.25;
}
probability ( p630299990 | p82140988, p630031389 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p82019685 ) {
table 0.25, 0.5, 0.25;
}
probability ( p803043885 ) {
table 0.25, 0.5, 0.25;
}
probability ( p751512889 ) {
table 0.25, 0.5, 0.25;
}
probability ( p392157391 | p50133089, p751512889 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p48147992 | p630388390, p630439091 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p630439091 ) {
table 0.25, 0.5, 0.25;
}
probability ( p48148092 | p630388390, p630439091 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p630388390 ) {
table 0.25, 0.5, 0.25;
}
probability ( p83567891 | p630388390, p83470790 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p83314589 ) {
table 0.25, 0.5, 0.25;
}
probability ( p83470790 | p630798688, p83314589 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p48084891 | p630388190, p630349790 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p630014189 ) {
table 0.25, 0.5, 0.25;
}
probability ( p630323790 | p630798688, p630014189 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p630155091 | p630388190, p630323790 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p543072191 | p547097990, p543654190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p543472088 ) {
table 0.25, 0.5, 0.25;
}
probability ( p543654190 | p82140988, p543472088 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p543072291 | p547097990, p543654190 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p547629489 ) {
table 0.25, 0.5, 0.25;
}
probability ( p547097990 | p197140688, p547629489 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p197119188 ) {
table 0.25, 0.5, 0.25;
}
probability ( p197140688 | p197114187, p197119188 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p753023491 ) {
table 0.25, 0.5, 0.25;
}
probability ( p609183992 | p753023491, p609164891 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p543036891 | p547054590, p543657690 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1, 2) 0, 0.5, 0.5;
(2, 0) 0, 1, 0;
(2, 1) 0, 0.5, 0.5;
(2, 2) 0, 0, 1;
}
probability ( p547633289 ) {
table 0.25, 0.5, 0.25;
}
probability ( p547620489 ) {
table 0.25, 0.5, 0.25;
}
probability ( p547054590 | p547620489, p547633289 ) {
(0, 0) 1, 0, 0;
(0, 1) 0.5, 0.5, 0;
(0, 2) 0, 1, 0;
(1, 0) 0.5, 0.5, 0;
(1, 1) 0.25, 0.5, 0.25;
(1
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -