#skinnytk1 3 Rounds
connection relations
x_0_0, tk_0, y_0_0
x_0_1, tk_1, y_0_1
x_0_2, tk_2, y_0_2
x_0_3, tk_3, y_0_3
x_0_4, tk_4, y_0_4
x_0_5, tk_5, y_0_5
x_0_6, tk_6, y_0_6
x_0_7, tk_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
x_1_0, tk_9, y_1_0
x_1_1, tk_15, y_1_1
x_1_2, tk_8, y_1_2
x_1_3, tk_13, y_1_3
x_1_4, tk_10, y_1_4
x_1_5, tk_14, y_1_5
x_1_6, tk_12, y_1_6
x_1_7, tk_11, 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
x_2_0, tk_1, y_2_0
x_2_1, tk_7, y_2_1
x_2_2, tk_0, y_2_2
x_2_3, tk_5, y_2_3
x_2_4, tk_2, y_2_4
x_2_5, tk_6, y_2_5
x_2_6, tk_4, y_2_6
x_2_7, tk_3, y_2_7
x_2_8, y_2_8
x_2_9, y_2_9
x_2_10, y_2_10
x_2_11, y_2_11
x_2_12, y_2_12
x_2_13, y_2_13
x_2_14, y_2_14
x_2_15, y_2_15
y_2_0, y_2_10, y_2_13, x_3_0
y_2_0, x_3_4
y_2_7, y_2_10, x_3_8
y_2_0, y_2_10, x_3_12
y_2_1, y_2_11, y_2_14, x_3_1
y_2_1, x_3_5
y_2_4, y_2_11, x_3_9
y_2_1, y_2_11, x_3_13
y_2_2, y_2_8, y_2_15, x_3_2
y_2_2, x_3_6
y_2_5, y_2_8, x_3_10
y_2_2, y_2_8, x_3_14
y_2_3, y_2_9, y_2_12, x_3_3
y_2_3, x_3_7
y_2_6, y_2_9, x_3_11
y_2_3, y_2_9, x_3_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_3_0
x_3_1
x_3_2
x_3_3
x_3_4
x_3_5
x_3_6
x_3_7
x_3_8
x_3_9
x_3_10
x_3_11
x_3_12
x_3_13
x_3_14
x_3_15
end