I have the function Z10087/Boolean Curry defined as follows: It takes a Boolean function with two arguments and a Boolean, and returns a function that takes a single Boolean and applies then the function to the two provided Booleans.
I.e.
Boolean Curry(And, true) = lambda(x)
(Boolean Curry(And, true))(false) = lambda(false) = And(true, false) = false
This is the function definition:
{
"Z1K1": "Z8",
"Z8K1": [
{
"Z1K1": "Z17",
"Z17K1": "Z8",
"Z17K2": "Z10087K1",
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": [
{
"Z1K1": "Z11",
"Z11K1": "Z1002",
"Z11K2": "f"
}
]
}
},
{
"Z1K1": "Z17",
"Z17K1": "Z40",
"Z17K2": "Z10087K2",
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": [
{
"Z1K1": "Z11",
"Z11K1": "Z1002",
"Z11K2": "b"
}
]
}
}
],
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": [
"Z10088"
],
"Z8K5": "Z10087"
}This is the implementation (locally on Z10088):
{
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": [
{
"Z1K1": "Z17",
"Z17K1": "Z40",
"Z17K2": "K1",
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
}
],
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": [
{
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
},
"K2": {
"Z1K1": "Z18",
"Z18K1": "K1"
}
}
}
],
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
}When I try to evaluate Boolean Curry with Z10007/And and True, i.e. the following call:
{
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z9",
"Z9K1": "Z10007"
},
"Z10087K2": {
"Z1K1": "Z9",
"Z9K1": "Z41"
}
}I get the following error:
{
"Z1K1": "Z22",
"Z22K1": "Z23",
"Z22K2": {
"Z1K1": "Z5",
"Z5K1": "Z502",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z502"
},
"K1": "Z509",
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z509",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z509"
},
"K1": [
{
"Z1K1": "Z5",
"Z5K1": "Z526",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z526"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z8K4"
},
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z509",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z509"
},
"K1": [
{
"Z1K1": "Z5",
"Z5K1": "Z526",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z526"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z10K1"
},
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z509",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z509"
},
"K1": [
{
"Z1K1": "Z5",
"Z5K1": "Z526",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z526"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z14K2"
},
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z509",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z509"
},
"K1": [
{
"Z1K1": "Z5",
"Z5K1": "Z526",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z526"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z8K1"
},
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z509",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z509"
},
"K1": [
{
"Z1K1": "Z5",
"Z5K1": "Z526",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z526"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z10K1"
},
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z509",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z509"
},
"K1": [
{
"Z1K1": "Z5",
"Z5K1": "Z526",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z526"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z17K2"
},
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z509",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z509"
},
"K1": [
{
"Z1K1": "Z5",
"Z5K1": "Z526",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z526"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z1K1"
},
"K2": {
"Z1K1": "Z5",
"Z5K1": "Z524",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z524"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": "Z9"
}
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z532",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z532"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z511",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z511"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z18K1"
},
"K2": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
}
}
}
]
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z532",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z532"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z535",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z535"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z511",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z511"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z18K1"
},
"K2": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
}
}
}
}
]
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z532",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z532"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z535",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z535"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z511",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z511"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z18K1"
},
"K2": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
}
}
}
}
]
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z532",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z532"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z535",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z535"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z511",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z511"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z18K1"
},
"K2": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
}
}
}
]
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z532",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z532"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z535",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z535"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z511",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z511"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z18K1"
},
"K2": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
}
}
}
}
]
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z525",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z525"
},
"K1": "Z10K1"
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z511",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z511"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": {
"Z1K1": "Z6",
"Z6K1": "K1"
}
},
"K2": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
},
"Z10K2": []
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z535",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z535"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
},
"Z10K2": []
}
}
}
}
]
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z535",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z535"
},
"K1": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z8",
"Z8K1": [
{
"Z1K1": "Z17",
"Z17K1": "Z8",
"Z17K2": "Z10087K1",
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": [
{
"Z1K1": "Z11",
"Z11K1": "Z1002",
"Z11K2": "f"
}
]
}
},
{
"Z1K1": "Z17",
"Z17K1": "Z40",
"Z17K2": "Z10087K2",
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": [
{
"Z1K1": "Z11",
"Z11K1": "Z1002",
"Z11K2": "b"
}
]
}
}
],
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
},
"Z10K2": []
},
"Z8K5": "Z10087"
}
}
}
},
{
"Z1K1": "Z5",
"Z5K1": "Z511",
"Z5K2": {
"Z1K1": {
"Z1K1": "Z7",
"Z7K1": "Z885",
"Z885K1": "Z511"
},
"K1": {
"Z1K1": "Z39",
"Z39K1": "Z18K1"
},
"K2": {
"Z1K1": "Z99",
"Z99K1": {
"Z1K1": "Z8",
"Z8K1": [
{
"Z1K1": "Z17",
"Z17K1": "Z8",
"Z17K2": "Z10087K1",
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": [
{
"Z1K1": "Z11",
"Z11K1": "Z1002",
"Z11K2": "f"
}
]
}
},
{
"Z1K1": "Z17",
"Z17K1": "Z40",
"Z17K2": "Z10087K2",
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": [
{
"Z1K1": "Z11",
"Z11K1": "Z1002",
"Z11K2": "b"
}
]
}
}
],
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": "Z10087",
"Z14K2": {
"Z1K1": "Z8",
"Z8K1": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z17",
"Z17K1": "Z6",
"Z17K2": {
"Z1K1": "Z9",
"Z9K1": "K1"
},
"Z17K3": {
"Z1K1": "Z12",
"Z12K1": []
}
},
"Z10K2": []
},
"Z8K2": "Z40",
"Z8K3": [],
"Z8K4": {
"Z1K1": "Z10",
"Z10K1": {
"Z1K1": "Z14",
"Z14K1": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
},
"Z14K2": {
"Z1K1": "Z7",
"Z7K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z7K2": {
"Z1K1": "Z18",
"Z18K1": {
"Z1K1": "Z9",
"Z9K1": "K1"
}
},
"K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
},
"Z10K2": []
},
"Z8K5": {
"Z1K1": "Z7",
"Z7K1": "Z10087",
"Z10087K1": {
"Z1K1": "Z18",
"Z18K1": "Z10087K1"
},
"Z10087K2": {
"Z1K1": "Z18",
"Z18K1": "Z10087K2"
}
}
}
},
"Z10K2": []
},
"Z8K5": "Z10087"
}
}
}
}
]
}
}
}
}
}The problem seems to be in the definition of the argument in the created function, as there seems to be a type error between K1 as a String and reading it as a reference. It might be something completely different as well.