net {
    sysMode = 0;
    ssAutoPropagation = "1";
    ssAutoReinit = "1";
    ssTermination = "0";
}

// Variables...

node APPDATA {
    type = nominal;
    states = ("correct", "incorrectorcorrupt");
    enum = 68;
}
node DSKLOCAL {
    type = nominal;
    states = ("greaterthan2mb", "lessthan2mb");
    enum = 0;
}
node PRTSPOOL {
    type = nominal;
    states = ("enabled", "disabled");
    enum = 63;
}
node PRTDATA {
    type = nominal;
    states = ("yes", "no");
    enum = 4;
}
node PRTCBL {
    type = nominal;
    states = ("connected", "loose");
    enum = 45;
}
node PRTON {
    type = nominal;
    states = ("yes", "no");
    enum = 43;
}
node PRTTHREAD {
    type = nominal;
    states = ("ok", "corruptbuggy");
    enum = 1;
}
node GDIOUT {
    type = nominal;
    states = ("yes", "no");
    enum = 56;
}
node EMFOK {
    type = nominal;
    states = ("yes", "no");
    enum = 2;
}
node PRTDRIVER {
    type = nominal;
    states = ("yes", "no");
    enum = 64;
}
node GDIIN {
    type = nominal;
    states = ("yes", "no");
    enum = 60;
}
node PROBLEM1 {
    type = nominal;
    states = ("yes", "no");
    enum = 3;
}
node PRTPAPER {
    type = nominal;
    states = ("haspaper", "nopaper");
    enum = 39;
}
node DRVSET {
    type = nominal;
    states = ("correct", "incorrect");
    enum = 5;
}
node NETPRINT {
    type = nominal;
    states = ("nolocalprinter", "yesnetworkprinter");
    enum = 69;
}
node PRTDATAOUT {
    type = nominal;
    states = ("yes", "no");
    enum = 70;
}
node PRTPATH {
    type = nominal;
    states = ("correct", "incorrect");
    enum = 47;
}
node PC2PRT {
    type = nominal;
    states = ("yes", "no");
    enum = 71;
}
node NETOK {
    type = nominal;
    states = ("yes", "no");
    enum = 66;
}
node DRVOK {
    type = nominal;
    states = ("reinstalled", "corrupt");
    enum = 6;
}
node PRTSEL {
    type = nominal;
    states = ("yes", "no");
    enum = 7;
}
node PRTMEM {
    type = nominal;
    states = ("greaterthan2mb", "lessthan2mb");
    enum = 65;
}
node LCLOK {
    type = nominal;
    states = ("yes", "no");
    enum = 72;
}
node PRTPORT {
    type = nominal;
    states = ("yes", "no");
    enum = 46;
}
node DESKPRNTSPD {
    type = nominal;
    states = ("ok", "tooslow");
    enum = 59;
}
node CBLPRTHRDWROK {
    type = nominal;
    states = ("operational", "notoperational");
    enum = 67;
}
node DSAPPLCTN {
    type = nominal;
    states = ("dos", "windows");
    enum = 8;
}
node DSNTOK {
    type = nominal;
    states = ("yes", "no");
    enum = 73;
}
node DSLCLOK {
    type = nominal;
    states = ("yes", "no");
    enum = 74;
}
node PRTMPTPTH {
    type = nominal;
    states = ("correct", "incorrect");
    enum = 9;
}
node PGORNTTNOK {
    type = nominal;
    states = ("correct", "incorrect");
    enum = 10;
}
node PRNTNGAROK {
    type = nominal;
    states = ("correct", "incorrect");
    enum = 11;
}
node SCRNFNTNTPRNTRFNT {
    type = nominal;
    states = ("yes", "no");
    enum = 12;
}
node CMPLTPGPRNTD {
    type = nominal;
    states = ("yes", "no");
    enum = 51;
}
node PROBLEM4 {
    type = nominal;
    states = ("yes", "no");
    enum = 13;
}
node GRPHCSRLTDDRVRSTTNGS {
    type = nominal;
    states = ("correct", "incorrect");
    enum = 14;
}
node PROBLEM5 {
    type = nominal;
    states = ("yes", "no");
    enum = 15;
}
node TRTYPFNTS {
    type = nominal;
    states = ("yes", "no");
    enum = 16;
}
node FNTINSTLLTN {
    type = nominal;
    states = ("verified", "faulty");
    enum = 18;
}
node PRNTRACCPTSTRTYP {
    type = nominal;
    states = ("yes", "no");
    enum = 17;
}
node TTOK {
    type = nominal;
    states = ("yes", "no");
    enum = 19;
}
node GRBLDOTPT {
    type = nominal;
    states = ("no", "yes");
    enum = 54;
}
node NTWRKCNFG {
    type = nominal;
    states = ("correct", "incorrect");
    enum = 75;
}
node NNTTOK {
    type = nominal;
    states = ("yes", "no");
    enum = 20;
}
node APPDTGNTM {
    type = nominal;
    states = ("fastenough", "toolong");
    enum = 57;
}
node PRNTPRCSSTM {
    type = nominal;
    states = ("fastenough", "toolong");
    enum = 58;
}
node HRGLSSDRTNAFTRPRNT {
    type = nominal;
    states = ("fastenough", "toolong");
    enum = 21;
}
node LCLGRBLD {
    type = nominal;
    states = ("yes", "no");
    enum = 62;
}
node NTGRBLD {
    type = nominal;
    states = ("yes", "no");
    enum = 61;
}
node NNPSGRPHC {
    type = nominal;
    states = ("yes", "no");
    enum = 49;
}
node REPEAT {
    type = nominal;
    states = ("yesalwaysthesame", "nodifferenteachtime");
    enum = 22;
}
node PRTTIMEOUT {
    type = nominal;
    states = ("longenough", "tooshort");
    enum = 23;
}
node PRTPSCRIPT {
    type = nominal;
    states = ("yes", "no");
    enum = 52;
}
node AVLBLVRTLMMRY {
    type = nominal;
    states = ("adequate1mb", "inadequate1mb");
    enum = 53;
}
node PSERRMEM {
    type = nominal;
    states = ("noerror", "lowmemory");
    enum = 24;
}
node TSTPSTXT {
    type = nominal;
    states = ("1mbavailablevm", "1mbavailablev");
    enum = 25;
}
node GRBLDPS {
    type = nominal;
    states = ("no", "yes");
    enum = 33;
}
node INCMPLTPS {
    type = nominal;
    states = ("yes", "no");
    enum = 35;
}
node EPSGRPHC {
    type = nominal;
    states = ("no", "yes");
    enum = 26;
}
node PSGRAPHIC {
    type = nominal;
    states = ("yes", "no");
    enum = 50;
}
node FLLCRRPTDBFFR {
    type = nominal;
    states = ("intactnotcorrupt", "fullorcorrupt");
    enum = 27;
}
node APPOK {
    type = nominal;
    states = ("correct", "incorrectcorrupt");
    enum = 28;
}
node DATAFILE {
    type = nominal;
    states = ("correct", "incorrectcorrupt");
    enum = 29;
}
node PRTFILE {
    type = nominal;
    states = ("yes", "no");
    enum = 30;
}
node PRTICON {
    type = nominal;
    states = ("normal", "grayedout");
    enum = 31;
}
node PROBLEM6 {
    type = nominal;
    states = ("no", "yes");
    enum = 32;
}
node PROBLEM3 {
    type = nominal;
    states = ("yes", "no");
    enum = 34;
}
node NTSPD {
    type = nominal;
    states = ("ok", "slow");
    enum = 55;
}
node PROBLEM2 {
    type = nominal;
    states = ("ok", "toolong");
    enum = 36;
}
node PRTQUEUE {
    type = nominal;
    states = ("short", "long");
    enum = 37;
}
node PRTSTATPAPER {
    type = nominal;
    states = ("noerror", "jamoutbinfull");
    enum = 38;
}
node PRTSTATTONER {
    type = nominal;
    states = ("noerror", "lownone");
    enum = 40;
}
node PRTSTATMEM {
    type = nominal;
    states = ("noerror", "outofmemory");
    enum = 41;
}
node PRTSTATOFF {
    type = nominal;
    states = ("noerror", "offlineoff");
    enum = 42;
}
node TNRSPPLY {
    type = nominal;
    states = ("adequate", "low");
    enum = 44;
}
node PTROFFLINE {
    type = nominal;
    states = ("online", "offline");
    enum = 48;
}

// Rules...

rule {
    string =  APPDATA=correct | APPOK=correct * DATAFILE=correct;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  APPDATA=correct | APPOK=incorrectcorrupt * DATAFILE=correct;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  APPDATA=incorrectorcorrupt | APPOK=incorrectcorrupt * DATAFILE=correct;
    prob = 1.0;
    alpha = 1.0;
}
rule {
    string =  APPDATA=incorrectorcorrupt | APPOK=correct * DATAFILE=incorrectcorrupt;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  APPDATA=correct | APPOK=incorrectcorrupt * DATAFILE=incorrectcorrupt;
    prob = 0.5;
    alpha = 7.0171018665138991106;
}
rule {
    string = DSKLOCAL=greaterthan2mb;
    prob = 0.97;
    alpha = 35.5550602933554458189;
}
rule {
    string = PRTSPOOL=enabled;
    prob = 0.95;
    alpha = 18.9354919238411554048;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.99;
    alpha = 98.9999999999999289257;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.02;
    alpha = 0.0204081632653061238;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.01;
    alpha = 0.0101010101010100981;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=adequate;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=intactnotcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=longenough * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=greaterthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=yes * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=haspaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=yes * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATA=yes | PRTON=no * PRTPAPER=nopaper * PC2PRT=no * PRTMEM=lessthan2mb * PRTTIMEOUT=tooshort * FLLCRRPTDBFFR=fullorcorrupt * TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = PRTCBL=connected;
    prob = 0.98;
    alpha = 46.6395491610854548092;
}
rule {
    string = PRTON=yes;
    prob = 0.9;
    alpha = 8.5475915927932248895;
}
rule {
    string = PRTTHREAD=ok;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=yes * DRVSET=correct * DRVOK=reinstalled;
    prob = 0.99;
    alpha = 89.4836286994475642346;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=yes * DRVSET=correct * DRVOK=reinstalled;
    prob = 0.1;
    alpha = 0.1010598792758252650;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=no * DRVSET=correct * DRVOK=reinstalled;
    prob = 0.1;
    alpha = 0.1005923515762653180;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=yes * DRVSET=incorrect * DRVOK=reinstalled;
    prob = 0.9;
    alpha = 8.1348754738153328201;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=yes * DRVSET=correct * DRVOK=corrupt;
    prob = 0.2;
    alpha = 0.2259687631615370111;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=no * DRVSET=correct * DRVOK=reinstalled;
    prob = 0.18;
    alpha = 0.1996058472469944800;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=yes * DRVSET=incorrect * DRVOK=reinstalled;
    prob = 0.18;
    alpha = 0.1996548834473619271;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=no * DRVSET=incorrect * DRVOK=reinstalled;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=no * DRVSET=incorrect * DRVOK=reinstalled;
    prob = 0.18;
    alpha = 0.1996058472469943967;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=yes * DRVSET=correct * DRVOK=corrupt;
    prob = 0.18;
    alpha = 0.1996548834473619549;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=no * DRVSET=correct * DRVOK=corrupt;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=no * DRVSET=correct * DRVOK=corrupt;
    prob = 0.18;
    alpha = 0.1996058472469943967;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=yes * DRVSET=incorrect * DRVOK=corrupt;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=yes * DRVSET=incorrect * DRVOK=corrupt;
    prob = 0.18;
    alpha = 0.1996548834473618438;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=yes * GDIIN=no * DRVSET=incorrect * DRVOK=corrupt;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIOUT=yes | PRTDRIVER=no * GDIIN=no * DRVSET=incorrect * DRVOK=corrupt;
    prob = 0.18;
    alpha = 0.1996058472469943689;
}
rule {
    string =  EMFOK=yes | APPDATA=correct * DSKLOCAL=greaterthan2mb * PRTTHREAD=ok;
    prob = 0.99;
    alpha = 116.1340186027355088026;
}
rule {
    string =  EMFOK=yes | APPDATA=incorrectorcorrupt * DSKLOCAL=greaterthan2mb * PRTTHREAD=ok;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  EMFOK=yes | APPDATA=correct * DSKLOCAL=lessthan2mb * PRTTHREAD=ok;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  EMFOK=yes | APPDATA=incorrectorcorrupt * DSKLOCAL=lessthan2mb * PRTTHREAD=ok;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  EMFOK=yes | APPDATA=incorrectorcorrupt * DSKLOCAL=greaterthan2mb * PRTTHREAD=corruptbuggy;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  EMFOK=yes | APPDATA=correct * DSKLOCAL=lessthan2mb * PRTTHREAD=corruptbuggy;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  EMFOK=yes | APPDATA=incorrectorcorrupt * DSKLOCAL=lessthan2mb * PRTTHREAD=corruptbuggy;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = PRTDRIVER=yes;
    prob = 0.9;
    alpha = 37.6174569815655103429;
}
rule {
    string =  GDIIN=yes | APPDATA=correct * PRTSPOOL=enabled * EMFOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GDIIN=yes | APPDATA=incorrectorcorrupt * PRTSPOOL=enabled * EMFOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIIN=yes | APPDATA=correct * PRTSPOOL=disabled * EMFOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GDIIN=yes | APPDATA=incorrectorcorrupt * PRTSPOOL=disabled * EMFOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIIN=yes | APPDATA=correct * PRTSPOOL=enabled * EMFOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIIN=yes | APPDATA=incorrectorcorrupt * PRTSPOOL=enabled * EMFOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GDIIN=yes | APPDATA=correct * PRTSPOOL=disabled * EMFOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GDIIN=yes | APPDATA=incorrectorcorrupt * PRTSPOOL=disabled * EMFOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM1=yes | PRTDATA=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM1=yes | PRTDATA=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = PRTPAPER=haspaper;
    prob = 0.98;
    alpha = 46.7379565444163915142;
}
rule {
    string = DRVSET=correct;
    prob = 0.99;
    alpha = 123.3224951352915183639;
}
rule {
    string = NETPRINT=nolocalprinter;
    prob = 0.8;
    alpha = 3.9340216111129855180;
}
rule {
    string =  PRTDATAOUT=yes | GDIOUT=yes * PRTSEL=yes;
    prob = 0.99;
    alpha = 94.5022079725303427721;
}
rule {
    string =  PRTDATAOUT=yes | GDIOUT=no * PRTSEL=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATAOUT=yes | GDIOUT=yes * PRTSEL=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTDATAOUT=yes | GDIOUT=no * PRTSEL=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = PRTPATH=correct;
    prob = 0.97;
    alpha = 29.6285051308775314809;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=yes * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=dos * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=yes * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=yes * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=yes * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=nolocalprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PC2PRT=yes | NETPRINT=yesnetworkprinter * PRTDATAOUT=no * NETOK=no * LCLOK=no * DSAPPLCTN=windows * DSNTOK=no * DSLCLOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NETOK=yes | PRTPATH=correct * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.99;
    alpha = 98.1612356951698501427;
}
rule {
    string =  NETOK=yes | PRTPATH=incorrect * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NETOK=yes | PRTPATH=correct * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.1;
    alpha = 0.1102056541807310217;
}
rule {
    string =  NETOK=yes | PRTPATH=correct * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NETOK=yes | PRTPATH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NETOK=yes | PRTPATH=incorrect * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NETOK=yes | PRTPATH=correct * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NETOK=yes | PRTPATH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = DRVOK=reinstalled;
    prob = 0.99;
    alpha = 135.2368007308702715261;
}
rule {
    string = PRTSEL=yes;
    prob = 0.99;
    alpha = 90.8734855980287789577;
}
rule {
    string = PRTMEM=greaterthan2mb;
    prob = 0.95;
    alpha = 2407.1866819533806847101;
}
rule {
    string =  LCLOK=yes | PRTCBL=connected * PRTPORT=yes * CBLPRTHRDWROK=operational;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  LCLOK=yes | PRTCBL=loose * PRTPORT=yes * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLOK=yes | PRTCBL=connected * PRTPORT=no * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLOK=yes | PRTCBL=connected * PRTPORT=yes * CBLPRTHRDWROK=notoperational;
    prob = 0.01;
    alpha = 0.0097672634832387708;
}
rule {
    string =  LCLOK=yes | PRTCBL=loose * PRTPORT=no * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLOK=yes | PRTCBL=loose * PRTPORT=yes * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLOK=yes | PRTCBL=connected * PRTPORT=no * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLOK=yes | PRTCBL=loose * PRTPORT=no * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = PRTPORT=yes;
    prob = 0.99;
    alpha = 94.2790982834841883953;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=greaterthan2mb * APPDTGNTM=fastenough * PRNTPRCSSTM=fastenough;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=lessthan2mb * APPDTGNTM=fastenough * PRNTPRCSSTM=fastenough;
    prob = 0.25;
    alpha = 0.3316888798182227714;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=greaterthan2mb * APPDTGNTM=toolong * PRNTPRCSSTM=fastenough;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=greaterthan2mb * APPDTGNTM=fastenough * PRNTPRCSSTM=toolong;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=lessthan2mb * APPDTGNTM=toolong * PRNTPRCSSTM=fastenough;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=lessthan2mb * APPDTGNTM=fastenough * PRNTPRCSSTM=toolong;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=greaterthan2mb * APPDTGNTM=toolong * PRNTPRCSSTM=toolong;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DESKPRNTSPD=ok | PRTMEM=lessthan2mb * APPDTGNTM=toolong * PRNTPRCSSTM=toolong;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = CBLPRTHRDWROK=operational;
    prob = 0.99;
    alpha = 337.2272568982164102518;
}
rule {
    string = DSAPPLCTN=dos;
    prob = 0.15;
    alpha = 0.1753509734900189230;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.99;
    alpha = 98.8231786643019489253;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.2;
    alpha = 0.2495892691254830023;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.1;
    alpha = 0.1109327548803644089;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=correct * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=correct * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=correct * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSNTOK=yes | APPDATA=incorrectorcorrupt * PRTPATH=incorrect * PRTMPTPTH=incorrect * NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=connected * PRTPORT=yes * CBLPRTHRDWROK=operational;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=connected * PRTPORT=yes * CBLPRTHRDWROK=operational;
    prob = 0.1;
    alpha = 0.1103962071848915369;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=loose * PRTPORT=yes * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=connected * PRTPORT=no * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=connected * PRTPORT=yes * CBLPRTHRDWROK=notoperational;
    prob = 0.1;
    alpha = 0.1103643728149967332;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=loose * PRTPORT=yes * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=connected * PRTPORT=no * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=loose * PRTPORT=no * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=loose * PRTPORT=no * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=connected * PRTPORT=yes * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=loose * PRTPORT=yes * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=loose * PRTPORT=yes * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=connected * PRTPORT=no * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=connected * PRTPORT=no * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=correct * PRTCBL=loose * PRTPORT=no * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  DSLCLOK=yes | APPDATA=incorrectorcorrupt * PRTCBL=loose * PRTPORT=no * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = PRTMPTPTH=correct;
    prob = 0.8;
    alpha = 3.8089571351210999680;
}
rule {
    string = PGORNTTNOK=correct;
    prob = 0.95;
    alpha = 18.3879027769100921821;
}
rule {
    string = PRNTNGAROK=correct;
    prob = 0.98;
    alpha = 61.1952476641250342458;
}
rule {
    string = SCRNFNTNTPRNTRFNT=yes;
    prob = 0.95;
    alpha = 23.8796135820911742986;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=greaterthan2mb * PGORNTTNOK=correct * PRNTNGAROK=correct;
    prob = 0.99;
    alpha = 98.6162295975786377329;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=lessthan2mb * PGORNTTNOK=correct * PRNTNGAROK=correct;
    prob = 0.3;
    alpha = 0.4272458365911658056;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=greaterthan2mb * PGORNTTNOK=incorrect * PRNTNGAROK=correct;
    prob = 0.01;
    alpha = 0.0100618538514007456;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=greaterthan2mb * PGORNTTNOK=correct * PRNTNGAROK=incorrect;
    prob = 0.1;
    alpha = 0.1106803951091603840;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=lessthan2mb * PGORNTTNOK=incorrect * PRNTNGAROK=correct;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=lessthan2mb * PGORNTTNOK=correct * PRNTNGAROK=incorrect;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=greaterthan2mb * PGORNTTNOK=incorrect * PRNTNGAROK=incorrect;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  CMPLTPGPRNTD=yes | PRTMEM=lessthan2mb * PGORNTTNOK=incorrect * PRNTNGAROK=incorrect;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=yes * PRTPSCRIPT=yes * PSGRAPHIC=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=no * PRTPSCRIPT=yes * PSGRAPHIC=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=yes * PRTPSCRIPT=no * PSGRAPHIC=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=no * PRTPSCRIPT=no * PSGRAPHIC=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=yes * PRTPSCRIPT=yes * PSGRAPHIC=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=no * PRTPSCRIPT=yes * PSGRAPHIC=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=yes * PRTPSCRIPT=no * PSGRAPHIC=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM4=yes | NNPSGRPHC=no * PRTPSCRIPT=no * PSGRAPHIC=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = GRPHCSRLTDDRVRSTTNGS=correct;
    prob = 0.95;
    alpha = 34.7826279630238132538;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=yes * TTOK=yes * NNTTOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=no * TTOK=yes * NNTTOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=yes * TTOK=no * NNTTOK=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=no * TTOK=no * NNTTOK=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=yes * TTOK=yes * NNTTOK=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=no * TTOK=yes * NNTTOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=yes * TTOK=no * NNTTOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM5=yes | TRTYPFNTS=no * TTOK=no * NNTTOK=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = TRTYPFNTS=yes;
    prob = 0.9;
    alpha = 8.9999999999999697819;
}
rule {
    string = FNTINSTLLTN=verified;
    prob = 0.98;
    alpha = 76.6335255559361598020;
}
rule {
    string = PRNTRACCPTSTRTYP=yes;
    prob = 0.9;
    alpha = 8.2600075203570391035;
}
rule {
    string =  TTOK=yes | PRTMEM=greaterthan2mb * FNTINSTLLTN=verified * PRNTRACCPTSTRTYP=yes;
    prob = 0.99;
    alpha = 98.9999999999999289257;
}
rule {
    string =  TTOK=yes | PRTMEM=lessthan2mb * FNTINSTLLTN=verified * PRNTRACCPTSTRTYP=yes;
    prob = 0.5;
    alpha = 1.0;
}
rule {
    string =  TTOK=yes | PRTMEM=greaterthan2mb * FNTINSTLLTN=faulty * PRNTRACCPTSTRTYP=yes;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  TTOK=yes | PRTMEM=greaterthan2mb * FNTINSTLLTN=verified * PRNTRACCPTSTRTYP=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  TTOK=yes | PRTMEM=lessthan2mb * FNTINSTLLTN=faulty * PRNTRACCPTSTRTYP=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  TTOK=yes | PRTMEM=lessthan2mb * FNTINSTLLTN=verified * PRNTRACCPTSTRTYP=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  TTOK=yes | PRTMEM=greaterthan2mb * FNTINSTLLTN=faulty * PRNTRACCPTSTRTYP=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  TTOK=yes | PRTMEM=lessthan2mb * FNTINSTLLTN=faulty * PRNTRACCPTSTRTYP=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=nolocalprinter * LCLGRBLD=yes * NTGRBLD=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=yesnetworkprinter * LCLGRBLD=yes * NTGRBLD=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=nolocalprinter * LCLGRBLD=no * NTGRBLD=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=yesnetworkprinter * LCLGRBLD=no * NTGRBLD=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=nolocalprinter * LCLGRBLD=yes * NTGRBLD=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=yesnetworkprinter * LCLGRBLD=yes * NTGRBLD=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=nolocalprinter * LCLGRBLD=no * NTGRBLD=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDOTPT=no | NETPRINT=yesnetworkprinter * LCLGRBLD=no * NTGRBLD=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = NTWRKCNFG=correct;
    prob = 0.98;
    alpha = 639.7548334946623071333;
}
rule {
    string =  NNTTOK=yes | PRTMEM=greaterthan2mb * SCRNFNTNTPRNTRFNT=yes * FNTINSTLLTN=verified;
    prob = 0.99;
    alpha = 98.9999999999999147148;
}
rule {
    string =  NNTTOK=yes | PRTMEM=lessthan2mb * SCRNFNTNTPRNTRFNT=yes * FNTINSTLLTN=verified;
    prob = 0.5;
    alpha = 1.0;
}
rule {
    string =  NNTTOK=yes | PRTMEM=greaterthan2mb * SCRNFNTNTPRNTRFNT=no * FNTINSTLLTN=verified;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  NNTTOK=yes | PRTMEM=greaterthan2mb * SCRNFNTNTPRNTRFNT=yes * FNTINSTLLTN=faulty;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  NNTTOK=yes | PRTMEM=lessthan2mb * SCRNFNTNTPRNTRFNT=no * FNTINSTLLTN=verified;
    prob = 0.01;
    alpha = 0.0101010101010100981;
}
rule {
    string =  NNTTOK=yes | PRTMEM=lessthan2mb * SCRNFNTNTPRNTRFNT=yes * FNTINSTLLTN=faulty;
    prob = 0.01;
    alpha = 0.0101010101010100981;
}
rule {
    string =  NNTTOK=yes | PRTMEM=greaterthan2mb * SCRNFNTNTPRNTRFNT=no * FNTINSTLLTN=faulty;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NNTTOK=yes | PRTMEM=lessthan2mb * SCRNFNTNTPRNTRFNT=no * FNTINSTLLTN=faulty;
    prob = 0.01;
    alpha = 0.0101010101010100981;
}
rule {
    string =  APPDTGNTM=fastenough | PRTSPOOL=enabled;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  APPDTGNTM=fastenough | PRTSPOOL=disabled;
    prob = 0.99;
    alpha = 125.6762481830389645164;
}
rule {
    string =  PRNTPRCSSTM=fastenough | PRTSPOOL=enabled;
    prob = 0.99;
    alpha = 96.0353783728533016993;
}
rule {
    string =  PRNTPRCSSTM=fastenough | PRTSPOOL=disabled;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  HRGLSSDRTNAFTRPRNT=fastenough | APPDTGNTM=fastenough;
    prob = 0.99;
    alpha = 98.9999999999999147148;
}
rule {
    string =  HRGLSSDRTNAFTRPRNT=fastenough | APPDTGNTM=toolong;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=operational;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=operational;
    prob = 0.2;
    alpha = 0.2495359165463387077;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=operational;
    prob = 0.4;
    alpha = 0.6654281667288388900;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=lessthan2mb * CBLPRTHRDWROK=operational;
    prob = 0.2;
    alpha = 0.2496702167669255936;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.1;
    alpha = 0.1109062104749203800;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=operational;
    prob = 0.02;
    alpha = 0.0203702682782210537;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=lessthan2mb * CBLPRTHRDWROK=operational;
    prob = 0.02;
    alpha = 0.0203815790588781765;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=lessthan2mb * CBLPRTHRDWROK=operational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=lessthan2mb * CBLPRTHRDWROK=operational;
    prob = 0.02;
    alpha = 0.0203815575552821234;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.02;
    alpha = 0.0203703154894743841;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=greaterthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.02;
    alpha = 0.0203703309231595508;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=lessthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=lessthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.02;
    alpha = 0.0203817088304052841;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=lessthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  LCLGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=lessthan2mb * CBLPRTHRDWROK=notoperational;
    prob = 0.02;
    alpha = 0.0203817769074863676;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=greaterthan2mb * NTWRKCNFG=correct;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=greaterthan2mb * NTWRKCNFG=correct;
    prob = 0.3;
    alpha = 0.4283691115103859019;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=greaterthan2mb * NTWRKCNFG=correct;
    prob = 0.4;
    alpha = 0.6663530579522870776;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=lessthan2mb * NTWRKCNFG=correct;
    prob = 0.2;
    alpha = 0.2499215115108082565;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=greaterthan2mb * NTWRKCNFG=incorrect;
    prob = 0.4;
    alpha = 0.6663627190071768312;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=greaterthan2mb * NTWRKCNFG=correct;
    prob = 0.08;
    alpha = 0.0869154841477279403;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=lessthan2mb * NTWRKCNFG=correct;
    prob = 0.08;
    alpha = 0.0869278037301243875;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=lessthan2mb * NTWRKCNFG=correct;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=lessthan2mb * NTWRKCNFG=correct;
    prob = 0.08;
    alpha = 0.0869278924252548360;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=greaterthan2mb * NTWRKCNFG=incorrect;
    prob = 0.08;
    alpha = 0.0869155948523066249;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=greaterthan2mb * NTWRKCNFG=incorrect;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=greaterthan2mb * NTWRKCNFG=incorrect;
    prob = 0.08;
    alpha = 0.0869156816655576017;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=yes * PRTMEM=lessthan2mb * NTWRKCNFG=incorrect;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=yes * PRTMEM=lessthan2mb * NTWRKCNFG=incorrect;
    prob = 0.08;
    alpha = 0.0869282327108154820;
}
rule {
    string =  NTGRBLD=yes | APPDATA=correct * PRTDRIVER=no * PRTMEM=lessthan2mb * NTWRKCNFG=incorrect;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NTGRBLD=yes | APPDATA=incorrectorcorrupt * PRTDRIVER=no * PRTMEM=lessthan2mb * NTWRKCNFG=incorrect;
    prob = 0.08;
    alpha = 0.0869285737926480931;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=no;
    prob = 0.25;
    alpha = 0.3333333333333332159;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=no;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NNPSGRPHC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  REPEAT=yesalwaysthesame | CBLPRTHRDWROK=operational * NTWRKCNFG=correct;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  REPEAT=yesalwaysthesame | CBLPRTHRDWROK=notoperational * NTWRKCNFG=correct;
    prob = 0.5;
    alpha = 1.0;
}
rule {
    string =  REPEAT=yesalwaysthesame | CBLPRTHRDWROK=operational * NTWRKCNFG=incorrect;
    prob = 0.5;
    alpha = 1.0;
}
rule {
    string =  REPEAT=yesalwaysthesame | CBLPRTHRDWROK=notoperational * NTWRKCNFG=incorrect;
    prob = 0.25;
    alpha = 0.3333333333333332159;
}
rule {
    string = PRTTIMEOUT=longenough;
    prob = 0.94;
    alpha = 14.9126526013191184946;
}
rule {
    string = PRTPSCRIPT=yes;
    prob = 0.4;
    alpha = 0.5918394820108111608;
}
rule {
    string =  AVLBLVRTLMMRY=adequate1mb | PRTPSCRIPT=yes;
    prob = 0.98;
    alpha = 140.1342254675514880045;
}
rule {
    string =  AVLBLVRTLMMRY=adequate1mb | PRTPSCRIPT=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PSERRMEM=noerror | PRTPSCRIPT=yes * AVLBLVRTLMMRY=adequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PSERRMEM=noerror | PRTPSCRIPT=no * AVLBLVRTLMMRY=adequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PSERRMEM=noerror | PRTPSCRIPT=yes * AVLBLVRTLMMRY=inadequate1mb;
    prob = 0.05;
    alpha = 0.0526315789473684152;
}
rule {
    string =  PSERRMEM=noerror | PRTPSCRIPT=no * AVLBLVRTLMMRY=inadequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  TSTPSTXT=1mbavailablevm | PRTPSCRIPT=yes * AVLBLVRTLMMRY=adequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  TSTPSTXT=1mbavailablevm | PRTPSCRIPT=no * AVLBLVRTLMMRY=adequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  TSTPSTXT=1mbavailablevm | PRTPSCRIPT=yes * AVLBLVRTLMMRY=inadequate1mb;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  TSTPSTXT=1mbavailablevm | PRTPSCRIPT=no * AVLBLVRTLMMRY=inadequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDPS=no | GRBLDOTPT=no * AVLBLVRTLMMRY=adequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDPS=no | GRBLDOTPT=yes * AVLBLVRTLMMRY=adequate1mb;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  GRBLDPS=no | GRBLDOTPT=no * AVLBLVRTLMMRY=inadequate1mb;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  GRBLDPS=no | GRBLDOTPT=yes * AVLBLVRTLMMRY=inadequate1mb;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  INCMPLTPS=yes | CMPLTPGPRNTD=yes * AVLBLVRTLMMRY=adequate1mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  INCMPLTPS=yes | CMPLTPGPRNTD=no * AVLBLVRTLMMRY=adequate1mb;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  INCMPLTPS=yes | CMPLTPGPRNTD=yes * AVLBLVRTLMMRY=inadequate1mb;
    prob = 0.3;
    alpha = 0.4285714285714285248;
}
rule {
    string =  INCMPLTPS=yes | CMPLTPGPRNTD=no * AVLBLVRTLMMRY=inadequate1mb;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = EPSGRPHC=no;
    prob = 0.99;
    alpha = 93.9493249923214363875;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=no;
    prob = 0.25;
    alpha = 0.3333333333333331604;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=no;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=no;
    prob = 0.1;
    alpha = 0.1111111111111110852;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=correct * EPSGRPHC=yes;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=greaterthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PSGRAPHIC=yes | PRTMEM=lessthan2mb * GRPHCSRLTDDRVRSTTNGS=incorrect * EPSGRPHC=yes;
    prob = 0.1;
    alpha = 0.1111111111111111130;
}
rule {
    string = FLLCRRPTDBFFR=intactnotcorrupt;
    prob = 0.85;
    alpha = 5.7484305270603569971;
}
rule {
    string = APPOK=correct;
    prob = 0.99;
    alpha = 688.4378386363407571267;
}
rule {
    string = DATAFILE=correct;
    prob = 0.99;
    alpha = 688.4378415826648733642;
}
rule {
    string =  PRTFILE=yes | PRTDATAOUT=yes;
    prob = 0.8;
    alpha = 4.0000000000000008881;
}
rule {
    string =  PRTFILE=yes | PRTDATAOUT=no;
    prob = 0.2;
    alpha = 0.2499999999999999869;
}
rule {
    string =  PRTICON=normal | NTWRKCNFG=correct * PTROFFLINE=online;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PRTICON=normal | NTWRKCNFG=incorrect * PTROFFLINE=online;
    prob = 0.25;
    alpha = 0.3333333333333332159;
}
rule {
    string =  PRTICON=normal | NTWRKCNFG=correct * PTROFFLINE=offline;
    prob = 0.7;
    alpha = 2.3333333333333325497;
}
rule {
    string =  PRTICON=normal | NTWRKCNFG=incorrect * PTROFFLINE=offline;
    prob = 0.17;
    alpha = 0.2048192771084337170;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=no * PRTPSCRIPT=yes * GRBLDPS=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=yes * PRTPSCRIPT=yes * GRBLDPS=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=no * PRTPSCRIPT=no * GRBLDPS=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=yes * PRTPSCRIPT=no * GRBLDPS=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=no * PRTPSCRIPT=yes * GRBLDPS=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=yes * PRTPSCRIPT=yes * GRBLDPS=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=no * PRTPSCRIPT=no * GRBLDPS=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM6=no | GRBLDOTPT=yes * PRTPSCRIPT=no * GRBLDPS=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=yes * PRTPSCRIPT=yes * INCMPLTPS=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=no * PRTPSCRIPT=yes * INCMPLTPS=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=yes * PRTPSCRIPT=no * INCMPLTPS=yes;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=no * PRTPSCRIPT=no * INCMPLTPS=yes;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=yes * PRTPSCRIPT=yes * INCMPLTPS=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=no * PRTPSCRIPT=yes * INCMPLTPS=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=yes * PRTPSCRIPT=no * INCMPLTPS=no;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM3=yes | CMPLTPGPRNTD=no * PRTPSCRIPT=no * INCMPLTPS=no;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=ok * NTWRKCNFG=correct * PRTQUEUE=short;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=tooslow * NTWRKCNFG=correct * PRTQUEUE=short;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=ok * NTWRKCNFG=incorrect * PRTQUEUE=short;
    prob = 0.25;
    alpha = 0.3333333333333332159;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=ok * NTWRKCNFG=correct * PRTQUEUE=long;
    prob = 0.25;
    alpha = 0.3333333333333332159;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=tooslow * NTWRKCNFG=incorrect * PRTQUEUE=short;
    prob = 0.06;
    alpha = 0.0638297872340425502;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=tooslow * NTWRKCNFG=correct * PRTQUEUE=long;
    prob = 0.06;
    alpha = 0.0638297872340425502;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=ok * NTWRKCNFG=incorrect * PRTQUEUE=long;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  NTSPD=ok | DESKPRNTSPD=tooslow * NTWRKCNFG=incorrect * PRTQUEUE=long;
    prob = 0.06;
    alpha = 0.0638297872340425502;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=nolocalprinter * DESKPRNTSPD=ok * NTSPD=ok;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=yesnetworkprinter * DESKPRNTSPD=ok * NTSPD=ok;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=nolocalprinter * DESKPRNTSPD=tooslow * NTSPD=ok;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=yesnetworkprinter * DESKPRNTSPD=tooslow * NTSPD=ok;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=nolocalprinter * DESKPRNTSPD=ok * NTSPD=slow;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=yesnetworkprinter * DESKPRNTSPD=ok * NTSPD=slow;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=nolocalprinter * DESKPRNTSPD=tooslow * NTSPD=slow;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PROBLEM2=ok | NETPRINT=yesnetworkprinter * DESKPRNTSPD=tooslow * NTSPD=slow;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string = PRTQUEUE=short;
    prob = 0.99;
    alpha = 169.0450246402602090247;
}
rule {
    string =  PRTSTATPAPER=noerror | PRTPAPER=haspaper;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PRTSTATPAPER=noerror | PRTPAPER=nopaper;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTSTATTONER=noerror | TNRSPPLY=adequate;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PRTSTATTONER=noerror | TNRSPPLY=low;
    prob = 0.0;
    alpha = 0.0;
}
rule {
    string =  PRTSTATMEM=noerror | PRTMEM=greaterthan2mb;
    prob = 1.0;
    alpha = 0.0;
}
rule {
    string =  PRTSTATMEM=noerror | PRTMEM=lessthan2mb;
    prob = 0.2;
    alpha = 0.2499999999999999869;
}
rule {
    string =  PRTSTATOFF=noerror | PRTON=yes;
    prob = 0.99;
    alpha = 98.9999999999999289257;
}
rule {
    string =  PRTSTATOFF=noerror | PRTON=no;
    prob = 0.01;
    alpha = 0.0101010101010100981;
}
rule {
    string = TNRSPPLY=adequate;
    prob = 0.99;
    alpha = 97.2431955389842954553;
}
rule {
    string = PTROFFLINE=online;
    prob = 0.7;
    alpha = 3.7686415532350298527;
}