407: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 440: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 446: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 447: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 455: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 767: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1015: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1025: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1069: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1315: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1712: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1879: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1896: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2476: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2511: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2567: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2857: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2863: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 3328: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 3867: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 3877: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]]