fast-stomp/rc_adder_6_before.log at master · onestruggler/fast-stomp · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
Equal (took 7.705ms)
Proof:
  [HH] p0, p6 <- 01 + 2 + 4
  [HH] p1, p30 <- 11p10 + 12 + 12p10 + 13
  [HH] p2, p10 <- 10 + 10p9 + 12 + 9p9
  [HH] p3, p9 <- 10 + 5p7 + 6 + 6p7 + 7p8 + 8p8 + p8
  [HH] p4, p8 <- 5p7 + 6 + 6p7 + 8
  [HH] p5, p7 <- 013 + 014 + 23 + 24 + 34 + 6
  [HH] p11, p29 <- 10
  [HH] p12, p28 <- 8
  [HH] p13, p27 <- 10 + 6
  [HH] p14, p26 <- 4 + 6
  [HH] p15, p31 <- 2 + 4
  [HH] p32, p37 <- 0p34 + 2 + 4
  [HH] p33, p34 <- 1
  [HH] p35, p36 <- 1
  [HH] p38, p43 <- 01p40 + 2p40 + 4 + 4p40 + 6
  [HH] p39, p40 <- True + 01 + 2 + 3
  [HH] p41, p42 <- True + 01 + 2 + 3
  [HH] p44, p49 <- 013p46 + 014p46 + 23p46 + 24p46 + 34p46 + 6 + 6p46 + 8
  [HH] p45, p46 <- True + 013 + 014 + 23 + 24 + 34 + 5
  [HH] p47, p48 <- True + 013 + 014 + 23 + 24 + 34 + 5
  [HH] p50, p55 <- 0135p52 + 0136p52 + 0145p52 + 0146p52 + 10 + 235p52 + 236p52 + 245p52 + 246p52 + 345p52 + 346p52 + 56p52 + 8 + 8p52
  [HH] p51, p52 <- True + 0135 + 0136 + 0145 + 0146 + 235 + 236 + 245 + 246 + 345 + 346 + 56 + 7
  [HH] p53, p54 <- True + 0135 + 0136 + 0145 + 0146 + 235 + 236 + 245 + 246 + 345 + 346 + 56 + 7
  [HH] p56, p61 <- 01357p58 + 01358p58 + 01367p58 + 01368p58 + 01457p58 + 01458p58 + 01467p58 + 01468p58 + 10 + 10p58 + 12 + 2357p58 + 2358p58 + 2367p58 + 2368p58 + 2457p58 + 2458p58 + 2467p58 + 2468p58 + 3457p58 + 3458p58 + 3467p58 + 3468p58 + 567p58 + 568p58 + 78p58
  [HH] p57, p58 <- True + 01357 + 01358 + 01367 + 01368 + 01457 + 01458 + 01467 + 01468 + 2357 + 2358 + 2367 + 2368 + 2457 + 2458 + 2467 + 2468 + 3457 + 3458 + 3467 + 3468 + 567 + 568 + 78 + 9
  [HH] p59, p60 <- True + 01357 + 01358 + 01367 + 01368 + 01457 + 01458 + 01467 + 01468 + 2357 + 2358 + 2367 + 2368 + 2457 + 2458 + 2467 + 2468 + 3457 + 3458 + 3467 + 3468 + 567 + 568 + 78 + 9
  [HH] p63, p64 <- 11 + 12
  [Elim] p62
  [Elim] p65
  [HH] p69, p70 <- 10 + 9
  [Elim] p68
  [Elim] p71
  [HH] p75, p76 <- 7 + 8
  [Elim] p74
  [Elim] p77
  [HH] p81, p82 <- 5 + 6
  [Elim] p80
  [Elim] p83
  [HH] p87, p88 <- 3 + 4
  [Elim] p86
  [Elim] p89
  [HH] p93, p94 <- 1
  [Elim] p92
  [Elim] p95