Skip to content

Instantly share code, notes, and snippets.

@prednaz

prednaz/neq1.log

Created August 18, 2021 16:59
Show Gist options
  • Save prednaz/8ac520d57e65097531cacdb06a4d4199 to your computer and use it in GitHub Desktop.
Save prednaz/8ac520d57e65097531cacdb06a4d4199 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
neq1.log
I: Reset h0: DEF "<" 2 112
P: 1 h1: DEF "|" 2 42
h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
I: Pushfun "main" s0: h8 h0: DEF "<" 2 112
P: 2 h1: DEF "|" 2 42
h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
I: Call s0: c3 h0: DEF "<" 2 112
P: 4 s1: h8 h1: DEF "|" 2 42
h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
I: Pushval (Integer 2) s0: h14 h0: DEF "<" 2 112
P: 5 s1: c3 h1: DEF "|" 2 42
s2: h8 h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
I: Pushval (Integer 6) s0: h15 h0: DEF "<" 2 112
P: 6 s1: h14 h1: DEF "|" 2 42
s2: c3 h2: DEF "if" 3 122
s3: h8 h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
I: Pushfun "==" s0: h12 h0: DEF "<" 2 112
P: 7 s1: h15 h1: DEF "|" 2 42
s2: h14 h2: DEF "if" 3 122
s3: c3 h3: DEF "*" 2 82
s4: h8 h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
I: Makeapp s0: h16 h0: DEF "<" 2 112
P: 8 s1: h14 h1: DEF "|" 2 42
s2: c3 h2: DEF "if" 3 122
s3: h8 h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
I: Makeapp s0: h17 h0: DEF "<" 2 112
P: 9 s1: c3 h1: DEF "|" 2 42
s2: h8 h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
I: Pushfun "not" s0: h4 h0: DEF "<" 2 112
P: 10 s1: h17 h1: DEF "|" 2 42
s2: c3 h2: DEF "if" 3 122
s3: h8 h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
I: Makeapp s0: h18 h0: DEF "<" 2 112
P: 11 s1: c3 h1: DEF "|" 2 42
s2: h8 h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: DEF "main" 0 4
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Update 0 s0: h18 h0: DEF "<" 2 112
P: 12 s1: c3 h1: DEF "|" 2 42
s2: h8 h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Slide 1 s0: h18 h0: DEF "<" 2 112
P: 13 s1: c3 h1: DEF "|" 2 42
h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Unwind s0: h4 h0: DEF "<" 2 112
P: 13 s1: h18 h1: DEF "|" 2 42
s2: c3 h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Unwind s0: h4 h0: DEF "<" 2 112
P: 14 s1: h18 h1: DEF "|" 2 42
s2: c3 h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Call s0: c15 h0: DEF "<" 2 112
P: 28 s1: h4 h1: DEF "|" 2 42
s2: h18 h2: DEF "if" 3 122
s3: c3 h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Pushparam 1 s0: h17 h0: DEF "<" 2 112
P: 29 s1: c15 h1: DEF "|" 2 42
s2: h4 h2: DEF "if" 3 122
s3: h18 h3: DEF "*" 2 82
s4: c3 h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Unwind s0: h16 h0: DEF "<" 2 112
P: 29 s1: h17 h1: DEF "|" 2 42
s2: c15 h2: DEF "if" 3 122
s3: h4 h3: DEF "*" 2 82
s4: h18 h4: DEF "not" 1 28
s5: c3 h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Unwind s0: h12 h0: DEF "<" 2 112
P: 29 s1: h16 h1: DEF "|" 2 42
s2: h17 h2: DEF "if" 3 122
s3: c15 h3: DEF "*" 2 82
s4: h4 h4: DEF "not" 1 28
s5: h18 h5: DEF "false" 0 16
s6: c3 h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Unwind s0: h12 h0: DEF "<" 2 112
P: 30 s1: h16 h1: DEF "|" 2 42
s2: h17 h2: DEF "if" 3 122
s3: c15 h3: DEF "*" 2 82
s4: h4 h4: DEF "not" 1 28
s5: h18 h5: DEF "false" 0 16
s6: c3 h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Call s0: c31 h0: DEF "<" 2 112
P: 102 s1: h12 h1: DEF "|" 2 42
s2: h16 h2: DEF "if" 3 122
s3: h17 h3: DEF "*" 2 82
s4: c15 h4: DEF "not" 1 28
s5: h4 h5: DEF "false" 0 16
s6: h18 h6: DEF "-" 2 72
s7: c3 h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Pushparam 1 s0: h15 h0: DEF "<" 2 112
P: 103 s1: c31 h1: DEF "|" 2 42
s2: h12 h2: DEF "if" 3 122
s3: h16 h3: DEF "*" 2 82
s4: h17 h4: DEF "not" 1 28
s5: c15 h5: DEF "false" 0 16
s6: h4 h6: DEF "-" 2 72
s7: h18 h7: DEF "+" 2 62
s8: c3 h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Unwind s0: h15 h0: DEF "<" 2 112
P: 104 s1: c31 h1: DEF "|" 2 42
s2: h12 h2: DEF "if" 3 122
s3: h16 h3: DEF "*" 2 82
s4: h17 h4: DEF "not" 1 28
s5: c15 h5: DEF "false" 0 16
s6: h4 h6: DEF "-" 2 72
s7: h18 h7: DEF "+" 2 62
s8: c3 h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Call s0: h15 h0: DEF "<" 2 112
P: 105 s1: c31 h1: DEF "|" 2 42
s2: h12 h2: DEF "if" 3 122
s3: h16 h3: DEF "*" 2 82
s4: h17 h4: DEF "not" 1 28
s5: c15 h5: DEF "false" 0 16
s6: h4 h6: DEF "-" 2 72
s7: h18 h7: DEF "+" 2 62
s8: c3 h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Pushparam 3 s0: h14 h0: DEF "<" 2 112
P: 106 s1: h15 h1: DEF "|" 2 42
s2: c31 h2: DEF "if" 3 122
s3: h12 h3: DEF "*" 2 82
s4: h16 h4: DEF "not" 1 28
s5: h17 h5: DEF "false" 0 16
s6: c15 h6: DEF "-" 2 72
s7: h4 h7: DEF "+" 2 62
s8: h18 h8: IND 18
s9: c3 h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Unwind s0: h14 h0: DEF "<" 2 112
P: 107 s1: h15 h1: DEF "|" 2 42
s2: c31 h2: DEF "if" 3 122
s3: h12 h3: DEF "*" 2 82
s4: h16 h4: DEF "not" 1 28
s5: h17 h5: DEF "false" 0 16
s6: c15 h6: DEF "-" 2 72
s7: h4 h7: DEF "+" 2 62
s8: h18 h8: IND 18
s9: c3 h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Call s0: h14 h0: DEF "<" 2 112
P: 108 s1: h15 h1: DEF "|" 2 42
s2: c31 h2: DEF "if" 3 122
s3: h12 h3: DEF "*" 2 82
s4: h16 h4: DEF "not" 1 28
s5: h17 h5: DEF "false" 0 16
s6: c15 h6: DEF "-" 2 72
s7: h4 h7: DEF "+" 2 62
s8: h18 h8: IND 18
s9: c3 h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
I: Operator Equals s0: h19 h0: DEF "<" 2 112
P: 109 s1: c31 h1: DEF "|" 2 42
s2: h12 h2: DEF "if" 3 122
s3: h16 h3: DEF "*" 2 82
s4: h17 h4: DEF "not" 1 28
s5: c15 h5: DEF "false" 0 16
s6: h4 h6: DEF "-" 2 72
s7: h18 h7: DEF "+" 2 62
s8: c3 h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: APP 16 14
h18: APP 4 17
h19: VAL (Bool False)
I: Update 2 s0: h19 h0: DEF "<" 2 112
P: 110 s1: c31 h1: DEF "|" 2 42
s2: h12 h2: DEF "if" 3 122
s3: h16 h3: DEF "*" 2 82
s4: h17 h4: DEF "not" 1 28
s5: c15 h5: DEF "false" 0 16
s6: h4 h6: DEF "-" 2 72
s7: h18 h7: DEF "+" 2 62
s8: c3 h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: APP 4 17
h19: VAL (Bool False)
I: Slide 3 s0: h19 h0: DEF "<" 2 112
P: 111 s1: c31 h1: DEF "|" 2 42
s2: c15 h2: DEF "if" 3 122
s3: h4 h3: DEF "*" 2 82
s4: h18 h4: DEF "not" 1 28
s5: c3 h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: APP 4 17
h19: VAL (Bool False)
I: Return s0: h19 h0: DEF "<" 2 112
P: 31 s1: c15 h1: DEF "|" 2 42
s2: h4 h2: DEF "if" 3 122
s3: h18 h3: DEF "*" 2 82
s4: c3 h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: APP 4 17
h19: VAL (Bool False)
I: Operator Not s0: h20 h0: DEF "<" 2 112
P: 32 s1: c15 h1: DEF "|" 2 42
s2: h4 h2: DEF "if" 3 122
s3: h18 h3: DEF "*" 2 82
s4: c3 h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: APP 4 17
h19: VAL (Bool False)
h20: VAL (Bool True)
I: Update 1 s0: h20 h0: DEF "<" 2 112
P: 33 s1: c15 h1: DEF "|" 2 42
s2: h4 h2: DEF "if" 3 122
s3: h18 h3: DEF "*" 2 82
s4: c3 h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: IND 20
h19: VAL (Bool False)
h20: VAL (Bool True)
I: Slide 2 s0: h20 h0: DEF "<" 2 112
P: 34 s1: c15 h1: DEF "|" 2 42
s2: c3 h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: IND 20
h19: VAL (Bool False)
h20: VAL (Bool True)
I: Return s0: h20 h0: DEF "<" 2 112
P: 15 s1: c3 h1: DEF "|" 2 42
h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: IND 20
h19: VAL (Bool False)
h20: VAL (Bool True)
I: Return s0: h20 h0: DEF "<" 2 112
P: 3 h1: DEF "|" 2 42
h2: DEF "if" 3 122
h3: DEF "*" 2 82
h4: DEF "not" 1 28
h5: DEF "false" 0 16
h6: DEF "-" 2 72
h7: DEF "+" 2 62
h8: IND 18
h9: DEF "true" 0 22
h10: DEF "negate" 1 35
h11: DEF "/" 2 92
h12: DEF "==" 2 102
h13: DEF "&" 2 52
h14: VAL (Integer 2)
h15: VAL (Integer 6)
h16: APP 12 15
h17: IND 19
h18: IND 20
h19: VAL (Bool False)
h20: VAL (Bool True)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment