level 0:
	SVO: 1
	DAG: 1
	difference: 0
	compression: 100.00%
	1: 0
	2: 0
	3: 0
	4: 0
	5: 0
	6: 0
	7: 0
	8: 1
	avg children: 8.00
level 1:
	SVO: 8
	DAG: 8
	difference: 0
	compression: 100.00%
	1: 0
	2: 2
	3: 3
	4: 3
	5: 0
	6: 0
	7: 0
	8: 0
	avg children: 3.12
level 2:
	SVO: 25
	DAG: 25
	difference: 0
	compression: 100.00%
	1: 3
	2: 8
	3: 3
	4: 11
	5: 0
	6: 0
	7: 0
	8: 0
	avg children: 2.88
level 3:
	SVO: 72
	DAG: 72
	difference: 0
	compression: 100.00%
	1: 7
	2: 17
	3: 10
	4: 31
	5: 1
	6: 5
	7: 0
	8: 1
	avg children: 3.31
level 4:
	SVO: 238
	DAG: 238
	difference: 0
	compression: 100.00%
	1: 26
	2: 30
	3: 25
	4: 95
	5: 15
	6: 17
	7: 15
	8: 15
	avg children: 3.96
level 5:
	SVO: 943
	DAG: 943
	difference: 0
	compression: 100.00%
	1: 105
	2: 136
	3: 67
	4: 352
	5: 57
	6: 101
	7: 63
	8: 62
	avg children: 4.04
level 6:
	SVO: 3814
	DAG: 3786
	difference: 28
	compression: 99.20%
	1: 332
	2: 472
	3: 276
	4: 1458
	5: 298
	6: 454
	7: 330
	8: 166
	avg children: 4.17
level 7:
	SVO: 15900
	DAG: 15661
	difference: 239
	compression: 98.40%
	1: 1283
	2: 1990
	3: 1081
	4: 6587
	5: 1051
	6: 1889
	7: 1171
	8: 609
	avg children: 4.12
level 8:
	SVO: 65457
	DAG: 63623
	difference: 1834
	compression: 97.10%
	1: 4706
	2: 7946
	3: 3960
	4: 27731
	5: 4405
	6: 8154
	7: 5037
	8: 1684
	avg children: 4.14
level 9:
	SVO: 270204
	DAG: 257941
	difference: 12263
	compression: 95.40%
	1: 18538
	2: 32851
	3: 16810
	4: 116243
	5: 16903
	6: 33696
	7: 18633
	8: 4267
	avg children: 4.07
level 10:
	SVO: 1097306
	DAG: 1007938
	difference: 89368
	compression: 91.80%
	1: 62660
	2: 130684
	3: 66184
	4: 463722
	5: 66647
	6: 137151
	7: 69725
	8: 11165
	avg children: 4.08
level 11:
	SVO: 4428249
	DAG: 3538993
	difference: 889256
	compression: 79.90%
	1: 140403
	2: 445381
	3: 238322
	4: 1673766
	5: 249854
	6: 531109
	7: 232255
	8: 27903
	avg children: 4.16
level 12:
	SVO: 17768556
	DAG: 7229258
	difference: 10539298
	compression: 40.60%
	1: 130370
	2: 807263
	3: 538631
	4: 3089970
	5: 655475
	6: 1444727
	7: 492142
	8: 70680
	avg children: 4.38
level 13:
	SVO: 71029810
	DAG: 5767465
	difference: 65262345
	compression: 8.10%
	1: 62362
	2: 424897
	3: 470806
	4: 1795027
	5: 815972
	6: 1635389
	7: 407439
	8: 155573
	avg children: 4.77
level 14:
	SVO: 282376135
	DAG: 1865887
	difference: 280510248
	compression: 0.60%
	1: 0
	2: 0
	3: 0
	4: 0
	5: 0
	6: 0
	7: 0
	8: 0
	avg children: -nan
total:
	SVO: 377056718
	DAG: 19751839
	difference: 357304879
	compression: 5.20%
	avg children: 4.44