{ "class": "Dag", "states": [ { "class": "State", "name": "X_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "C_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "C_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 }, { "class": "State", "name": "C_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "C_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "C_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "C_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "C_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "C_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 }, { "class": "State", "name": "X_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "S_2_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "operators": [ { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "X_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "EqualityOperator", "inputs": [ { "class": "State", "name": "S_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Y_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "MixColumnsOperator", "inputs": [ { "class": "State", "name": "Y_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Z_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "MixColumnsOperator", "inputs": [ { "class": "State", "name": "Y_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Z_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "MixColumnsOperator", "inputs": [ { "class": "State", "name": "Y_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Z_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "MixColumnsOperator", "inputs": [ { "class": "State", "name": "Y_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Y_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "Z_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "Z_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 0 } ], "outputs": [ { "class": "State", "name": "K_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "K_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "C_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 }, "value": 1 } ], "outputs": [ { "class": "State", "name": "K_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "Z_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_1_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "SOperator", "inputs": [ { "class": "State", "name": "X_1_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "S_2_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }, { "class": "XorOperator", "inputs": [ { "class": "State", "name": "S_2_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] } ], "inputs": [ { "class": "State", "name": "X_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "K_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ], "outputs": [ { "class": "State", "name": "X_2_0_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_0_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_1_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_2_3", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_0", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_1", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_2", "domain": { "class": "Domain", "start": 0, "end": 256 } }, { "class": "State", "name": "X_2_3_3", "domain": { "class": "Domain", "start": 0, "end": 256 } } ] }