{ "batch_order": [ 3, 1, 2, 0, 6, 5, 7, 9, 4, 11, 8, 10 ] }