[[0, ["start", 93], 880, 200, [null, 7]],
[1, "forward", 916, 288, [7, 2, 3]],
[2, ["number", 200], 987, 288, [1, null]],
[3, "back", 916, 330, [1, 4, 5]],
[4, ["number", 200], 974, 330, [3, null]],
[5, "right", 916, 372, [3, 6, 10]],
[6, ["number", 10], 974, 372, [5, null]],
[7, ["repeat", 63], 898, 246, [0, 8, 1, null]],
[8, ["number", 36], 957, 246, [7, null]],
[9, "heading", 993, 414, [10, null]],
[10, "setcolor", 916, 414, [5, 9, null]]]