#skinnytk3 2 Rounds
connection relations
tk1_0, tk2_0, tk3_0, tk_0_0
x_0_0, tk_0_0, y_0_0
tk1_1, tk2_1, tk3_1, tk_0_1
x_0_1, tk_0_1, y_0_1
tk1_2, tk2_2, tk3_2, tk_0_2
x_0_2, tk_0_2, y_0_2
tk1_3, tk2_3, tk3_3, tk_0_3
x_0_3, tk_0_3, y_0_3
tk1_4, tk2_4, tk3_4, tk_0_4
x_0_4, tk_0_4, y_0_4
tk1_5, tk2_5, tk3_5, tk_0_5
x_0_5, tk_0_5, y_0_5
tk1_6, tk2_6, tk3_6, tk_0_6
x_0_6, tk_0_6, y_0_6
tk1_7, tk2_7, tk3_7, tk_0_7
x_0_7, tk_0_7, y_0_7
x_0_8, y_0_8
x_0_9, y_0_9
x_0_10, y_0_10
x_0_11, y_0_11
x_0_12, y_0_12
x_0_13, y_0_13
x_0_14, y_0_14
x_0_15, y_0_15
y_0_0, y_0_10, y_0_13, x_1_0
y_0_0, x_1_4
y_0_7, y_0_10, x_1_8
y_0_0, y_0_10, x_1_12
y_0_1, y_0_11, y_0_14, x_1_1
y_0_1, x_1_5
y_0_4, y_0_11, x_1_9
y_0_1, y_0_11, x_1_13
y_0_2, y_0_8, y_0_15, x_1_2
y_0_2, x_1_6
y_0_5, y_0_8, x_1_10
y_0_2, y_0_8, x_1_14
y_0_3, y_0_9, y_0_12, x_1_3
y_0_3, x_1_7
y_0_6, y_0_9, x_1_11
y_0_3, y_0_9, x_1_15
tk1_9, tk2_9, tk3_9, tk_1_0
x_1_0, tk_1_0, y_1_0
tk1_15, tk2_15, tk3_15, tk_1_1
x_1_1, tk_1_1, y_1_1
tk1_8, tk2_8, tk3_8, tk_1_2
x_1_2, tk_1_2, y_1_2
tk1_13, tk2_13, tk3_13, tk_1_3
x_1_3, tk_1_3, y_1_3
tk1_10, tk2_10, tk3_10, tk_1_4
x_1_4, tk_1_4, y_1_4
tk1_14, tk2_14, tk3_14, tk_1_5
x_1_5, tk_1_5, y_1_5
tk1_12, tk2_12, tk3_12, tk_1_6
x_1_6, tk_1_6, y_1_6
tk1_11, tk2_11, tk3_11, tk_1_7
x_1_7, tk_1_7, y_1_7
x_1_8, y_1_8
x_1_9, y_1_9
x_1_10, y_1_10
x_1_11, y_1_11
x_1_12, y_1_12
x_1_13, y_1_13
x_1_14, y_1_14
x_1_15, y_1_15
y_1_0, y_1_10, y_1_13, x_2_0
y_1_0, x_2_4
y_1_7, y_1_10, x_2_8
y_1_0, y_1_10, x_2_12
y_1_1, y_1_11, y_1_14, x_2_1
y_1_1, x_2_5
y_1_4, y_1_11, x_2_9
y_1_1, y_1_11, x_2_13
y_1_2, y_1_8, y_1_15, x_2_2
y_1_2, x_2_6
y_1_5, y_1_8, x_2_10
y_1_2, y_1_8, x_2_14
y_1_3, y_1_9, y_1_12, x_2_3
y_1_3, x_2_7
y_1_6, y_1_9, x_2_11
y_1_3, y_1_9, x_2_15
known
x_0_0
x_0_1
x_0_2
x_0_3
x_0_4
x_0_5
x_0_6
x_0_7
x_0_8
x_0_9
x_0_10
x_0_11
x_0_12
x_0_13
x_0_14
x_0_15
x_2_0
x_2_1
x_2_2
x_2_3
x_2_4
x_2_5
x_2_6
x_2_7
x_2_8
x_2_9
x_2_10
x_2_11
x_2_12
x_2_13
x_2_14
x_2_15
end