digraph {
	graph [label="sampling search tree"]
	0 [label="['s1', 's2', 's1', 's2'], T0_init" peripheries=1 shape=circle]
	0 -> 1 [label=43.622776601683796]
	0 -> 3 [label=79.72049888814823]
	0 -> 7 [label=58.09772228646444]
	0 -> 12 [label=79.72049888814823]
	0 -> 52 [label=58.09772228646444]
	1 [label="['r2', 's2', 's1', 's2'], T0_init" peripheries=1 shape=circle]
	1 -> 2 [label=37.0]
	1 -> 4 [label=211.95155514432483]
	2 [label="['r3', 's2', 's1', 's2'], T0_S8" peripheries=1 shape=circle]
	2 -> 8 [label=162.00909316763236]
	2 -> 11 [label=52.0]
	2 -> 97 [label=254.7572941131769]
	3 [label="['r1', 'r2', 's1', 's2'], T0_init" peripheries=1 shape=circle]
	3 -> 6 [label=37.0]
	3 -> 9 [label=53.92582403567252]
	3 -> 13 [label=118.64632292382075]
	3 -> 35 [label=116.72049888814823]
	3 -> 42 [label=118.64632292382075]
	3 -> 44 [label=133.64632292382075]
	3 -> 85 [label=224.7717472676815]
	3 -> 117 [label=212.64632292382075]
	3 -> 121 [label=133.64632292382075]
	4 [label="['g2', 'r3', 's1', 'g2'], T0_S8" peripheries=1 shape=circle]
	4 -> 5 [label=62.0]
	4 -> 33 [label=51.05124837953327]
	4 -> 86 [label=352.95155514432486]
	5 [label="['g1', 'r1', 's1', 'g2'], T0_S48" peripheries=1 shape=circle]
	5 -> 37 [label=374.95155514432486]
	5 -> 47 [label=374.95155514432486]
	6 [label="['r1', 'r3', 's1', 's2'], T0_S20" peripheries=1 shape=circle]
	6 -> 10 [label=117.92582403567252]
	6 -> 14 [label=134.85164807134504]
	6 -> 15 [label=213.85164807134504]
	6 -> 18 [label=213.85164807134504]
	6 -> 36 [label=117.92582403567252]
	6 -> 83 [label=38.92582403567252]
	7 [label="['r1', 's2', 's1', 's2'], T0_init" peripheries=1 shape=circle]
	7 -> 41 [label=131.19544457292886]
	7 -> 78 [label=131.19544457292886]
	7 -> 92 [label=37.0]
	7 -> 130 [label=95.09772228646443]
	7 -> 133 [label=110.09772228646443]
	8 [label="['g2', 'r1', 's1', 'g2'], T0_S9" peripheries=1 shape=circle]
	9 [label="['g1', 'r1', 's1', 's2'], T0_S8" peripheries=1 shape=circle]
	9 -> 94 [label=101]
	10 [label="['r1', 'g2', 's1', 'g2'], T0_S22" peripheries=1 shape=circle]
	10 -> 21 [label=111.0]
	10 -> 23 [label=32.0]
	10 -> 24 [label=266.6463229238208]
	10 -> 27 [label=345.6463229238208]
	10 -> 39 [label=345.6463229238208]
	10 -> 57 [label=266.6463229238208]
	10 -> 65 [label=266.6463229238208]
	10 -> 74 [label=266.6463229238208]
	11 [label="['r1', 's2', 's1', 's2'], T0_S9" peripheries=1 shape=circle]
	11 -> 51 [label=130.05124837953326]
	11 -> 59 [label=130.05124837953326]
	11 -> 82 [label=38.92582403567252]
	12 [label="['r1', 'r2', 's1', 's2'], T0_init" peripheries=1 shape=circle]
	13 [label="['g1', 'r2', 's1', 's2'], T0_S20" peripheries=1 shape=circle]
	13 -> 17 [label=37.0]
	13 -> 31 [label=323.6463229238208]
	13 -> 43 [label=165.64632292382075]
	13 -> 61 [label=155.64632292382075]
	14 [label="['g1', 'g2', 's1', 'g2'], T0_S22" peripheries=1 shape=circle]
	15 [label="['g1', 'g2', 'g1', 'g2'], T0_S22" peripheries=1 shape=circle]
	15 -> 16 [label=22]
	15 -> 19 [label=22]
	15 -> 80 [label=22]
	15 -> 81 [label=22]
	15 -> 129 [label=22]
	16 [label="['g1', 'g2', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	17 [label="['g1', 'r3', 's1', 's2'], T1_S60" peripheries=1 shape=circle]
	18 [label="['g1', 'g2', 'g1', 'g2'], T0_S22" peripheries=1 shape=circle]
	19 [label="['g1', 'g2', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	20 [label="['g2', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	21 [label="['r1', 'g1', 'g1', 'g2'], T0_S50" peripheries=1 shape=circle]
	21 -> 22 [label=22]
	21 -> 28 [label=22]
	21 -> 40 [label=22]
	21 -> 45 [label=22]
	21 -> 46 [label=22]
	21 -> 49 [label=22]
	21 -> 50 [label=22]
	21 -> 63 [label=22]
	21 -> 64 [label=22]
	21 -> 76 [label=22]
	21 -> 77 [label=22]
	21 -> 98 [label=22]
	21 -> 99 [label=22]
	21 -> 107 [label=22]
	21 -> 108 [label=22]
	21 -> 110 [label=22]
	21 -> 111 [label=22]
	21 -> 112 [label=22]
	21 -> 113 [label=22]
	22 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	23 [label="['r1', 'g1', 's1', 'g2'], T0_S50" peripheries=1 shape=circle]
	24 [label="['r1', 'g1', 's1', 'g2'], T0_S50" peripheries=1 shape=circle]
	25 [label="['g2', 'r3', 'g1', 'g2'], T1_S63" peripheries=1 shape=circle]
	25 -> 26 [label=22]
	25 -> 29 [label=22]
	25 -> 30 [label=22]
	25 -> 32 [label=22]
	25 -> 53 [label=22]
	25 -> 54 [label=22]
	25 -> 66 [label=22]
	25 -> 67 [label=22]
	25 -> 69 [label=22]
	25 -> 88 [label=22]
	25 -> 89 [label=22]
	25 -> 90 [label=22]
	25 -> 91 [label=22]
	25 -> 96 [label=22]
	25 -> 100 [label=22]
	25 -> 101 [label=22]
	25 -> 119 [label=22]
	25 -> 120 [label=22]
	25 -> 123 [label=22]
	25 -> 124 [label=22]
	25 -> 125 [label=22]
	25 -> 126 [label=22]
	26 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	27 [label="['r1', 'g1', 'g1', 'g2'], T0_S50" peripheries=1 shape=circle]
	28 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	29 [label="['g2', 'r3', 'g1', 'g2'], T3_S80" peripheries=1 shape=circle]
	30 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	31 [label="['g2', 'r3', 'g1', 'g2'], T1_S60" peripheries=1 shape=circle]
	32 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	33 [label="['r1', 'r3', 's1', 'g2'], T0_S48" peripheries=1 shape=circle]
	34 [label="['g2', 'r3', 's1', 'g2'], T1_S63" peripheries=1 shape=circle]
	35 [label="['r1', 'r3', 's1', 's2'], T0_S20" peripheries=1 shape=circle]
	36 [label="['r1', 'g2', 's1', 'g2'], T0_S22" peripheries=1 shape=circle]
	37 [label="['g1', 'r1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	37 -> 38 [label=22]
	37 -> 48 [label=22]
	37 -> 87 [label=22]
	38 [label="['g1', 'r1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	39 [label="['r1', 'g1', 'g1', 'g2'], T0_S50" peripheries=1 shape=circle]
	40 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	41 [label="['r2', 'r3', 's1', 's2'], T0_S11" peripheries=1 shape=circle]
	42 [label="['g1', 'r2', 's1', 's2'], T0_S20" peripheries=1 shape=circle]
	43 [label="['g2', 'r3', 's1', 's2'], T1_S60" peripheries=1 shape=circle]
	43 -> 132 [label=101]
	43 -> 134 [label=101]
	44 [label="['g1', 'r3', 's1', 's2'], T0_S20" peripheries=1 shape=circle]
	44 -> 60 [label=22]
	44 -> 72 [label=117.92582403567252]
	44 -> 20 [label=244.64632292382075]
	44 -> 25 [label=323.6463229238208]
	44 -> 34 [label=244.64632292382075]
	44 -> 58 [label=244.64632292382075]
	44 -> 62 [label=234.64632292382075]
	44 -> 70 [label=165.64632292382075]
	44 -> 71 [label=165.64632292382075]
	44 -> 73 [label=234.64632292382075]
	44 -> 75 [label=244.64632292382075]
	44 -> 109 [label=38.92582403567252]
	44 -> 128 [label=330.57214695949324]
	44 -> 131 [label=244.64632292382075]
	45 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	46 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	47 [label="['g1', 'r1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	48 [label="['g1', 'r1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	49 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	50 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	51 [label="['g2', 's2', 's1', 'g2'], T0_S22" peripheries=1 shape=circle]
	51 -> 55 [label=111.0]
	52 [label="['r1', 's2', 's1', 's2'], T0_init" peripheries=1 shape=circle]
	53 [label="['g2', 'r3', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	54 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	55 [label="['g1', 's2', 'g1', 'g2'], T0_S50" peripheries=1 shape=circle]
	55 -> 56 [label=22]
	56 [label="['g1', 's2', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	57 [label="['r1', 'g1', 's1', 'g2'], T0_S50" peripheries=1 shape=circle]
	58 [label="['g2', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	59 [label="['g2', 's2', 's1', 'g2'], T0_S22" peripheries=1 shape=circle]
	60 [label="['g1', 'r3', 's1', 's2'], T0_S22" peripheries=1 shape=circle]
	61 [label="['g1', 'r3', 's1', 's2'], T1_S60" peripheries=1 shape=circle]
	62 [label="['g1', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	63 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	64 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	65 [label="['r1', 'g1', 's1', 'g2'], T0_S50" peripheries=1 shape=circle]
	66 [label="['g2', 'r3', 'g1', 'g2'], T3_S80" peripheries=1 shape=circle]
	67 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	68 [label="['g2', 'r3', 'g1', 'g2'], T1_S70" peripheries=1 shape=circle]
	69 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	70 [label="['g2', 'r3', 's1', 's2'], T1_S60" peripheries=1 shape=circle]
	71 [label="['g2', 'r3', 's1', 's2'], T1_S60" peripheries=1 shape=circle]
	72 [label="['g1', 'g2', 'g1', 's2'], T0_S22" peripheries=1 shape=circle]
	73 [label="['g1', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	74 [label="['r1', 'g1', 's1', 'g2'], T0_S50" peripheries=1 shape=circle]
	75 [label="['g2', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	76 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	77 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	78 [label="['r2', 'r3', 's1', 's2'], T0_S11" peripheries=1 shape=circle]
	79 [label="['g2', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	80 [label="['g1', 'g2', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	81 [label="['g1', 'g2', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	82 [label="['g1', 's2', 's1', 's2'], T0_S22" peripheries=1 shape=circle]
	83 [label="['r1', 'g2', 's1', 's2'], T0_S22" peripheries=1 shape=circle]
	84 [label="['g2', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	85 [label="['g2', 'r3', 's1', 'g2'], T0_S20" peripheries=1 shape=circle]
	85 -> 118 [label=32.0]
	86 [label="['g1', 'r1', 'g1', 'g2'], T0_S48" peripheries=1 shape=circle]
	87 [label="['g1', 'r1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	88 [label="['g2', 'r3', 'g1', 'g2'], T3_S80" peripheries=1 shape=circle]
	89 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	90 [label="['g2', 'r3', 'g1', 'g2'], T3_S80" peripheries=1 shape=circle]
	91 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	92 [label="['r2', 's2', 's1', 's2'], T0_S11" peripheries=1 shape=circle]
	92 -> 122 [label=148.32877854264103]
	93 [label="['g2', 'r3', 'g1', 's2'], T1_S70" peripheries=1 shape=circle]
	94 [label="['g1', 'r1', 'g1', 's2'], T1_S60" peripheries=1 shape=circle]
	94 -> 103 [label=51.05124837953327]
	95 [label="['g2', 'r3', 'g1', 'g2'], T1_S63" peripheries=1 shape=circle]
	96 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	97 [label="['g1', 'r1', 'g1', 's2'], T0_S9" peripheries=1 shape=circle]
	98 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	99 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	100 [label="['g2', 'r3', 'g1', 'g2'], T3_S80" peripheries=1 shape=circle]
	101 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	102 [label="['g1', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	103 [label="['r3', 'r1', 'g1', 's2'], T1_S69" peripheries=1 shape=circle]
	104 [label="['g2', 'r3', 'g1', 's2'], T1_S70" peripheries=1 shape=circle]
	105 [label="['g2', 'r1', 'g1', 'g2'], T1_S70" peripheries=1 shape=circle]
	105 -> 106 [label=22]
	106 [label="['g2', 'r1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	107 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	108 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	109 [label="['g1', 'g2', 's1', 's2'], T0_S22" peripheries=1 shape=circle]
	110 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	111 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	112 [label="['r1', 'g1', 'g1', 'g2'], T2_S78" peripheries=1 shape=circle]
	113 [label="['r1', 'g1', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	114 [label="['g2', 'r3', 'g1', 's2'], T1_S63" peripheries=1 shape=circle]
	115 [label="['g2', 's2', 'g1', 'g2'], T1_S63" peripheries=1 shape=circle]
	115 -> 116 [label=22]
	116 [label="['g2', 's2', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	117 [label="['g1', 'r3', 'g1', 's2'], T0_S20" peripheries=1 shape=circle]
	117 -> 68 [label=323.6463229238208]
	117 -> 79 [label=244.64632292382075]
	117 -> 84 [label=244.64632292382075]
	117 -> 93 [label=244.64632292382075]
	117 -> 95 [label=323.6463229238208]
	117 -> 102 [label=234.64632292382075]
	117 -> 104 [label=244.64632292382075]
	117 -> 105 [label=353.6463229238208]
	117 -> 114 [label=244.64632292382075]
	117 -> 115 [label=359.7440452102852]
	117 -> 127 [label=244.64632292382075]
	118 [label="['g1', 'r3', 's1', 'g2'], T0_S50" peripheries=1 shape=circle]
	119 [label="['g2', 'r3', 'g1', 'g2'], T3_S80" peripheries=1 shape=circle]
	120 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	121 [label="['g1', 'r3', 's1', 's2'], T0_S20" peripheries=1 shape=circle]
	122 [label="['g1', 's2', 's1', 's2'], T0_S20" peripheries=1 shape=circle]
	123 [label="['g2', 'r3', 'g1', 'g2'], T2_S76" peripheries=1 shape=circle]
	124 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	125 [label="['g2', 'r3', 'g1', 'g2'], T3_S80" peripheries=1 shape=circle]
	126 [label="['g2', 'r3', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	127 [label="['g2', 'r3', 'g1', 's2'], T1_S70" peripheries=1 shape=circle]
	128 [label="['g1', 'g2', 'g1', 'g2'], T0_S22" peripheries=1 shape=circle]
	129 [label="['g1', 'g2', 'g1', 'g2'], accept_all" peripheries=2 shape=circle]
	130 [label="['r2', 's2', 's1', 's2'], T0_S11" peripheries=1 shape=circle]
	131 [label="['g2', 'r3', 's1', 'g2'], T1_S63" peripheries=1 shape=circle]
	132 [label="['g2', 'r3', 's1', 'g2'], T1_S63" peripheries=1 shape=circle]
	133 [label="['r3', 's2', 's1', 's2'], T0_S11" peripheries=1 shape=circle]
	134 [label="['g2', 'r3', 's1', 'g2'], T1_S63" peripheries=1 shape=circle]
}