(mu X8.(((span & (mu X6.(<-1>((p & (mu X3.(<-1>((body & (mu X2.(<-1>(html & (mu X1.(<-1>((~(<-1>T) & ~(<-2>T)) & ((~(<-1>T) & ~(<-2>T)) )) | <-2>$X1))) | <-2>$X2))) | $X3) | <-2>$X3))) & <1>(mu X5.((<1>(mu X4.(img | <2>$X4)) & div) | <2>$X5))) | <-2>$X6))) & (mu X7.(<-1>(span | $X7) | <-2>$X7))) | (<1>$X8 | <2>$X8)))