0:0:0:0b:$0:-1:0:0b:$0:-2:0:0b:$0:-3:0:0b:$0:-4:0:0b:$0:-5:0:0b:$0:-6:0:0b:$0:-4:5:5b:$0:-4:6:5b:$0:-5:6:5b:$0:-5:5:5b:$0:-5:7:5b:$0:-5:8:5b:$0:-4:7:5b:$0:-4:8:5b:$0:-3:5:5b:$0:-4:9:5b:$0:-5:9:5b:$0:-5:10:5b:$0:-4:10:5b:$0:-4:11:5b:$0:-5:11:5b:$0:-5:12:5b:$0:-4:12:5b:$0:-4:13:5b:$0:-5:13:5b:$0:-4:14:5b:$0:-5:14:5b:$0:-4:15:5b:$0:-5:15:5b:$-1:0:0:0b:$-1:-1:0:0b:$-1:-2:0:0b:$-1:-3:0:0b:$-1:-4:0:0b:$-1:-5:0:0b:$-1:-6:0:0b:$-1:-4:2:8b:$-1:-4:3:8b:$-1:-4:4:8b:$-1:-4:5:8b:$-1:-5:5:5b:$-1:-4:6:5b:$-1:-5:6:5b:$-1:-4:8:5b:$-1:-5:8:5b:$-1:-3:5:5b:$-1:-4:9:5b:$-1:-5:9:5b:$-1:-4:12:5b:$-1:-5:12:5b:$-1:-4:10:0b:$-1:-4:11:0b:$-1:-4:16:5b:$-1:-5:16:5b:$-1:-4:15:15b:$-1:-4:14:15b:$-1:-4:13:15b:$-1:-4:7:13b:$-2:-2:0:0b:$-2:-1:0:0b:$-2:0:0:0b:$-2:-3:0:0b:$-2:-4:0:0b:$-2:-5:0:0b:$-2:-6:0:0b:$-2:-4:2:8b:$-2:-4:3:8b:$-2:-4:4:8b:$-2:-4:5:8b:$-2:-5:5:5b:$-2:-3:5:5b:$-2:-5:9:5b:$-2:-4:9:5b:$-2:-4:6:13b:$-2:-4:8:13b:$-2:-4:10:5b:$-2:-4:12:5b:$-2:-5:12:5b:$-2:-4:11:0b:$-2:-5:13:5b:$-2:-4:13:5b:$-2:-5:14:5b:$-2:-4:14:5b:$-2:-5:15:5b:$-2:-4:15:5b:$-2:-4:7:13b:$-2:-5:10:17b:$-2:-4:1:15b:$-3:-3:0:0b:$-3:0:0:0b:$-3:-1:0:0b:$-3:-2:0:0b:$-3:-4:0:0b:$-3:-5:0:0b:$-3:-6:0:0b:$-3:-4:2:8b:$-3:-4:3:8b:$-3:-4:4:8b:$-3:-4:5:8b:$-3:-5:5:5b:$-3:-5:4:5b:$-3:-3:5:5b:$-3:-4:9:5b:$-3:-5:9:5b:$-3:-4:12:5b:$-3:-5:12:5b:$-3:-4:11:0b:$-3:-4:10:0b:$-3:-4:13:5b:$-3:-5:13:5b:$-3:-4:8:13b:$-3:-4:7:13b:$-3:-4:6:14b:$-4:-4:0:0b:$-4:0:0:0b:$-4:-1:0:0b:$-4:-2:0:0b:$-4:-3:0:0b:$-4:-5:0:0b:$-4:-6:0:0b:$-4:-4:2:8b:$-4:-4:3:8b:$-4:-4:4:8b:$-4:-4:5:8b:$-4:-5:5:5b:$-4:-5:4:5b:$-4:-5:3:5b:$-4:-3:5:5b:$-4:-4:9:5b:$-4:-5:9:5b:$-4:-5:10:5b:$-4:-4:10:5b:$-4:-4:11:5b:$-4:-4:12:5b:$-4:-5:11:5b:$-4:-5:12:5b:$-4:-4:8:13b:$-4:-4:7:13b:$-4:-4:6:14b:$-5:0:0:0b:$-5:-1:0:0b:$-5:-2:0:0b:$-5:-3:0:0b:$-5:-4:0:0b:$-5:-5:0:0b:$-5:-6:0:0b:$-5:-4:3:8b:$-5:-4:2:8b:$-5:-4:4:8b:$-5:-4:5:8b:$-5:-5:5:5b:$-5:-5:4:5b:$-5:-5:3:5b:$-5:-3:5:5b:$-5:-4:9:5b:$-5:-5:9:5b:$-5:-5:10:5b:$-5:-4:10:5b:$-5:-4:11:5b:$-5:-5:11:5b:$-5:-4:12:5b:$-5:-5:12:5b:$-5:-4:8:13b:$-5:-4:7:13b:$-5:-4:6:14b:$-6:0:0:0b:$-6:-1:0:0b:$-6:-2:0:0b:$-6:-3:0:0b:$-6:-4:0:0b:$-6:-5:0:0b:$-6:-6:0:0b:$-6:-4:3:8b:$-6:-4:2:8b:$-6:-4:4:8b:$-6:-4:5:8b:$-6:-5:5:5b:$-6:-5:4:5b:$-6:-3:5:5b:$-6:-4:9:5b:$-6:-5:9:5b:$-6:-4:8:13b:$-6:-4:12:5b:$-6:-5:12:5b:$-6:-4:10:0b:$-6:-4:11:0b:$-6:-4:13:5b:$-6:-5:13:5b:$-6:-4:7:13b:$-6:-4:6:14b:$-7:0:0:0b:$-7:-1:0:0b:$-7:-2:0:0b:$-7:-3:0:0b:$-7:-4:0:0b:$-7:-5:0:0b:$-7:-6:0:0b:$-7:-4:3:8b:$-7:-4:2:8b:$-7:-4:4:8b:$-7:-4:5:8b:$-7:-5:5:5b:$-7:-3:5:5b:$-7:-4:9:5b:$-7:-5:9:5b:$-7:-4:6:13b:$-7:-4:8:13b:$-7:-4:10:5b:$-7:-4:12:5b:$-7:-5:12:5b:$-7:-4:11:0b:$-7:-5:13:5b:$-7:-4:13:5b:$-7:-4:14:5b:$-7:-5:14:5b:$-7:-4:15:5b:$-7:-5:15:5b:$-7:-4:7:13b:$-7:-5:10:17b:$-7:-4:1:15b:$-8:0:0:0b:$-8:-1:0:0b:$-8:-2:0:0b:$-8:-3:0:0b:$-8:-4:0:0b:$-8:-5:0:0b:$-8:-6:0:0b:$-8:-4:2:8b:$-8:-4:3:8b:$-8:-4:4:8b:$-8:-4:5:8b:$-8:-5:5:5b:$-8:-4:6:5b:$-8:-5:6:5b:$-8:-4:8:5b:$-8:-3:5:5b:$-8:-5:8:5b:$-8:-4:9:5b:$-8:-5:9:5b:$-8:-4:12:5b:$-8:-5:12:5b:$-8:-4:11:0b:$-8:-4:10:0b:$-8:-4:16:5b:$-8:-5:16:5b:$-8:-4:13:15b:$-8:-4:14:15b:$-8:-4:15:15b:$-8:-4:7:13b:$-9:0:0:0b:$-9:-1:0:0b:$-9:-2:0:0b:$-9:-4:0:0b:$-9:-3:0:0b:$-9:-5:0:0b:$-9:-6:0:0b:$-9:-5:6:5b:$-9:-5:5:5b:$-9:-4:5:5b:$-9:-4:6:5b:$-9:-4:7:5b:$-9:-4:8:5b:$-9:-3:5:5b:$-9:-5:7:5b:$-9:-5:8:5b:$-9:-4:9:5b:$-9:-5:9:5b:$-9:-5:10:5b:$-9:-4:10:5b:$-9:-4:11:5b:$-9:-5:11:5b:$-9:-4:12:5b:$-9:-5:12:5b:$-9:-5:13:5b:$-9:-4:13:5b:$-9:-4:14:5b:$-9:-5:14:5b:$-9:-4:15:5b:$-9:-5:15:5b:$1:-4:12:5b:$1:-5:12:5b:$1:-5:11:5b:$1:-4:11:5b:$1:-5:13:5b:$1:-4:13:5b:$2:-5:11:5b:$2:-4:12:5b:$2:-5:12:5b:$-10:-4:12:5b:$-10:-4:11:5b:$-10:-5:12:5b:$-10:-5:11:5b:$-10:-5:13:5b:$-10:-4:13:5b:$-11:-5:12:5b:$-11:-4:12:5b:$-11:-4:11:5b:$-11:-5:11:5b:$