Rule:Lambda
@RULE Lambda Uploaded by HactarCE#5314 on Discord > Hactar's WIP Lambda Calculus evaluator
- COMPILED FROM NUTSHELL ****
by HactarCE
0: blank 1: filled 2: stem 3: argument 4: application 5: compression setup signal 6: compression setup spark 7: compression activation signal 8: compression activation spark 9: compression indicator 3 10: compression indicator 2 11: compression indicator 1 12: compression waiter 13: compressing
- 5: evaluatation offer fwd {eval_offer_f}
- 6: evaluatation offer back {eval_offer_b}
- 7: evaluation attempt {eval_attempt}
- 8: argument evaluation test {arg_eval_test}
@TREE
num_states=13 num_neighbors=8 num_nodes=82 1 0 1 2 3 4 1 0 1 0 0 0 0 12 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 7 2 3 4 1 0 1 0 0 0 0 12 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 1 1 1 1 1 1 3 1 1 1 1 1 1 0 1 2 3 4 1 0 1 0 9 10 11 12 2 5 5 5 5 5 5 5 5 5 5 5 5 5 1 0 7 2 3 4 1 0 1 0 9 10 11 12 2 7 7 7 7 7 7 7 7 7 7 7 7 7 3 6 6 6 6 6 6 6 8 6 6 6 6 6 1 0 5 2 3 4 1 0 1 0 0 0 0 12 2 10 10 10 10 10 10 10 10 10 10 10 10 10 3 11 11 11 11 11 11 11 11 11 11 11 11 11 1 10 1 2 3 4 1 0 1 0 10 10 10 12 2 13 13 13 13 13 13 13 13 13 13 13 13 13 1 10 7 2 3 4 1 0 1 0 10 10 10 12 2 15 15 15 15 15 15 15 15 15 15 15 15 15 3 14 14 14 14 14 14 14 16 14 14 14 14 14 1 11 1 2 3 4 1 0 1 0 11 11 11 12 2 18 18 18 18 18 18 18 18 18 18 18 18 18 1 11 7 2 3 4 1 0 1 0 11 11 11 12 2 20 20 20 20 20 20 20 20 20 20 20 20 20 3 19 19 19 19 19 19 19 21 19 19 19 19 19 4 4 9 4 4 4 12 4 4 4 17 22 4 4 1 0 5 2 3 4 1 0 1 0 9 10 11 12 2 24 24 24 24 24 24 24 24 24 24 24 24 24 3 25 25 25 25 25 25 25 25 25 25 25 25 25 1 10 5 2 3 4 1 0 1 0 10 10 10 12 2 27 27 27 27 27 27 27 27 27 27 27 27 27 3 28 28 28 28 28 28 28 28 28 28 28 28 28 1 11 5 2 3 4 1 0 1 0 11 11 11 12 2 30 30 30 30 30 30 30 30 30 30 30 30 30 3 31 31 31 31 31 31 31 31 31 31 31 31 31 4 12 26 12 12 12 12 12 12 12 29 32 12 12 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 8 8 8 8 8 8 8 8 8 8 8 8 8 3 16 16 16 16 16 16 16 16 16 16 16 16 16 3 21 21 21 21 21 21 21 21 21 21 21 21 21 4 34 35 34 34 34 12 34 34 34 36 37 34 34 5 23 23 23 23 23 33 33 38 38 23 23 23 23 1 6 1 2 3 4 1 12 1 0 0 0 0 12 2 0 40 0 0 0 0 0 0 0 0 0 0 0 3 41 1 1 1 1 1 1 3 1 1 1 1 1 4 42 9 4 4 4 12 4 4 4 17 22 4 4 5 43 23 23 23 23 33 33 38 38 23 23 23 23 6 39 44 39 39 39 39 39 39 39 39 39 39 39 1 8 1 2 3 4 1 0 1 0 0 0 0 12 2 0 0 0 0 0 46 0 0 0 0 0 0 0 3 47 1 1 1 1 1 1 3 1 1 1 1 1 4 48 9 4 4 4 12 4 4 4 17 22 4 4 5 49 23 23 23 23 33 33 38 38 23 23 23 23 6 50 39 39 39 39 39 39 39 39 39 39 39 39 6 39 39 39 39 39 39 39 39 39 39 39 39 39 7 45 51 52 52 52 52 52 52 52 52 52 52 52 1 6 5 2 3 4 1 0 1 0 0 0 0 12 2 10 54 10 10 10 10 10 10 10 10 10 10 10 3 55 11 11 11 11 11 11 11 11 11 11 11 11 4 56 26 12 12 12 12 12 12 12 29 32 12 12 5 23 23 23 23 23 57 33 38 38 23 23 23 23 6 39 58 39 39 39 39 39 39 39 39 39 39 39 7 59 52 52 52 52 52 52 52 52 52 52 52 52 7 52 52 52 52 52 52 52 52 52 52 52 52 52 8 53 60 61 61 61 61 61 61 61 61 61 61 61 1 9 5 2 3 4 1 0 1 0 9 9 9 12 2 63 63 63 63 63 63 63 63 63 63 63 63 63 3 64 64 64 64 64 64 64 64 64 64 64 64 64 4 12 26 12 12 12 65 12 12 12 29 32 12 12 1 8 7 2 3 4 1 0 1 0 0 0 0 12 2 2 67 2 2 2 67 2 2 2 2 2 2 2 3 68 3 3 3 3 3 3 3 3 3 3 3 3 4 69 35 34 34 34 12 34 34 34 36 37 34 34 4 4 9 4 4 4 65 4 4 4 17 22 4 4 5 23 23 23 23 23 66 33 70 38 71 23 23 23 5 23 23 23 23 23 66 33 38 38 71 23 23 23 6 72 73 73 73 73 73 73 73 73 73 73 73 73 7 52 74 52 52 52 74 52 52 52 52 52 52 52 7 59 74 52 52 52 74 52 52 52 52 52 52 52 6 73 73 73 73 73 73 73 73 73 73 73 73 73 7 52 77 52 52 52 77 52 52 52 52 52 52 52 8 75 76 78 78 78 78 78 78 78 78 78 78 78 8 61 61 61 61 61 61 61 61 61 61 61 61 61 9 62 79 80 80 80 80 80 80 80 80 80 80 80
@TABLE neighborhood: Moore symmetries: none n_states: 13
var any.0 = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} var any.1 = any.0 var any.2 = any.0 var any.3 = any.0 var any.4 = any.0 var any.5 = any.0 var any.6 = any.0 var any.7 = any.0 var live.0 = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12} var compn.0 = {9, 10, 11} var soft.0 = {0, 9, 10, 11} var _716888888775130.0 = {0, 1} var _188603385896403.0 = {0, 6} var _172129488626172.0 = {9, 5} var _710501783665629.0 = {1, 5} var _710501783665629.1 = _710501783665629.0 var _688398911390223.0 = {9, 10}
1, 5, any.0, any.1, any.2, any.3, any.4, any.5, any.6, 5 1, any.0, any.1, any.2, any.3, any.4, any.5, 5, any.6, 5 0, 5, 1, 0, 1, 1, 0, 0, _716888888775130.0, 6 1, 6, any.0, any.1, any.2, any.3, any.4, any.5, any.6, 5 5, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 1 0, 0, 0, 0, 1, 1, 0, 0, 0, 6 6, 0, 0, 0, 1, 1, 0, 0, 0, 12 6, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 0 soft.0, _172129488626172.0, any.0, any.1, any.2, any.3, _710501783665629.0, 5, 1, 9 soft.0, any.0, any.1, any.2, any.3, any.4, any.5, 1, any.6, soft.0 soft.0, any.0, any.1, any.2, any.3, any.4, any.5, 9, any.6, 10 soft.0, any.0, any.1, any.2, any.3, any.4, any.5, 10, any.6, 11 compn.0, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 0 1, 7, any.0, any.1, any.2, any.3, any.4, any.5, any.6, 7 1, any.0, any.1, 7, any.2, any.3, any.4, any.5, any.6, 7 0, 7, _716888888775130.0, 0, 0, _710501783665629.0, _710501783665629.1, 0, 1, 8 1, 8, any.0, any.1, any.2, any.3, any.4, any.5, any.6, 7 7, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 1 8, any.0, any.1, any.2, any.3, any.4, any.5, any.6, any.7, 0 0, 0, 0, 0, 0, 5, 1, 0, 0, 8
@COLORS 1 255 255 255 2 153 153 153 3 153 153 255 4 153 255 153