UNFOLD [ 812 [ 307 [ 4 [] [ 109 [ 100 [ 13 [ 12 [ 8 [] [] ] [] ] [ 75 [ 45 [ 16 [] [ 38 [] [ 41 [] [] ] ] ] [ 61 [ 50 [] [ 59 [] [] ] ] [ 69 [] [] ] ] ] [ 96 [ 82 [] [] ] [] ] ] ] [] ] [ 229 [ 111 [] [ 152 [ 137 [ 123 [] [] ] [ 139 [] [ 144 [] [] ] ] ] [ 192 [ 168 [] [] ] [ 212 [] [] ] ] ] ] [ 285 [ 274 [ 247 [ 244 [ 234 [] [] ] [] ] [ 269 [ 267 [ 261 [] [] ] [] ] [] ] ] [ 284 [] [] ] ] [] ] ] ] ] [ 527 [ 392 [ 366 [ 354 [ 313 [] [ 321 [] [ 322 [] [ 323 [] [] ] ] ] ] [] ] [ 371 [] [] ] ] [ 432 [ 414 [ 396 [] [ 397 [] [] ] ] [] ] [ 438 [ 434 [] [] ] [ 477 [ 466 [ 444 [] [] ] [] ] [ 522 [ 499 [ 482 [] [] ] [ 518 [ 506 [] [] ] [] ] ] [ 524 [] [] ] ] ] ] ] ] [ 604 [ 529 [] [ 561 [ 543 [] [] ] [ 596 [ 573 [ 572 [] [] ] [ 588 [] [] ] ] [] ] ] ] [ 635 [ 628 [] [] ] [ 810 [ 663 [] [ 697 [ 673 [] [ 683 [] [] ] ] [ 720 [ 708 [ 705 [] [] ] [] ] [ 748 [ 723 [] [ 726 [] [] ] ] [ 792 [] [] ] ] ] ] ] [] ] ] ] ] ] [ 832 [ 813 [] [] ] [ 921 [ 869 [ 863 [ 835 [] [] ] [] ] [ 888 [] [ 916 [ 900 [] [ 915 [] [] ] ] [] ] ] ] [ 988 [ 927 [] [ 935 [] [ 964 [ 960 [] [] ] [] ] ] ] [] ] ] ] ]
PRINT_BREADTH_FIRST
