day24.dot

digraph D {
 ordering=out;
  subgraph cluster_z  { z00; z01; z02; z03; z04; z05; z06; z07; z08; z09; z10; z11; z12; z13; z14; z15; z16; z17; z18; z19; z20; z21; z22; z23; z24; z25; z26; z27; z28; z29; z30; z31; z32; z33; z34; z35; z36; z37; z38; z39; z40; z41; z42; z43; z44 }
  gsw [label=gswAND];
  wwv ->  gsw
  btj ->  gsw
  jkc [label=jkcAND];
  x29 ->  jkc
  y29 ->  jkc
  vmg [label=vmgOR];
  wjs ->  vmg
  bgp ->  vmg
  cbj [label=cbjAND];
  vdw ->  cbj
  cjv ->  cbj
  tpk [label=tpkXOR];
  x16 ->  tpk
  y16 ->  tpk
  cdw [label=cdwXOR];
  x22 ->  cdw
  y22 ->  cdw
  tsm [label=tsmAND];
  x08 ->  tsm
  y08 ->  tsm
  pss [label=pssXOR];
  x41 ->  pss
  y41 ->  pss
  cpn [label=cpnAND];
  gnn ->  cpn
  nsj ->  cpn
  cqh [label=cqhAND];
  rdb ->  cqh
  shb ->  cqh
  phv [label=phvXOR];
  x02 ->  phv
  y02 ->  phv
  hcm [label=hcmAND];
  y14 ->  hcm
  x14 ->  hcm
  fmp [label=fmpAND];
  kpc ->  fmp
  bdq ->  fmp
  wqg [label=wqgAND];
  qmj ->  wqg
  tnw ->  wqg
  fwq [label=fwqAND];
  cdw ->  fwq
  btq ->  fwq
  ptb [label=ptbXOR];
  x14 ->  ptb
  y14 ->  ptb
  rgt ->  z35
  fwv ->  z35
  vdw [label=vdwXOR];
  x11 ->  vdw
  y11 ->  vdw
  dnb ->  z19
  svp ->  z19
  prj [label=prjXOR];
  x04 ->  prj
  y04 ->  prj
  tsb [label=tsbXOR];
  y38 ->  tsb
  x38 ->  tsb
  bws ->  z26
  rts ->  z26
  jpn [label=jpnAND];
  kvb ->  jpn
  ptb ->  jpn
  qrs [label=qrsAND];
  x05 ->  qrs
  y05 ->  qrs
  tpt [label=tptAND];
  wtc ->  tpt
  nhh ->  tpt
  pwg ->  z08
  bdf ->  z08
  vcj [label=vcjXOR];
  y06 ->  vcj
  x06 ->  vcj
  rvm ->  z36
  nmb ->  z36
  pvr [label=pvrXOR];
  x23 ->  pvr
  y23 ->  pvr
  hmv [label=hmvAND];
  x37 ->  hmv
  y37 ->  hmv
  dhb ->  z01
  qpp ->  z01
  crj [label=crjAND];
  y28 ->  crj
  x28 ->  crj
  pfs [label=pfsAND];
  x42 ->  pfs
  y42 ->  pfs
  kcd [label=kcdAND];
  x27 ->  kcd
  y27 ->  kcd
  qkp ->  z30
  hqs ->  z30
  gvb [label=gvbOR];
  mtn ->  gvb
  fwq ->  gvb
  shm [label=shmXOR];
  y24 ->  shm
  x24 ->  shm
  bws [label=bwsXOR];
  y26 ->  bws
  x26 ->  bws
  shj [label=shjAND];
  gnj ->  shj
  scw ->  shj
  qmj [label=qmjXOR];
  y09 ->  qmj
  x09 ->  qmj
  kpc [label=kpcXOR];
  x21 ->  kpc
  y21 ->  kpc
  hcj [label=hcjOR];
  gwp ->  hcj
  pvk ->  hcj
  rns [label=rnsAND];
  hfw ->  rns
  hcj ->  rns
  vnb [label=vnbOR];
  ndg ->  vnb
  pbr ->  vnb
  gvf [label=gvfXOR];
  y32 ->  gvf
  x32 ->  gvf
  wwv ->  z28
  btj ->  z28
  sfg [label=sfgAND];
  dgr ->  sfg
  dhp ->  sfg
  hsn [label=hsnAND];
  x31 ->  hsn
  y31 ->  hsn
  twp [label=twpAND];
  stb ->  twp
  nwc ->  twp
  bdf [label=bdfOR];
  dvq ->  bdf
  shj ->  bdf
  nfb ->  z37
  vwq ->  z37
  nsj ->  z42
  gnn ->  z42
  jsj [label=jsjAND];
  hjh ->  jsj
  cqj ->  jsj
  hrc [label=hrcOR];
  rsj ->  hrc
  cvk ->  hrc
  tgc [label=tgcXOR];
  y15 ->  tgc
  x15 ->  tgc
  wtc [label=wtcOR];
  kng ->  wtc
  rkh ->  wtc
  hcj ->  z25
  hfw ->  z25
  mgc [label=mgcOR];
  khs ->  mgc
  hwm ->  mgc
  jwb [label=jwbAND];
  x23 ->  jwb
  y23 ->  jwb
  tnw [label=tnwOR];
  khj ->  tnw
  tsm ->  tnw
  hdp [label=hdpAND];
  x36 ->  hdp
  y36 ->  hdp
  cjv [label=cjvOR];
  hns ->  cjv
  sfg ->  cjv
  wwv [label=wwvOR];
  gtc ->  wwv
  kcd ->  wwv
  fdp [label=fdpOR];
  hqf ->  fdp
  wtb ->  fdp
  vpt ->  z27
  hdg ->  z27
  ghw [label=ghwAND];
  qpd ->  ghw
  vcj ->  ghw
  pfm ->  z44
  jcr ->  z44
  wjs [label=wjsAND];
  msw ->  wjs
  ffd ->  wjs
  stb [label=stbOR];
  dhh ->  stb
  vdq ->  stb
  nwc [label=nwcXOR];
  y05 ->  nwc
  x05 ->  nwc
  rvm [label=rvmXOR];
  x36 ->  rvm
  y36 ->  rvm
  dvq [label=dvqAND];
  x07 ->  dvq
  y07 ->  dvq
  vbp [label=vbpAND];
  x32 ->  vbp
  y32 ->  vbp
  nsj [label=nsjOR];
  vdc ->  nsj
  bhj ->  nsj
  wvb [label=wvbAND];
  x26 ->  wvb
  y26 ->  wvb
  dhb [label=dhbAND];
  y00 ->  dhb
  x00 ->  dhb
  dhf ->  z38
  tsb ->  z38
  fdp ->  z40
  cjs ->  z40
  wfd [label=wfdAND];
  x03 ->  wfd
  y03 ->  wfd
  pfn ->  z24
  shm ->  z24
  gdq [label=gdqXOR];
  y39 ->  gdq
  x39 ->  gdq
  vwq [label=vwqXOR];
  y37 ->  vwq
  x37 ->  vwq
  hdg [label=hdgOR];
  mhk ->  hdg
  wvb ->  hdg
  btg [label=btgAND];
  y44 ->  btg
  x44 ->  btg
  mgc ->  z39
  gdq ->  z39
  cgc [label=cgcAND];
  nmb ->  cgc
  rvm ->  cgc
  wvj [label=wvjAND];
  y30 ->  wvj
  x30 ->  wvj
  rpw [label=rpwAND];
  y35 ->  rpw
  x35 ->  rpw
  kqr [label=kqrAND];
  hbd ->  kqr
  vnm ->  kqr
  mdt [label=mdtOR];
  hcm ->  mdt
  jpn ->  mdt
  ffd ->  z33
  msw ->  z33
  tnw ->  z09
  qmj ->  z09
  scw [label=scwXOR];
  x07 ->  scw
  y07 ->  scw
  dhf [label=dhfOR];
  rsd ->  dhf
  hmv ->  dhf
  gtc [label=gtcAND];
  vpt ->  gtc
  hdg ->  gtc
  spb [label=spbOR];
  hsn ->  spb
  jsj ->  spb
  ffd [label=ffdOR];
  vbp ->  ffd
  nmd ->  ffd
  khj [label=khjAND];
  bdf ->  khj
  pwg ->  khj
  bdq [label=bdqOR];
  fdm ->  bdq
  cgp ->  bdq
  vdq [label=vdqAND];
  x04 ->  vdq
  y04 ->  vdq
  pwg [label=pwgXOR];
  x08 ->  pwg
  y08 ->  pwg
  nsk [label=nskAND];
  hpn ->  nsk
  kgf ->  nsk
  pfn [label=pfnOR];
  jwb ->  pfn
  hjp ->  pfn
  dhh [label=dhhAND];
  rmv ->  dhh
  prj ->  dhh
  ptb ->  z14
  kvb ->  z14
  btj [label=btjXOR];
  x28 ->  btj
  y28 ->  btj
  rdb [label=rdbOR];
  crj ->  rdb
  gsw ->  rdb
  rmv [label=rmvOR];
  tpt ->  rmv
  wfd ->  rmv
  vpt [label=vptXOR];
  x27 ->  vpt
  y27 ->  vpt
  qpd ->  z06
  vcj ->  z06
  pbr [label=pbrAND];
  y01 ->  pbr
  x01 ->  pbr
  hvr [label=hvrAND];
  x17 ->  hvr
  y17 ->  hvr
  hfb ->  z13
  bbg ->  z13
  y00 ->  z00
  x00 ->  z00
  gnn [label=gnnXOR];
  x42 ->  gnn
  y42 ->  gnn
  khs [label=khsAND];
  dhf ->  khs
  tsb ->  khs
  jsr ->  z18
  cqk ->  z18
  rgt [label=rgtXOR];
  y35 ->  rgt
  x35 ->  rgt
  qvd [label=qvdAND];
  x15 ->  qvd
  y15 ->  qvd
  nhh [label=nhhXOR];
  x03 ->  nhh
  y03 ->  nhh
  ndg [label=ndgAND];
  qpp ->  ndg
  dhb ->  ndg
  gtf [label=gtfAND];
  y34 ->  gtf
  x34 ->  gtf
  kgf [label=kgfXOR];
  y43 ->  kgf
  x43 ->  kgf
  hfw [label=hfwXOR];
  x25 ->  hfw
  y25 ->  hfw
  svp [label=svpOR];
  tnj ->  svp
  wbv ->  svp
  kng [label=kngAND];
  x02 ->  kng
  y02 ->  kng
  vdc [label=vdcAND];
  hrc ->  vdc
  pss ->  vdc
  ngf [label=ngfOR];
  kqb ->  ngf
  qvd ->  ngf
  mhk [label=mhkAND];
  rts ->  mhk
  bws ->  mhk
  shb ->  z29
  rdb ->  z29
  dgr [label=dgrOR];
  ndv ->  dgr
  wqg ->  dgr
  wmr ->  z45
  btg ->  z45
  tpv [label=tpvAND];
  qmd ->  tpv
  hvb ->  tpv
  gvb ->  z23
  pvr ->  z23
  pvk [label=pvkAND];
  x24 ->  pvk
  y24 ->  pvk
  hqf [label=hqfAND];
  gdq ->  hqf
  mgc ->  hqf
  gsh [label=gshAND];
  x11 ->  gsh
  y11 ->  gsh
  cqk [label=cqkXOR];
  y18 ->  cqk
  x18 ->  cqk
  fwv [label=fwvOR];
  csj ->  fwv
  gtf ->  fwv
  gkq [label=gkqAND];
  x19 ->  gkq
  y19 ->  gkq
  dgr ->  z10
  dhp ->  z10
  hbd ->  z17
  vnm ->  z17
  qqn [label=qqnAND];
  dnb ->  qqn
  svp ->  qqn
  kqb [label=kqbAND];
  mdt ->  kqb
  tgc ->  kqb
  rmv ->  z04
  prj ->  z04
  hns [label=hnsAND];
  y10 ->  hns
  x10 ->  hns
  dgf [label=dgfAND];
  qkp ->  dgf
  hqs ->  dgf
  hpn [label=hpnOR];
  pfs ->  hpn
  cpn ->  hpn
  rsj [label=rsjAND];
  cjs ->  rsj
  fdp ->  rsj
  jdm [label=jdmAND];
  rgt ->  jdm
  fwv ->  jdm
  dnm [label=dnmAND];
  y21 ->  dnm
  x21 ->  dnm
  nfb [label=nfbOR];
  cgc ->  nfb
  hdp ->  nfb
  dgt [label=dgtAND];
  y12 ->  dgt
  x12 ->  dgt
  wtb [label=wtbAND];
  x39 ->  wtb
  y39 ->  wtb
  mdt ->  z15
  tgc ->  z15
  ngf ->  z16
  tpk ->  z16
  wbv [label=wbvAND];
  jsr ->  wbv
  cqk ->  wbv
  wkb [label=wkbAND];
  y16 ->  wkb
  x16 ->  wkb
  vsb [label=vsbAND];
  x06 ->  vsb
  y06 ->  vsb
  bhj [label=bhjAND];
  y41 ->  bhj
  x41 ->  bhj
  qpp [label=qppXOR];
  x01 ->  qpp
  y01 ->  qpp
  kpc ->  z21
  bdq ->  z21
  wtc ->  z03
  nhh ->  z03
  gnj [label=gnjOR];
  ghw ->  gnj
  vsb ->  gnj
  shb [label=shbXOR];
  x29 ->  shb
  y29 ->  shb
  jdd [label=jddAND];
  y13 ->  jdd
  x13 ->  jdd
  hrc ->  z41
  pss ->  z41
  nsw [label=nswXOR];
  y20 ->  nsw
  x20 ->  nsw
  qmd [label=qmdXOR];
  x12 ->  qmd
  y12 ->  qmd
  hvb [label=hvbOR];
  cbj ->  hvb
  gsh ->  hvb
  pfm [label=pfmXOR];
  x44 ->  pfm
  y44 ->  pfm
  mtn [label=mtnAND];
  y22 ->  mtn
  x22 ->  mtn
  vnb ->  z02
  phv ->  z02
  bgp [label=bgpAND];
  y33 ->  bgp
  x33 ->  bgp
  mmf [label=mmfAND];
  y25 ->  mmf
  x25 ->  mmf
  rkh [label=rkhAND];
  phv ->  rkh
  vnb ->  rkh
  dhp [label=dhpXOR];
  x10 ->  dhp
  y10 ->  dhp
  cgp [label=cgpAND];
  wdp ->  cgp
  nsw ->  cgp
  hjp [label=hjpAND];
  gvb ->  hjp
  pvr ->  hjp
  csj [label=csjAND];
  vmg ->  csj
  rsm ->  csj
  ndv [label=ndvAND];
  y09 ->  ndv
  x09 ->  ndv
  kvb [label=kvbOR];
  nwq ->  kvb
  jdd ->  kvb
  cjs [label=cjsXOR];
  x40 ->  cjs
  y40 ->  cjs
  hjh [label=hjhXOR];
  x31 ->  hjh
  y31 ->  hjh
  wmr [label=wmrAND];
  pfm ->  wmr
  jcr ->  wmr
  hfb [label=hfbXOR];
  x13 ->  hfb
  y13 ->  hfb
  hqs [label=hqsOR];
  jkc ->  hqs
  cqh ->  hqs
  btq [label=btqOR];
  dnm ->  btq
  fmp ->  btq
  qpd [label=qpdOR];
  qrs ->  qpd
  twp ->  qpd
  rsm ->  z34
  vmg ->  z34
  gnj ->  z07
  scw ->  z07
  qmd ->  z12
  hvb ->  z12
  cqj [label=cqjOR];
  wvj ->  cqj
  dgf ->  cqj
  vnm [label=vnmXOR];
  y17 ->  vnm
  x17 ->  vnm
  fdm [label=fdmAND];
  x20 ->  fdm
  y20 ->  fdm
  gwp [label=gwpAND];
  pfn ->  gwp
  shm ->  gwp
  stb ->  z05
  nwc ->  z05
  tnj [label=tnjAND];
  x18 ->  tnj
  y18 ->  tnj
  nmd [label=nmdAND];
  spb ->  nmd
  gvf ->  nmd
  rsd [label=rsdAND];
  vwq ->  rsd
  nfb ->  rsd
  nwq [label=nwqAND];
  bbg ->  nwq
  hfb ->  nwq
  cwf [label=cwfAND];
  x43 ->  cwf
  y43 ->  cwf
  cvk [label=cvkAND];
  x40 ->  cvk
  y40 ->  cvk
  spb ->  z32
  gvf ->  z32
  rsm [label=rsmXOR];
  x34 ->  rsm
  y34 ->  rsm
  rts [label=rtsOR];
  rns ->  rts
  mmf ->  rts
  msw [label=mswXOR];
  y33 ->  msw
  x33 ->  msw
  bfn [label=bfnAND];
  tpk ->  bfn
  ngf ->  bfn
  wdp [label=wdpOR];
  qqn ->  wdp
  gkq ->  wdp
  jcr [label=jcrOR];
  cwf ->  jcr
  nsk ->  jcr
  dnb [label=dnbXOR];
  y19 ->  dnb
  x19 ->  dnb
  qkp [label=qkpXOR];
  y30 ->  qkp
  x30 ->  qkp
  jsr [label=jsrOR];
  hvr ->  jsr
  kqr ->  jsr
  wdp ->  z20
  nsw ->  z20
  btq ->  z22
  cdw ->  z22
  kgf ->  z43
  hpn ->  z43
  hwm [label=hwmAND];
  y38 ->  hwm
  x38 ->  hwm
  nmb [label=nmbOR];
  rpw ->  nmb
  jdm ->  nmb
  cjv ->  z11
  vdw ->  z11
  hjh ->  z31
  cqj ->  z31
  hbd [label=hbdOR];
  wkb ->  hbd
  bfn ->  hbd
  bbg [label=bbgOR];
  tpv ->  bbg
  dgt ->  bbg
}