156: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 158: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 159: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 274: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 308: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 948: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 971: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 981: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 995: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1025: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1052: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1079: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1363: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1395: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1540: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1690: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1726: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1924: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 1925: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2076: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2080: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]] 2129: 13 [[0,[]],[0,[]],[9,[2]],[0,[]]]