digraph G {
    clusterrank=local;
    y36 [color=blue];
    x36 [color=blue];
    y31 [color=blue];
    x31 [color=blue];
    y21 [color=blue];
    x21 [color=blue];
    y37 [color=blue];
    x37 [color=blue];
    x20 [color=blue];
    y20 [color=blue];
    y38 [color=blue];
    x38 [color=blue];
    x13 [color=blue];
    y13 [color=blue];
    y14 [color=blue];
    x14 [color=blue];
    x29 [color=blue];
    y29 [color=blue];
    x43 [color=blue];
    y43 [color=blue];
    x18 [color=blue];
    y18 [color=blue];
    y24 [color=blue];
    x24 [color=blue];
    y03 [color=blue];
    x03 [color=blue];
    y12 [color=blue];
    x12 [color=blue];
    y16 [color=blue];
    x16 [color=blue];
    x07 [color=blue];
    y07 [color=blue];
    x34 [color=blue];
    y34 [color=blue];
    x15 [color=blue];
    y15 [color=blue];
    y22 [color=blue];
    x22 [color=blue];
    x09 [color=blue];
    y09 [color=blue];
    x44 [color=blue];
    y44 [color=blue];
    x04 [color=blue];
    y04 [color=blue];
    x19 [color=blue];
    y19 [color=blue];
    y35 [color=blue];
    x35 [color=blue];
    y33 [color=blue];
    x33 [color=blue];
    y10 [color=blue];
    x10 [color=blue];
    x06 [color=blue];
    y06 [color=blue];
    x11 [color=blue];
    y11 [color=blue];
    y01 [color=blue];
    x01 [color=blue];
    y17 [color=blue];
    x17 [color=blue];
    y41 [color=blue];
    x41 [color=blue];
    y08 [color=blue];
    x08 [color=blue];
    y02 [color=blue];
    x02 [color=blue];
    x26 [color=blue];
    y26 [color=blue];
    y40 [color=blue];
    x40 [color=blue];
    y25 [color=blue];
    x25 [color=blue];
    y32 [color=blue];
    x32 [color=blue];
    x27 [color=blue];
    y27 [color=blue];
    y28 [color=blue];
    x28 [color=blue];
    y39 [color=blue];
    x39 [color=blue];
    y42 [color=blue];
    x42 [color=blue];
    y00 [color=blue];
    x00 [color=blue];
    y05 [color=blue];
    x05 [color=blue];
    x30 [color=blue];
    y30 [color=blue];
    y23 [color=blue];
    x23 [color=blue];
    z31 [color=red];
    z11 [color=red];
    z37 [color=red];
    z40 [color=red];
    z43 [color=red];
    z38 [color=red];
    z24 [color=red];
    z13 [color=red];
    z28 [color=red];
    z35 [color=red];
    z15 [color=red];
    z16 [color=red];
    z27 [color=red];
    z21 [color=red];
    z19 [color=red];
    z17 [color=red];
    z32 [color=red];
    z34 [color=red];
    z36 [color=red];
    z44 [color=red];
    z01 [color=red];
    z07 [color=red];
    z30 [color=red];
    z25 [color=red];
    z04 [color=red];
    z03 [color=red];
    z45 [color=red];
    z29 [color=red];
    z10 [color=red];
    z23 [color=red];
    z08 [color=red];
    z20 [color=red];
    z14 [color=red];
    z42 [color=red];
    z22 [color=red];
    z33 [color=red];
    z00 [color=red];
    z26 [color=red];
    z06 [color=red];
    z12 [color=red];
    z41 [color=red];
    z02 [color=red];
    z39 [color=red];
    z05 [color=red];
    z18 [color=red];
    z09 [color=red];
    rwb -> z31 [label=XOR];
    ntb -> z31 [label=XOR];
    sgt -> z11 [label=XOR];
    tgq -> z11 [label=XOR];
    ctd -> ptc [label=OR];
    cnk -> ptc [label=OR];
    y36 -> hwr [label=AND, color=blue];
    x36 -> hwr [label=AND, color=blue];
    y31 -> vkm [label=AND, color=blue];
    x31 -> vkm [label=AND, color=blue];
    tqn -> vsm [label=OR];
    cvv -> vsm [label=OR];
    vsm -> psh [label=AND];
    bnj -> psh [label=AND];
    ccs -> mtm [label=AND];
    bsj -> mtm [label=AND];
    qts -> jkh [label=AND];
    kvg -> jkh [label=AND];
    y21 -> fmg [label=AND, color=blue];
    x21 -> fmg [label=AND, color=blue];
    jht -> z37 [label=XOR];
    vgt -> z37 [label=XOR];
    y37 -> bnw [label=AND, color=blue];
    x37 -> bnw [label=AND, color=blue];
    kvd -> ksj [label=OR];
    twk -> ksj [label=OR];
    ksj -> z40 [label=XOR];
    bhc -> z40 [label=XOR];
    qmd -> z43 [label=XOR];
    fnh -> z43 [label=XOR];
    wpw -> bdh [label=AND];
    ppn -> bdh [label=AND];
    x20 -> snt [label=AND, color=blue];
    y20 -> snt [label=AND, color=blue];
    y38 -> mbt [label=AND, color=blue];
    x38 -> mbt [label=AND, color=blue];
    knh -> z38 [label=XOR];
    jfn -> z38 [label=XOR];
    x13 -> fvr [label=XOR, color=blue];
    y13 -> fvr [label=XOR, color=blue];
    dwh -> hng [label=AND];
    tvp -> hng [label=AND];
    wrd -> prh [label=AND];
    npf -> prh [label=AND];
    y14 -> dcr [label=AND, color=blue];
    x14 -> dcr [label=AND, color=blue];
    fvn -> fmj [label=AND];
    bks -> fmj [label=AND];
    mrd -> z24 [label=XOR];
    gdn -> z24 [label=XOR];
    x29 -> wpw [label=XOR, color=blue];
    y29 -> wpw [label=XOR, color=blue];
    qjq -> fbs [label=AND];
    psp -> fbs [label=AND];
    x43 -> fnh [label=XOR, color=blue];
    y43 -> fnh [label=XOR, color=blue];
    x18 -> wkc [label=XOR, color=blue];
    y18 -> wkc [label=XOR, color=blue];
    y24 -> mrd [label=XOR, color=blue];
    x24 -> mrd [label=XOR, color=blue];
    y03 -> psp [label=XOR, color=blue];
    x03 -> psp [label=XOR, color=blue];
    gqt -> fvn [label=OR];
    dth -> fvn [label=OR];
    y12 -> gcm [label=XOR, color=blue];
    x12 -> gcm [label=XOR, color=blue];
    y16 -> dnw [label=AND, color=blue];
    x16 -> dnw [label=AND, color=blue];
    x07 -> djw [label=AND, color=blue];
    y07 -> djw [label=AND, color=blue];
    kbc -> dvh [label=AND];
    nkm -> dvh [label=AND];
    vrn -> kmb [label=XOR];
    dkr -> kmb [label=XOR];
    fbs -> pkm [label=OR];
    wcf -> pkm [label=OR];
    x12 -> vrv [label=AND, color=blue];
    y12 -> vrv [label=AND, color=blue];
    x34 -> gbs [label=AND, color=blue];
    y34 -> gbs [label=AND, color=blue];
    qnc -> dgv [label=OR];
    gbv -> dgv [label=OR];
    x15 -> kvg [label=XOR, color=blue];
    y15 -> kvg [label=XOR, color=blue];
    y22 -> fpw [label=AND, color=blue];
    x22 -> fpw [label=AND, color=blue];
    jfm -> mgb [label=AND];
    cst -> mgb [label=AND];
    y37 -> jht [label=XOR, color=blue];
    x37 -> jht [label=XOR, color=blue];
    kqm -> z13 [label=XOR];
    fvr -> z13 [label=XOR];
    vsd -> jmq [label=AND];
    wrp -> jmq [label=AND];
    cqq -> z28 [label=XOR];
    hqr -> z28 [label=XOR];
    x09 -> qrc [label=AND, color=blue];
    y09 -> qrc [label=AND, color=blue];
    mmf -> z35 [label=XOR];
    tsw -> z35 [label=XOR];
    bqb -> vgj [label=AND];
    vfb -> vgj [label=AND];
    kvg -> tvp [label=XOR];
    qts -> tvp [label=XOR];
    x24 -> gbv [label=AND, color=blue];
    y24 -> gbv [label=AND, color=blue];
    hsj -> nkm [label=OR];
    bdh -> nkm [label=OR];
    y20 -> kpp [label=XOR, color=blue];
    x20 -> kpp [label=XOR, color=blue];
    fsh -> z15 [label=OR];
    jkh -> z15 [label=OR];
    x44 -> gvw [label=AND, color=blue];
    y44 -> gvw [label=AND, color=blue];
    tvp -> z16 [label=XOR];
    dwh -> z16 [label=XOR];
    x04 -> pgh [label=AND, color=blue];
    y04 -> pgh [label=AND, color=blue];
    bhg -> mqf [label=AND];
    hpj -> mqf [label=AND];
    y07 -> bks [label=XOR, color=blue];
    x07 -> bks [label=XOR, color=blue];
    cgv -> z27 [label=XOR];
    cmg -> z27 [label=XOR];
    vfb -> z21 [label=XOR];
    bqb -> z21 [label=XOR];
    x19 -> qhh [label=AND, color=blue];
    y19 -> qhh [label=AND, color=blue];
    y35 -> vdk [label=XOR, color=blue];
    x35 -> vdk [label=XOR, color=blue];
    y33 -> wrp [label=XOR, color=blue];
    x33 -> wrp [label=XOR, color=blue];
    y10 -> kks [label=AND, color=blue];
    x10 -> kks [label=AND, color=blue];
    trn -> gdn [label=OR];
    vft -> gdn [label=OR];
    qhw -> bsj [label=OR];
    vdk -> bsj [label=OR];
    dvh -> rwb [label=OR];
    cfn -> rwb [label=OR];
    kwc -> ppn [label=OR];
    qwc -> ppn [label=OR];
    x06 -> rrs [label=XOR, color=blue];
    y06 -> rrs [label=XOR, color=blue];
    tnp -> z19 [label=XOR];
    ktg -> z19 [label=XOR];
    x11 -> sgt [label=XOR, color=blue];
    y11 -> sgt [label=XOR, color=blue];
    wfw -> pst [label=OR];
    pgh -> pst [label=OR];
    djw -> cvp [label=OR];
    fmj -> cvp [label=OR];
    hqr -> qwc [label=AND];
    cqq -> qwc [label=AND];
    y01 -> npf [label=XOR, color=blue];
    x01 -> npf [label=XOR, color=blue];
    dqw -> qmd [label=OR];
    rvr -> qmd [label=OR];
    y17 -> rrp [label=XOR, color=blue];
    x17 -> rrp [label=XOR, color=blue];
    y01 -> tvb [label=AND, color=blue];
    x01 -> tvb [label=AND, color=blue];
    qrh -> vft [label=AND];
    hcq -> vft [label=AND];
    x11 -> cnk [label=AND, color=blue];
    y11 -> cnk [label=AND, color=blue];
    rhk -> wfw [label=AND];
    pkm -> wfw [label=AND];
    gdn -> qnc [label=AND];
    mrd -> qnc [label=AND];
    y41 -> rjg [label=AND, color=blue];
    x41 -> rjg [label=AND, color=blue];
    knh -> brc [label=AND];
    jfn -> brc [label=AND];
    y08 -> dqr [label=XOR, color=blue];
    x08 -> dqr [label=XOR, color=blue];
    jht -> jcq [label=AND];
    vgt -> jcq [label=AND];
    cmd -> sjm [label=AND];
    ttt -> sjm [label=AND];
    rrp -> z17 [label=XOR];
    qqc -> z17 [label=XOR];
    cbq -> z32 [label=XOR];
    fqm -> z32 [label=XOR];
    qmd -> vkf [label=AND];
    fnh -> vkf [label=AND];
    y22 -> jfm [label=XOR, color=blue];
    x22 -> jfm [label=XOR, color=blue];
    x35 -> mmf [label=AND, color=blue];
    y35 -> mmf [label=AND, color=blue];
    sjd -> z34 [label=XOR];
    qjg -> z34 [label=XOR];
    bsj -> z36 [label=XOR];
    ccs -> z36 [label=XOR];
    tnp -> dss [label=AND];
    ktg -> dss [label=AND];
    y02 -> dgk [label=XOR, color=blue];
    x02 -> dgk [label=XOR, color=blue];
    x34 -> sjd [label=XOR, color=blue];
    y34 -> sjd [label=XOR, color=blue];
    x04 -> rhk [label=XOR, color=blue];
    y04 -> rhk [label=XOR, color=blue];
    x03 -> wcf [label=AND, color=blue];
    y03 -> wcf [label=AND, color=blue];
    x08 -> cvv [label=AND, color=blue];
    y08 -> cvv [label=AND, color=blue];
    bhg -> z44 [label=XOR];
    hpj -> z44 [label=XOR];
    hcv -> cds [label=AND];
    ckw -> cds [label=AND];
    npf -> z01 [label=XOR];
    wrd -> z01 [label=XOR];
    x26 -> kch [label=XOR, color=blue];
    y26 -> kch [label=XOR, color=blue];
    mbt -> qjf [label=OR];
    brc -> qjf [label=OR];
    fpw -> hcq [label=OR];
    mgb -> hcq [label=OR];
    cbq -> qqp [label=AND];
    fqm -> qqp [label=AND];
    fvn -> z07 [label=XOR];
    bks -> z07 [label=XOR];
    x26 -> jrv [label=AND, color=blue];
    y26 -> jrv [label=AND, color=blue];
    kks -> tgq [label=OR];
    kmb -> tgq [label=OR];
    rhm -> cmd [label=OR];
    cts -> cmd [label=OR];
    nkm -> z30 [label=XOR];
    kbc -> z30 [label=XOR];
    y36 -> ccs [label=XOR, color=blue];
    x36 -> ccs [label=XOR, color=blue];
    x18 -> rwt [label=AND, color=blue];
    y18 -> rwt [label=AND, color=blue];
    mvm -> dwm [label=OR];
    wvd -> dwm [label=OR];
    y40 -> bhc [label=XOR, color=blue];
    x40 -> bhc [label=XOR, color=blue];
    x21 -> vfb [label=XOR, color=blue];
    y21 -> vfb [label=XOR, color=blue];
    prh -> nkn [label=OR];
    tvb -> nkn [label=OR];
    y25 -> z25 [label=AND, color=blue];
    x25 -> z25 [label=AND, color=blue];
    gbs -> tsw [label=OR];
    nvt -> tsw [label=OR];
    rhk -> z04 [label=XOR];
    pkm -> z04 [label=XOR];
    psp -> z03 [label=XOR];
    qjq -> z03 [label=XOR];
    cbh -> kqm [label=OR];
    vrv -> kqm [label=OR];
    y32 -> fqm [label=XOR, color=blue];
    x32 -> fqm [label=XOR, color=blue];
    cvp -> tqn [label=AND];
    dqr -> tqn [label=AND];
    mqf -> z45 [label=OR];
    gvw -> z45 [label=OR];
    x27 -> cgv [label=XOR, color=blue];
    y27 -> cgv [label=XOR, color=blue];
    qwd -> qjq [label=OR];
    dqj -> qjq [label=OR];
    y28 -> hqr [label=XOR, color=blue];
    x28 -> hqr [label=XOR, color=blue];
    x44 -> bhg [label=XOR, color=blue];
    y44 -> bhg [label=XOR, color=blue];
    wpw -> z29 [label=XOR];
    ppn -> z29 [label=XOR];
    y39 -> wsm [label=XOR, color=blue];
    x39 -> wsm [label=XOR, color=blue];
    vrn -> z10 [label=AND];
    dkr -> z10 [label=AND];
    psh -> dkr [label=OR];
    qrc -> dkr [label=OR];
    rrs -> dth [label=AND];
    dwm -> dth [label=AND];
    hcq -> z23 [label=XOR];
    qrh -> z23 [label=XOR];
    fmg -> cst [label=OR];
    vgj -> cst [label=OR];
    dqr -> z08 [label=XOR];
    cvp -> z08 [label=XOR];
    kpp -> z20 [label=XOR];
    ngd -> z20 [label=XOR];
    ttt -> z14 [label=XOR];
    cmd -> z14 [label=XOR];
    rjg -> nfp [label=OR];
    cds -> nfp [label=OR];
    x10 -> vrn [label=XOR, color=blue];
    y10 -> vrn [label=XOR, color=blue];
    cmg -> hqk [label=AND];
    cgv -> hqk [label=AND];
    dgv -> gcj [label=AND];
    bpw -> gcj [label=AND];
    njn -> hpj [label=OR];
    vkf -> hpj [label=OR];
    mvj -> cmg [label=OR];
    jrv -> cmg [label=OR];
    x40 -> bhd [label=AND, color=blue];
    y40 -> bhd [label=AND, color=blue];
    x41 -> ckw [label=XOR, color=blue];
    y41 -> ckw [label=XOR, color=blue];
    hvs -> z42 [label=XOR];
    nfp -> z42 [label=XOR];
    dgk -> qwd [label=AND];
    nkn -> qwd [label=AND];
    dpg -> hpr [label=OR];
    gcj -> hpr [label=OR];
    x33 -> ksh [label=AND, color=blue];
    y33 -> ksh [label=AND, color=blue];
    nrm -> bqb [label=OR];
    snt -> bqb [label=OR];
    sgt -> ctd [label=AND];
    tgq -> ctd [label=AND];
    wkc -> gnm [label=AND];
    njf -> gnm [label=AND];
    y38 -> knh [label=XOR, color=blue];
    x38 -> knh [label=XOR, color=blue];
    y25 -> bpw [label=XOR, color=blue];
    x25 -> bpw [label=XOR, color=blue];
    y42 -> dqw [label=AND, color=blue];
    x42 -> dqw [label=AND, color=blue];
    ksh -> qjg [label=OR];
    jmq -> qjg [label=OR];
    cst -> z22 [label=XOR];
    jfm -> z22 [label=XOR];
    rrp -> bhk [label=AND];
    qqc -> bhk [label=AND];
    wrp -> z33 [label=XOR];
    vsd -> z33 [label=XOR];
    vkm -> cbq [label=OR];
    dcg -> cbq [label=OR];
    y00 -> z00 [label=XOR, color=blue];
    x00 -> z00 [label=XOR, color=blue];
    y17 -> fhk [label=AND, color=blue];
    x17 -> fhk [label=AND, color=blue];
    y16 -> dwh [label=XOR, color=blue];
    x16 -> dwh [label=XOR, color=blue];
    bpw -> dpg [label=XOR];
    dgv -> dpg [label=XOR];
    sjm -> qts [label=OR];
    dcr -> qts [label=OR];
    jcq -> jfn [label=OR];
    bnw -> jfn [label=OR];
    x32 -> cch [label=AND, color=blue];
    y32 -> cch [label=AND, color=blue];
    kch -> mvj [label=AND];
    hpr -> mvj [label=AND];
    bhk -> njf [label=OR];
    fhk -> njf [label=OR];
    x28 -> kwc [label=AND, color=blue];
    y28 -> kwc [label=AND, color=blue];
    fpr -> cqq [label=OR];
    hqk -> cqq [label=OR];
    y05 -> mvm [label=AND, color=blue];
    x05 -> mvm [label=AND, color=blue];
    hpr -> z26 [label=XOR];
    kch -> z26 [label=XOR];
    ptc -> cbh [label=AND];
    gcm -> cbh [label=AND];
    dkm -> hcv [label=OR];
    bhd -> hcv [label=OR];
    x30 -> cfn [label=AND, color=blue];
    y30 -> cfn [label=AND, color=blue];
    rwt -> tnp [label=OR];
    gnm -> tnp [label=OR];
    mmf -> qhw [label=AND];
    tsw -> qhw [label=AND];
    ngd -> nrm [label=AND];
    kpp -> nrm [label=AND];
    y15 -> fsh [label=AND, color=blue];
    x15 -> fsh [label=AND, color=blue];
    y43 -> njn [label=AND, color=blue];
    x43 -> njn [label=AND, color=blue];
    y00 -> wrd [label=AND, color=blue];
    x00 -> wrd [label=AND, color=blue];
    x29 -> hsj [label=AND, color=blue];
    y29 -> hsj [label=AND, color=blue];
    x02 -> dqj [label=AND, color=blue];
    y02 -> dqj [label=AND, color=blue];
    y23 -> qrh [label=XOR, color=blue];
    x23 -> qrh [label=XOR, color=blue];
    y05 -> rdh [label=XOR, color=blue];
    x05 -> rdh [label=XOR, color=blue];
    y19 -> ktg [label=XOR, color=blue];
    x19 -> ktg [label=XOR, color=blue];
    dwm -> z06 [label=XOR];
    rrs -> z06 [label=XOR];
    kqm -> cts [label=AND];
    fvr -> cts [label=AND];
    ptc -> z12 [label=XOR];
    gcm -> z12 [label=XOR];
    y27 -> fpr [label=AND, color=blue];
    x27 -> fpr [label=AND, color=blue];
    sjd -> nvt [label=AND];
    qjg -> nvt [label=AND];
    x09 -> bnj [label=XOR, color=blue];
    y09 -> bnj [label=XOR, color=blue];
    mtm -> vgt [label=OR];
    hwr -> vgt [label=OR];
    cch -> vsd [label=OR];
    qqp -> vsd [label=OR];
    hng -> qqc [label=OR];
    dnw -> qqc [label=OR];
    wsm -> twk [label=AND];
    qjf -> twk [label=AND];
    x23 -> trn [label=AND, color=blue];
    y23 -> trn [label=AND, color=blue];
    x30 -> kbc [label=XOR, color=blue];
    y30 -> kbc [label=XOR, color=blue];
    x39 -> kvd [label=AND, color=blue];
    y39 -> kvd [label=AND, color=blue];
    bhc -> dkm [label=AND];
    ksj -> dkm [label=AND];
    ckw -> z41 [label=XOR];
    hcv -> z41 [label=XOR];
    rdh -> wvd [label=AND];
    pst -> wvd [label=AND];
    dgk -> z02 [label=XOR];
    nkn -> z02 [label=XOR];
    rwb -> dcg [label=AND];
    ntb -> dcg [label=AND];
    x13 -> rhm [label=AND, color=blue];
    y13 -> rhm [label=AND, color=blue];
    y42 -> hvs [label=XOR, color=blue];
    x42 -> hvs [label=XOR, color=blue];
    hvs -> rvr [label=AND];
    nfp -> rvr [label=AND];
    y14 -> ttt [label=XOR, color=blue];
    x14 -> ttt [label=XOR, color=blue];
    y31 -> ntb [label=XOR, color=blue];
    x31 -> ntb [label=XOR, color=blue];
    wsm -> z39 [label=XOR];
    qjf -> z39 [label=XOR];
    pst -> z05 [label=XOR];
    rdh -> z05 [label=XOR];
    njf -> z18 [label=XOR];
    wkc -> z18 [label=XOR];
    bnj -> z09 [label=XOR];
    vsm -> z09 [label=XOR];
    dss -> ngd [label=OR];
    qhh -> ngd [label=OR];
    x06 -> gqt [label=AND, color=blue];
    y06 -> gqt [label=AND, color=blue];
}