Buchholz VS Osdorf

{"lg_-1":[4,3,3,10],"lg_-1_6":[3,1,2,6],"lg_627":[4,3,3,10],"lg_627_6":[3,1,2,6]}

{"lg_-1":[7,4,14,25],"lg_-1_6":[1,1,4,6],"lg_627":[7,4,14,25],"lg_627_6":[1,1,4,6]}

{"lg_-1":[5,4,17,26],"lg_-1_6":[2,1,3,6],"lg_627":[5,4,17,26],"lg_627_6":[2,1,3,6]}

{"lg_-1":[3,1,8,12],"lg_-1_6":[0,1,5,6],"lg_627":[3,1,8,12],"lg_627_6":[null,1,5,6]}

{"lg_-1":[2,2,9,13],"lg_-1_6":[0,2,4,6],"lg_627":[2,2,9,13],"lg_627_6":[null,2,4,6]}