diff --git a/build.gradle.kts b/build.gradle.kts index a778363..367a8dc 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -12,6 +12,7 @@ repositories { } dependencies { + implementation("com.github.h0tk3y.betterParse:better-parse:0.4.4") testImplementation(kotlin("test")) } diff --git a/src/main/kotlin/me/gergo/Aoc13.kt b/src/main/kotlin/me/gergo/Aoc13.kt new file mode 100644 index 0000000..fbd4983 --- /dev/null +++ b/src/main/kotlin/me/gergo/Aoc13.kt @@ -0,0 +1,83 @@ +package me.gergo + +import com.github.h0tk3y.betterParse.combinators.* +import com.github.h0tk3y.betterParse.grammar.Grammar +import com.github.h0tk3y.betterParse.grammar.parseToEnd +import com.github.h0tk3y.betterParse.grammar.parser +import com.github.h0tk3y.betterParse.lexer.literalToken +import com.github.h0tk3y.betterParse.lexer.regexToken +import com.github.h0tk3y.betterParse.parser.Parser +import java.io.File + +fun main() { + val packetPairs = File("src/main/resources/input13.txt").readText().split("\n\n") + .map(::parsePacketPair) + + // Part One + val result1 = packetPairs + .mapIndexed { i, p -> if (p.first < p.second) i + 1 else 0 } + .sum() + println("Sum of packet indices in right order: $result1") + + // Part Two + val divider1 = Packet(listOf(listOf(2))) + val divider2 = Packet(listOf(listOf(6))) + val result2 = File("src/main/resources/input13.txt").readLines() + .asSequence() + .filter { it.isNotBlank() } + .map(::parsePacket) + .plus(divider1) + .plus(divider2) + .sorted() + .mapIndexed { i, p -> if (p == divider1 || p == divider2) i + 1 else 0 } + .filter { it != 0 } + .reduce(Int::times) + println("Decoder key: $result2") +} + +private data class Packet(val value: List) : Comparable { + override fun compareTo(other: Packet) = compareLists(value, other.value) +} + +private fun compareLists(a: List<*>, b: List<*>): Int { + for (i in a.indices) { + if (i == b.size) return 1 // Right side ran out of items => left is "larger" + val cmp = compareValues(a[i], b[i]) + if (cmp != 0) return cmp // One of the items was larger or smaller + } + if (a.size < b.size) return -1 // Left side ran out of items => right is "larger" + return 0 // Equally large and items were equal, too +} + +private fun compareValues(a: Any?, b: Any?): Int { + return if (a is Int && b is Int) { + a.compareTo(b) + } else if (a is List<*> && b is List<*>) { + compareLists(a, b) + } else if (a is Int) { + compareLists(listOf(a), b as List<*>) + } else { + compareLists(a as List<*>, listOf(b)) + } +} + +private fun parsePacketPair(packets: String): Pair { + val (p1, p2) = packets.split("\n") + return Pair(parsePacket(p1), parsePacket(p2)) +} + +private fun parsePacket(line: String) = packetGrammar.parseToEnd(line) + +private val packetGrammar = object : Grammar() { + val comma by literalToken(",") + val openingBracket by literalToken("[") + val closingBracket by literalToken("]") + val integer by regexToken("\\d+") + val whiteSpace by regexToken("\\s+", true) + + val integerParser = integer map { it.text.toInt() } + val listParser = (-openingBracket and separated(parser(this::value), comma, true) and -closingBracket) + .map { it.terms } + val value: Parser = integerParser or listParser + override val rootParser = listParser map ::Packet +} diff --git a/src/main/resources/input13.txt b/src/main/resources/input13.txt new file mode 100644 index 0000000..926d2f2 --- /dev/null +++ b/src/main/resources/input13.txt @@ -0,0 +1,449 @@ +[[],[1],[[[1,3],2,1,3]]] +[[[],6,[3,8]],[]] + +[[9,6,0],[[0]],[[[5,3,1,1,10],4,[],[10,2],[2,9,9,7]],[[10],8]],[1,[[4,9,10,0]],[[0,8],10,8],0],[[7,[5,6,5,7],9,4,[0,4]]]] +[[9,[],[10,4],[2,9,[2]]],[[[],6,3],1,7,[5,0],[7,7,[10],[0,6,2,4,7],7]]] + +[[[],[],[]],[6,[[1,4,7,9],7],[]]] +[[],[],[],[[[6,2,1],[5,7],2,[8,0],[7,1,5,6]]]] + +[[5,1],[3],[4,6]] +[[3,3,[1,[2,4,2,7,2],[0,3],8],9,0],[4,[6]],[],[9,[2,[9,9,2,6,7],[],2,2],[[],[10],[],[0]],6]] + +[[[10,[10,3,5],1,8],[[10,4],2,10,0,6],[3,3,2,[4,4],[3,6]]],[[[],2,0,8,[2,2,3,3]]],[[8],3,10,4,4],[]] +[[1,[7,10],[[2],[10,2,1,4,2],[2,3,8],0,8],5],[7,[[10,4],8]],[],[],[]] + +[[[4,[2,2,8,0]],3,5,[0],3],[4,[10],10,1],[3],[1],[1,4,[10],[[8],[5,3,0,6,6]],8]] +[[2,4],[3,1,[],[[]],[4,[7,0,3],0]],[]] + +[[2,0],[[],[[3,0,6],6,2,6],8,5,[0,[10,0,10,10,8],[4,5,1]]],[[[6,7,0,6,10],[8],[1],6,7],0,6,[10,5,4,[4,2,9],0],[[2,7,8,6,7]]],[[[7,8,6,3],0,[4,3,3,10,8],[4]],[8],2,1,[1,7,[2,3,6],[7,3],9]]] +[[6],[5],[],[6,0],[[],[9,[10,5],10,[4,3,0,6,6]]]] + +[10,0,2,0] +[10,0,2,0,2] + +[[9],[4],[1,[[7],[8,3,4,6,5],[7,7,9],[10,9,1],[7]],[[3,9,9],[],[],6,[1,2]]],[],[3]] +[[4],[3,9,[[9,10,8,2,7],9,[10,9],3,[7]]],[[6],[9,[9,10,3],[],0],[],[8],9],[7,1]] + +[[0,[[2,7,1,9],6,[4],[3,4,10]],[2,4,9,[3,8],7]],[4,[3]]] +[[[[2,3,5,2,7],[10],[10,2,7],4,0],[10,[8,10,2,1,2],[7]],3,[10,[7,3,10,3]]],[],[6,3,[[0]]],[0,[0,[],6,4],3,[[9,5]]],[9,6,7,8,3]] + +[[[],1],[2,1,[],8,[]],[8]] +[[4],[8,[9],[[5,3,1,3,9],[6,0,0],10,8,5],6],[]] + +[[1,[[7,6,3,4],9,[]]],[6],[],[[10],[3,[7,9],[8,0,1,6,7],3,[7,8,4,5]],3],[[4,[8,1,0,7],6]]] +[[[1]],[4,5,2,[0]]] + +[[9,[0,[1,10,9,8]]],[[3]]] +[[],[[[],[5,3,3],[]]]] + +[[0]] +[[],[[0,4,[],[10]]],[6,[[1,4,8]],3,[5,[10,3,7,5],7,[7,2,3,4]],8],[]] + +[[[9,[6,1,5,6,6]],[[6,5,9],9,2,[2,10,0,4]],2,7,[1,[],[5,5,6,3,10],[1,5,3,6]]]] +[[4],[],[],[[[]],[3,[8,3,3,2],0],[6,[8],1,[6,4],[5,0]]],[10,6]] + +[[4]] +[[],[3,[[4,1,3,7],5,[],[10,4,0,8]],[],8,9],[9,[[6,3,2,7,0],1,[],[6,4],6],6,[4,9,1,[3,0,6,4,5]],1],[9,[5,3,7],[[1,8,10,7],[5,3,5],[6],0]],[1]] + +[[5,[2,[6,1,4,2]],[[6,6,2],[10,3,10,10],[5,8,10],10],[0,3,[2,4,2,1]],5],[[[1,9],10,[]],[9,[1,9,3],8,7,[]],[[1],[],3,[5,2],10],[[1,2,1],3]],[3],[[],10,0,[]]] +[[],[[5],[9,9,4]],[[5,[10,10],[0,9,6,3,7],2,5]],[8],[1,7,8]] + +[[],[8,6],[0,8,[[7,0,2]]],[0,0,[9,[9]]],[]] +[[[1,[10,8,0,0],0],[]],[],[],[[7,[4,7,10,9],[]],[7,4,[],2,[3]]],[]] + +[[5,4,[]]] +[[0,1,9,9],[6],[[[4],[7,1,7,10],[5,2,7]],[1,8,6]],[[[8],[6],1,[3,8]],10],[]] + +[[1,9,[5,5,[0,5,0],[0,7,1,3,1]],3],[7,[],1,[4,7,6]],[[2,2,2,7,[8]],[[9],[5,9,5,2],6,7],[[7,3,10,1],2,0,[1,3],5],6,6]] +[[],[[[5,2],3,[],1,10],1,9,[3,6,4,[],[4,1,2,7]]],[],[[[9,9,10,2,5],[3]],[8,1,[6,0]]],[[],[],[2,[5,2,6,6],[4,9,6,3,9],2],6]] + +[[[[],3,7,5],[3,[4,9,0],[]],[[6,7,7,7,10],[0,6,7,4,8],5,7,[1,10,8,10]],1,1],[[4,5,10,[10,1]],9,[[6,1,0,6]],9],[3],[],[0]] +[[10,0,[[5,4,2,3]],4],[6,[],4,[8,8,[3,7,10,7],7,4],2],[4,7,[],[[3,5,6],2],10]] + +[[[[7,9],[7]],[3,10],[]]] +[[[[4,2],[0,9]],[2,0],4,4]] + +[[[9,[6,1],5,[5,10,0]]],[[[4,7,5,8,0],7,[2,2,3,0,4],[8,5,3,2,8]]],[3,[],[5,[3],9,[10,5,6]]],[[0],9,[2,[10,9,4,7],[7,4,0],[1]],4,1]] +[[[0,10]],[3,8,1,[10,[6,7,8],[],[10,6,7,6,9]],[10,5]],[6,7,[5]],[[[],7],2,3,[3]],[2,6]] + +[[[2,3,7,9]],[[[],[6],[],[9,1,0,0,10],10],1,7],[7,[[2,5,0,5],2,[9,9,1,2,3],[],9],7]] +[[[[3,0]],2,[[2,8,0,8],1,[0,3],[7,10,5,9,2],[10,5,4,5]]],[3,8,7,3],[5,[7,5],[2,3,10,[9,6,9],[7]],3,3],[0,[5,[7],[],6,[0,7,2,5]],4,[[5,6,9,9,3],[1,7,5,5,1],[7,4,3,8,5],[6,10,4,10,10],8]]] + +[[[9,[2,4,3]],6],[4,9],[8]] +[[10,[],7],[10],[[[1,6],[4,0],9,8],[[6,1,5,6],2],10,5],[],[[8,[8,5],[1,6,6,4,10]],5,8,6]] + +[[],[4,[4,[6,10,0],[10,8,10,10,2],[6,0]]],[[[5]]],[6]] +[[[10,[5,9,6]]]] + +[[[],[4],[[5,6,7,7],[4,3,7],[2,1],[]],1]] +[[[8,8],2,[],[],[[7,3,2],6,5,[6]]],[2,[5,7,[3,5],9],8],[1,[10,[0,6],[10,7],1,[9,3,4]],5],[]] + +[[]] +[[9,8]] + +[[8,3],[[],2,[[]],[2,5,9,1]],[[[7,9,9,4,1],[10,3],3,[3]],[1,10,3]]] +[[8,[2,3,7,9,[]],[],7],[]] + +[[[[4],[],6,9,[3,6,8]],[1,[0,6,7],[3,0]],5,[[6],[5,6,2,2],[8,10],1,2],[[3,8,7,10,10],4,8]],[1,[[4,8,2,7],3,[2],[],5]]] +[[[[3,6,4,8],[10,7,2,9],[4,6,5,9,1]]],[[4,7,4,[1,3],8],[[6,10],[5,0,3,0],5]],[[[3,9],[6,2,10,5,1],[4]]]] + +[[[[10,6],9,[5,1,9],[0,3,4,6],[6,1,8]],2],[5],[9]] +[[0,6,10,2],[[6,8,3,2,[9,8]]]] + +[[7],[],[],[[],[[10,0,3,3,1],0],[10],[5,[9],0,6,2],5],[[3,6,6,9,[8]],0,[4,9,[0,5],[]],[[7]],[[8,1,8,4],[2,6,6,3,4],[9,4,2,3],[],[10,4,5,7,2]]]] +[[4],[6,[],[2,9],7],[2]] + +[[[],0,[[2,6,8,0,9],6,[10,4],2,[]]]] +[[[0,[],[3],10],10,[6,[10,9,9,6],5,[0,2,4,3],[4,3]],5],[3,[5,0],7,2,[4,[5],[3,4,8],[3,5,4,9,6],5]],[[[2,10,0]],[[10,3,2],[7,3],[2,4,2,6],[5]]]] + +[[[[6,3],4]],[[],[],[[5,8,0,5,8],7,0,0],[[],6,5,10]]] +[[],[10,[10,[1]],7,[[8],[6,7,7],3,4,8]]] + +[[],[[1,5,[9,7,8,3,9],9,[1,3,5,10,8]],6,10,[[5,6,3,0,8],9,1],4],[],[[[2,1],[3,10,1,7]],[9,[6]],2,4,4]] +[[],[[8,1,5,[6,1,7],[8,1,1,0]],5,1]] + +[[7,5,6,3,1],[[1],10],[[]],[[],2],[[[8],10,3,[8,3,1,9],6],0,[0,[0,2,1,0],0,[9,4,6]]]] +[[1,2,8,8],[5,[6,[1],[6],[],[3,1,8,6,0]],[]],[[[5,6],3],6,[]]] + +[[],[[[2,4,6,0,0],6],4],[[7,[2,1]],[5],4],[2,[],[0]],[6,[[9,7]]]] +[[6,7,4],[],[],[[[8,9,4],[1,7,3],[6,2],7,8],[5,[6,5,3]],[3,6]],[]] + +[10,2,2,7,5] +[10,2,2,7] + +[[9]] +[[[6,5],0,[[],[],[6,9,6,2,6]]],[7,3,[],8,[8,3,[0,3,3,8],[5,6,9],[1,1,9,3,1]]]] + +[[4,0],[1,[[7],[],[8,7],[7],10]]] +[[[]],[[[6,2,1,7,2],[7],2],8,[[6],5,6],1],[6,[0,10,6]]] + +[[[8,4],[3],2],[[[],[7],5],[4]],[9,1,5,5],[8,1,[[],7],1,[]],[[10,[],3,[7,2,6,3]],[],[[1,2,10,7,0],[],1],7,[3,[1,4,1]]]] +[[4,5],[[],[],[8,[5,8,5,5],[]]],[[],8,4,10],[]] + +[[[[1,2,1,9],[3,8,4,2,9],[10,0],[2,1,0,10],[2,1,2,9]],[0,3,8],2,6],[[9,[],[]],[[],[],[2],5,[10,2,7,1]],[[6,9,2,8,2],0,10],[[0,0,10],5]],[1,[[6],1]],[[1],5],[9,[[1,6,8]]]] +[[[[10,4,9,9],[],0,5]],[9,[6,9,6],10,9,6],[],[[3,8]],[[1,5],[[]],[]]] + +[[0,[10,[2]],10,9],[10,0],[[],8,4,3,[[9],6]],[[4,10],4,[],2]] +[[4,[],8,7,5],[6,[3,[4,4,1,6,5],6,2,8]]] + +[[],[8,[[0,7,2],[7,1,0,2],[],[1],9],3],[10],[[3],0]] +[[],[7,3],[[]]] + +[[1,[0,[],[8,8,4],[2,8,3,10],4],8,[[6,1],[0,9,3,1,4],[8],2]],[3,9,[2,[],[7,3],5]]] +[[[7],1,[[0,7],7]],[6,7,7],[],[]] + +[[[[5,1]],[3,5,0]]] +[[],[0,[1],[[7,4],10],10],[0,8,[[3],2],[[6,7,5,10,2],[9,6,8,9],8]],[7,2,[1,[6,5],[],[4],[5,4,8,0,10]],[8]]] + +[[4,[8,10],6]] +[[1,[7,10,4,6,[6,1]],7,[[3,8,1,6],[7,2,0],[]]]] + +[[10,[0]],[[],[10],10,7],[1,[]],[0,[5],[10],8,[2,0,1,[3,5,2,3,1],4]]] +[[1,5,4],[[[2,6]],5,[0,[],[2,5,4,10],[9,7,0]],10],[]] + +[[],[[[6,6,1,0,3],[5]]],[2,[[1,7,7,4,3],0,1],[[1,10,6],[1,7,9]],7,[[5,9,4],[5,10,2],[6,5],[3,6]]],[[4,[3,10]],[],[[10,4,6,1],[9,0,2],1,[4],[8]],[[9]],10]] +[] + +[[4,4,6,[1,[2,10],6,[7]],[7,6]],[4,0,[0,3],6,8],[],[9,[3,0,[3,5],1],9,2,6]] +[[4,[[7],4]]] + +[[[[8,6,1]],2],[[1,10,[5]],[[],[4,3,9,7],[3,8,9],2],7,10],[4,[[],[10,6,9,4],[],5,2],[3,4,1,[3,9,10,4,6]],0,[10]],[[10],[4,3,3,9],[],[]]] +[[6,[[2,2,8,6],[10,3,5],1]],[7],[[3,[4,1,2],2,10,[3]],5],[[8,[2,1,2,3],7],[5,[6],[0,3,9],[2,2]]],[[5],[9,2],9]] + +[[],[[[],[3,1,1],8],[2,0,3]],[[[1],[4]],3,9,5,[5,10,4,9]],[[[5,3,4],[4,3,10,9,8],0,8,[8,4,10]],10,2,[3,7]],[[],1]] +[[[]],[4,[[6,8,3,2,10]],[[7,2,0],3,[1,3,10,10,9],[1,8,0,0],6],[10,[0],[3,4],[9],0]]] + +[[],[[[7,5,5,7,3]],[[4,4],10,[6,8,6,8],4,[9]]],[[],0]] +[[2,[]],[[],[],2,[],[]]] + +[[[],0,2,[]],[9,[[],6,3]],[[[6,0,1,4],7,5,6,[7,8,1,6,0]],10,2,6,4],[[],5,1]] +[[],[6,3,9,[[4,7,0,3],7,[5,9,7,10],6]],[[[1,0,0,1],[7],3,[10,6,5,9,0]],[5],9,0,3],[7,[[5,7,8,3],3,[1,4,4,1],[6,2,7],9]]] + +[[6,6,10,6,0]] +[[[7,[3,7,6,10,1]],[[1,4,9,9],10,4],3],[0,[]],[1,9,[[4,8],[],5]],[],[]] + +[[[[1,3],[10,7,9],[0,6],[0,7],[4]],[[3,0],2,[4,2,8]],7],[0],[],[]] +[[1,10,9,9]] + +[[1],[],[9,4,10]] +[[[[9,7],[2,0,8,6,5],0,8],[[0]],10,[6,[],6],3]] + +[[4,[],[[3,2,1,4],1,[5,10,0],[6,10,5],[1,1,6,10,6]],8],[[1,[5,0,1,8]],[[],[3,8,6,8],[1],[0,4]],10],[2,[[],[],[2,3],0,[5,9,2,6,9]],2,7,3],[],[5,0,[8,[0,7,4,7]],[9,5,10,4],5]] +[[[[4,6,5],[9,3,7,10],[1,9,8,6,2],[1],[9,9,4,2]],[[8],[0,6,5],[6,9,10,8],8]],[3,[[0,9]]],[1,5,[[0,4],[9,6]],2,9]] + +[[7],[],[[4],7]] +[[[9],0],[[3,[6,1,8,8],[4,7,3,0]],[[6,4,0],10,4,3,9],10,6,1],[[6,[2,8,6,3,1],[]]],[7,[[1,0,1],2,0,[10],[10,3,5,7,1]]],[7,7]] + +[[9,[[6],[3,0,4,2],0,0,9],2],[[[8,4,0]],[[0,8,9],9,4,6]],[],[6,[[6,6,9,8]],[[5]]]] +[[[3,1,[5,5,7,6,6]],7,[3,10,[8]]],[1,8,[9,[2,10,6,7,2]]],[[4,2,3],5,10,1,9],[4,0,[],6],[[1,[5,8,8],8,1,3],[[2]],9,[7]]] + +[[[],9,[],8],[[],[[8,4,6,3,8]],5,[]],[1,[7,10,[7,10,6,7]],[]],[9,[[],3],[0,5,0,[1,10,5,2,4],8]]] +[[8,2,6,0],[7]] + +[[10,[[],6,9,0]],[6,[7,[10],0,3],5],[[[7,2,1,9],[1,2,7,0],[9,1,8],[],6],3,[[3,5,0,8,8],6,[10,8]]],[[[8,4,1,6],2],[[7],10]]] +[[[[1,8,5,4],7,[5,3],5,[7,5,5,7,10]],[[],5,5],[]],[]] + +[[2],[0],[[10,[1,1,2],[],4],[[10,2,4,5],0,[]],[[10]],[[9,7,1,0,4],[9],1,[3,0,3,1]],[]],[],[6,1,1]] +[[],[[10,[3,3,4,5],1,[9,10,7,8,1],4],[[7,3,10,10,8],1],[[6,10,2,8],[5,10,6],3,2],2],[[0],[[],4],3],[],[[[8,3],[0,1,5,2],4,[2,1,7,10],6],[[0],[8],0,3],8,[[4],[],7,9,[7,4,4]]]] + +[[[7,[],7],[[]],[8,6,8],5,7],[1,5]] +[[9,[[6,3,3,6]],4,[5],6],[3,[],[]],[[3]],[6,5,[[0,5,2]],6,[9,6,1,7,7]],[[1,7,[9,6],4,0],1,[[8,1,0,8]]]] + +[[8,0],[[[10],[10,10,6,3,7],[9,6,8,8]],3]] +[[3,[3,9],6],[],[],[[7,7,5,4,[7,10,0]]]] + +[[],[7],[[[9,4,6],[10,0,6],9],[6],[[8,3,2],[2,10,6,9,8],8,[0,9],5],10]] +[[2,9,[[7,9,2],[1,3,6,1],4,7,4],[[8,0,7],[2],[0,3,7],[],[5,8,9,4,2]]],[9,[[10,2,1,8],3,[0,10,3,7]],1],[[4,4],2],[[[6,1,0,4],3,[10,1],3],[[],[7,3,8],[7,0]],[7],5,[[3,7,5,9,0],8]]] + +[[10,[8],[8,[10,10,5,9,1],[3,6],[9,2,7,6],7],[6,[8,1,4],[]]],[[[5,0,8],3,5,5,5],1],[]] +[[6,[[4,0],1,4,[7,7,8,1],10],[[8,5,8,7],7,[1],[8,10,2],[9,2,1,3]],[10,[8],7,4,[3,1,9,2]]],[0,4,1,0,[[2,2,7,6,10],3,7,[6,7,10],[]]],[],[4,5]] + +[[[1]],[0,[[8,4,1,3],10,[3,7,9]]],[3,[[6],4,[9,6,5,10,4],[0,9]]],[0,5,[[5,2,2]]],[9,[9,4,3],[[9,4,4,4,0]],6]] +[[[],7,5],[0],[[[0,3,6],[9,1,5,2],[4,0],[],8]],[]] + +[[[7,7,[7,4,6]],[[6,6,2]],2],[[[4],[3,1],7,[2,6,8]],[[],[10],[]]]] +[[10,[[2],2,[8,2]]],[[],[8,[2,3]],5,[10,[6,5,6],8,[],6],4]] + +[[[[]],10,8,[],9],[[[1,4,8,2],[7,3,1,0,6],4,[7,6,1],6],[7]]] +[[[6,5,7,8],[9,[2,0,9],9,[1,8,9,8,0]]],[9]] + +[[[8,[],[10]]]] +[[[5,1,[9],10,[3,3,10,4,9]],[1,[5,8,4],1,10]],[3,[4,5,3],5,5],[],[[[9,0,5]],[],2,[[0],1,[9,9,5,5,3]],[[0,4,7,1]]],[]] + +[[2,[2,6,5,1,[7,10,4,8,5]],[10,[0,8,9],[9]],4,[[8],[5,9,9],[8,10,4]]],[],[[],6,0,4],[],[7]] +[[[[7,8]],8,[4,4],0],[[3],[7,10,[7,7,2,10,7],[0,5,1],8],[[7,4,8,8,1]],[6],4],[2,3,10,2]] + +[[[[0],[2,2],[5,6,5,7],2]],[[4,8,9],1,0,9,[[7,0],[]]],[3,[4,[0,2,10,8,9],[2,9]],[],10]] +[[4,[3],[[],9]],[8,[5,3,[],[8]],[],5,[2,7,[10,4],6,[4,10]]],[[],[],6,[[],0]]] + +[[0,4,8],[[],[[3,7,5,1,8],5,9,8],[]],[[10,[2,4]],10],[],[5,[[10,5,6,2,0],6],[[2,9],0],4]] +[[3,7]] + +[[[5],2],[2],[0,[[1,6,10],7,1,[],[0,1,6]]],[4]] +[[4,[],8,2],[],[8,[[4,0,6,9,7],10],[[10,4],[8,6,6,4],[4]]]] + +[[5,9,5,3,[3,0,[0],[10]]]] +[[[[0],4,8,[],5],[9,[1]]],[10],[[],[1,6,4,0]],[],[[],10,10]] + +[[],[8,[[1,3,7],[0,2,6],1,10,[6,6,9,2]],1,7,[[2],10,5,7,[]]]] +[[[9,[6,7,8,7],8,[0,2,9,9],[9]],[[],7],[[7,6,3],3,[0,8,9],[1,6]],5],[8,5],[10,1,[[],[3,9],[],5]],[]] + +[[],[10,2],[3,2,0,[[10],[10],1,2],[]],[],[5,[],[[1],[5,4,4,9,8]],[7,2,[]]]] +[[[],7,3],[[],2,0],[6,8,[[8,5,4,0,1]],0],[[[0,0,5,10]]],[[8,[7,10,6,4],8],8,[[10,6,3,2],10,[2]],[],[3]]] + +[[[3],[4,7,1,[2,2,1,8],[1,5]],4,2],[[],3],[],[[[3,8,0,6,5],6,[0]],4]] +[[[3,0],[[0,0,10,4],[4,6,4,5,2]],[[7],7,[10,7,2],[2,6,3],6],9]] + +[[[[3,4,2,3,4],[2,2],[1,7],5,[5]],8,[[5,6,9,8,0],2,0]],[],[1]] +[[],[[6,[],5,8,[6,1]],[[5,5,6,1,9],[10,5,0,7],5,[3,6],[5,6,10,0]],4]] + +[[5,[[2,9,4,5],7,4],6]] +[[[[1,6,3,1,0],[6,10,6],[],1,[]],6,[[1],[4,6,10],[],[6,1,10],[5,5]],2,[[8,6,4,4,7],[]]],[9,4]] + +[[],[],[2],[[[5,1,6],[4,1,9,7],6,[8,1,0],[0,6,0,10,1]],[],[[4,2,3,7,10],[10,6,3,6],3,[0]],[[10],[9,4,6]]],[4,0]] +[[],[[10,10,[6,3]]],[[[8,9,3,4]],4,[],10,[[4,1,10],4,8,[6,6,0,10],4]]] + +[[[6,[],7],[2,0,[3,4,0],6,[7,1]],[[2,6,10],9],[]],[[]]] +[[[[10,10,7],[0,6,8,4],6],9,[],10],[4],[0,[8,[],0],8,4],[[[8,9,8,6,1]],[[5,8],[],8,[3,3,3,10]],[[],[],[5,6,2,3,9],3,[3,3,5,4,0]],7,[[3,5],4,6,10]],[2,[2,6]]] + +[[[[9,7,5,2],[4,2,7,5,2]]],[0,[2,6,[3,7,6,0]],[0,6,[2],8],2,6],[[],2,[[9,9],[9,1,3,8,6],8,3,6]]] +[[[4],2,[1,6,[0,7,9,3],[10,4],[5,2,1]],[0,[],[6],1]],[[9,9,[6,8],9,[8]],[8,[2,10],[7,0],5],9,10]] + +[[3,4],[0,[0,0,[0,8,5,9]],5]] +[[[],[4,7,7],[[3],[4,5,6],7,[9,8,7],[10,8,0,10]],[[4,0,5,8,5],[8,3,9,5],5]],[[],0,6],[[[5,0,3],[],[4],[6,1,2,5]]],[[[8],[9,6],9],[[],[2,10]],[[5,7,7,7,7],8],[[],[],7,[5]],[6,[4,5],[3,4,6,5,2]]],[2,[]]] + +[[4,6,8,[4],[[6,8],[],0,6,1]],[1,[[3],[5,5,6,2],8],0,6],[[7,[1,4,4]],[10,[7,4,9,8,0],5,7],[[3,4,2,6]],0]] +[[],[[2,8,[4,3,3]],10,[9,[],8,8]]] + +[[[[1,10],[7,2,2,9]]],[[[9],9,[0]],[[8,10,7],0],[8,[5,2,1,2],[5,4,1,10,5],2,[9]],[[7,10,7,8],[7,10,4,0],[6,0,1,0,2],[4,4,4]],[10,[],0,[9,5,7,4,8],[8,7,1,6]]],[[[1],[8,8],9],3],[],[[[6,2,2],9,[],[1,1,6,3]],[7],0,0]] +[[[],[5,9,3,[5],8],[7,0,[],2,9],0,8],[[0,[],[2,4,6],9],[5,[],[8,6]],6,8,5],[[],10,7],[[[],3,5,[10,4,4]],3,8],[[[0,0,8]]]] + +[[3,10,[5,8,3],[],8],[[[1,7,10],8,[8,4],0,[7,4,0]],[6,6,[10,7,3,1,7]],[],[[0,9,8,10],6,[8,6,0],[8,10,2,1,4]]],[],[7]] +[[[],2,[1,[9,0,2],[1,7,1]]],[[[5,1,2],[6,6,1,2,2],2,5,[10,3]]]] + +[[8,[[3,1,9]],3]] +[[],[1,5,10],[3,[9,5,[10,2,10],7,8],[[]],8,[]]] + +[[[[4,0],[],[0,3,4]]],[3,9]] +[[5,9,0,6]] + +[[],[1],[3],[[[7,8,8,4],0],[7,5],[5,[2,0,5,10],[7]],10],[9,[10,7,[10,1,10,8]],5,7,0]] +[[],[],[[],10,[[6],[4,5],[2,2],[7,7]]],[[10,[8]],[[6,9],[3],8],2,[[0,9,1,3],0,5,2,3],[8,5,7,10]]] + +[[5,9,10,[3,7,10,[],1],3],[5,3,[[3,4]],1]] +[[[[7,3,3,7],7,2],[[2,3,8],[10],2]],[[8,[1,3,1,9],6,[6,1]],0,[9],3],[[],[[2,3,9,0],4],[10,7,[3]]],[5,4,[]]] + +[[[4,[8,1]],10],[[[],[4],5,3],[[5,6,1,9],[9,0,8],7],[],[[],[8,7,10],9,[4]]],[9,9]] +[[[[1],7],[[4],6,8,0,1]],[6,[0,[],[5],6,[1,6,2]]],[9,1,[],10],[[[8,3,2,7,3],[0,9,1,8]]],[]] + +[[[0],[]]] +[[[[10,2,2,6],[5],3,6,5]]] + +[[6,[[7,0],[7,5],1,3],[8,[3,2],[10,4,4,5,3],[6,10,10,6],5],1,3],[1],[[],[[],4,0]],[[[7,0,2]]]] +[[],[],[3,[3],0,[[4],8],[2,[5,7,3,0,2]]],[]] + +[[1,7,[[6,9,8,9,6],10]],[[]]] +[[4,[[4,4,9,7,1],[4,10]],[3,10,[3,10,10,3,1],9]],[10,10],[[[3,4,8,5,6],4,[]],0,8,4]] + +[[[]]] +[[[9,1,[5,2,7],[10]]]] + +[[10,[],8],[[[9,4,7,7,2],[0,5],[8,2,1],[10,5]],2,0],[],[[[5,1],[1,1,4,8],4],10,[4],9],[]] +[[[],[[0,1,1,8],[]],[8,2],7,5]] + +[[9,10,10,8,1],[],[4,[[4,4,8,6,9],[],[],7]],[4,9]] +[[[[6,4,7],2,9,9,10],[[9],[6,7,4,9,7],[2,10]],[9,[1,6],9,5,0]]] + +[[8],[[1],1,[1,2,0],6],[],[],[3,[[9,5,10],[8]],[6],[],1]] +[[[[]],[],8]] + +[[[[10,7,9,6,6],10,[6,2,8,0],5,4],[[4,7,10,10],3,[8,10,10],[2,10]],[[8,1,6,10,10],[]],[]],[2,6,10]] +[[],[9],[7,5,2,[6]],[[[3,0,7,6],[4,7],[4,8,2,3],6]],[4,5,[[10,7],[1,3],[8,10,9]],6,8]] + +[[8,6,[[0,0,3],[2,4,0,6],6,[4,1,10,2]],8],[[8,2,9,[4,6,8,1,6],3],[[8],2,[1,7,2]],[[],[7],8,8,[10]],8],[5,5,[9],2,[2,[2],4,8,[]]],[[[8],3,9,10,[1,1,9,7]],9,0],[[10],[8,7,3]]] +[[[[],6,[6,10],5],[],3,7]] + +[[0,9],[[3,1,8,3,7],[1]],[[1,[]],3,2,3],[2,5,1,[8,4,9,[3],4],5]] +[[[[10,7],5],2,2],[0,0,7],[7,[[5,3],5,0],[[],10,[6,10]]],[[[0],[],[5,10,3,3,0]],4,[[10,7],[0,0,4],8,10]],[]] + +[[8],[4]] +[[5,8,[0]],[8,[[3,3]]],[10,2,[10,3,[7,4,1],0],2,4],[[2],[3,5]]] + +[[10,8,[[6,10,5,5],[7,3]]],[[[2],[9,7],[],3,[10,4,9]],[],[1,[9,0],[8]],4,10]] +[[10,4,4,0],[]] + +[[1,7,7,8],[3,[]],[0,[5,10],8,[],[[4,10]]],[[[],4,9],8,[2,[10]]],[0,0,[6,7,[8,5,6]],[[5,2,3,9],10]]] +[[0,2],[6,[[4,0,9,9],1],[[7,0,9,2],3,3]],[4,4,6,[2,[3,5,6,7,3],1]],[],[2,5,7,8]] + +[[],[[],4,2]] +[[2,[6],0,3],[1,[1,[6,4,3,7,2],3,3],1,[[]]],[[[],[5,9,6,8,0],[7,10,10]],[[],[1,7,2,3,6],8,7]],[6,[[3,8,9],[2,2,4,9],[10,6,4,4],8,[1,9,3,10]],[1,[8,8],[6,5],4,[]],4,[1,10]]] + +[[[],5,10,7,9]] +[[5],[],[8,9,[[],[0,6,2],7],10],[[1,[10],[10,4,7,8]],2,1],[]] + +[[[],10,1],[[5,10,[],[]],9,7],[[]],[],[[7,[2,6,7]],9,5]] +[[1,[[],7,[7,2,2,4]],3,[6]],[8,[[1,1,5,1],2,5,[0,4,3,10]],3]] + +[[9,5]] +[[8],[8,6]] + +[[[8,10,5],[9,1,[]],2,4,6],[5],[[0,9,2],[],1,3,[8,6]]] +[[],[[[6,7,0,5],[3],[10,7,7],7],[[2,4,0,1],[7,1],[7,10,4,4,4]],[[10,4,10],[],[4,6,8],[6,0],[1,7,8,7,9]]]] + +[[3,9,[10,6,[9,8,8,8,0],[10,1,5,9]],10],[5,[[0],10,4,[0,1,7],8],[[2,3,7],[8,8,0,4],6,[1,1,2],[1,10,0,7,7]]],[[[10,8,9,8,9],1,[9,0,1,6]],0,8],[7,6,[[6,9,7]],[]],[[[5,4,8]],[[0,9],10,[2,6,2,9],[],4],[[7,2,7],[6,7,3,4,5],[7],1,[1,9,3,3]],[6,[6],[],[10,2,7,4,2]]]] +[[4,[[0,4,1,9,1],[],5,6],[[0],[0,6,7,9,2],[],[10,1,7,0],[7]]]] + +[[8,[[],[2,9,6,2,0],[6],0,2],[],2,[2]],[[4,1,2,[2,1],[4,9,0,9]]],[[1,[3,4]],[[4,0],3,3],0,10],[2]] +[[[7,4],3,4],[[],0,[[10,3,4,0,3]],[[1,5,6,5],[],10]],[[4,[6,4],[0],5],2,[7],[5,[4,5,9,4],[2,8,0]],4],[0,[2,8,2,[8],[]]],[[[2,8],[5],9,[]],[[8,9,2],[9,3],[9,9,3,2,7],5,7]]] + +[[10,[6,[3,2,2,7,8],[3,3,9,4,4],10],4,[7,0,[7,8,4,6,2]],1],[7,[5,[4,0],[7]],[6]],[9,5,8,[[4,7,0,10,8],5],[]]] +[[[[],[],[1,6,6,9],6,[3,0,2]],7,[8,[6],[2,6],1],[[10,1,5,1,9],1,[]]],[5,2,10,[4,[3,6]],7],[[0,[3,2,8,5],[10,1,8,8,1]],8,0],[[[3],[7,8,6],[10,0],[2,5,1,1,9],8],[8,5,[0,10],1],[[3,6,1],5,[2],3,[0,9,0,2]],8,[[]]],[2,[3,[6,2,9],[7,6,8,5]],[2,9,2,1]]] + +[[6,6,7],[],[10,2]] +[[[4,[0],1,1,6],10,5,[8,9,8,6],8]] + +[[[6,[10],[9,10,7],0,8]]] +[[1,8,4,[[8,9,1,6,0],[]]],[4,[[9],4,10,7],2,3]] + +[[[1,[6,3,6,5,3],6],1,0,[[],5,7,6]],[[],6],[],[]] +[[[9,[1,4,10,10]],[4,6,4,[8]],10]] + +[[[],7,[1],[],[0,[3,0],[4,7,5,1,3],[]]],[]] +[[[[7],5,9,9],5,3,7],[[[1,3,2,0],1],0,[[8,7,0,5,2],8,3,[7,7,3,4],9],3],[],[3],[6,[[3,9,3,0],[4,10],[]],[10,0,9,[],10],[],[[1,5],7,9]]] + +[[[3,10,10,3,3],[3],[1,0,4,2,2],6,3],[[9,[10],9,8],[[9,1,4,0,4],2,[4,8],[10,7,7],10],3,9,1],[[5,5]]] +[[8,2,7,0],[9,6,[2,[5,5],1,[7,10,6],[10,8,3,7]]],[]] + +[[[[2,7,3],8,8,[10,10,9,6,4],[]],7],[5],[],[],[]] +[[4],[[[],[5,4]],1],[2,[],5,[[10,0,4,5,9],5,[6,2,0,8],[4],8]]] + +[[0,5,3],[5,2],[[6]],[0],[[1,[6,10],10],[9,[4,7],3,[6],5],[4,[1,7,3,7,8]],[[5,10,1,1,3]],[8,[0,0,2,3],[8,1,7,0,3],[5,7]]]] +[[4],[],[8,4,1,[],1],[6],[]] + +[[[[7,8],[],[9,5,4],[6,9,3],4]],[8],[7],[4,7,[1,[],6,4],7,8],[]] +[[[[1],[]],6],[],[5],[5,[[1]],[[10],[1,8,4],6,[1]],4,[2,[0,5,6,7],4,7]]] + +[[],[9,[3]],[[10,10,[1],[],[4,2]],[[7,10,4]],[[4,0,3,3],1,[7,2]]],[]] +[[6],[[5,[3,3,5],[9,4,1,3,10],9],7,1],[4,10,7,4,9],[[[],[7,4,3,3,1],[],[2,8,4,10]]]] + +[[2,7,[5,8,9,[],4]],[1,[7,3,[0,1,0],4],5,6],[[]],[[[],10]]] +[[2,[[]],[],6,10]] + +[[[[2,6,2,6],7],[7,4],[7,[4,6]]],[[10,4,1,4],3,[]]] +[[[[1,6,9,9,7]]],[]] + +[[[]],[1,3,[2,[],[4,9],0],7,7],[[]],[[2,[0,5,7,1],[10,2,7,7,7],9,[]],7,5,1],[]] +[[[[],0,[8,3,3,10,10],[6,3,10,10,9]]]] + +[[9,[[7,5],8,[2,2,0,7]],[[],1,0]],[0,[3,3,8,[6,5,7,1,10],[9]]]] +[[],[],[],[7,8,10,6],[[4,[7],[]],[5,7],1]] + +[[2,[[5,6,3,9,10],4],[[10,4,4,8,10],5,[4,7,8,10],[],[7,4,2]],6,[[3,5],[0,5,1],8,7,10]],[[[9]]],[2,[[9,9,10],[0,10,1,4,8],[2]],1,[[1,9],1],[[],[6,0,6,9,5],0,[6,3]]]] +[[1,9]] + +[[1]] +[[[],5,8],[0,[6],8,6,4],[],[]] + +[[[[8,7],[8,3,10],5],[],3],[7,9],[6,1],[7],[[[1,8],9,[9,5,4],4],[[6,5,1,4,7],[5,5,2,2],[8]]]] +[[[[7,8,9],[2],9,[10,4,7],0],[[2],[1,7,4],[2],6,[6]],9],[[[1,9],[10,1,6,7,8],2,[10],[8,9,9]],[7],[2]],[8,2,3,3,[[9,2]]],[10,[[],[6,3,0,0]],7],[[[2,10],7,[5,7],8],4,7]] + +[[0,[[2,7,8,8],[5,5,6,2,2],[5,10,2,4],10,[]],[[2,1,9,6]]],[]] +[[3,[1],[[4],0,[7]],[[],5,1,0]],[[6],[5]],[[[3,1,4],[]],6,6,9],[2,[[4,7],6,[9,0,9,0,5],[8,10,4,4]],10,6,1]] + +[[8,9],[],[2,7,10,[[],2]],[[[],9],[[],[7,1,5,3,5]],0,4],[]] +[[7],[[]]] + +[[[[3,7],[2,9],9],1]] +[[10,[[8],[6,2],1,4]],[4,[6,[5,5]]]] + +[[6,8],[[[3,7,10],[5],5],0],[5,4,0,7,9]] +[[7]] + +[[[4]],[],[8]] +[[8,5],[[8,[10,1,3],[9,7,8],[9,10,7,10]],9,[[2,2,5,2],6,[0],[7,10,3]],9,[]],[4,[[8,7,1,5],[0,1],[6,7,6]],[[10,9,10]],[[]],[[8]]],[[5,[1,8,7],[7,7,0,9]],7,7,[],[7,8]]] + +[[[[10,9,9,1],5,7,3,[3,10,3]],5,10,5,0]] +[[1,[[],4,[],5],3]] + +[[2,[8]],[[],0,7,7],[7,[[],[6,9,7],0],5],[8,[5,[1,1,2],[1,0,6,1,0],2,[4]],6,[7,7],[10,[9,6,8,1,7],[]]],[1]] +[[4,10,[],[[9],[8]],[9,[10,3,4,4,3]]],[6,[[2,9]],[],8,4],[[6,[],7,10]]] + +[[],[2,9,10,7,2],[5,[],[[6,4]],[[2,1,9,6],4,[0,0,1,2],4,10],1],[[[8,7,1],3,4],10,[]],[10,[1,[9,4,0,4,9]],9]] +[[[[],[9,4,6,3],[7],5],[3,8,[5,0,0],[2]],0,[[0]]],[[10]],[8],[2,[1],5,4],[8,6,9]] + +[[[],[[9,7,2,7]],[[9,7,3,6,3],7,0,[7,3],0],4,[7]],[[[1],[6,6],3,9,[]],[],5,1],[[7,[],8],9],[8,[[2,4,6,5,8]]],[7]] +[[10,[]],[[[1,9,7,8],0,9,[1,10,9,8],[7,10,10,9,3]],[5,[3,2,5,8,1],[]]],[]] + +[[8,7,[],8,[[2,9,1],[3,6,3,7,0],[9,2],[],[1,3,4,10]]],[[8,4,6,4]],[[7,[2,2,10],[5],8],[],8,10]] +[[6,1]] + +[[],[7,[[2,4,5,8],[7,5,9,0,5],[8,1],[6,7,9,7],[5,8]],[[0,8],[9]],[6,[],[4],[3,6,8,8],[5,10,1]],[3,[9,5,0,2,0],6,[10,3]]],[5,[],7,[[1,1,7],[6,5,3,5,2]],[[0,1,4,3,6],[9,1,5,4,6],[7,3],6,7]]] +[[8],[[[7],10,8],[[10,5,8,8,3],0],[1,9],8]] + +[[1,[[6,8],5,[1,7,7],6,[3,0,1]],6,[5,[3,7],8]]] +[[3,[],10,[[1,1,8],6,3],[3,9,6,4,[2,9,10,6]]],[],[8,[[8,5,6],[],[],[5,7,6]],[6,[9,6,1,5,2]]],[]] + +[[8,[[],2,[5,7]],[5,[6,10]]],[[[1,5]]],[0,4,0],[5,[8],[[1,10,1],0,10,[3,10,5,6,1],[9,5,6]],0],[[[],[10,9,4,9,2]],[8,7,5],1,6]] +[[1,9,[[3],5,10,2],[3,[3,3],[1,9,10]],[]]] + +[[7],[6,0,[7,10],[9]],[],[]] +[[9,7,[1,8,[],9],7,0]] + +[[0,7],[7,2,2],[8,[[3]]],[[[8],1],7],[1]] +[[[[8,1,1,9,2],[5],9],[[3],[5,6,9],1,[]],[],0],[[],5,3,[0,0,3]],[[4,6,6,6,[8,1,8,6,4]],[8,4,[3,10,0,2]]]] + +[[[[10,3,4],0,[]],6,3],[],[[10,[],[0],9,1],5,[[6,2],[5,3,1],[10,3,7,9]]],[[8,7,4,2,0],[1,[10,10,0,1],1,[7]],1]] +[[1,[[4,8,4,0,1],9,5]],[[[1],6],8,[4,[4]]],[3,10,[0,1,[7],7],[6,[],6],[7]]] + +[[[0,0,[8,10,2,3],[6,2,5,6,7]],[9,6,10,1,[1,4,5]],[3,[5,8,3],10,10],4,[5,10,[],[9,2,10,2]]],[6,[5],[[5,6,1],[7,7,6],[0,7],4]]] +[[[[2,10,9,7,0],[8,0],[1,9,3]],[]],[[4],8,7],[],[10,10,10,[],5],[[2],[8,3],8,[1,[5],1]]] + +[[0,6,3],[6,[3,[8],3,1],[]],[3],[[],[8,6,4,[]],[[7,1,2,7,9]],[10,[10,2],[3,7,5],6]]] +[[[1,[10,3,4,2,6],6],[9,3,0,6],[9,[],[6,7,7,1,2],[6]],[[10]],1],[[]],[8,0],[],[8,[[9],7]]] + +[[5,[[8,3],10,9,[8,9,7,4],0]],[],[3,3,7],[2,[5],[4,4,[9,3,5]],3]] +[[[5,[6,9,0,1]],8,4,5,3]] + +[[[7,[],[],6,[4]],[],7],[[],10,5],[[[1,2,5],2,[6,1,3,3]],[[5,4,10,2,6],[1,9,9],10],8,1,9],[8,7]] +[[[5,[7],[9],1,7],6,9,[8],[[],[10,7,9,8,9],7,7,[3,7,10,2,7]]],[[10],[],[],[[2,0,8]],[[],0]]]