diff options
author | Oscar Najera <hi@oscarnajera.com> | 2022-12-13 13:59:03 +0100 |
---|---|---|
committer | Oscar Najera <hi@oscarnajera.com> | 2022-12-13 13:59:03 +0100 |
commit | 1ca84c3abd40e81b4165b34ec0ca0a2ae317154c (patch) | |
tree | 36d5b4b6ca634b4c4fce93249c880070368b44be | |
parent | 07f009aef0270675ebdb2b2f7667515c8e6fbe14 (diff) | |
download | scratch-1ca84c3abd40e81b4165b34ec0ca0a2ae317154c.tar.gz scratch-1ca84c3abd40e81b4165b34ec0ca0a2ae317154c.tar.bz2 scratch-1ca84c3abd40e81b4165b34ec0ca0a2ae317154c.zip |
[AoC2022] Elisp 13
-rw-r--r-- | AoC2022/13/eg-in | 23 | ||||
-rw-r--r-- | AoC2022/13/input | 449 | ||||
-rw-r--r-- | AoC2022/13/solver.el | 55 |
3 files changed, 527 insertions, 0 deletions
diff --git a/AoC2022/13/eg-in b/AoC2022/13/eg-in new file mode 100644 index 0000000..af73fbb --- /dev/null +++ b/AoC2022/13/eg-in @@ -0,0 +1,23 @@ +[1,1,3,1,1] +[1,1,5,1,1] + +[[1],[2,3,4]] +[[1],4] + +[9] +[[8,7,6]] + +[[4,4],4,4] +[[4,4],4,4,4] + +[7,7,7,7] +[7,7,7] + +[] +[3] + +[[[]]] +[[]] + +[1,[2,[3,[4,[5,6,7]]]],8,9] +[1,[2,[3,[4,[5,6,0]]]],8,9] diff --git a/AoC2022/13/input b/AoC2022/13/input new file mode 100644 index 0000000..4553b5e --- /dev/null +++ b/AoC2022/13/input @@ -0,0 +1,449 @@ +[[[],[3,[],4,[2,1,3]],8,7],[0,7,[[5,2,1,0],5],9],[10,[[],4,[7,2],2,8],[[2,1,0,5]],[[7,2],0,[],[3,5,1],5]],[0,10,2]] +[[],[3,[[6,3],[2],[8,3]],[[1,6],[3,9,1],[]]]] + +[[3,2,4],[1,[2,3,[5,1,8],7,9]],[[4,[]]]] +[[[[],[],6],3]] + +[[[[],[6,7,8,0,5],1,8,3],7,4],[[9,10,2,9,5],5],[10,[3],[[],[9],1,3]]] +[[7,[0,[1,2,7,0],3,[10,4,10]],[[10,1,8,5],5,0,[3,8,4,0],[4,9]],9,7],[[[9,2,3,9,0],5,[8]]],[[7,[7,9],[4],[0,4,5,2,10],[0,6,3,0]]],[5,[],[9]],[10,3,8]] + +[[[[7,7],[],10,[0,8]]],[7,[[],2]],[3,10,[[1,0,10,7],[6,10,5,2],[8],5],[[]]]] +[[[],[[4],9],9,[[3,1,7,9,3],[2,5,4,3,9],[7,5],[],[4,0,1,2,4]]],[[2,6],9,2],[],[[5,2,4],3,[2,9,9]]] + +[[[5],[[0],[0,7,0,6,5],[2],[4,3,5,8]],1]] +[[8]] + +[[[]],[[7],2,6],[[1,10],10],[[],[],[[10,2,4,7,9],0,[2,7]],8,1]] +[[2],[4,9,3,7]] + +[[[[3],[],[],[1,0,4,0,2],0],[10],4,[10,[7,3,4],0,[10,5,6,2],0],7],[6,[4,5,[2],1]]] +[[],[9],[[0,[],0,[6,3,1,0],[9]],[3,[10,9,5],3]],[]] + +[[[4,9,[1],0,8],[[0,1,10,2,0],10,[6,3,3,9,4],[],4],4],[2,7],[[[6,10],[1,6,8,1],[4,1,5]],3,[2],[[5],8],7]] +[[4],[[[6],[],2,9,[8,6,1]],10],[2,[2,[5,6,2,0,7],[8,3,9,2],0,[1]]]] + +[[],[[[2,7,3,4,5],3,[0,8,5,5],[3],[6,2,3]]],[[[],[10,0],[2,0,0,5],[4,4,9,1],[9,4]],7]] +[[5,1],[10],[[[4,6,7],10,[8,0,10,6]],[]],[2],[[[1,10,0,9],9,[10,0,7,10,10]],[4]]] + +[[2],[7,[],[3,[],5,[4]],9],[[],6,[8,[4,8,3]]],[5,10,[[6,7,10,2,6],10,0,[8,2],[1,7,9,3,8]]],[0,5,10,3]] +[[9,[],[],[0],[1]],[[],[[1,0,4,10],7,[8,4,5]],5],[[],[[4,0,7,2,4]]],[[[8],10,1,2,[]]]] + +[[[],[],[3]],[4,5,7,1,[[9,6,1],5]]] +[[0,[[3]]],[[[5,2,0,9,0],6,[]],2,0,[[8,7,2],0,[0,2,1,1]]]] + +[[3,[[]],[3,5],[[0,10,10],[]],5],[[10,2,6,1,5],6],[]] +[[[[4,5,6],5,2,3],[[2],[9,6,8,4,8],[5,8,6,3,2],8],9,[6]],[[2,[7,9,0,9]],[8,[10,4,8],6,[7,10],3],[[1,0,5,1,8],6]],[9,4],[[5,10,[3,9,2]],[],7,[],5],[2,6]] + +[[5,9],[5,[],[0,1,[0,7,7],[10,3]],8]] +[[[],[[10,5,2],[]],[10,[6,6]],[1,[1,3,3],[2],6]],[8,1,[3,7,[8,8,1]],[[8,10,10,3],0]],[[[4,6,9],0,[],7,[9]],9,[[6,4],[5],5,2,[2,5,10,1,9]],5,[[2,3,10,7],[9,6,10],[2],[3,4,3],8]],[[2,7,5,3],6,[10,[10,7],9,9],4,2]] + +[4,3,8,9,8] +[4,3,8,9] + +[[2,6,1,7],[4,[],3,9,4]] +[[],[[9],[[3,0,7,10],7],[8,3]],[0,[[7,10,8,9,5],[7,6],[6,8,9,10,2],[7]],0,[[4]],[1,4,4]],[],[[9,2,[1,9,9,3],[9]],3,3]] + +[[[3,6,[],5,10],6,8,[0,[1,7],6,5,6]],[]] +[[3,9,8,9],[7,[0,[1,7,9,6,5],0,[6,5,2,1,5],1],[[4,2,8],10,[4,8]],[[10,10],9,[5,4],5,1],8],[],[10,[]]] + +[[7,10,[6,5,0]],[[7,2],[[7,0],4,7,[]],[[9],5,[10,0,6,10,10]],[6],1],[[[3],[]],1]] +[[[],[[0,7,9,6,10],[4],2,8],[7],3],[[[],8,5,[9,6,8,9,7]]],[4,10,[7],1,5],[],[0,7,[4],[7,[9,3],6,7]]] + +[[[0,0,10,3,0],[[10,6,10,9],[],6,2],2,[],3],[[],4,[4,4],[10,10,[6,3],3,8],7],[[[],1,3,[]],[9,3,[8,6,8,7,5],2]]] +[[[8,10,4]]] + +[[[[10,8,7],[7],0,2,4],8,8,6,[[0,3,3,2,3]]],[2,[6,[0]],[[]],8,[[],8,[5,0,1],[6,6,6,10],[2,0,10,1]]],[9,4,4,[],[[10,1],[5,8,1,5,8],8,10]],[[1,2,[8,1],6,6],[3,8,7,[4,4,10],10],[],9,[4,5,[3]]],[3]] +[[],[[[7,0,2],[],[6,1,8,4],[10],[]],10,8],[[[7,7],1,4,[8,2,1,4],4],[1,[2],10],9,1,4]] + +[[10,[0,7,[],3,[1,6]],[[2,4,5,4]],[]],[],[6,6,[[2,6,7],7,[5],[8,4,10,4,8],[0]],[10],[]],[[[],[6,0,9,10,2],8,[0]]]] +[[[6]],[[3],[[]],[[0,6,8,9,5],[7,9,10,2]]],[],[[[1],[9],5],9,[[],[0],5,1,[5,0]],5]] + +[[[6,[0],[2,7,4]],8,1,[]]] +[[4],[[[5],[10,2,1,8,9],5,[4,0,2,9,9]],0,[8,[7,2,0,1,0],[0,6],8,[7,2]],8]] + +[] +[[[[4,4],[5],[8]],8,8],[10,[[7,7,5,0],9,4],[],[6,4]]] + +[[[4,[]],[[9,8,2,2,3]],2,[]]] +[[],[2,1,[[3,7,4],4,[2],2,[]]],[7],[[0,[7,2,6],[2,5],1,[8,4,10]],[[6,6,8,1],7,[],1,0],[10],10,[0,[9],6]]] + +[[6,7,[5,[8,4,6]],10,10],[7],[8,[[8,8,6,10,6],[5,8,4]],[1]],[4,2,[1,[0,3,1,7],[9,1,4,2],[],[4,6,4]],4],[[0,4,2,[10,1,1,9],[8,5]]]] +[[],[[[],10,9,[10,8,5,3],[9,7]],3],[[3,10,6],[4],10,10,7],[1,[10,[1,2,9,8],0,10],[[4,9,6,10]],2],[0]] + +[[],[[],[[8,5,5,8,5],[4,9,1,10,7],[1,5,7],[10,6,5,6],2],[[1,5,6,7,10],[6],4],[[4,3,5],2,7,6,[4,0]],5],[[2,8,6,[8,10],[1,10,10]],[3,[8,9,6,8],8,[0,0,7,9]],[[9,5,6,0],[2],[8,6,4,6,6],[]]],[2,[[]],[[],8],4]] +[[5,8,[0,9,0,7,[0,8]],[7,[7,7],[9,4,7,6,7],[8,0]],[[5],[10,1,2,5,4],[],[1,2]]],[8,7],[3,[[2],8,0,5],9,[]],[8,0,4,5],[[]]] + +[[[3,1,[5,5,2,3,1]],[[],[1,1,3,1,0],3,[10,9,4]],0,7],[[[2,2,4,1,10],[],9,2,[6]],7,[[2],3,[4,5,0,3]]]] +[[],[2],[]] + +[[10,[4],[3,[5],1],3,6],[[7],[[6]],[[2,0,2],[],[0,5],[4,7,2]],1,10],[[],[5,0,0],5,7],[6,[[9,2,0]],[]]] +[[[6,3,[8]],0,2,1,[3,[3,10,10],[7,3,3,6]]],[[[6,1,9,10],[6,6,4,5,9],[9,0,2,2,3],7,1],2,[]],[],[],[[2,[10,9,5,10,1],9,9],[3,6,5,7],10]] + +[[[6,[3],[8,6]],7,[7,[2],6,[6,6,1,0,6]],4],[],[[[5,0,3,5],1,1,[9,4,10,5,1],[1,9,5,3,8]],[[10,1,2,8]]],[8,[],[[3,2,0,2],10],1],[]] +[[[7,[],9,3],[1,[10,7,0,2],1],8,3],[10,7,[4,10,9,[2]]]] + +[[7,7,1]] +[[6,[5,[8],7,9,[9,3,2]],[9,10]],[[1,5,[5,6,8,7]],[]],[],[[7,6,7],7,[]],[[[8,2,9],[10,9,3,6],[0,1,2,4,1],4,[4]]]] + +[[0],[[9,3,3],5],[[[4,0,2,8,3],10,1]]] +[[[[10],[8]],1],[1],[5,[[10,2,6,9],[0,10,9],0]]] + +[[4],[[8,5,10,[8,8,7]],4,[],[7],9]] +[[[[7,6,0,5,6],[],[],[3],8],[3]]] + +[[[3]],[3,[4,[4,10,5,0],7,2,[8,5,6]],[4,[1,3,10,2],[9,8,3,10,6],[2],2],[],[[0,4],2,1]],[7,[],[[3],[10,10,1],5],[[],[5,2,1,8,8],[7,0,6]],[6,[3,1,2,6],2]],[],[[[2,9,6],[1],[3],[]],6,[[9],[1,3,0,4],[2,9,10,6,3]],3,1]] +[[[[],6],[],[[4]],[]],[1,7]] + +[[[],[[3]],[],8]] +[[4,[7,4,[0,1],2],5,2],[[],[7,2,[6,5,1],4,[1,2,10,5]]],[[0,[2],1,[]],9]] + +[[[2],[[9,5,9,10,1],1],[],[3,[]],7],[],[1],[]] +[[0,7,[[0,6],[6,6,0,4],[10,4,6],[9,3,3,2,10],7],5,4],[],[[[7,9]],[8],[7,[],[3,3,2,7]]],[[],4,3]] + +[[],[],[3,1],[10,5,1,3],[[4,9,3,[7,7,8],[9,4,2]],3,[4,0,8,[]]]] +[[7,[[8,2,4],7,[10,9],[]]],[[],[[1,3],5,[6,7],[6],10],9],[],[[],5,4,[[1,8,6,3,3],1,4,6,8]]] + +[[3,[]]] +[[[6,[],[]],[6],[9,[1,6],7],[[5,6,5],[5,3,2,8,8]],[4,0,[]]],[[],[2,[6,3,9],2,4],6],[3,[],[4,4,[1,6,2,2,2],[7,10,1,9],[9,10,4,2]]],[[[5],[9,7],[],3]]] + +[[[1,7,[10,8,8,4,2]]],[5,[[5,3,8]]],[0,6,10],[[2],2],[[],2,0]] +[[[[],[0,5],[4,2],0],4,8,0,3],[[2]]] + +[[[],[]],[7,6,7,[0,4,5,[9,2,7,4,7]],7],[0,0],[]] +[[[9,0,[0,2]],[[7,10,1,0],5],4],[[3,[4,1,5,3]],7],[[[8,0,10],4,[10,3],[1,0,10,3,1],5],5,[7,9,[10,8],8,6],[5]],[[[6,0,9,0,7],4],8,[],[9,[2],6,1],1]] + +[[],[],[10,3,[6,[3,3],[6],[0]]]] +[[8,6,4],[[3,[10,5,0,2],[2,9,6]],4],[2,0,[[7,0,5,6,0],10,8,3],[0,10,1,[3,7]],9]] + +[[2,[6,[],8]],[[5,3,[]],[10,7,[0,0,0],[3,10],1],[[1,3,5,4],[2,10,2,7],0,6]],[[10,[4,9,6]],7,6,[]],[[10],[8,[],4],[[8,1,5,0,4],2,3],[1]],[5,5,[]]] +[[[],[[7,4,4]],0],[3],[[[8],0,1,7],[[8,6,0],8,[6,4,0],[9,4],3],5],[2,9,[],1,[[0,6,8,1],10,[]]]] + +[[],[[[]]],[[],1,[10,0],[[],10,[]],5]] +[[10,9,[[],7,[],2,[1,1]],[],[[9,3,3,9]]],[],[],[3,9,[]]] + +[[[9,[6,7]],[[5,6,4,2],0,3,0,6]]] +[[8,2,0],[9,5,10,0],[[9,5,[5]],9,2,[[9,5],10,8,[9,2,8,9,9],[]],5],[5,8,[8,5]],[[[8,9,6,9],[0,4,7,9,9]],[5,[10],4,10],[2,1],7,[4,7,[7,6],10,[4,5,9,0,7]]]] + +[[[[],3],6,[[9],[3,7,3,1],[5],[6,6,4]],9,0],[1,0,[9,7],2,[[],[0,1,1],2,[],2]],[[3,3,[10]],[[7,2,5,9,7],[1,0,7],4,8],3,7,10],[[[9,1,4,1,5],0],4,9,[6,0],[]]] +[[0,[5],2,[1,[1,9,4,10,9],1,[10,4,8],[10,3]]]] + +[[3,6,4,[6,[1,3,7,9,5]]],[[[]],[],[[]]]] +[[[5,[3,10,1,2,5]]],[4,[4],2,[4]]] + +[[3,[],8]] +[[],[[[10,0,8,8,10],[3]],0,[[0,7,6],[8,7,0,9,4],10]]] + +[[[8,5,[],6],9,[9,5,9,[]],6,[]]] +[[4,10,[],6,10],[[5,3,[3,7,10,3,5]],[9,0],3]] + +[[[[9,2,5,7,8],6,2,1,[]],[[2,6,7,4],[]],[3,8,[8,2,0,2],[6,6,10,4],[2,4,0,3,8]],8,[4,[0],[7,3]]],[[0,[4],[10,6,10,8,8],[3,10],[1]],[],[8,[6,4,9],[],2,[10,6,0,8]],6,[3,3,5,[5,5,5,1]]],[],[[9,[0,3,10]],[7,8],0]] +[[0,3],[[[3,3,4,2,2]],[],4],[[7,[5,5,2,3,10],8],9,3,[]]] + +[[1,8,4,[9],[4,[9,0,9],3]]] +[[6,3,[[0,2,4,7],0,[1,8,0]],0],[[[],[7,9],[7],[9,5],[8,4]],[4,[3,10,4,6,0],9]],[[[8]],[],[]]] + +[[[6,[3],[8,2,6,6,6],3,[7]],[10,[6,7,3,3],9,7,6]],[[10,2,10,9,[8,2]],[],[6,[1],10]],[[],3,7]] +[[[8,3,[4,7,1,0,1],[9,4,1,6],9],[9,8,[0,1,7,4,2]],[2,9,[8,2]],8,[[8,8,2,0],[]]]] + +[[8,[],[[5,3,0,0],[9,8],7],0]] +[[1,1,[[],[5,10,0,2,7],[4,6,1,7,4]],5,7],[[[]],1,6],[[[],10,[10,5,8,5,3],[7,1],1],[9],10,[[7,7,3],10,8,[0,3,4]]],[7,10],[5]] + +[[[2,1],7,4,[7,7,5,6,[10,1,2,9,8]],[1,[],[9,1,6,5,4],[2,5,2,6]]],[1,[[],[4],[0],0],9,[[1],[5,10,3],[2]],[]],[5,[[1,3,8,1]]],[2,1,4],[[4,[],4,3,[3,10]],8]] +[[],[9],[1],[10]] + +[[[1,[10,6]],2,3,10],[5,[9,10,6,9],7],[[[],[10],[1,1,9,9,3],7],7,[5,10,1],6],[]] +[[],[9,8],[6,10,8]] + +[[[[1,6,7,6],[7,5]],[[],8,0,1,[9,4,2]],[10,[9,6,1,3,6],5],0,8]] +[[3,5,[[],[9,2,8,5],1,[]],0,[]],[9,[[10,6,2,6,7],[],[10],3,[10,0]]],[7],[6,0,7,[]]] + +[[7,[4,3,6],10,[7,3,[2,3,2,6],[5,6,1,2,4],6],[[7,0,3]]],[[[6,3,10,6,6],[2,6,3],[0,0]],[[]]],[],[]] +[[5,[[7,7,1,3],[],2],[[0,8,6,6,2],[0,7],0],2]] + +[[6,9]] +[[[3,3,[5,3,5]],2]] + +[[3,[[5]]],[[[],[0,4,6,3]],[4,2,7,[3,4,8]],1],[[[],[7,4],[9],7,4],7,3],[],[2,5,[[0,8],[3,6],10],1,[]]] +[[7,[[1,0,9],[8,8,9,2,9],3]],[5,8,2,[9,[10,3,7,6]]],[0,[[1,4,8,1,9]],[8,6,[9,10,7,6],[9,8,6,10]],2,[6,4,[4,2,2,1,9]]],[10,[[6],10,[3,1,9],10],4]] + +[[[],[4,[0,4,7,3],[2]]],[[6,[10,9],6,1]],[2],[8,[[],1],[4,[3,4],2,[8]],8,9],[2,[[],[2],[4],[6,5,3,1,6],2],[8]]] +[[4,7]] + +[[3,[],[[10,10,10,0,6],[0,2,6,3],8,9],[[],[1,6],2,[9,5,7]],[4]],[[[9,6,5,7],0,[3,10]],4]] +[[[5,[],[],[1,9,0,4,0]],6,7],[[[],10,[],[9,2,4]]]] + +[[[],6,[[]],1],[3,7,[5,2,[3],8],[[4,6,10,2,7],[1,4,10,3],[2,1,2,9]],[8]]] +[[],[6,8,[[4,5,2,4,1],[10]]],[[[1,4],[],[2,6,3,3,9],2]],[[2,1,2,[4,8,4,2]],[[],4]]] + +[[6,10],[10],[[[0,5,5,7,2],0],[7,[0,6,5]],[[1,1,3,3,2],9]],[10,8],[[8],[[6,3],4],[[1,7,2],10]]] +[[5,8],[0,3,10],[0]] + +[8,2,7,9] +[8,2,7,9,3] + +[[[4]],[[[3,9,3]],[]]] +[[],[[2],2,[0,[2,5,9,8],4,8,7],9,9],[6],[0,[[3,3,1,8,8]],4,[1,1,[]]],[7]] + +[[[[],6,5],[5,9,[2]],2,[[0,8,8,8],6,1,4,1]],[0],[3,4,0],[[[6],[],6,[5,1,4,1,9]]]] +[[9,3,10,4,[6,3,8,[6,5]]],[[]]] + +[[],[],[[[7,5],[3,6,7],4,[0,6],[9,6]],[[6,5,7,6,6],[3,3],[8],[7,4,7,8],[10,1,5]],[[6,7],[3,9,7,7]],2,[[6],[10,0,0]]]] +[[[4,4,8,[9,8,9,8],0],5,[0,5,[2,10,5],[5,8],[7,0,0,6,3]]]] + +[[],[10,[7,[6,5,4,7],0],[],[[],[1]]],[9,6,1,9,9],[[[8],[3,3,3,7]],[9],4],[8,4]] +[[],[[[2,9,3]]],[[],[[],[]],9,[[],[]],2],[7]] + +[[9,[[],0,[],[6],6]],[4,[[5,3,10],8],10,[10,[10]]],[[5,[5,6],[0],7,8],1,[[1,3]],[[0,0,3,9,3],4]],[[4,[9,9],0],[4,[0,4,9,6,10],7,1],[[],4,10,[0,2,8,3]]],[[[10,8]]]] +[[[2,9,8,[4,7,9,8]],[[5,7,0,9,4],[],[7,5],6,6],6,[[5,3,1],7,[2,1,5,0,10],1,[1,8,5]],[]],[],[10,3,10],[[10,2,[0,5,4],[8,3,0],8],[4,[],3,[9,1,4,4]]],[9,6,6,[[10,7,0],[0,10,2,4,3],[9,7,7,9,10],[6,6,8,10,5],7]]] + +[[3,8,[]],[8],[2,3,[5,2,[8,9],[5],[]],[[7,2],[8,2,6,4,5],[3,4],[2,3],5],8],[[6,7,2,2]],[[5,[4],[3,9,1,2],[7,9,7],[10,1,10]],[6,[4,3,5,1],3,[10,10,7,5,6],7]]] +[[3,[[2,2,0],8],[[3,4,4],10,10]],[8],[[[7],0,10,4,[3,8,5,9]]],[6,8,[],3,4]] + +[[[[6]],9,[0,[],[5],[5,7,1,4]],9,[3,4,1,[2,10]]],[[5],[]]] +[[7,[3,[10],6,3]]] + +[[5,[8],[7],2],[4,8,[[8],[5],[10,3,8],3,[4,3,1,0]]]] +[[6,0,[[]],5,6],[],[2,[[2,3,5,4],[6,6],7,4,1],[9,[2]]]] + +[[],[[],[8,6,5,10],[2,[0,4,9,4,1],[10,1,0,2,1]]],[2,[],[[7],[10,5],[10,0,2]]]] +[[7,2,0,7,[10]],[]] + +[[[8,[2,9,3],[10,9,10]]]] +[[[6,3,3,[3,6,1,4]]],[[],[[0,9,8],6,[],[4,1],0],[[],[7],[10,0,6,3,7],1,[3,3]],[8]]] + +[[],[[2,6,7,6,[6,8,8]],10,0,1],[]] +[[[],[],7,[[10],9,[6,8,0,7],8,[2]]],[[],[9,9],9,[[2,6],4,3,5]],[[[3],[]],[[8,2],1]]] + +[[[]]] +[[[5,4,0]],[[[1,7,9],[]],[3,3,1,7,3]],[0,[2,[],10,2],[[]],[7,2,[7,0,10,3,8]]],[1,[]],[[6,10,[5,8,5,0,9],[9,1],4],[4,[4,0,1,7]],8,8]] + +[[[5,6,5,[0,7,6,4],9],8,[8],[[2,7,3],4,10,7,[5,10,10,10,1]]]] +[[6,1,[[1],[10,2,6],[7,4],[6,4,3,3,5],6],[0],9],[],[5,[[6,0,9,6,2],5,10,1,9],2,[[0,6,1,4,10],3,[]]],[[5,7,[7],[6],3],[[3,0],6,[1,10,3,10],4,4],7]] + +[[],[[2,[5,2]]]] +[[6,1,5,[[3,7,2],[],[0,0]]],[6,8,1,9]] + +[[[4,[],[4,5,6]],[],[2],[2,[8,1],5,[8,1],4]],[[6,[7,6,4,2,0]],[9,[7,3]],[],[9,[10,8,0],[],5]],[6,[8,[8,4,3,10]]]] +[[[0,[5,10,4,7,8],[3,0,6,7],10,4],10,5,7],[1,[],8,9]] + +[[],[5,[7,2,9]],[7]] +[[1],[[],3,[[0,5,1],[9,6,9,10]],[7,8,10,9],[0]],[[5,[9],4,[0,9,4,0]],[],[[7,6],10,[8],6,1]]] + +[[[7,5,2],[3],4,2],[[[10,9,2]],[[5,3,5,7],7,[6,0,0],0],[[6,10,1,5],[]],[0]],[[[8,5],[6,0,5],6,8,[4,8,10,5]],7,[[10],[],3,[]]],[],[[[8],1,[3,7,8]],[[9,7,7,8],[8,4],[6,5,3,9,10],[8]],[[7,4],[1,4,5,9]],[5],6]] +[[4,7,4,4],[2],[],[6,[[9,2,6,7],[8,4,9,9,0]],[5,7,[8,4],[8,6,9,3,8],[8,9,7]]],[]] + +[[[[10,2],3,[],4],[[2],3,2,8],[8,[1],10]],[[[10,1,2,8]],[0,[10],[2,9,3,7]],[5],[1,1,7]],[[6,[9],[4],4,[6,8,5,4]]],[[4,[],[9,5,5],[1],[9,10]],[],[2]]] +[[],[[[7]],[[1,5,10,5],[10,2],6,[],[9]],1,[]],[],[[4,9,[4,2],[7,8],[5,9]],[6,8,4,5]]] + +[[[1,3,[10,7,2,6],9]],[[2,5,[1,7,5,7],0,4],7,[5,[6,6],[]]],[[4,[2]],8,2],[[[5,1]],0]] +[[[],[[2,10,9,1],[8],[4],[1,6,8,1]]],[9,3],[7,[6,10,[10,0],[9,5,7],8],[[0,0,7,9,6],9],8],[0,0,[3]],[1,2,0]] + +[[2,[[3,1,1],8,[6],[8]],[[1,0,6],[7,4,8]],4],[[],4,7,[6,9,[5,8]]]] +[[[]],[[3],10,[],0],[[[3,5,3,5,1],[9,7,8,9]],[[3,1,10,7,4],[],[9]],[[1,0,8,7],2]]] + +[[10,[[1,2,4,8,8],3,1,4],6,[[8],[10,6,0]],[]],[[6],[9,[],3,4],[[10,4],5],9]] +[[[3,[10],4,[0,0,3,5,6],[0,1,10,3,6]],8,[],9],[]] + +[[[5,9],2,[],[9,[],4]],[0,[9,[5],3]]] +[[],[2,[],8],[[0],[]],[[[3,5],[3]]],[[[6,8,0],[2,10,10],[7,0],5,[3,3]]]] + +[[],[6,8,6,[0]],[]] +[[],[[[10],10,8]],[],[[],1,5,[[7,2,0,0],[],[]]]] + +[[3],[10,10,6,0,0],[],[5,0,3]] +[[[[6,1]]],[9],[0],[[[9,4],8,3,7],2,4,[]]] + +[[2,6,1,7],[[[1,9],4,1,[3,8,0,4],[2,6]],4,5]] +[[[10],[],0,[[3,5],6,4],[]]] + +[[[[],10],0,[[3,0,7,1]],4,2],[[[2],[7],[1],[8,6,4,2,9]]]] +[[[],8,[]]] + +[[],[],[0,[9,[6,8,2,2],[9,9,7,3,7]]],[[7,[3,4],4,[5,4,4,2],4]]] +[[[[9,7,1],10,0,6],[],[2,4,5,[7,5,2,6,1]],9,[3,[3,3,8,10],[7],[1,8,6,1,2]]],[0,7]] + +[[[[]]]] +[[[[9,2,3,10,4],[],1,5,[2,7,3]],6],[6,2,[[],0,7,[]],[2],[[],[],[],[4,5,9,0],0]],[[0,0,0,3],0],[[[1,7,4],[3,6,10],[2,2],9]],[1,[[],2,10,6],[[7,5,0],[3,3,2],6],0,4]] + +[[],[[1],2,[[10]],[4]],[8,[[],[],[7,2,2,10]],6],[]] +[[[0],2],[[[7],1]]] + +[[[[3,7],[7,4],[9,5,10,10,3]],4,[7,10,6]]] +[[]] + +[[[[4,0,1,7,1],8],[8],[]],[[[1]],9,7],[[0,6],1],[[9,[10,2]],[]]] +[[10]] + +[[5,3,[]],[9,9,[[7,7],6,[3,7,6]],[10,[6],[9,3,6,8],10]]] +[[[[5,2,0],[2,0,5,6,5],[9,2,5],0]],[6,2,[[7,10],[],[8,8,4,7,6],[4,10,2],[0,8,1]],[[8]]],[[[7,3,3,9],[3,1],[3,6,2,8]],[[]],0,[[1,9,9],8],[1,4,[8,10,3,8,9],[5,3,2,8,2],6]]] + +[[3,[5,5,[1,0,10],[0,2,8,8]],10,[]],[[[2,5],8,8,[2]]],[4],[6,3]] +[[],[6,[[3,3,1,0],1,[10,4],7,[3]],[0,1,[5,6],[]],10,1],[7,[1,2,6,[7,5],[1,3,3]]]] + +[[[]],[[[3,5,0,9,9],[10],[3],9],5,[4],[3]],[],[[9,10],[[5,0,5,1],[0,8,2,5,8]],3,[[5,2,9,1]],[7,[],2]]] +[[5],[10,[[8]],0],[10,[]]] + +[[0,[[],3,[10,10,8]],[[9,4,1,8],[6],[4]]],[8,[[3,3,5],5,[],2,10],[[10,3,1,4]],3,[1]]] +[[],[10,[9,[],[],[5,10,9,3],[5,10]]],[],[[7,2],[4,2,6],6,2]] + +[[[1,[2,7,2],[2,7,2],[9,2,7,0,4]],[[7,4,8],[8,8,0],4,[2,4],7],[[4,0],5,[7,2],6,6],[8,4,[4,7,3,9,5],7]],[2],[7,[7,[3,4,10,2],3],10],[7,[],9,2],[5,2,6,10]] +[[5,[[],[4,4],1],[],[2,7],4]] + +[[4],[0,[0,10,5,[9,8,1,0],2],5,4]] +[[[],1,[9,[0],[],[1]],[4,4,5,6,[4,4]]],[],[[[1],[]],1,[[9,10,4,1,7],10,[]],[],10]] + +[[[[3,1],6,[],0],[[],[4,5,8],[8,0,0],8,[4,7,7]]],[],[9,1]] +[[[[10],[8,9,1],[9,10,1]],8],[[]],[]] + +[[9],[[[0,5,6]]]] +[[[4,3,6],9,1,[[],5,[9,6,7]]],[2,[1,[4,4,0,9]]],[[[1,4,0,6,7]],8,3],[[[1,2],[4,6],[0,10,10,1],[],[7,2,2,9,5]],3,1]] + +[[8,[[],[0,7,1],[],[4,7,1,10]],3,[0,[2],[],5,[6]]],[],[[5,[0,9,4,5],5],[[],[5,5,1,10],10,7],5,[[5,3,5,10,2],0]],[[[7,1,0,10]],[2,[],[0,3,8,1,1],[3,7,1,5]],8,[[5,9],3]],[[0,3,10,8,10],6,0,[]]] +[[[],2,2,6,0]] + +[[],[0,[[5,2,7,7,2],[3,8,3]],7,9]] +[[],[[[1,0,3,6],[3,10],[9]]],[[3,[8,10,0,9],8,[7,2,4],0],[[4],[9,1,4,3],10,3,2],0,2,6],[3,[[4,6],[3,1,2,6,4],[],[7,10,6,8],6],[],3,[[]]]] + +[[6,5],[[[1,10,10,9,6],4,[3,1,8,9],10],[[7],3],[[2],[2,4,5,5],[7,4,4],7,10],10,[[9,5,2,6,10],10,[6,10,10,9]]]] +[[],[4,[0,[6,6,4,9]],[[3,9],9,[4,10,9,9],6],10,4]] + +[[9,[[1,4,2,7,4],[2,9,5,8,2]],[6]],[[[0,9,3],7,[]],[10,[2,3],7,[4],[1,5]]]] +[[[6,6,[7,0,9,0,3],9,1]],[9,[5],10,2],[[],10,[[10,4,6,4,2],3,1,[9,5,9],4]],[],[[10,9,[9,3,4]],[[2],[1,7,4,9,5],[],[8,7],8],[[9,0,9],5,2,[8,0],5],[]]] + +[[[[10,1,10],8],[],[4,[5],[8,10,0]],[[0,10,4,6]]],[3,6,[8,2,6,2]]] +[[],[[],[8,[],10],7,0]] + +[[2,0,8,[[9,4,8,5],10,[0,7],[9,0,1,5]],[3,7,6]],[[5,4,2]],[4,3]] +[[[],[[]]],[],[7,[],[],[[5],2,[6,1,6]],3],[9,[[0,9,10,8],[8,7,3]]],[10]] + +[[8,3,[0,[0,1,2,3,3]]],[0,7]] +[[[],10,[10,6,5,10]],[[[2,4]],5],[[6],2,[[1,5,6,6,1]],[[9,2,2,10]]],[10,[[],[]]],[6,3,[[],2,[7,6,6,3],6],1,7]] + +[[],[[[],[0,3],[8,6,8]],[9,2],[[0,10]],5],[[[9],[8,1,3,9],4,7]]] +[[10],[2,[[9,10,0,3,9],[4,5,9,1]]],[3,3,[0,9,6,4],8,[9]],[[[],[]],10,[[0,1,0],[8,3]]]] + +[[4,[[4,1,0],[9,6,3],[],8,[]],[[10,6],[2,0,4,1],0,[8],2],5,10],[[9],6,[],[[10,2,3],[10,0,5],8,5]],[7]] +[[[9,[9,5,7,0]],[2,4,[4,1,2,4],[2,8]],[[6],1,[10],[1,4,7,2,10]],3,10],[[8],[8,[],2],[[9,9],6],[[]],6],[[6,[6,9],2,[3,9,10,2],[2,8,7,6]],[[7,6,9,9]],[],8],[2,[4,[1,4,2]],[]],[]] + +[[10,0,10],[3,[7],2],[[[9,9,8,5,10],[1,1,5]],7],[[],[0,[9,2],0,10],[0,10,[4,8,7,6,6]]],[]] +[[[[8,7,1],2,[6,1,5,8]],[4,[9]]]] + +[[9,4,[3,[7,8],[3],[10],2]],[8],[]] +[[[1,7,5,1],0]] + +[[[2],2],[9,[7,[8,3,4],4],0],[1,[6,6,[7,9,9],[10,1,9],[5,10,9,7]],[[10],4],[[0,4],[10,10,10,1]],[0,1]],[[[9,1,8,0],[7,4,3],[8]],[],[[2,9,1,4,10],[4,9,3,9],9,2,2],3],[[3,[8,7]],[[]],[[8]],1]] +[[],[8,2],[[1,1,3],[[7,6,2,10],4],[],[2,4]],[[[],10,[2,2,2],7],[]],[6,5,0,7]] + +[[[7,[0,9,6,0,9],[4,8,0,9]],[[3,9,7,8]],4,1],[4,1,[[],1],1,[4,[1,0]]],[],[[],[],9]] +[[[[4],[7,9,4,7,9]],9],[5],[[]]] + +[[[[0,10],2,[5,2,10],5],[],[]],[[[5,2,10,8,9],[10,10,8,5,3]],2,[[],10,6,5]]] +[[[0,2,[]],[[]],10,6,[4,10,[9,1,5]]],[0,[],[]],[[[3,0,0],3,[9,0,2],5,8],8],[1,[[1,7,9,8],[0]],2],[[[4,6,0,3,0],[7,6],1,[5,9,1,6],1],7]] + +[[],[3,[2,0,[3,5],[8,8,4],[8,3,7]],10,4,[[8,7,4],9]],[3,3],[[],[0,8,5,5],8,1]] +[[[5,6,[],[]],4,9,[[0,7,0,4,8],[3],9,[3,4,7,10],1]]] + +[[],[10,4,[7,[6,4,7],5,10,6],[[6,7,1,0,1],9]],[5,9,[[8,2],[5],[2],0,[]]]] +[[9,[2,2]],[],[9,9,[[],5],[[]],[]],[],[]] + +[[5,3],[[],4],[[[6],5,5,9],[1,7,4,[2,5,1,10,5],2],6]] +[[],[2,[[0,9],9,7],[6,[8,7,3,4]],[],[7,1,[0]]]] + +[[],[4,[[2,7,3],[4,9,7,3],3]]] +[[],[[],7,0,8],[[10,[2,10,0,2,4],[9,9,9,5]],9],[[[6,2,10],[9],[2],3],[],6]] + +[[],[[10],6],[],[],[7,8]] +[[[5,1]]] + +[[[0,1,[4,10]]],[9,[]],[],[4,6,4]] +[[1,3,3,[7],2],[[[9,2,8,0,6],[9,2,10]],[[9,5],[6,6],10,[2,9,5,6,0],[7,0,8,4,3]],[[2]]],[1,0,[10,[],[7,1],3],4]] + +[[[8,0]],[0],[[7,[2,3],[0,1,4,1],10],9]] +[[[[0,3,0],10,4,[0,10],[7]],[0,4,[8,10,7,10,10],[],3],[[6,2,5],[],7],6,1],[[],6,6,[[3,5,3,8,0]]],[[0],4,[],[]],[6,8,8,[0,[4,9,2,7,4],[2,1,3,0,5]]]] + +[[[[7,5,6,2,8],4,[2],7,[2]],10,4,0,[]],[[[3,7,6,10,4],0,[10,9,7,1]],[3,[],[4],0],[3,[2,3],[1,6,10,2],2]],[],[],[6,[6,8,[7,5,1,6],[1,5,2],[9,1,9,2]],[[10,1,6],[6,0,4,4],9,0,[2,1,10,0,9]]]] +[[3,[2,[1,5],[3]],[],[[2,6,10],5,[8,5,7,4],[8,9,6,6],1]]] + +[[0,[[4],1,4],[[9,0,7,1],[4],[0,2,2,3,2],2,4]],[9,10]] +[[0,[2,8,[2,9,3],3,[]],[10],4],[[6,[6,7,7],9,5],[[9]],[2,[0,8,1],[3,6,1]],[[2,6,0],8,[6,2],[0,10,5,8,1]],9]] + +[[9,3,6,[[1],[10,1]],6],[]] +[[0,3,[4,[],[10,0,1,6],10,[6,3,2,8]],[[3,0],[2,8,5,10]]],[[],7,3],[3],[10,[3]],[4,5,8,[[],[4,3,8],4,5,7],10]] + +[[5],[9,[3,[1,9,8,4,8],0,7,[4,2,2]]],[],[[[2],3],5,6,[[5],1,2,[9],[8,6]],1],[6,8]] +[[],[],[0,[[4,8,9,3],[2,1,7]],8],[[],10,4,[[]]]] + +[[[8,8,6,[]]],[[[5,3,8],5],[0]]] +[[[1,[10,9,7]],9],[],[[10,6]],[[6],[6,[]],[[],1,8,3,[10]],7],[4,10,[[7],[]]]] + +[[],[[],2,4,[8,7,[8,2,7,1,9],9,[1,1,10]],8],[[],1]] +[[[[3],[5,10],[1,10,0,3,7],[8,9,1,2,5]],5,[0,[4,0,5,5,10]],[2,[1],6],[]],[0,3],[],[[[9,7,2,10],[8],0,[10,9,3],2],6,[8,0,[6,10,2,4,4]]]] + +[[[4,[6]],1,9,[]],[4,2,[[6,1,9,9],[6,3,1,7,8]]]] +[[[6,[4,0,1,2,4],2,[7,4]],[[5,4],0]],[7],[[9,8,[10],[5,9,3,5,0]],[[10],[7,2],[3]],8]] + +[[1,7,[[8,7,5],1,2]],[0,10],[[[3,10]],[],[6,[7,9,7,3],6,[4,6],10]],[]] +[[[1],2],[],[],[0,[3,[5,4,1,9,2],[8,10,4,5]],8]] + +[[[[5,8,2],7,10,5],9,[[],[7]],[[4,3,1],[7,2,2,6,10],0]],[[[10,0],4],[[],[5,1,4,9,4],4,7,6],[8,[7],3,[10]],2,[[1,7,7]]]] +[[],[[[],1],10,[10,[3,4,9,5],[1,8,7,0],0]],[[[6,4]]],[]] + +[[[],10,9,0,8]] +[[[10,[]],[5,7,[6,8,5],6,6],[9,1,5,1],[[],10]],[9,[6,[7],[10,0,4],[1,7]],8,[]],[[3],2,1,[[5,0,8],4,3,[4,0,0],[3,1,0,10]]],[[5,[],[],[7,10]],[4,[5],10,[5]],4,[[7,8,1],0,[4,7,3,7],[5],[10]],6]] + +[[5,5,8,2,1],[3]] +[[[[1,6,1],[4,4],6,6,[8,0,2]]],[],[],[]] + +[[[4,7],2],[5,[10,[1,7],6,[10],7],[2,10]],[3,3]] +[[9,10,[[],1,9,5,8]],[[[6,8],[6,6,9,6],2,[2,4]],[7,[10,0,5]]],[1,[8,[8,8],[8,1,10,10]],4],[[[3,4,10],[5,6,3],0,[1,8,0,2,1]],2,2],[[7,[7,7,2],[5,8,6,6,9],[9,9,6,3]],[8,[],6,[5,9,5]],0,[3,4]]] + +[[4,[[10,2,2,2,1],8,[0,10,7,1],0,[7,5]]],[[[7,7,9,10,9],[5,3,0],[8,5]],[[8,8,9],9,3]],[6,[8],10,[8]],[[[],4]]] +[[10,[[0,2,5,6]]],[0,[],6,[3,[1,7,6,4],[9,4],6],2],[[[9,7,4,3],9,7,10],2,2,[0,10,[9]]],[6,[4,[8,0,9],4]]] + +[[6,10],[[[]],10,[6,7],[2,[]]],[0,7,[],8],[9,[]]] +[[[]],[],[]] + +[[],[3,[3,4,[3,5,6,2,8],[]],[[3,0,5,6,5],[9,8,7],3],4,3],[6,[[2],3]],[[[2],[4,7],7],8,7,[],[[7,9]]],[[]]] +[[2,2,7,8,6],[[],10,[[2,4,2,4],[4,9,5]],5],[[9],[[6,1],[1,6]],2,[7,4,0,[1]]],[[[9,10,8],[2,6,6],[7,5,7],10,[5,7,1,3,9]],[1,8]],[[1,6],7,0,[[9],[4,9]]]] + +[[3,[[0,10,1],[4,4,0],2,1,[7,3,5,2,6]]],[[[6,6,4],[],4,[2,2,2,7,3]]]] +[[[[0,6,9,2],8,[10,1]],8,1,[[1,9,5]]],[4,7],[4,[[]],[[1,5],9],0]] + +[[2],[[[3,7,2,4],[6,9],[8,9],8],[]],[[],6,[[5],[5,1,9,4,10],[8],[0,0,7,3],[7]],[7,[2,4,7,8,6],5,3,0]],[[1,6,9,[0]],2]] +[[2,5],[],[]] + +[[[8,[6,10,9,5],2,[4,9],[8,4,8,1]],4],[5,[5,3,[0,2,5],[],8],[[3,4,0,3,10],1,[],[]]]] +[[],[9,[10]],[2],[[4,9,[1,9,4],2],6,[[],0],[[1]]],[[3,[6],[],6]]] + +[[],[0,[[3,0],1],[]],[10,0,[7,9,[9,3,9],4,[6,3]],3,2]] +[[[0]],[[[10,1,10,7,7],4,6],[5,[9,3,0,5],[1]],[10]],[[1,[7,1,9,8,7],[5,2,0],1],1,5,[[1],[0,8,2,5,9],1,2,10]],[],[8]] + +[[[[0,4,0],[2,7,8,3],[2,8,4,3,2],[4,9,6,6]]],[0,[],3],[[[0,1],[9,0,6,8],9,[4,6,7,3,5],[8,0,9,3]],4]] +[[1,[2,7,3,8]],[]] + +[[1,[5,[],0]],[[6,[9,5,6],[],[9,7],8],1,[],9,[[5],5,3,5]],[[1,[10],[6,10,2],6]]] +[[[[1,8,8],[10],7],[],10,0,[]],[[9]],[]] + +[[[[10,1,8,9,1],7,4,9],[[4,9,6],[6,8,1,4]]],[[5,4],[],1,[[3],[],[],3],[0,[2,5,10,6,3]]]] +[[5,[[1,5,8,4,6],[9,4,6,8,2]],9,6,9],[0,0,[[4],[7,4,3,0],[10]],[7]]] + +[[],[2],[6,[[]]],[2,[[10,8]],[3,[10,10],[3,2,2,10],2,[6,7,5]],6]] +[[0,5,[1,[0],9],[[5,7,6,8],[4,4,7],[],4,[10]],7]] + +[[[7,1,1,1,0],[[1],4,7],[[8,7,4,5,6],6,[5,7],7],2,0],[5,10,[4]],[6,8,9]] +[[0,[],4],[[5,[10,10,7],9,5],3,[[],2,4,2],9],[10,1,[4,1,[],[5,3,1,10]]],[7,[0,[0,10,1],5,[2,8,4,9,7],[]]]] + +[[0],[]] +[[6],[3,7,10,[7,[3,3,8],7,[],8]],[]] + +[[6,2,8,1,[[],4]],[2,[[0],[10,2,7],[4,3],[0,3,7,10,1]]],[[[2,1,7,8,0],9,6,0,[2,10,4,1,10]],9],[6,1,10,10],[]] +[[[],10,[1,9,[4,0,1,1]],9,5],[2,[2,[9,4],[7,0,6,2,8]]],[5,2,[[0,3,4]]],[[]]] + +[[3,[4,[]],6,8],[],[4,5,8,[4,3]]] +[[[7],[[0,7,5,2,9],9,6,1],[],[[1,10,1,6,9],5,2]],[10,[[7,8,10]],3,0,2],[[2,5,1],[[0,8,0,2],9,4,[10],[]]]] + +[[],[[9],10],[[[4,7],[4,6,2,3],9,[2],[0,8]],[2,3],10,9],[4,6,[[1,3,7,8]],10,[[]]]] +[[[2],0,5],[],[]] + +[[[1],9,5,9]] +[[],[5,10,[[8],[8,7,0,8,5],10,2,[0,6,9]],[[3,10,6],8],[0]],[]] diff --git a/AoC2022/13/solver.el b/AoC2022/13/solver.el new file mode 100644 index 0000000..c7452bb --- /dev/null +++ b/AoC2022/13/solver.el @@ -0,0 +1,55 @@ +;;; solver.el --- DAy 13 -*- lexical-binding: t; -*- +;; +;; Copyright (C) 2022 Óscar Nájera +;; +;; Author: Óscar Nájera <hi@oscarnajera.com> +;; Maintainer: Óscar Nájera <hi@oscarnajera.com> +;; Created: December 13, 2022 +;; Modified: December 13, 2022 +;; +;; This file is not part of GNU Emacs. +;; +;;; Commentary: +;; +;; DAy 13 +;; +;;; Code: + +(with-temp-buffer + (insert-file-contents "input") + (cl-loop + for i from 1 + for a = (ignore-errors + (list + (json-parse-buffer :array-type 'list) + (json-parse-buffer :array-type 'list))) + while a + when (apply #'solver-compare a) + sum i + ;; when (= 84 i) + ;; do (apply #'solver-compare a) + )) + +(defun solver-compare (f s) + (cond + ((eq f s) 'next) + ((and (null f) (not (null s))) t) + ((and (not (null f)) (null s)) nil) + ((and (integerp f) (integerp s)) (< f s)) + ((and (integerp f) (consp s)) (solver-compare (list f) s)) + ((and (consp f) (integerp s)) (solver-compare f (list s))) + ((let ((result (solver-compare (car f) (car s)))) + (if (eq result 'next) (solver-compare (cdr f) (cdr s)) + result))))) + +(ert-deftest test-comparison () + (pcase-dolist (`(,f ,s ,r) + '((5 5 next) + (5 nil nil) + (nil 5 t) + (nil nil next) + ('(9) '((8 7)) nil) + ('(1 1 3 1 1) '(1 1 5 1 1) t) + ('((1) (2 3 4)) '((1) 4) t) + ('() '(5) t))) + (should (eq (solver-compare f s) r)))) |