mod_mult_55_before.log

Equal (took 9.137ms)
Proof:
  [HH] p0, p5 <- 0 + 02 + 7
  [HH] p1, p11 <- True + 0 + 01 + 012 + 02 + 1 + 17 + 3 + 7 + p12
  [HH] p2, p12 <- 01 + 012 + 1 + 17 + 5 + p14 + p6
  [HH] p3, p6 <- 02 + 2 + 8
  [HH] p4, p14 <- 012 + 1 + 12 + 18 + 5 + 6
  [HH] p7, p13 <- 01 + 012 + 17 + 5 + 6 + 8
  [HH] p15, p38 <- 012 + 1 + 12 + 18 + 1p22 + 3 + 6
  [HH] p16, p25 <- 01 + 012 + 0p18 + 17 + 5 + 6 + 8 + p18
  [HH] p17, p18 <- 2
  [HH] p19, p20 <- 2
  [HH] p21, p22 <- True + 0 + 2 + 7 + 8
  [HH] p23, p24 <- True + 0 + 2 + 7 + 8
  [HH] p29, p30 <- True + 0 + 2 + 7 + 8
  [Elim] p27
  [HH] p31, p32 <- True + 0 + 2 + 7 + 8
  [HH] p33, p34 <- 02 + 2 + 8
  [Elim] p28
  [HH] p35, p36 <- 02 + 2 + 8
  [HH] p41, p42 <- 2
  [Elim] p40
  [HH] p43, p44 <- 2
  [HH] p45, p46 <- 0 + 02 + 7
  [Elim] p39
  [HH] p47, p48 <- 0 + 02 + 7
  [HH] p52, p53 <- True + 2
  [Elim] p51
  [Elim] p54