strict digraph G { 1 [ color="black" label="(4, [2, 3], [50, 85, 100, 100], -2)" ]; 2 [ color="black" label="(5, [], [50, 85, 90, 25], 1)" ]; 3 [ color="black" label="(2, [0, 1, 2, 3], [100, 100, 100, 100], 0)" ]; 4 [ color="black" label="(6, [1, 3], [50, 100, 90, 100], 0)" ]; 5 [ color="black" label="(3, [0, 1], [100, 100, 90, 25], 3)" ]; 6 [ color="black" label="(3, [0, 1, 2], [100, 100, 100, 25], 2)" ]; 7 [ color="black" label="(5, [2], [50, 20, 100, 25], 3)" ]; 8 [ color="black" label="(6, [1, 2, 3], [50, 100, 100, 100], -1)" ]; 9 [ color="black" label="(6, [0, 1], [100, 100, 5, 25], 4)" ]; 10 [ color="black" label="(4, [3], [50, 85, 90, 100], -1)" ]; 11 [ color="black" label="(5, [0, 1, 3], [100, 100, 90, 100], 1)" ]; 12 [ color="black" label="(6, [1], [50, 100, 5, 25], 3)" ]; 13 [ color="black" label="(6, [0, 3], [100, 20, 5, 100], 4)" ]; 14 [ color="black" label="(6, [0, 1], [100, 100, 90, 25], 3)" ]; 15 [ color="black" label="(4, [0, 3], [100, 85, 90, 100], 0)" ]; 16 [ color="black" label="(6, [3], [50, 20, 5, 100], 3)" ]; 17 [ color="black" label="(6, [2], [50, 85, 100, 25], 0)" ]; 18 [ color="black" label="(3, [0, 1, 2, 3], [100, 100, 100, 100], 0)" ]; 19 [ color="black" label="(6, [3], [50, 85, 5, 100], 0)" ]; 20 [ color="black" label="(4, [], [50, 85, 90, 25], 1)" ]; 21 [ color="black" label="(4, [0, 1], [100, 100, 90, 25], 3)" ]; 22 [ color="black" label="(6, [0, 3], [100, 20, 90, 100], 3)" ]; 23 [ color="black" label="(6, [0, 1, 3], [100, 100, 5, 100], 2)" ]; 24 [ color="black" label="(4, [0, 2], [100, 85, 100, 25], 1)" ]; 25 [ color="black" label="(6, [1, 3], [50, 100, 5, 100], 1)" ]; 26 [ color="black" label="(4, [1], [50, 100, 90, 25], 2)" ]; 27 [ color="black" label="(5, [0], [100, 85, 90, 25], 2)" ]; 28 [ color="black" label="(4, [0, 1, 2], [100, 100, 100, 25], 2)" ]; 29 [ color="black" label="(4, [0, 2, 3], [100, 85, 100, 100], -1)" ]; 30 [ color="black" label="(3, [0, 2, 3], [100, 85, 100, 100], -1)" ]; 31 [ color="black" label="(6, [3], [50, 20, 90, 100], 2)" ]; 32 [ color="black" label="(7, [1], [50, 100, 5, 25], 3)" ]; 33 [ color="black" label="(4, [0], [100, 85, 90, 25], 2)" ]; 34 [ color="black" label="(6, [0, 3], [100, 85, 5, 100], 1)" ]; 35 [ color="black" label="(6, [0, 2, 3], [100, 20, 100, 100], 2)" ]; 36 [ color="black" label="(6, [0, 1, 3], [100, 100, 90, 100], 1)" ]; 37 [ color="black" label="(5, [0, 2], [100, 85, 100, 25], 1)" ]; 38 [ color="black" label="(6, [0, 1, 2, 3], [100, 100, 100, 100], 0)" ]; 39 [ color="black" label="(6, [0], [100, 20, 5, 25], 6)" ]; 40 [ color="black" label="(5, [2], [50, 85, 100, 25], 0)" ]; 41 [ color="black" label="(3, [0, 3], [100, 85, 90, 100], 0)" ]; 42 [ color="black" label="(2, [0, 1, 3], [100, 100, 90, 100], 1)" ]; 43 [ color="black" label="(4, [1, 2], [50, 100, 100, 25], 1)" ]; 44 [ color="black" label="(6, [2, 3], [50, 20, 100, 100], 1)" ]; 45 [ color="black" label="(0, [0, 1, 2, 3], [100, 100, 100, 100], 0)" ]; 46 [ color="black" label="(5, [0, 3], [100, 85, 90, 100], 0)" ]; 47 [ color="black" label="(5, [0, 3], [100, 20, 90, 100], 3)" ]; 48 [ color="black" label="(4, [1, 3], [50, 100, 90, 100], 0)" ]; 49 [ color="black" label="(3, [0, 2], [100, 85, 100, 25], 1)" ]; 50 [ color="black" label="(4, [0, 1, 2, 3], [100, 100, 100, 100], 0)" ]; 51 [ color="black" label="(4, [1, 2, 3], [50, 100, 100, 100], -1)" ]; 52 [ color="black" label="(6, [0], [100, 85, 5, 25], 3)" ]; 53 [ color="black" label="(6, [], [50, 20, 5, 25], 5)" ]; 54 [ color="black" label="(5, [1], [50, 100, 90, 25], 2)" ]; 55 [ color="black" label="(1, [0, 1, 2], [100, 100, 100, 25], 2)" ]; 56 [ color="black" label="(6, [0], [100, 85, 90, 25], 2)" ]; 57 [ color="black" label="(6, [0], [100, 20, 90, 25], 5)" ]; 58 [ color="black" label="(5, [0, 1, 2], [100, 100, 100, 25], 2)" ]; 59 [ color="black" label="(5, [0, 2, 3], [100, 85, 100, 100], -1)" ]; 60 [ color="black" label="(3, [0], [100, 85, 90, 25], 2)" ]; 61 [ color="black" label="(5, [1, 2], [50, 100, 100, 25], 1)" ]; 62 [ color="black" label="(3, [0, 1, 3], [100, 100, 90, 100], 1)" ]; 63 [ color="black" label="(5, [3], [50, 20, 90, 100], 2)" ]; 64 [ color="black" label="(5, [0, 2, 3], [100, 20, 100, 100], 2)" ]; 65 [ color="black" label="(6, [0, 2], [100, 85, 100, 25], 1)" ]; 66 [ color="black" label="(6, [], [50, 85, 90, 25], 1)" ]; 67 [ color="black" label="(6, [0, 2], [100, 20, 100, 25], 4)" ]; 68 [ color="black" label="(4, [2], [50, 85, 100, 25], 0)" ]; 69 [ color="black" label="(5, [2, 3], [50, 20, 100, 100], 1)" ]; 70 [ color="black" label="(7, [], [50, 85, 5, 25], 2)" ]; 71 [ color="black" label="(6, [], [50, 20, 90, 25], 4)" ]; 72 [ color="black" label="(1, [0, 1, 2, 3], [100, 100, 100, 100], 0)" ]; 73 [ color="black" label="(6, [0, 3], [100, 85, 90, 100], 0)" ]; 74 [ color="black" label="(5, [1, 3], [50, 100, 90, 100], 0)" ]; 75 [ color="black" label="(5, [2, 3], [50, 85, 100, 100], -2)" ]; 76 [ color="black" label="(6, [2], [50, 20, 100, 25], 3)" ]; 77 [ color="black" label="(2, [0, 1], [100, 100, 90, 25], 3)" ]; 78 [ color="black" label="(5, [0, 1, 2, 3], [100, 100, 100, 100], 0)" ]; 79 [ color="black" label="(2, [0, 1, 2], [100, 100, 100, 25], 2)" ]; 80 [ color="black" label="(5, [1, 2, 3], [50, 100, 100, 100], -1)" ]; 81 [ color="black" label="(6, [0, 2, 3], [100, 85, 100, 100], -1)" ]; 82 [ color="black" label="(6, [1], [50, 100, 90, 25], 2)" ]; 83 [ color="black" label="(6, [3], [50, 85, 90, 100], -1)" ]; 84 [ color="black" label="(6, [0, 1, 2], [100, 100, 100, 25], 2)" ]; 85 [ color="black" label="(4, [0, 1, 3], [100, 100, 90, 100], 1)" ]; 86 [ color="black" label="(5, [3], [50, 85, 90, 100], -1)" ]; 87 [ color="black" label="(6, [1, 2], [50, 100, 100, 25], 1)" ]; 88 [ color="black" label="(5, [0], [100, 20, 90, 25], 5)" ]; 89 [ color="black" label="(5, [0, 1], [100, 100, 90, 25], 3)" ]; 90 [ color="black" label="(5, [0, 2], [100, 20, 100, 25], 4)" ]; 91 [ color="black" label="(6, [2, 3], [50, 85, 100, 100], -2)" ]; 92 [ color="black" label="(6, [], [50, 85, 5, 25], 2)" ]; 93 [ color="black" label="(5, [], [50, 20, 90, 25], 4)" ]; 30 -> 1 [ label="1" ]; 20 -> 2 [ label="0" ]; 72 -> 3 [ label="0" ]; 74 -> 4 [ label="0" ]; 77 -> 5 [ label="0" ]; 79 -> 6 [ label="0" ]; 43 -> 7 [ label="1" ]; 80 -> 8 [ label="0" ]; 58 -> 9 [ label="1" ]; 41 -> 10 [ label="1" ]; 85 -> 11 [ label="0" ]; 61 -> 12 [ label="1" ]; 64 -> 13 [ label="1" ]; 89 -> 14 [ label="0" ]; 41 -> 15 [ label="0" ]; 69 -> 16 [ label="1" ]; 40 -> 17 [ label="0" ]; 3 -> 18 [ label="0" ]; 75 -> 19 [ label="1" ]; 60 -> 20 [ label="1" ]; 5 -> 21 [ label="0" ]; 47 -> 22 [ label="0" ]; 78 -> 23 [ label="1" ]; 49 -> 24 [ label="0" ]; 80 -> 25 [ label="1" ]; 5 -> 26 [ label="1" ]; 33 -> 27 [ label="0" ]; 6 -> 28 [ label="0" ]; 30 -> 29 [ label="0" ]; 3 -> 30 [ label="1" ]; 63 -> 31 [ label="0" ]; 12 -> 32 [ label="0" ]; 60 -> 33 [ label="0" ]; 59 -> 34 [ label="1" ]; 64 -> 35 [ label="0" ]; 11 -> 36 [ label="0" ]; 24 -> 37 [ label="0" ]; 78 -> 38 [ label="0" ]; 90 -> 39 [ label="1" ]; 68 -> 40 [ color="red" label="0" ]; 42 -> 41 [ label="1" ]; 72 -> 42 [ label="1" ]; 6 -> 43 [ label="1" ]; 69 -> 44 [ label="0" ]; 15 -> 46 [ label="0" ]; 85 -> 47 [ label="1" ]; 62 -> 48 [ label="1" ]; 79 -> 49 [ color="red" label="1" ]; 18 -> 50 [ label="0" ]; 18 -> 51 [ label="1" ]; 37 -> 52 [ label="1" ]; 7 -> 53 [ label="1" ]; 26 -> 54 [ label="0" ]; 45 -> 55 [ color="red" label="1" ]; 27 -> 56 [ label="0" ]; 88 -> 57 [ label="0" ]; 28 -> 58 [ label="0" ]; 29 -> 59 [ label="0" ]; 77 -> 60 [ label="1" ]; 43 -> 61 [ label="0" ]; 42 -> 62 [ label="0" ]; 48 -> 63 [ label="1" ]; 50 -> 64 [ label="1" ]; 37 -> 65 [ label="0" ]; 2 -> 66 [ label="0" ]; 90 -> 67 [ label="0" ]; 49 -> 68 [ color="red" label="1" ]; 51 -> 69 [ label="1" ]; 92 -> 70 [ color="red" label="0" ]; 93 -> 71 [ label="0" ]; 45 -> 72 [ label="0" ]; 46 -> 73 [ label="0" ]; 48 -> 74 [ label="0" ]; 1 -> 75 [ label="0" ]; 7 -> 76 [ label="0" ]; 55 -> 77 [ label="1" ]; 50 -> 78 [ label="0" ]; 55 -> 79 [ color="red" label="0" ]; 51 -> 80 [ label="0" ]; 59 -> 81 [ label="0" ]; 54 -> 82 [ label="0" ]; 86 -> 83 [ label="0" ]; 58 -> 84 [ label="0" ]; 62 -> 85 [ label="0" ]; 10 -> 86 [ label="0" ]; 61 -> 87 [ label="0" ]; 21 -> 88 [ label="1" ]; 21 -> 89 [ label="0" ]; 28 -> 90 [ label="1" ]; 75 -> 91 [ label="0" ]; 40 -> 92 [ color="red" label="1" ]; 26 -> 93 [ label="1" ]; }