Buchholz - Osdorf

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

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

{"lg_-1":[7,1,7,15],"lg_-1_6":[1,0,5,6],"lg_627":[7,1,7,15],"lg_627_6":[1,null,5,6]}

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

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