diff --git a/jujure/config.toml b/jujure/config.toml index e4a18a1..c710efb 100644 --- a/jujure/config.toml +++ b/jujure/config.toml @@ -7,6 +7,7 @@ paginate = 10 PygmentsCodeFences = true PygmentsStyle = "monokai" + [author] name = "Julien CLEMENT" @@ -56,10 +57,6 @@ PygmentsStyle = "monokai" [params.footer] author = true -[taxonomies] - category = "blog" - tag = "tags" - series = "series" [languages] [languages.en] @@ -71,7 +68,7 @@ PygmentsStyle = "monokai" [languages.en.params.logo] logoMark = "juju@synacktiv ~$ " - logoText = "cryptoratio" + logoText = "cryptopouneur" logoHomeLink = "/" logoCursorColor = "#3884FF" # or @@ -84,3 +81,8 @@ PygmentsStyle = "monokai" identifier = "posts" name = "Posts" url = "/post/" + + [[menu.main]] + identifier = "writeups" + name = "Writeups" + url = "/writeups/" diff --git a/jujure/content/post/conf_exploit.md b/jujure/content/post/conf_exploit.md index 7f7ad38..2dd8e8d 100644 --- a/jujure/content/post/conf_exploit.md +++ b/jujure/content/post/conf_exploit.md @@ -8,5 +8,5 @@ tags: ["Reverse", "Exploit"] {{< youtube 5g2eZSST7YE >}} {{< rawhtml >}} - + {{< /rawhtml >}} diff --git a/jujure/content/writeups/q-solved.md b/jujure/content/writeups/q-solved.md new file mode 100644 index 0000000..e0697ed --- /dev/null +++ b/jujure/content/writeups/q-solved.md @@ -0,0 +1,111 @@ +--- +title: "Reversing quantum algorithms ~~for ctf points~~ | q-solved - zer0pts 2022" +date: "2022-03-25 18:00:00" +author: "Juju" +tags: ["Reverse", "Quantum", "Writeup", "zer0pts"] +--- + +# Challenge description +`quantum` `reverse` | `304 pts` `8 solves` +``` +I copied the solver of a reversing task from the future. But it doesn't +show the flag forever :thinking: +``` + +# Given files + +{{< code file="/static/q-solved/solve.py" language="py" >}} + +[circuit.json](/q-solved/circuit.json) + +# TL;DR + +The scripts builds a quantum circuit describing an unstructured search +algorithm inspired by the grover's algorithm. Its goal is to find among all +possible inputs, the one(s) with the highest probability to match a predefined +criteria. + +It is composed of an `oracle` and a `diffuser`. The oracle is a black-box +function taking a state vector as input and introducing a phase shift in the +target qubit if the input matches the predefined criteria. + +The diffuser then performs amplitude amplification using the target qubit's +phase kickback when the oracle matches, thus increasing the probability of a +matching input vector to be measured. + +Basically, the output of the circuit is the input matching the criteria +described by the oracle. + +All that remains to do for us is to understand what that criteria is. + +# Reversing the Oracle + +We can see that the oracle is built using the `circuit.json`. + +The oracle is composed of 1408 multi-controlled X (MCX) gates, each controlled by 1 +or 3 input qubits with with a control state given in the json. Each MCX gate +acts on a dedicated ancilla qubit. + +After all 1408 MCX, the circuit adds an other MCX on the target qubit with all +control states set to 0. The target qubit is therefore introduced a phase shift +when all ancillas are in `|0>`. + +So we want all ancillas to be `|0>` but it is also their original state. We +therfore have to influence the control qubits of each MCX so that none actually +performs the X gate on any ancilla. This means that among all control qubits of +a MCX, at least one must have a state different from its control state, thus +deactivating the gate. + +If we look closely, we can see that the control state of a control qubit is `1` +when the json specifies `False`, and `0` when `True`. + +Remember, inputs must be different from their control state specified on the +gate. Therefore a qubit marked as `False`, must take value `|0>` to deactivate +the gate. Similarly, a qubit marked `True` must take value `|1>`. + +So we said earlier that the MCX have either 3 or 1 control bits and that at +least 1 of the control qubits must mismatch from their control state. + +# POC with trivial qubits + +Obviously this results in an equation system but let's see what we get with +only the obvious qubits: the ones controlling an ancilla by themselves. + +Indeed if an ancilla is controlled by a single input qubit then this qubit MUST +be different from his control state so the X gate stays disabled. Therefore, any input qubit marked as `False` and as the only control of a gate MUST be set to `|0>` to match the oracle. Same is true for qubits marked as `True` that must be in state `|1>`. + +So let's try to set all obvious qubits: + +{{< code file="/static/q-solved/poc_flag.py" language="py" >}} + +{{< image src="/q-solved/poc_flag.png" style="border-radius: 8px;" >}} + +Well, most of them are 0, except, the first byte: `z` + +Which is a really good sign that we are indead decoding a flag of the form +`zer0pts{...}` + +# Equation system + +For MCX with 3 control bits, we simply need to put them in an equation system, +with the trivial qubits. + +We will have a total of 1408 equations, 1 for each MCX, each equation basically +saying that at least 1 Qubit must be different from its control state, and +therefore equal to its assigned boolean in the json. + +Once the system is solved, we will know the state of all qubits that match the +oracle, which is the one outputed by the quantum circuit. We will then be able +to decode it to get the flag. + +# Solve + +I used z3 to build and solve the equation system: + +{{< code file="/static/q-solved/flag.py" language="py" >}} + +Running the script outputs us the equation system, sat indicated that z3 found +a solution to the system and the decoded solution of the system with the flag: +`zer0pts{FLAG_by_Gr0v3r's_4lg0r1thm}` + +{{< image src="/q-solved/flag.png" style="border-radius: 8px;" >}} diff --git a/jujure/layouts/shortcodes/code.html b/jujure/layouts/shortcodes/code.html new file mode 100644 index 0000000..5146d78 --- /dev/null +++ b/jujure/layouts/shortcodes/code.html @@ -0,0 +1,3 @@ +{{ $file := .Get "file" | readFile }} +{{ $lang := .Get "language" }} +{{ (print "```" $lang "\n" $file "\n```") | markdownify }} diff --git a/jujure/content/post/conf_exploit.pdf b/jujure/static/conf_exploit/slides.pdf similarity index 100% rename from jujure/content/post/conf_exploit.pdf rename to jujure/static/conf_exploit/slides.pdf diff --git a/jujure/static/q-solved/circuit.json b/jujure/static/q-solved/circuit.json new file mode 100755 index 0000000..656231c --- /dev/null +++ b/jujure/static/q-solved/circuit.json @@ -0,0 +1 @@ +{"memory": 560, "ancilla": 1408, "circuit": [[[false, 0]], [[true, 0], [false, 8], [false, 280]], [[false, 0], [true, 8], [false, 280]], [[true, 280], [false, 0], [false, 8]], [[true, 0], [true, 8], [true, 280]], [[false, 280]], [[false, 19], [false, 11], [false, 281]], [[true, 11], [true, 19], [false, 281]], [[false, 19], [true, 11], [true, 281]], [[false, 11], [true, 19], [true, 281]], [[false, 281]], [[false, 18], [false, 26], [false, 282]], [[true, 18], [true, 26], [false, 282]], [[true, 18], [false, 26], [true, 282]], [[false, 18], [true, 26], [true, 282]], [[false, 282]], [[false, 25], [false, 33], [false, 283]], [[true, 25], [true, 33], [false, 283]], [[true, 25], [false, 33], [true, 283]], [[false, 25], [true, 33], [true, 283]], [[false, 283]], [[false, 32], [false, 40], [false, 284]], [[true, 32], [true, 40], [false, 284]], [[true, 32], [false, 40], [true, 284]], [[false, 32], [true, 40], [true, 284]], [[false, 284]], [[true, 40], [false, 48], [false, 285]], [[true, 48], [false, 40], [false, 285]], [[true, 285], [false, 40], [false, 48]], [[true, 40], [true, 48], [true, 285]], [[false, 285]], [[false, 50], [false, 58], [false, 286]], [[true, 50], [true, 58], [false, 286]], [[true, 50], [false, 58], [true, 286]], [[false, 50], [true, 58], [true, 286]], [[false, 286]], [[false, 57], [false, 65], [false, 287]], [[true, 57], [true, 65], [false, 287]], [[true, 57], [false, 65], [true, 287]], [[true, 65], [false, 57], [true, 287]], [[false, 287]], [[false, 68], [false, 76], [false, 288]], [[true, 68], [true, 76], [false, 288]], [[true, 68], [false, 76], [true, 288]], [[false, 68], [true, 76], [true, 288]], [[false, 288]], [[false, 73], [false, 81], [false, 289]], [[true, 73], [true, 81], [false, 289]], [[true, 73], [false, 81], [true, 289]], [[false, 73], [true, 81], [true, 289]], [[false, 289]], [[false, 88], [false, 80], [false, 290]], [[true, 80], [true, 88], [false, 290]], [[false, 88], [true, 80], [true, 290]], [[false, 80], [true, 88], [true, 290]], [[false, 290]], [[false, 88], [false, 96], [false, 291]], [[true, 88], [true, 96], [false, 291]], [[true, 88], [false, 96], [true, 291]], [[false, 88], [true, 96], [true, 291]], [[false, 291]], [[false, 97], [false, 105], [false, 292]], [[true, 97], [true, 105], [false, 292]], [[true, 97], [false, 105], [true, 292]], [[false, 97], [true, 105], [true, 292]], [[false, 292]], [[false, 106], [false, 114], [false, 293]], [[true, 106], [true, 114], [false, 293]], [[true, 106], [false, 114], [true, 293]], [[false, 106], [true, 114], [true, 293]], [[false, 293]], [[false, 112], [false, 120], [false, 294]], [[true, 112], [true, 120], [false, 294]], [[true, 112], [false, 120], [true, 294]], [[false, 112], [true, 120], [true, 294]], [[false, 294]], [[false, 122], [false, 130], [false, 295]], [[true, 122], [true, 130], [false, 295]], [[true, 122], [false, 130], [true, 295]], [[false, 122], [true, 130], [true, 295]], [[false, 295]], [[false, 129], [false, 137], [false, 296]], [[true, 129], [true, 137], [false, 296]], [[true, 129], [false, 137], [true, 296]], [[false, 129], [true, 137], [true, 296]], [[false, 296]], [[false, 139], [false, 147], [false, 297]], [[true, 139], [true, 147], [false, 297]], [[true, 139], [false, 147], [true, 297]], [[false, 139], [true, 147], [true, 297]], [[false, 297]], [[false, 144], [false, 152], [false, 298]], [[true, 144], [true, 152], [false, 298]], [[true, 144], [false, 152], [true, 298]], [[false, 144], [true, 152], [true, 298]], [[false, 298]], [[false, 161], [false, 153], [false, 299]], [[true, 153], [true, 161], [false, 299]], [[false, 161], [true, 153], [true, 299]], [[false, 153], [true, 161], [true, 299]], [[false, 299]], [[false, 161], [false, 169], [false, 300]], [[true, 161], [true, 169], [false, 300]], [[true, 161], [false, 169], [true, 300]], [[false, 161], [true, 169], [true, 300]], [[false, 300]], [[false, 169], [false, 177], [false, 301]], [[true, 169], [true, 177], [false, 301]], [[true, 169], [false, 177], [true, 301]], [[false, 169], [true, 177], [true, 301]], [[false, 301]], [[false, 179], [false, 187], [false, 302]], [[true, 179], [true, 187], [false, 302]], [[true, 179], [false, 187], [true, 302]], [[false, 179], [true, 187], [true, 302]], [[false, 302]], [[false, 185], [false, 193], [false, 303]], [[true, 185], [true, 193], [false, 303]], [[true, 185], [false, 193], [true, 303]], [[false, 185], [true, 193], [true, 303]], [[false, 303]], [[false, 194], [false, 202], [false, 304]], [[true, 194], [true, 202], [false, 304]], [[true, 194], [false, 202], [true, 304]], [[false, 194], [true, 202], [true, 304]], [[false, 304]], [[false, 210], [false, 202], [false, 305]], [[true, 202], [true, 210], [false, 305]], [[false, 210], [true, 202], [true, 305]], [[false, 202], [true, 210], [true, 305]], [[false, 305]], [[false, 210], [false, 218], [false, 306]], [[true, 210], [true, 218], [false, 306]], [[true, 210], [false, 218], [true, 306]], [[false, 210], [true, 218], [true, 306]], [[false, 306]], [[false, 227], [false, 219], [false, 307]], [[true, 219], [true, 227], [false, 307]], [[false, 227], [true, 219], [true, 307]], [[true, 227], [false, 219], [true, 307]], [[false, 307]], [[false, 227], [false, 235], [false, 308]], [[true, 227], [true, 235], [false, 308]], [[true, 227], [false, 235], [true, 308]], [[false, 227], [true, 235], [true, 308]], [[false, 308]], [[false, 234], [false, 242], [false, 309]], [[true, 234], [true, 242], [false, 309]], [[true, 234], [false, 242], [true, 309]], [[true, 242], [false, 234], [true, 309]], [[false, 309]], [[false, 241], [false, 249], [false, 310]], [[true, 241], [true, 249], [false, 310]], [[false, 249], [true, 241], [true, 310]], [[false, 241], [true, 249], [true, 310]], [[false, 310]], [[false, 249], [false, 257], [false, 311]], [[true, 249], [true, 257], [false, 311]], [[true, 249], [false, 257], [true, 311]], [[false, 249], [true, 257], [true, 311]], [[false, 311]], [[false, 257], [false, 265], [false, 312]], [[true, 257], [true, 265], [false, 312]], [[true, 257], [false, 265], [true, 312]], [[false, 257], [true, 265], [true, 312]], [[false, 312]], [[false, 264], [false, 272], [false, 313]], [[true, 264], [true, 272], [false, 313]], [[true, 264], [false, 272], [true, 313]], [[false, 264], [true, 272], [true, 313]], [[false, 313]], [[false, 0], [true, 272], [false, 314]], [[true, 0], [false, 272], [false, 314]], [[false, 0], [false, 272], [true, 314]], [[true, 0], [true, 272], [true, 314]], [[false, 314]], [[false, 2]], [[false, 7]], [[true, 1]], [[true, 3]], [[true, 4]], [[true, 5]], [[true, 6]], [[true, 1], [false, 9], [false, 315]], [[true, 9], [false, 1], [false, 315]], [[true, 315], [false, 1], [false, 9]], [[true, 1], [true, 9], [true, 315]], [[false, 315]], [[true, 2], [false, 10], [false, 316]], [[false, 2], [true, 10], [false, 316]], [[true, 316], [false, 2], [false, 10]], [[true, 2], [true, 10], [true, 316]], [[false, 316]], [[true, 3], [false, 11], [false, 317]], [[true, 11], [false, 3], [false, 317]], [[true, 317], [false, 3], [false, 11]], [[true, 3], [true, 11], [true, 317]], [[false, 317]], [[true, 4], [false, 12], [false, 318]], [[true, 12], [false, 4], [false, 318]], [[true, 318], [false, 4], [false, 12]], [[true, 4], [true, 12], [true, 318]], [[false, 318]], [[false, 5], [false, 13], [false, 319]], [[true, 5], [true, 13], [false, 319]], [[true, 5], [false, 13], [true, 319]], [[false, 5], [true, 13], [true, 319]], [[false, 319]], [[false, 6], [false, 14], [false, 320]], [[true, 6], [true, 14], [false, 320]], [[true, 6], [false, 14], [true, 320]], [[false, 6], [true, 14], [true, 320]], [[false, 320]], [[false, 7], [false, 15], [false, 321]], [[true, 7], [true, 15], [false, 321]], [[true, 7], [false, 15], [true, 321]], [[false, 7], [true, 15], [true, 321]], [[false, 321]], [[false, 13], [false, 21], [false, 322]], [[true, 13], [true, 21], [false, 322]], [[true, 13], [false, 21], [true, 322]], [[true, 21], [false, 13], [true, 322]], [[false, 322]], [[false, 14], [false, 22], [false, 323]], [[true, 14], [true, 22], [false, 323]], [[true, 14], [false, 22], [true, 323]], [[true, 22], [false, 14], [true, 323]], [[false, 323]], [[false, 15], [false, 23], [false, 324]], [[true, 15], [true, 23], [false, 324]], [[true, 15], [false, 23], [true, 324]], [[true, 23], [false, 15], [true, 324]], [[false, 324]], [[true, 8], [false, 16], [false, 325]], [[true, 16], [false, 8], [false, 325]], [[true, 325], [false, 8], [false, 16]], [[true, 8], [true, 16], [true, 325]], [[false, 325]], [[true, 9], [false, 17], [false, 326]], [[true, 17], [false, 9], [false, 326]], [[true, 326], [false, 9], [false, 17]], [[true, 9], [true, 17], [true, 326]], [[false, 326]], [[false, 18], [true, 10], [false, 327]], [[true, 18], [false, 10], [false, 327]], [[true, 327], [false, 10], [false, 18]], [[true, 10], [true, 18], [true, 327]], [[false, 327]], [[true, 12], [false, 20], [false, 328]], [[true, 20], [false, 12], [false, 328]], [[true, 328], [false, 12], [false, 20]], [[true, 12], [true, 20], [true, 328]], [[false, 328]], [[false, 19], [false, 27], [false, 329]], [[true, 19], [true, 27], [false, 329]], [[true, 19], [false, 27], [true, 329]], [[false, 19], [true, 27], [true, 329]], [[false, 329]], [[false, 16], [false, 24], [false, 330]], [[true, 16], [true, 24], [false, 330]], [[true, 16], [false, 24], [true, 330]], [[false, 16], [true, 24], [true, 330]], [[false, 330]], [[false, 20], [false, 28], [false, 331]], [[true, 20], [true, 28], [false, 331]], [[true, 20], [false, 28], [true, 331]], [[true, 28], [false, 20], [true, 331]], [[false, 331]], [[false, 21], [false, 29], [false, 332]], [[true, 21], [true, 29], [false, 332]], [[true, 21], [false, 29], [true, 332]], [[true, 29], [false, 21], [true, 332]], [[false, 332]], [[false, 23], [false, 31], [false, 333]], [[true, 23], [true, 31], [false, 333]], [[true, 23], [false, 31], [true, 333]], [[true, 31], [false, 23], [true, 333]], [[false, 333]], [[false, 25], [true, 17], [false, 334]], [[true, 25], [false, 17], [false, 334]], [[true, 334], [false, 17], [false, 25]], [[true, 17], [true, 25], [true, 334]], [[false, 334]], [[true, 22], [false, 30], [false, 335]], [[true, 30], [false, 22], [false, 335]], [[true, 335], [false, 22], [false, 30]], [[true, 22], [true, 30], [true, 335]], [[false, 335]], [[false, 24], [false, 32], [false, 336]], [[true, 24], [true, 32], [false, 336]], [[true, 24], [false, 32], [true, 336]], [[false, 24], [true, 32], [true, 336]], [[false, 336]], [[false, 26], [false, 34], [false, 337]], [[true, 26], [true, 34], [false, 337]], [[true, 26], [false, 34], [true, 337]], [[true, 34], [false, 26], [true, 337]], [[false, 337]], [[false, 27], [false, 35], [false, 338]], [[true, 27], [true, 35], [false, 338]], [[true, 27], [false, 35], [true, 338]], [[true, 35], [false, 27], [true, 338]], [[false, 338]], [[false, 28], [false, 36], [false, 339]], [[true, 28], [true, 36], [false, 339]], [[true, 28], [false, 36], [true, 339]], [[true, 36], [false, 28], [true, 339]], [[false, 339]], [[false, 29], [false, 37], [false, 340]], [[true, 29], [true, 37], [false, 340]], [[true, 29], [false, 37], [true, 340]], [[true, 37], [false, 29], [true, 340]], [[false, 340]], [[false, 31], [false, 39], [false, 341]], [[true, 31], [true, 39], [false, 341]], [[true, 31], [false, 39], [true, 341]], [[true, 39], [false, 31], [true, 341]], [[false, 341]], [[true, 30], [false, 38], [false, 342]], [[true, 38], [false, 30], [false, 342]], [[true, 342], [false, 30], [false, 38]], [[true, 30], [true, 38], [true, 342]], [[false, 342]], [[false, 33], [false, 41], [false, 343]], [[true, 33], [true, 41], [false, 343]], [[true, 33], [false, 41], [true, 343]], [[true, 41], [false, 33], [true, 343]], [[false, 343]], [[false, 35], [false, 43], [false, 344]], [[true, 35], [true, 43], [false, 344]], [[true, 35], [false, 43], [true, 344]], [[true, 43], [false, 35], [true, 344]], [[false, 344]], [[false, 36], [false, 44], [false, 345]], [[true, 36], [true, 44], [false, 345]], [[true, 36], [false, 44], [true, 345]], [[true, 44], [false, 36], [true, 345]], [[false, 345]], [[false, 37], [false, 45], [false, 346]], [[true, 37], [true, 45], [false, 346]], [[true, 37], [false, 45], [true, 346]], [[true, 45], [false, 37], [true, 346]], [[false, 346]], [[false, 38], [false, 46], [false, 347]], [[true, 38], [true, 46], [false, 347]], [[true, 38], [false, 46], [true, 347]], [[true, 46], [false, 38], [true, 347]], [[false, 347]], [[false, 39], [false, 47], [false, 348]], [[true, 39], [true, 47], [false, 348]], [[true, 39], [false, 47], [true, 348]], [[true, 47], [false, 39], [true, 348]], [[false, 348]], [[true, 34], [false, 42], [false, 349]], [[true, 42], [false, 34], [false, 349]], [[true, 349], [false, 34], [false, 42]], [[true, 34], [true, 42], [true, 349]], [[false, 349]], [[true, 41], [false, 49], [false, 350]], [[true, 49], [false, 41], [false, 350]], [[true, 350], [false, 41], [false, 49]], [[true, 41], [true, 49], [true, 350]], [[false, 350]], [[true, 42], [false, 50], [false, 351]], [[true, 50], [false, 42], [false, 351]], [[true, 351], [false, 42], [false, 50]], [[true, 42], [true, 50], [true, 351]], [[false, 351]], [[false, 43], [false, 51], [false, 352]], [[true, 43], [true, 51], [false, 352]], [[true, 43], [false, 51], [true, 352]], [[true, 51], [false, 43], [true, 352]], [[false, 352]], [[false, 44], [false, 52], [false, 353]], [[true, 44], [true, 52], [false, 353]], [[true, 44], [false, 52], [true, 353]], [[true, 52], [false, 44], [true, 353]], [[false, 353]], [[false, 45], [false, 53], [false, 354]], [[true, 45], [true, 53], [false, 354]], [[true, 45], [false, 53], [true, 354]], [[true, 53], [false, 45], [true, 354]], [[false, 354]], [[false, 46], [false, 54], [false, 355]], [[true, 46], [true, 54], [false, 355]], [[true, 46], [false, 54], [true, 355]], [[true, 54], [false, 46], [true, 355]], [[false, 355]], [[false, 47], [false, 55], [false, 356]], [[true, 47], [true, 55], [false, 356]], [[true, 47], [false, 55], [true, 356]], [[true, 55], [false, 47], [true, 356]], [[false, 356]], [[false, 49], [false, 57], [false, 357]], [[true, 49], [true, 57], [false, 357]], [[true, 49], [false, 57], [true, 357]], [[false, 49], [true, 57], [true, 357]], [[false, 357]], [[false, 48], [false, 56], [false, 358]], [[true, 48], [true, 56], [false, 358]], [[true, 48], [false, 56], [true, 358]], [[false, 48], [true, 56], [true, 358]], [[false, 358]], [[false, 52], [false, 60], [false, 359]], [[true, 52], [true, 60], [false, 359]], [[true, 52], [false, 60], [true, 359]], [[true, 60], [false, 52], [true, 359]], [[false, 359]], [[false, 53], [false, 61], [false, 360]], [[true, 53], [true, 61], [false, 360]], [[true, 53], [false, 61], [true, 360]], [[true, 61], [false, 53], [true, 360]], [[false, 360]], [[false, 54], [false, 62], [false, 361]], [[true, 54], [true, 62], [false, 361]], [[true, 54], [false, 62], [true, 361]], [[true, 62], [false, 54], [true, 361]], [[false, 361]], [[false, 55], [false, 63], [false, 362]], [[true, 55], [true, 63], [false, 362]], [[true, 55], [false, 63], [true, 362]], [[true, 63], [false, 55], [true, 362]], [[false, 362]], [[true, 51], [false, 59], [false, 363]], [[true, 59], [false, 51], [false, 363]], [[true, 363], [false, 51], [false, 59]], [[true, 51], [true, 59], [true, 363]], [[false, 363]], [[false, 62], [false, 70], [false, 364]], [[true, 62], [true, 70], [false, 364]], [[true, 62], [false, 70], [true, 364]], [[true, 70], [false, 62], [true, 364]], [[false, 364]], [[false, 63], [false, 71], [false, 365]], [[true, 63], [true, 71], [false, 365]], [[true, 63], [false, 71], [true, 365]], [[true, 71], [false, 63], [true, 365]], [[false, 365]], [[true, 56], [false, 64], [false, 366]], [[true, 64], [false, 56], [false, 366]], [[true, 366], [false, 56], [false, 64]], [[true, 56], [true, 64], [true, 366]], [[false, 366]], [[true, 58], [false, 66], [false, 367]], [[true, 66], [false, 58], [false, 367]], [[true, 367], [false, 58], [false, 66]], [[true, 58], [true, 66], [true, 367]], [[false, 367]], [[true, 59], [false, 67], [false, 368]], [[true, 67], [false, 59], [false, 368]], [[true, 368], [false, 59], [false, 67]], [[true, 59], [true, 67], [true, 368]], [[false, 368]], [[true, 60], [false, 68], [false, 369]], [[true, 68], [false, 60], [false, 369]], [[true, 369], [false, 60], [false, 68]], [[true, 60], [true, 68], [true, 369]], [[false, 369]], [[true, 61], [false, 69], [false, 370]], [[true, 69], [false, 61], [false, 370]], [[true, 370], [false, 61], [false, 69]], [[true, 61], [true, 69], [true, 370]], [[false, 370]], [[false, 66], [false, 74], [false, 371]], [[true, 66], [true, 74], [false, 371]], [[true, 66], [false, 74], [true, 371]], [[false, 66], [true, 74], [true, 371]], [[false, 371]], [[false, 64], [false, 72], [false, 372]], [[true, 64], [true, 72], [false, 372]], [[true, 64], [false, 72], [true, 372]], [[false, 64], [true, 72], [true, 372]], [[false, 372]], [[false, 69], [false, 77], [false, 373]], [[true, 69], [true, 77], [false, 373]], [[true, 69], [false, 77], [true, 373]], [[true, 77], [false, 69], [true, 373]], [[false, 373]], [[false, 70], [false, 78], [false, 374]], [[true, 70], [true, 78], [false, 374]], [[true, 70], [false, 78], [true, 374]], [[true, 78], [false, 70], [true, 374]], [[false, 374]], [[false, 71], [false, 79], [false, 375]], [[true, 71], [true, 79], [false, 375]], [[true, 71], [false, 79], [true, 375]], [[true, 79], [false, 71], [true, 375]], [[false, 375]], [[true, 65], [false, 73], [false, 376]], [[true, 73], [false, 65], [false, 376]], [[true, 376], [false, 65], [false, 73]], [[true, 65], [true, 73], [true, 376]], [[false, 376]], [[true, 67], [false, 75], [false, 377]], [[true, 75], [false, 67], [false, 377]], [[true, 377], [false, 67], [false, 75]], [[true, 67], [true, 75], [true, 377]], [[false, 377]], [[false, 76], [false, 84], [false, 378]], [[true, 76], [true, 84], [false, 378]], [[true, 76], [false, 84], [true, 378]], [[true, 84], [false, 76], [true, 378]], [[false, 378]], [[false, 77], [false, 85], [false, 379]], [[true, 77], [true, 85], [false, 379]], [[true, 77], [false, 85], [true, 379]], [[true, 85], [false, 77], [true, 379]], [[false, 379]], [[false, 78], [false, 86], [false, 380]], [[true, 78], [true, 86], [false, 380]], [[true, 78], [false, 86], [true, 380]], [[true, 86], [false, 78], [true, 380]], [[false, 380]], [[false, 79], [false, 87], [false, 381]], [[true, 79], [true, 87], [false, 381]], [[true, 79], [false, 87], [true, 381]], [[true, 87], [false, 79], [true, 381]], [[false, 381]], [[true, 72], [false, 80], [false, 382]], [[true, 80], [false, 72], [false, 382]], [[true, 382], [false, 72], [false, 80]], [[true, 72], [true, 80], [true, 382]], [[false, 382]], [[true, 74], [false, 82], [false, 383]], [[true, 82], [false, 74], [false, 383]], [[true, 383], [false, 74], [false, 82]], [[true, 74], [true, 82], [true, 383]], [[false, 383]], [[true, 75], [false, 83], [false, 384]], [[true, 83], [false, 75], [false, 384]], [[true, 384], [false, 75], [false, 83]], [[true, 75], [true, 83], [true, 384]], [[false, 384]], [[false, 83], [false, 91], [false, 385]], [[true, 83], [true, 91], [false, 385]], [[true, 83], [false, 91], [true, 385]], [[true, 91], [false, 83], [true, 385]], [[false, 385]], [[false, 84], [false, 92], [false, 386]], [[true, 84], [true, 92], [false, 386]], [[true, 84], [false, 92], [true, 386]], [[true, 92], [false, 84], [true, 386]], [[false, 386]], [[false, 85], [false, 93], [false, 387]], [[true, 85], [true, 93], [false, 387]], [[true, 85], [false, 93], [true, 387]], [[true, 93], [false, 85], [true, 387]], [[false, 387]], [[false, 86], [false, 94], [false, 388]], [[true, 86], [true, 94], [false, 388]], [[true, 86], [false, 94], [true, 388]], [[true, 94], [false, 86], [true, 388]], [[false, 388]], [[false, 87], [false, 95], [false, 389]], [[true, 87], [true, 95], [false, 389]], [[true, 87], [false, 95], [true, 389]], [[true, 95], [false, 87], [true, 389]], [[false, 389]], [[true, 81], [false, 89], [false, 390]], [[true, 89], [false, 81], [false, 390]], [[true, 390], [false, 81], [false, 89]], [[true, 81], [true, 89], [true, 390]], [[false, 390]], [[true, 82], [false, 90], [false, 391]], [[true, 90], [false, 82], [false, 391]], [[true, 391], [false, 82], [false, 90]], [[true, 82], [true, 90], [true, 391]], [[false, 391]], [[false, 89], [false, 97], [false, 392]], [[true, 89], [true, 97], [false, 392]], [[true, 89], [false, 97], [true, 392]], [[false, 89], [true, 97], [true, 392]], [[false, 392]], [[false, 90], [false, 98], [false, 393]], [[true, 90], [true, 98], [false, 393]], [[true, 90], [false, 98], [true, 393]], [[true, 98], [false, 90], [true, 393]], [[false, 393]], [[false, 93], [false, 101], [false, 394]], [[true, 93], [true, 101], [false, 394]], [[true, 93], [false, 101], [true, 394]], [[true, 101], [false, 93], [true, 394]], [[false, 394]], [[false, 94], [false, 102], [false, 395]], [[true, 94], [true, 102], [false, 395]], [[true, 94], [false, 102], [true, 395]], [[true, 102], [false, 94], [true, 395]], [[false, 395]], [[false, 95], [false, 103], [false, 396]], [[true, 95], [true, 103], [false, 396]], [[true, 95], [false, 103], [true, 396]], [[true, 103], [false, 95], [true, 396]], [[false, 396]], [[true, 91], [false, 99], [false, 397]], [[true, 99], [false, 91], [false, 397]], [[true, 397], [false, 91], [false, 99]], [[true, 91], [true, 99], [true, 397]], [[false, 397]], [[true, 92], [false, 100], [false, 398]], [[true, 100], [false, 92], [false, 398]], [[true, 398], [false, 92], [false, 100]], [[true, 92], [true, 100], [true, 398]], [[false, 398]], [[false, 102], [false, 110], [false, 399]], [[true, 102], [true, 110], [false, 399]], [[true, 102], [false, 110], [true, 399]], [[true, 110], [false, 102], [true, 399]], [[false, 399]], [[false, 103], [false, 111], [false, 400]], [[true, 103], [true, 111], [false, 400]], [[true, 103], [false, 111], [true, 400]], [[true, 111], [false, 103], [true, 400]], [[false, 400]], [[true, 96], [false, 104], [false, 401]], [[true, 104], [false, 96], [false, 401]], [[true, 401], [false, 96], [false, 104]], [[true, 96], [true, 104], [true, 401]], [[false, 401]], [[true, 98], [false, 106], [false, 402]], [[true, 106], [false, 98], [false, 402]], [[true, 402], [false, 98], [false, 106]], [[true, 98], [true, 106], [true, 402]], [[false, 402]], [[true, 99], [false, 107], [false, 403]], [[true, 107], [false, 99], [false, 403]], [[true, 403], [false, 99], [false, 107]], [[true, 99], [true, 107], [true, 403]], [[false, 403]], [[true, 100], [false, 108], [false, 404]], [[true, 108], [false, 100], [false, 404]], [[true, 404], [false, 100], [false, 108]], [[true, 100], [true, 108], [true, 404]], [[false, 404]], [[true, 101], [false, 109], [false, 405]], [[true, 109], [false, 101], [false, 405]], [[true, 405], [false, 101], [false, 109]], [[true, 101], [true, 109], [true, 405]], [[false, 405]], [[false, 109], [false, 117], [false, 406]], [[true, 109], [true, 117], [false, 406]], [[true, 109], [false, 117], [true, 406]], [[true, 117], [false, 109], [true, 406]], [[false, 406]], [[false, 110], [false, 118], [false, 407]], [[true, 110], [true, 118], [false, 407]], [[true, 110], [false, 118], [true, 407]], [[true, 118], [false, 110], [true, 407]], [[false, 407]], [[false, 111], [false, 119], [false, 408]], [[true, 111], [true, 119], [false, 408]], [[true, 111], [false, 119], [true, 408]], [[true, 119], [false, 111], [true, 408]], [[false, 408]], [[false, 112], [true, 104], [false, 409]], [[true, 112], [false, 104], [false, 409]], [[true, 409], [false, 104], [false, 112]], [[true, 104], [true, 112], [true, 409]], [[false, 409]], [[true, 105], [false, 113], [false, 410]], [[true, 113], [false, 105], [false, 410]], [[true, 410], [false, 105], [false, 113]], [[true, 105], [true, 113], [true, 410]], [[false, 410]], [[true, 107], [false, 115], [false, 411]], [[true, 115], [false, 107], [false, 411]], [[true, 411], [false, 107], [false, 115]], [[true, 107], [true, 115], [true, 411]], [[false, 411]], [[true, 108], [false, 116], [false, 412]], [[true, 116], [false, 108], [false, 412]], [[true, 412], [false, 108], [false, 116]], [[true, 108], [true, 116], [true, 412]], [[false, 412]], [[false, 115], [false, 123], [false, 413]], [[true, 115], [true, 123], [false, 413]], [[true, 115], [false, 123], [true, 413]], [[false, 115], [true, 123], [true, 413]], [[false, 413]], [[false, 116], [false, 124], [false, 414]], [[true, 116], [true, 124], [false, 414]], [[true, 116], [false, 124], [true, 414]], [[true, 124], [false, 116], [true, 414]], [[false, 414]], [[false, 118], [false, 126], [false, 415]], [[true, 118], [true, 126], [false, 415]], [[true, 118], [false, 126], [true, 415]], [[true, 126], [false, 118], [true, 415]], [[false, 415]], [[false, 119], [false, 127], [false, 416]], [[true, 119], [true, 127], [false, 416]], [[true, 119], [false, 127], [true, 416]], [[true, 127], [false, 119], [true, 416]], [[false, 416]], [[false, 121], [true, 113], [false, 417]], [[true, 121], [false, 113], [false, 417]], [[true, 417], [false, 113], [false, 121]], [[true, 113], [true, 121], [true, 417]], [[false, 417]], [[false, 122], [true, 114], [false, 418]], [[true, 122], [false, 114], [false, 418]], [[true, 418], [false, 114], [false, 122]], [[true, 114], [true, 122], [true, 418]], [[false, 418]], [[true, 117], [false, 125], [false, 419]], [[true, 125], [false, 117], [false, 419]], [[true, 419], [false, 117], [false, 125]], [[true, 117], [true, 125], [true, 419]], [[false, 419]], [[false, 121], [false, 129], [false, 420]], [[true, 121], [true, 129], [false, 420]], [[true, 121], [false, 129], [true, 420]], [[false, 121], [true, 129], [true, 420]], [[false, 420]], [[false, 120], [false, 128], [false, 421]], [[true, 120], [true, 128], [false, 421]], [[true, 120], [false, 128], [true, 421]], [[false, 120], [true, 128], [true, 421]], [[false, 421]], [[false, 125], [false, 133], [false, 422]], [[true, 125], [true, 133], [false, 422]], [[true, 125], [false, 133], [true, 422]], [[true, 133], [false, 125], [true, 422]], [[false, 422]], [[false, 126], [false, 134], [false, 423]], [[true, 126], [true, 134], [false, 423]], [[true, 126], [false, 134], [true, 423]], [[true, 134], [false, 126], [true, 423]], [[false, 423]], [[false, 127], [false, 135], [false, 424]], [[true, 127], [true, 135], [false, 424]], [[true, 127], [false, 135], [true, 424]], [[true, 135], [false, 127], [true, 424]], [[false, 424]], [[true, 123], [false, 131], [false, 425]], [[true, 131], [false, 123], [false, 425]], [[true, 425], [false, 123], [false, 131]], [[true, 123], [true, 131], [true, 425]], [[false, 425]], [[true, 124], [false, 132], [false, 426]], [[true, 132], [false, 124], [false, 426]], [[true, 426], [false, 124], [false, 132]], [[true, 124], [true, 132], [true, 426]], [[false, 426]], [[false, 139], [false, 131], [false, 427]], [[true, 131], [true, 139], [false, 427]], [[true, 131], [false, 139], [true, 427]], [[true, 139], [false, 131], [true, 427]], [[false, 427]], [[false, 134], [false, 142], [false, 428]], [[true, 134], [true, 142], [false, 428]], [[true, 134], [false, 142], [true, 428]], [[true, 142], [false, 134], [true, 428]], [[false, 428]], [[false, 135], [false, 143], [false, 429]], [[true, 135], [true, 143], [false, 429]], [[true, 135], [false, 143], [true, 429]], [[true, 143], [false, 135], [true, 429]], [[false, 429]], [[true, 128], [false, 136], [false, 430]], [[true, 136], [false, 128], [false, 430]], [[true, 430], [false, 128], [false, 136]], [[true, 128], [true, 136], [true, 430]], [[false, 430]], [[true, 130], [false, 138], [false, 431]], [[true, 138], [false, 130], [false, 431]], [[true, 431], [false, 130], [false, 138]], [[true, 130], [true, 138], [true, 431]], [[false, 431]], [[true, 132], [false, 140], [false, 432]], [[true, 140], [false, 132], [false, 432]], [[true, 432], [false, 132], [false, 140]], [[true, 132], [true, 140], [true, 432]], [[false, 432]], [[true, 133], [false, 141], [false, 433]], [[true, 141], [false, 133], [false, 433]], [[true, 433], [false, 133], [false, 141]], [[true, 133], [true, 141], [true, 433]], [[false, 433]], [[false, 138], [false, 146], [false, 434]], [[true, 138], [true, 146], [false, 434]], [[true, 138], [false, 146], [true, 434]], [[false, 138], [true, 146], [true, 434]], [[false, 434]], [[false, 136], [false, 144], [false, 435]], [[true, 136], [true, 144], [false, 435]], [[true, 136], [false, 144], [true, 435]], [[false, 136], [true, 144], [true, 435]], [[false, 435]], [[false, 140], [false, 148], [false, 436]], [[true, 140], [true, 148], [false, 436]], [[true, 140], [false, 148], [true, 436]], [[true, 148], [false, 140], [true, 436]], [[false, 436]], [[false, 141], [false, 149], [false, 437]], [[true, 141], [true, 149], [false, 437]], [[true, 141], [false, 149], [true, 437]], [[true, 149], [false, 141], [true, 437]], [[false, 437]], [[false, 143], [false, 151], [false, 438]], [[true, 143], [true, 151], [false, 438]], [[true, 143], [false, 151], [true, 438]], [[true, 151], [false, 143], [true, 438]], [[false, 438]], [[true, 137], [false, 145], [false, 439]], [[true, 145], [false, 137], [false, 439]], [[true, 439], [false, 137], [false, 145]], [[true, 137], [true, 145], [true, 439]], [[false, 439]], [[true, 142], [false, 150], [false, 440]], [[true, 150], [false, 142], [false, 440]], [[true, 440], [false, 142], [false, 150]], [[true, 142], [true, 150], [true, 440]], [[false, 440]], [[false, 147], [false, 155], [false, 441]], [[true, 147], [true, 155], [false, 441]], [[true, 147], [false, 155], [true, 441]], [[true, 155], [false, 147], [true, 441]], [[false, 441]], [[false, 148], [false, 156], [false, 442]], [[true, 148], [true, 156], [false, 442]], [[true, 148], [false, 156], [true, 442]], [[true, 156], [false, 148], [true, 442]], [[false, 442]], [[false, 149], [false, 157], [false, 443]], [[true, 149], [true, 157], [false, 443]], [[true, 149], [false, 157], [true, 443]], [[true, 157], [false, 149], [true, 443]], [[false, 443]], [[false, 151], [false, 159], [false, 444]], [[true, 151], [true, 159], [false, 444]], [[true, 151], [false, 159], [true, 444]], [[true, 159], [false, 151], [true, 444]], [[false, 444]], [[true, 145], [false, 153], [false, 445]], [[true, 153], [false, 145], [false, 445]], [[true, 445], [false, 145], [false, 153]], [[true, 145], [true, 153], [true, 445]], [[false, 445]], [[true, 146], [false, 154], [false, 446]], [[true, 154], [false, 146], [false, 446]], [[true, 446], [false, 146], [false, 154]], [[true, 146], [true, 154], [true, 446]], [[false, 446]], [[true, 150], [false, 158], [false, 447]], [[true, 158], [false, 150], [false, 447]], [[true, 447], [false, 150], [false, 158]], [[true, 150], [true, 158], [true, 447]], [[false, 447]], [[false, 155], [false, 163], [false, 448]], [[true, 155], [true, 163], [false, 448]], [[true, 155], [false, 163], [true, 448]], [[true, 163], [false, 155], [true, 448]], [[false, 448]], [[false, 156], [false, 164], [false, 449]], [[true, 156], [true, 164], [false, 449]], [[true, 156], [false, 164], [true, 449]], [[true, 164], [false, 156], [true, 449]], [[false, 449]], [[false, 157], [false, 165], [false, 450]], [[true, 157], [true, 165], [false, 450]], [[true, 157], [false, 165], [true, 450]], [[true, 165], [false, 157], [true, 450]], [[false, 450]], [[false, 159], [false, 167], [false, 451]], [[true, 159], [true, 167], [false, 451]], [[true, 159], [false, 167], [true, 451]], [[true, 167], [false, 159], [true, 451]], [[false, 451]], [[true, 152], [false, 160], [false, 452]], [[true, 160], [false, 152], [false, 452]], [[true, 452], [false, 152], [false, 160]], [[true, 152], [true, 160], [true, 452]], [[false, 452]], [[true, 154], [false, 162], [false, 453]], [[true, 162], [false, 154], [false, 453]], [[true, 453], [false, 154], [false, 162]], [[true, 154], [true, 162], [true, 453]], [[false, 453]], [[true, 158], [false, 166], [false, 454]], [[true, 166], [false, 158], [false, 454]], [[true, 454], [false, 158], [false, 166]], [[true, 158], [true, 166], [true, 454]], [[false, 454]], [[false, 162], [false, 170], [false, 455]], [[true, 162], [true, 170], [false, 455]], [[true, 162], [false, 170], [true, 455]], [[false, 162], [true, 170], [true, 455]], [[false, 455]], [[false, 163], [false, 171], [false, 456]], [[true, 163], [true, 171], [false, 456]], [[true, 163], [false, 171], [true, 456]], [[true, 171], [false, 163], [true, 456]], [[false, 456]], [[false, 164], [false, 172], [false, 457]], [[true, 164], [true, 172], [false, 457]], [[true, 164], [false, 172], [true, 457]], [[true, 172], [false, 164], [true, 457]], [[false, 457]], [[false, 165], [false, 173], [false, 458]], [[true, 165], [true, 173], [false, 458]], [[true, 165], [false, 173], [true, 458]], [[true, 173], [false, 165], [true, 458]], [[false, 458]], [[false, 167], [false, 175], [false, 459]], [[true, 167], [true, 175], [false, 459]], [[true, 167], [false, 175], [true, 459]], [[true, 175], [false, 167], [true, 459]], [[false, 459]], [[true, 160], [false, 168], [false, 460]], [[true, 168], [false, 160], [false, 460]], [[true, 460], [false, 160], [false, 168]], [[true, 160], [true, 168], [true, 460]], [[false, 460]], [[true, 166], [false, 174], [false, 461]], [[true, 174], [false, 166], [false, 461]], [[true, 461], [false, 166], [false, 174]], [[true, 166], [true, 174], [true, 461]], [[false, 461]], [[false, 179], [false, 171], [false, 462]], [[true, 171], [true, 179], [false, 462]], [[true, 171], [false, 179], [true, 462]], [[true, 179], [false, 171], [true, 462]], [[false, 462]], [[false, 173], [false, 181], [false, 463]], [[true, 173], [true, 181], [false, 463]], [[true, 173], [false, 181], [true, 463]], [[true, 181], [false, 173], [true, 463]], [[false, 463]], [[false, 175], [false, 183], [false, 464]], [[true, 175], [true, 183], [false, 464]], [[true, 175], [false, 183], [true, 464]], [[true, 183], [false, 175], [true, 464]], [[false, 464]], [[true, 168], [false, 176], [false, 465]], [[true, 176], [false, 168], [false, 465]], [[true, 465], [false, 168], [false, 176]], [[true, 168], [true, 176], [true, 465]], [[false, 465]], [[true, 170], [false, 178], [false, 466]], [[true, 178], [false, 170], [false, 466]], [[true, 466], [false, 170], [false, 178]], [[true, 170], [true, 178], [true, 466]], [[false, 466]], [[true, 172], [false, 180], [false, 467]], [[true, 180], [false, 172], [false, 467]], [[true, 467], [false, 172], [false, 180]], [[true, 172], [true, 180], [true, 467]], [[false, 467]], [[true, 174], [false, 182], [false, 468]], [[true, 182], [false, 174], [false, 468]], [[true, 468], [false, 174], [false, 182]], [[true, 174], [true, 182], [true, 468]], [[false, 468]], [[false, 177], [false, 185], [false, 469]], [[true, 177], [true, 185], [false, 469]], [[true, 177], [false, 185], [true, 469]], [[false, 177], [true, 185], [true, 469]], [[false, 469]], [[false, 176], [false, 184], [false, 470]], [[true, 176], [true, 184], [false, 470]], [[true, 176], [false, 184], [true, 470]], [[false, 176], [true, 184], [true, 470]], [[false, 470]], [[false, 181], [false, 189], [false, 471]], [[true, 181], [true, 189], [false, 471]], [[true, 181], [false, 189], [true, 471]], [[true, 189], [false, 181], [true, 471]], [[false, 471]], [[false, 183], [false, 191], [false, 472]], [[true, 183], [true, 191], [false, 472]], [[true, 183], [false, 191], [true, 472]], [[true, 191], [false, 183], [true, 472]], [[false, 472]], [[true, 178], [false, 186], [false, 473]], [[true, 186], [false, 178], [false, 473]], [[true, 473], [false, 178], [false, 186]], [[true, 178], [true, 186], [true, 473]], [[false, 473]], [[true, 180], [false, 188], [false, 474]], [[true, 188], [false, 180], [false, 474]], [[true, 474], [false, 180], [false, 188]], [[true, 180], [true, 188], [true, 474]], [[false, 474]], [[true, 182], [false, 190], [false, 475]], [[true, 190], [false, 182], [false, 475]], [[true, 475], [false, 182], [false, 190]], [[true, 182], [true, 190], [true, 475]], [[false, 475]], [[false, 184], [false, 192], [false, 476]], [[true, 184], [true, 192], [false, 476]], [[true, 184], [false, 192], [true, 476]], [[false, 184], [true, 192], [true, 476]], [[false, 476]], [[false, 188], [false, 196], [false, 477]], [[true, 188], [true, 196], [false, 477]], [[true, 188], [false, 196], [true, 477]], [[true, 196], [false, 188], [true, 477]], [[false, 477]], [[false, 190], [false, 198], [false, 478]], [[true, 190], [true, 198], [false, 478]], [[true, 190], [false, 198], [true, 478]], [[true, 198], [false, 190], [true, 478]], [[false, 478]], [[false, 191], [false, 199], [false, 479]], [[true, 191], [true, 199], [false, 479]], [[true, 191], [false, 199], [true, 479]], [[true, 199], [false, 191], [true, 479]], [[false, 479]], [[false, 194], [true, 186], [false, 480]], [[true, 194], [false, 186], [false, 480]], [[true, 480], [false, 186], [false, 194]], [[true, 186], [true, 194], [true, 480]], [[false, 480]], [[true, 187], [false, 195], [false, 481]], [[true, 195], [false, 187], [false, 481]], [[true, 481], [false, 187], [false, 195]], [[true, 187], [true, 195], [true, 481]], [[false, 481]], [[true, 189], [false, 197], [false, 482]], [[true, 197], [false, 189], [false, 482]], [[true, 482], [false, 189], [false, 197]], [[true, 189], [true, 197], [true, 482]], [[false, 482]], [[false, 196], [false, 204], [false, 483]], [[true, 196], [true, 204], [false, 483]], [[true, 196], [false, 204], [true, 483]], [[true, 204], [false, 196], [true, 483]], [[false, 483]], [[false, 199], [false, 207], [false, 484]], [[true, 199], [true, 207], [false, 484]], [[true, 199], [false, 207], [true, 484]], [[true, 207], [false, 199], [true, 484]], [[false, 484]], [[true, 192], [false, 200], [false, 485]], [[true, 200], [false, 192], [false, 485]], [[true, 485], [false, 192], [false, 200]], [[true, 192], [true, 200], [true, 485]], [[false, 485]], [[true, 193], [false, 201], [false, 486]], [[true, 201], [false, 193], [false, 486]], [[true, 486], [false, 193], [false, 201]], [[true, 193], [true, 201], [true, 486]], [[false, 486]], [[true, 195], [false, 203], [false, 487]], [[true, 203], [false, 195], [false, 487]], [[true, 487], [false, 195], [false, 203]], [[true, 195], [true, 203], [true, 487]], [[false, 487]], [[true, 197], [false, 205], [false, 488]], [[true, 205], [false, 197], [false, 488]], [[true, 488], [false, 197], [false, 205]], [[true, 197], [true, 205], [true, 488]], [[false, 488]], [[true, 198], [false, 206], [false, 489]], [[true, 206], [false, 198], [false, 489]], [[true, 489], [false, 198], [false, 206]], [[true, 198], [true, 206], [true, 489]], [[false, 489]], [[false, 201], [false, 209], [false, 490]], [[true, 201], [true, 209], [false, 490]], [[true, 201], [false, 209], [true, 490]], [[false, 201], [true, 209], [true, 490]], [[false, 490]], [[false, 200], [false, 208], [false, 491]], [[true, 200], [true, 208], [false, 491]], [[true, 200], [false, 208], [true, 491]], [[false, 200], [true, 208], [true, 491]], [[false, 491]], [[false, 205], [false, 213], [false, 492]], [[true, 205], [true, 213], [false, 492]], [[true, 205], [false, 213], [true, 492]], [[true, 213], [false, 205], [true, 492]], [[false, 492]], [[false, 207], [false, 215], [false, 493]], [[true, 207], [true, 215], [false, 493]], [[true, 207], [false, 215], [true, 493]], [[true, 215], [false, 207], [true, 493]], [[false, 493]], [[true, 203], [false, 211], [false, 494]], [[true, 211], [false, 203], [false, 494]], [[true, 494], [false, 203], [false, 211]], [[true, 203], [true, 211], [true, 494]], [[false, 494]], [[true, 204], [false, 212], [false, 495]], [[true, 212], [false, 204], [false, 495]], [[true, 495], [false, 204], [false, 212]], [[true, 204], [true, 212], [true, 495]], [[false, 495]], [[true, 206], [false, 214], [false, 496]], [[true, 214], [false, 206], [false, 496]], [[true, 496], [false, 206], [false, 214]], [[true, 206], [true, 214], [true, 496]], [[false, 496]], [[false, 212], [false, 220], [false, 497]], [[true, 212], [true, 220], [false, 497]], [[true, 212], [false, 220], [true, 497]], [[true, 220], [false, 212], [true, 497]], [[false, 497]], [[false, 213], [false, 221], [false, 498]], [[true, 213], [true, 221], [false, 498]], [[true, 213], [false, 221], [true, 498]], [[true, 221], [false, 213], [true, 498]], [[false, 498]], [[false, 214], [false, 222], [false, 499]], [[true, 214], [true, 222], [false, 499]], [[true, 214], [false, 222], [true, 499]], [[true, 222], [false, 214], [true, 499]], [[false, 499]], [[false, 215], [false, 223], [false, 500]], [[true, 215], [true, 223], [false, 500]], [[true, 215], [false, 223], [true, 500]], [[true, 223], [false, 215], [true, 500]], [[false, 500]], [[true, 208], [false, 216], [false, 501]], [[true, 216], [false, 208], [false, 501]], [[true, 501], [false, 208], [false, 216]], [[true, 208], [true, 216], [true, 501]], [[false, 501]], [[true, 209], [false, 217], [false, 502]], [[true, 217], [false, 209], [false, 502]], [[true, 502], [false, 209], [false, 217]], [[true, 209], [true, 217], [true, 502]], [[false, 502]], [[true, 211], [false, 219], [false, 503]], [[true, 219], [false, 211], [false, 503]], [[true, 503], [false, 211], [false, 219]], [[true, 211], [true, 219], [true, 503]], [[false, 503]], [[false, 221], [false, 229], [false, 504]], [[true, 221], [true, 229], [false, 504]], [[true, 221], [false, 229], [true, 504]], [[true, 229], [false, 221], [true, 504]], [[false, 504]], [[false, 223], [false, 231], [false, 505]], [[true, 223], [true, 231], [false, 505]], [[true, 223], [false, 231], [true, 505]], [[true, 231], [false, 223], [true, 505]], [[false, 505]], [[true, 216], [false, 224], [false, 506]], [[true, 224], [false, 216], [false, 506]], [[true, 506], [false, 216], [false, 224]], [[true, 216], [true, 224], [true, 506]], [[false, 506]], [[true, 217], [false, 225], [false, 507]], [[true, 225], [false, 217], [false, 507]], [[true, 507], [false, 217], [false, 225]], [[true, 217], [true, 225], [true, 507]], [[false, 507]], [[false, 226], [true, 218], [false, 508]], [[true, 226], [false, 218], [false, 508]], [[true, 508], [false, 218], [false, 226]], [[true, 218], [true, 226], [true, 508]], [[false, 508]], [[true, 220], [false, 228], [false, 509]], [[true, 228], [false, 220], [false, 509]], [[true, 509], [false, 220], [false, 228]], [[true, 220], [true, 228], [true, 509]], [[false, 509]], [[true, 222], [false, 230], [false, 510]], [[true, 230], [false, 222], [false, 510]], [[true, 510], [false, 222], [false, 230]], [[true, 222], [true, 230], [true, 510]], [[false, 510]], [[false, 226], [false, 234], [false, 511]], [[true, 226], [true, 234], [false, 511]], [[true, 226], [false, 234], [true, 511]], [[false, 226], [true, 234], [true, 511]], [[false, 511]], [[false, 228], [false, 236], [false, 512]], [[true, 228], [true, 236], [false, 512]], [[true, 228], [false, 236], [true, 512]], [[false, 228], [true, 236], [true, 512]], [[false, 512]], [[false, 224], [false, 232], [false, 513]], [[true, 224], [true, 232], [false, 513]], [[true, 224], [false, 232], [true, 513]], [[false, 224], [true, 232], [true, 513]], [[false, 513]], [[false, 229], [false, 237], [false, 514]], [[true, 229], [true, 237], [false, 514]], [[true, 229], [false, 237], [true, 514]], [[true, 237], [false, 229], [true, 514]], [[false, 514]], [[false, 231], [false, 239], [false, 515]], [[true, 231], [true, 239], [false, 515]], [[true, 231], [false, 239], [true, 515]], [[true, 239], [false, 231], [true, 515]], [[false, 515]], [[true, 225], [false, 233], [false, 516]], [[true, 233], [false, 225], [false, 516]], [[true, 516], [false, 225], [false, 233]], [[true, 225], [true, 233], [true, 516]], [[false, 516]], [[true, 230], [false, 238], [false, 517]], [[true, 238], [false, 230], [false, 517]], [[true, 517], [false, 230], [false, 238]], [[true, 230], [true, 238], [true, 517]], [[false, 517]], [[false, 235], [false, 243], [false, 518]], [[true, 235], [true, 243], [false, 518]], [[true, 235], [false, 243], [true, 518]], [[true, 243], [false, 235], [true, 518]], [[false, 518]], [[false, 236], [false, 244], [false, 519]], [[true, 236], [true, 244], [false, 519]], [[true, 236], [false, 244], [true, 519]], [[true, 244], [false, 236], [true, 519]], [[false, 519]], [[false, 237], [false, 245], [false, 520]], [[true, 237], [true, 245], [false, 520]], [[true, 237], [false, 245], [true, 520]], [[true, 245], [false, 237], [true, 520]], [[false, 520]], [[false, 239], [false, 247], [false, 521]], [[true, 239], [true, 247], [false, 521]], [[true, 239], [false, 247], [true, 521]], [[true, 247], [false, 239], [true, 521]], [[false, 521]], [[true, 232], [false, 240], [false, 522]], [[true, 240], [false, 232], [false, 522]], [[true, 522], [false, 232], [false, 240]], [[true, 232], [true, 240], [true, 522]], [[false, 522]], [[false, 241], [true, 233], [false, 523]], [[true, 241], [false, 233], [false, 523]], [[true, 523], [false, 233], [false, 241]], [[true, 233], [true, 241], [true, 523]], [[false, 523]], [[true, 238], [false, 246], [false, 524]], [[true, 246], [false, 238], [false, 524]], [[true, 524], [false, 238], [false, 246]], [[true, 238], [true, 246], [true, 524]], [[false, 524]], [[false, 243], [false, 251], [false, 525]], [[true, 243], [true, 251], [false, 525]], [[true, 243], [false, 251], [true, 525]], [[true, 251], [false, 243], [true, 525]], [[false, 525]], [[false, 244], [false, 252], [false, 526]], [[true, 244], [true, 252], [false, 526]], [[true, 244], [false, 252], [true, 526]], [[true, 252], [false, 244], [true, 526]], [[false, 526]], [[false, 245], [false, 253], [false, 527]], [[true, 245], [true, 253], [false, 527]], [[true, 245], [false, 253], [true, 527]], [[true, 253], [false, 245], [true, 527]], [[false, 527]], [[false, 247], [false, 255], [false, 528]], [[true, 247], [true, 255], [false, 528]], [[true, 247], [false, 255], [true, 528]], [[true, 255], [false, 247], [true, 528]], [[false, 528]], [[true, 240], [false, 248], [false, 529]], [[true, 248], [false, 240], [false, 529]], [[true, 529], [false, 240], [false, 248]], [[true, 240], [true, 248], [true, 529]], [[false, 529]], [[true, 242], [false, 250], [false, 530]], [[true, 250], [false, 242], [false, 530]], [[true, 530], [false, 242], [false, 250]], [[true, 242], [true, 250], [true, 530]], [[false, 530]], [[true, 246], [false, 254], [false, 531]], [[true, 254], [false, 246], [false, 531]], [[true, 531], [false, 246], [false, 254]], [[true, 246], [true, 254], [true, 531]], [[false, 531]], [[false, 248], [false, 256], [false, 532]], [[true, 248], [true, 256], [false, 532]], [[true, 248], [false, 256], [true, 532]], [[false, 248], [true, 256], [true, 532]], [[false, 532]], [[false, 253], [false, 261], [false, 533]], [[true, 253], [true, 261], [false, 533]], [[true, 253], [false, 261], [true, 533]], [[true, 261], [false, 253], [true, 533]], [[false, 533]], [[false, 254], [false, 262], [false, 534]], [[true, 254], [true, 262], [false, 534]], [[true, 254], [false, 262], [true, 534]], [[true, 262], [false, 254], [true, 534]], [[false, 534]], [[false, 255], [false, 263], [false, 535]], [[true, 255], [true, 263], [false, 535]], [[true, 255], [false, 263], [true, 535]], [[true, 263], [false, 255], [true, 535]], [[false, 535]], [[true, 250], [false, 258], [false, 536]], [[true, 258], [false, 250], [false, 536]], [[true, 536], [false, 250], [false, 258]], [[true, 250], [true, 258], [true, 536]], [[false, 536]], [[true, 251], [false, 259], [false, 537]], [[true, 259], [false, 251], [false, 537]], [[true, 537], [false, 251], [false, 259]], [[true, 251], [true, 259], [true, 537]], [[false, 537]], [[true, 252], [false, 260], [false, 538]], [[true, 260], [false, 252], [false, 538]], [[true, 538], [false, 252], [false, 260]], [[true, 252], [true, 260], [true, 538]], [[false, 538]], [[false, 259], [false, 267], [false, 539]], [[true, 259], [true, 267], [false, 539]], [[true, 259], [false, 267], [true, 539]], [[true, 267], [false, 259], [true, 539]], [[false, 539]], [[false, 260], [false, 268], [false, 540]], [[true, 260], [true, 268], [false, 540]], [[true, 260], [false, 268], [true, 540]], [[true, 268], [false, 260], [true, 540]], [[false, 540]], [[false, 261], [false, 269], [false, 541]], [[true, 261], [true, 269], [false, 541]], [[true, 261], [false, 269], [true, 541]], [[true, 269], [false, 261], [true, 541]], [[false, 541]], [[false, 262], [false, 270], [false, 542]], [[true, 262], [true, 270], [false, 542]], [[true, 262], [false, 270], [true, 542]], [[true, 270], [false, 262], [true, 542]], [[false, 542]], [[false, 263], [false, 271], [false, 543]], [[true, 263], [true, 271], [false, 543]], [[true, 263], [false, 271], [true, 543]], [[true, 271], [false, 263], [true, 543]], [[false, 543]], [[false, 264], [true, 256], [false, 544]], [[true, 264], [false, 256], [false, 544]], [[true, 544], [false, 256], [false, 264]], [[true, 256], [true, 264], [true, 544]], [[false, 544]], [[true, 258], [false, 266], [false, 545]], [[true, 266], [false, 258], [false, 545]], [[true, 545], [false, 258], [false, 266]], [[true, 258], [true, 266], [true, 545]], [[false, 545]], [[false, 265], [false, 273], [false, 546]], [[true, 265], [true, 273], [false, 546]], [[true, 265], [false, 273], [true, 546]], [[false, 265], [true, 273], [true, 546]], [[false, 546]], [[false, 266], [false, 274], [false, 547]], [[true, 266], [true, 274], [false, 547]], [[true, 266], [false, 274], [true, 547]], [[true, 274], [false, 266], [true, 547]], [[false, 547]], [[false, 267], [false, 275], [false, 548]], [[true, 267], [true, 275], [false, 548]], [[true, 267], [false, 275], [true, 548]], [[true, 275], [false, 267], [true, 548]], [[false, 548]], [[false, 269], [false, 277], [false, 549]], [[true, 269], [true, 277], [false, 549]], [[true, 269], [false, 277], [true, 549]], [[true, 277], [false, 269], [true, 549]], [[false, 549]], [[false, 270], [false, 278], [false, 550]], [[true, 270], [true, 278], [false, 550]], [[true, 270], [false, 278], [true, 550]], [[true, 278], [false, 270], [true, 550]], [[false, 550]], [[false, 271], [false, 279], [false, 551]], [[true, 271], [true, 279], [false, 551]], [[true, 271], [false, 279], [true, 551]], [[true, 279], [false, 271], [true, 551]], [[false, 551]], [[true, 268], [false, 276], [false, 552]], [[true, 276], [false, 268], [false, 552]], [[true, 552], [false, 268], [false, 276]], [[true, 268], [true, 276], [true, 552]], [[false, 552]], [[true, 273], [false, 1], [false, 553]], [[true, 1], [false, 273], [false, 553]], [[false, 1], [false, 273], [true, 553]], [[true, 1], [true, 273], [true, 553]], [[false, 553]], [[false, 2], [true, 274], [false, 554]], [[true, 2], [false, 274], [false, 554]], [[false, 2], [false, 274], [true, 554]], [[true, 2], [true, 274], [true, 554]], [[false, 554]], [[false, 275], [false, 3], [false, 555]], [[true, 3], [true, 275], [false, 555]], [[true, 275], [false, 3], [true, 555]], [[true, 3], [false, 275], [true, 555]], [[false, 555]], [[false, 276], [false, 4], [false, 556]], [[true, 4], [true, 276], [false, 556]], [[true, 276], [false, 4], [true, 556]], [[true, 4], [false, 276], [true, 556]], [[false, 556]], [[false, 5], [false, 277], [false, 557]], [[true, 5], [true, 277], [false, 557]], [[false, 5], [true, 277], [true, 557]], [[true, 5], [false, 277], [true, 557]], [[false, 557]], [[false, 6], [false, 278], [false, 558]], [[true, 6], [true, 278], [false, 558]], [[false, 6], [true, 278], [true, 558]], [[true, 6], [false, 278], [true, 558]], [[false, 558]], [[false, 7], [false, 279], [false, 559]], [[true, 7], [true, 279], [false, 559]], [[false, 7], [true, 279], [true, 559]], [[true, 7], [false, 279], [true, 559]], [[false, 559]]]} \ No newline at end of file diff --git a/jujure/static/q-solved/circuit_linted.json b/jujure/static/q-solved/circuit_linted.json new file mode 100755 index 0000000..b2c671b --- /dev/null +++ b/jujure/static/q-solved/circuit_linted.json @@ -0,0 +1,17414 @@ +{ + "memory": 560, + "ancilla": 1408, + "circuit": [ + [ + [ + false, + 0 + ] + ], + [ + [ + true, + 0 + ], + [ + false, + 8 + ], + [ + false, + 280 + ] + ], + [ + [ + false, + 0 + ], + [ + true, + 8 + ], + [ + false, + 280 + ] + ], + [ + [ + true, + 280 + ], + [ + false, + 0 + ], + [ + false, + 8 + ] + ], + [ + [ + true, + 0 + ], + [ + true, + 8 + ], + [ + true, + 280 + ] + ], + [ + [ + false, + 280 + ] + ], + [ + [ + false, + 19 + ], + [ + false, + 11 + ], + [ + false, + 281 + ] + ], + [ + [ + true, + 11 + ], + [ + true, + 19 + ], + [ + false, + 281 + ] + ], + [ + [ + false, + 19 + ], + [ + true, + 11 + ], + [ + true, + 281 + ] + ], + [ + [ + false, + 11 + ], + [ + true, + 19 + ], + [ + true, + 281 + ] + ], + [ + [ + false, + 281 + ] + ], + [ + [ + false, + 18 + ], + [ + false, + 26 + ], + [ + false, + 282 + ] + ], + [ + [ + true, + 18 + ], + [ + true, + 26 + ], + [ + false, + 282 + ] + ], + [ + [ + true, + 18 + ], + [ + false, + 26 + ], + [ + true, + 282 + ] + ], + [ + [ + false, + 18 + ], + [ + true, + 26 + ], + [ + true, + 282 + ] + ], + [ + [ + false, + 282 + ] + ], + [ + [ + false, + 25 + ], + [ + false, + 33 + ], + [ + false, + 283 + ] + ], + [ + [ + true, + 25 + ], + [ + true, + 33 + ], + [ + false, + 283 + ] + ], + [ + [ + true, + 25 + ], + [ + false, + 33 + ], + [ + true, + 283 + ] + ], + [ + [ + false, + 25 + ], + [ + true, + 33 + ], + [ + true, + 283 + ] + ], + [ + [ + false, + 283 + ] + ], + [ + [ + false, + 32 + ], + [ + false, + 40 + ], + [ + false, + 284 + ] + ], + [ + [ + true, + 32 + ], + [ + true, + 40 + ], + [ + false, + 284 + ] + ], + [ + [ + true, + 32 + ], + [ + false, + 40 + ], + [ + true, + 284 + ] + ], + [ + [ + false, + 32 + ], + [ + true, + 40 + ], + [ + true, + 284 + ] + ], + [ + [ + false, + 284 + ] + ], + [ + [ + true, + 40 + ], + [ + false, + 48 + ], + [ + false, + 285 + ] + ], + [ + [ + true, + 48 + ], + [ + false, + 40 + ], + [ + false, + 285 + ] + ], + [ + [ + true, + 285 + ], + [ + false, + 40 + ], + [ + false, + 48 + ] + ], + [ + [ + true, + 40 + ], + [ + true, + 48 + ], + [ + true, + 285 + ] + ], + [ + [ + false, + 285 + ] + ], + [ + [ + false, + 50 + ], + [ + false, + 58 + ], + [ + false, + 286 + ] + ], + [ + [ + true, + 50 + ], + [ + true, + 58 + ], + [ + false, + 286 + ] + ], + [ + [ + true, + 50 + ], + [ + false, + 58 + ], + [ + true, + 286 + ] + ], + [ + [ + false, + 50 + ], + [ + true, + 58 + ], + [ + true, + 286 + ] + ], + [ + [ + false, + 286 + ] + ], + [ + [ + false, + 57 + ], + [ + false, + 65 + ], + [ + false, + 287 + ] + ], + [ + [ + true, + 57 + ], + [ + true, + 65 + ], + [ + false, + 287 + ] + ], + [ + [ + true, + 57 + ], + [ + false, + 65 + ], + [ + true, + 287 + ] + ], + [ + [ + true, + 65 + ], + [ + false, + 57 + ], + [ + true, + 287 + ] + ], + [ + [ + false, + 287 + ] + ], + [ + [ + false, + 68 + ], + [ + false, + 76 + ], + [ + false, + 288 + ] + ], + [ + [ + true, + 68 + ], + [ + true, + 76 + ], + [ + false, + 288 + ] + ], + [ + [ + true, + 68 + ], + [ + false, + 76 + ], + [ + true, + 288 + ] + ], + [ + [ + false, + 68 + ], + [ + true, + 76 + ], + [ + true, + 288 + ] + ], + [ + [ + false, + 288 + ] + ], + [ + [ + false, + 73 + ], + [ + false, + 81 + ], + [ + false, + 289 + ] + ], + [ + [ + true, + 73 + ], + [ + true, + 81 + ], + [ + false, + 289 + ] + ], + [ + [ + true, + 73 + ], + [ + false, + 81 + ], + [ + true, + 289 + ] + ], + [ + [ + false, + 73 + ], + [ + true, + 81 + ], + [ + true, + 289 + ] + ], + [ + [ + false, + 289 + ] + ], + [ + [ + false, + 88 + ], + [ + false, + 80 + ], + [ + false, + 290 + ] + ], + [ + [ + true, + 80 + ], + [ + true, + 88 + ], + [ + false, + 290 + ] + ], + [ + [ + false, + 88 + ], + [ + true, + 80 + ], + [ + true, + 290 + ] + ], + [ + [ + false, + 80 + ], + [ + true, + 88 + ], + [ + true, + 290 + ] + ], + [ + [ + false, + 290 + ] + ], + [ + [ + false, + 88 + ], + [ + false, + 96 + ], + [ + false, + 291 + ] + ], + [ + [ + true, + 88 + ], + [ + true, + 96 + ], + [ + false, + 291 + ] + ], + [ + [ + true, + 88 + ], + [ + false, + 96 + ], + [ + true, + 291 + ] + ], + [ + [ + false, + 88 + ], + [ + true, + 96 + ], + [ + true, + 291 + ] + ], + [ + [ + false, + 291 + ] + ], + [ + [ + false, + 97 + ], + [ + false, + 105 + ], + [ + false, + 292 + ] + ], + [ + [ + true, + 97 + ], + [ + true, + 105 + ], + [ + false, + 292 + ] + ], + [ + [ + true, + 97 + ], + [ + false, + 105 + ], + [ + true, + 292 + ] + ], + [ + [ + false, + 97 + ], + [ + true, + 105 + ], + [ + true, + 292 + ] + ], + [ + [ + false, + 292 + ] + ], + [ + [ + false, + 106 + ], + [ + false, + 114 + ], + [ + false, + 293 + ] + ], + [ + [ + true, + 106 + ], + [ + true, + 114 + ], + [ + false, + 293 + ] + ], + [ + [ + true, + 106 + ], + [ + false, + 114 + ], + [ + true, + 293 + ] + ], + [ + [ + false, + 106 + ], + [ + true, + 114 + ], + [ + true, + 293 + ] + ], + [ + [ + false, + 293 + ] + ], + [ + [ + false, + 112 + ], + [ + false, + 120 + ], + [ + false, + 294 + ] + ], + [ + [ + true, + 112 + ], + [ + true, + 120 + ], + [ + false, + 294 + ] + ], + [ + [ + true, + 112 + ], + [ + false, + 120 + ], + [ + true, + 294 + ] + ], + [ + [ + false, + 112 + ], + [ + true, + 120 + ], + [ + true, + 294 + ] + ], + [ + [ + false, + 294 + ] + ], + [ + [ + false, + 122 + ], + [ + false, + 130 + ], + [ + false, + 295 + ] + ], + [ + [ + true, + 122 + ], + [ + true, + 130 + ], + [ + false, + 295 + ] + ], + [ + [ + true, + 122 + ], + [ + false, + 130 + ], + [ + true, + 295 + ] + ], + [ + [ + false, + 122 + ], + [ + true, + 130 + ], + [ + true, + 295 + ] + ], + [ + [ + false, + 295 + ] + ], + [ + [ + false, + 129 + ], + [ + false, + 137 + ], + [ + false, + 296 + ] + ], + [ + [ + true, + 129 + ], + [ + true, + 137 + ], + [ + false, + 296 + ] + ], + [ + [ + true, + 129 + ], + [ + false, + 137 + ], + [ + true, + 296 + ] + ], + [ + [ + false, + 129 + ], + [ + true, + 137 + ], + [ + true, + 296 + ] + ], + [ + [ + false, + 296 + ] + ], + [ + [ + false, + 139 + ], + [ + false, + 147 + ], + [ + false, + 297 + ] + ], + [ + [ + true, + 139 + ], + [ + true, + 147 + ], + [ + false, + 297 + ] + ], + [ + [ + true, + 139 + ], + [ + false, + 147 + ], + [ + true, + 297 + ] + ], + [ + [ + false, + 139 + ], + [ + true, + 147 + ], + [ + true, + 297 + ] + ], + [ + [ + false, + 297 + ] + ], + [ + [ + false, + 144 + ], + [ + false, + 152 + ], + [ + false, + 298 + ] + ], + [ + [ + true, + 144 + ], + [ + true, + 152 + ], + [ + false, + 298 + ] + ], + [ + [ + true, + 144 + ], + [ + false, + 152 + ], + [ + true, + 298 + ] + ], + [ + [ + false, + 144 + ], + [ + true, + 152 + ], + [ + true, + 298 + ] + ], + [ + [ + false, + 298 + ] + ], + [ + [ + false, + 161 + ], + [ + false, + 153 + ], + [ + false, + 299 + ] + ], + [ + [ + true, + 153 + ], + [ + true, + 161 + ], + [ + false, + 299 + ] + ], + [ + [ + false, + 161 + ], + [ + true, + 153 + ], + [ + true, + 299 + ] + ], + [ + [ + false, + 153 + ], + [ + true, + 161 + ], + [ + true, + 299 + ] + ], + [ + [ + false, + 299 + ] + ], + [ + [ + false, + 161 + ], + [ + false, + 169 + ], + [ + false, + 300 + ] + ], + [ + [ + true, + 161 + ], + [ + true, + 169 + ], + [ + false, + 300 + ] + ], + [ + [ + true, + 161 + ], + [ + false, + 169 + ], + [ + true, + 300 + ] + ], + [ + [ + false, + 161 + ], + [ + true, + 169 + ], + [ + true, + 300 + ] + ], + [ + [ + false, + 300 + ] + ], + [ + [ + false, + 169 + ], + [ + false, + 177 + ], + [ + false, + 301 + ] + ], + [ + [ + true, + 169 + ], + [ + true, + 177 + ], + [ + false, + 301 + ] + ], + [ + [ + true, + 169 + ], + [ + false, + 177 + ], + [ + true, + 301 + ] + ], + [ + [ + false, + 169 + ], + [ + true, + 177 + ], + [ + true, + 301 + ] + ], + [ + [ + false, + 301 + ] + ], + [ + [ + false, + 179 + ], + [ + false, + 187 + ], + [ + false, + 302 + ] + ], + [ + [ + true, + 179 + ], + [ + true, + 187 + ], + [ + false, + 302 + ] + ], + [ + [ + true, + 179 + ], + [ + false, + 187 + ], + [ + true, + 302 + ] + ], + [ + [ + false, + 179 + ], + [ + true, + 187 + ], + [ + true, + 302 + ] + ], + [ + [ + false, + 302 + ] + ], + [ + [ + false, + 185 + ], + [ + false, + 193 + ], + [ + false, + 303 + ] + ], + [ + [ + true, + 185 + ], + [ + true, + 193 + ], + [ + false, + 303 + ] + ], + [ + [ + true, + 185 + ], + [ + false, + 193 + ], + [ + true, + 303 + ] + ], + [ + [ + false, + 185 + ], + [ + true, + 193 + ], + [ + true, + 303 + ] + ], + [ + [ + false, + 303 + ] + ], + [ + [ + false, + 194 + ], + [ + false, + 202 + ], + [ + false, + 304 + ] + ], + [ + [ + true, + 194 + ], + [ + true, + 202 + ], + [ + false, + 304 + ] + ], + [ + [ + true, + 194 + ], + [ + false, + 202 + ], + [ + true, + 304 + ] + ], + [ + [ + false, + 194 + ], + [ + true, + 202 + ], + [ + true, + 304 + ] + ], + [ + [ + false, + 304 + ] + ], + [ + [ + false, + 210 + ], + [ + false, + 202 + ], + [ + false, + 305 + ] + ], + [ + [ + true, + 202 + ], + [ + true, + 210 + ], + [ + false, + 305 + ] + ], + [ + [ + false, + 210 + ], + [ + true, + 202 + ], + [ + true, + 305 + ] + ], + [ + [ + false, + 202 + ], + [ + true, + 210 + ], + [ + true, + 305 + ] + ], + [ + [ + false, + 305 + ] + ], + [ + [ + false, + 210 + ], + [ + false, + 218 + ], + [ + false, + 306 + ] + ], + [ + [ + true, + 210 + ], + [ + true, + 218 + ], + [ + false, + 306 + ] + ], + [ + [ + true, + 210 + ], + [ + false, + 218 + ], + [ + true, + 306 + ] + ], + [ + [ + false, + 210 + ], + [ + true, + 218 + ], + [ + true, + 306 + ] + ], + [ + [ + false, + 306 + ] + ], + [ + [ + false, + 227 + ], + [ + false, + 219 + ], + [ + false, + 307 + ] + ], + [ + [ + true, + 219 + ], + [ + true, + 227 + ], + [ + false, + 307 + ] + ], + [ + [ + false, + 227 + ], + [ + true, + 219 + ], + [ + true, + 307 + ] + ], + [ + [ + true, + 227 + ], + [ + false, + 219 + ], + [ + true, + 307 + ] + ], + [ + [ + false, + 307 + ] + ], + [ + [ + false, + 227 + ], + [ + false, + 235 + ], + [ + false, + 308 + ] + ], + [ + [ + true, + 227 + ], + [ + true, + 235 + ], + [ + false, + 308 + ] + ], + [ + [ + true, + 227 + ], + [ + false, + 235 + ], + [ + true, + 308 + ] + ], + [ + [ + false, + 227 + ], + [ + true, + 235 + ], + [ + true, + 308 + ] + ], + [ + [ + false, + 308 + ] + ], + [ + [ + false, + 234 + ], + [ + false, + 242 + ], + [ + false, + 309 + ] + ], + [ + [ + true, + 234 + ], + [ + true, + 242 + ], + [ + false, + 309 + ] + ], + [ + [ + true, + 234 + ], + [ + false, + 242 + ], + [ + true, + 309 + ] + ], + [ + [ + true, + 242 + ], + [ + false, + 234 + ], + [ + true, + 309 + ] + ], + [ + [ + false, + 309 + ] + ], + [ + [ + false, + 241 + ], + [ + false, + 249 + ], + [ + false, + 310 + ] + ], + [ + [ + true, + 241 + ], + [ + true, + 249 + ], + [ + false, + 310 + ] + ], + [ + [ + false, + 249 + ], + [ + true, + 241 + ], + [ + true, + 310 + ] + ], + [ + [ + false, + 241 + ], + [ + true, + 249 + ], + [ + true, + 310 + ] + ], + [ + [ + false, + 310 + ] + ], + [ + [ + false, + 249 + ], + [ + false, + 257 + ], + [ + false, + 311 + ] + ], + [ + [ + true, + 249 + ], + [ + true, + 257 + ], + [ + false, + 311 + ] + ], + [ + [ + true, + 249 + ], + [ + false, + 257 + ], + [ + true, + 311 + ] + ], + [ + [ + false, + 249 + ], + [ + true, + 257 + ], + [ + true, + 311 + ] + ], + [ + [ + false, + 311 + ] + ], + [ + [ + false, + 257 + ], + [ + false, + 265 + ], + [ + false, + 312 + ] + ], + [ + [ + true, + 257 + ], + [ + true, + 265 + ], + [ + false, + 312 + ] + ], + [ + [ + true, + 257 + ], + [ + false, + 265 + ], + [ + true, + 312 + ] + ], + [ + [ + false, + 257 + ], + [ + true, + 265 + ], + [ + true, + 312 + ] + ], + [ + [ + false, + 312 + ] + ], + [ + [ + false, + 264 + ], + [ + false, + 272 + ], + [ + false, + 313 + ] + ], + [ + [ + true, + 264 + ], + [ + true, + 272 + ], + [ + false, + 313 + ] + ], + [ + [ + true, + 264 + ], + [ + false, + 272 + ], + [ + true, + 313 + ] + ], + [ + [ + false, + 264 + ], + [ + true, + 272 + ], + [ + true, + 313 + ] + ], + [ + [ + false, + 313 + ] + ], + [ + [ + false, + 0 + ], + [ + true, + 272 + ], + [ + false, + 314 + ] + ], + [ + [ + true, + 0 + ], + [ + false, + 272 + ], + [ + false, + 314 + ] + ], + [ + [ + false, + 0 + ], + [ + false, + 272 + ], + [ + true, + 314 + ] + ], + [ + [ + true, + 0 + ], + [ + true, + 272 + ], + [ + true, + 314 + ] + ], + [ + [ + false, + 314 + ] + ], + [ + [ + false, + 2 + ] + ], + [ + [ + false, + 7 + ] + ], + [ + [ + true, + 1 + ] + ], + [ + [ + true, + 3 + ] + ], + [ + [ + true, + 4 + ] + ], + [ + [ + true, + 5 + ] + ], + [ + [ + true, + 6 + ] + ], + [ + [ + true, + 1 + ], + [ + false, + 9 + ], + [ + false, + 315 + ] + ], + [ + [ + true, + 9 + ], + [ + false, + 1 + ], + [ + false, + 315 + ] + ], + [ + [ + true, + 315 + ], + [ + false, + 1 + ], + [ + false, + 9 + ] + ], + [ + [ + true, + 1 + ], + [ + true, + 9 + ], + [ + true, + 315 + ] + ], + [ + [ + false, + 315 + ] + ], + [ + [ + true, + 2 + ], + [ + false, + 10 + ], + [ + false, + 316 + ] + ], + [ + [ + false, + 2 + ], + [ + true, + 10 + ], + [ + false, + 316 + ] + ], + [ + [ + true, + 316 + ], + [ + false, + 2 + ], + [ + false, + 10 + ] + ], + [ + [ + true, + 2 + ], + [ + true, + 10 + ], + [ + true, + 316 + ] + ], + [ + [ + false, + 316 + ] + ], + [ + [ + true, + 3 + ], + [ + false, + 11 + ], + [ + false, + 317 + ] + ], + [ + [ + true, + 11 + ], + [ + false, + 3 + ], + [ + false, + 317 + ] + ], + [ + [ + true, + 317 + ], + [ + false, + 3 + ], + [ + false, + 11 + ] + ], + [ + [ + true, + 3 + ], + [ + true, + 11 + ], + [ + true, + 317 + ] + ], + [ + [ + false, + 317 + ] + ], + [ + [ + true, + 4 + ], + [ + false, + 12 + ], + [ + false, + 318 + ] + ], + [ + [ + true, + 12 + ], + [ + false, + 4 + ], + [ + false, + 318 + ] + ], + [ + [ + true, + 318 + ], + [ + false, + 4 + ], + [ + false, + 12 + ] + ], + [ + [ + true, + 4 + ], + [ + true, + 12 + ], + [ + true, + 318 + ] + ], + [ + [ + false, + 318 + ] + ], + [ + [ + false, + 5 + ], + [ + false, + 13 + ], + [ + false, + 319 + ] + ], + [ + [ + true, + 5 + ], + [ + true, + 13 + ], + [ + false, + 319 + ] + ], + [ + [ + true, + 5 + ], + [ + false, + 13 + ], + [ + true, + 319 + ] + ], + [ + [ + false, + 5 + ], + [ + true, + 13 + ], + [ + true, + 319 + ] + ], + [ + [ + false, + 319 + ] + ], + [ + [ + false, + 6 + ], + [ + false, + 14 + ], + [ + false, + 320 + ] + ], + [ + [ + true, + 6 + ], + [ + true, + 14 + ], + [ + false, + 320 + ] + ], + [ + [ + true, + 6 + ], + [ + false, + 14 + ], + [ + true, + 320 + ] + ], + [ + [ + false, + 6 + ], + [ + true, + 14 + ], + [ + true, + 320 + ] + ], + [ + [ + false, + 320 + ] + ], + [ + [ + false, + 7 + ], + [ + false, + 15 + ], + [ + false, + 321 + ] + ], + [ + [ + true, + 7 + ], + [ + true, + 15 + ], + [ + false, + 321 + ] + ], + [ + [ + true, + 7 + ], + [ + false, + 15 + ], + [ + true, + 321 + ] + ], + [ + [ + false, + 7 + ], + [ + true, + 15 + ], + [ + true, + 321 + ] + ], + [ + [ + false, + 321 + ] + ], + [ + [ + false, + 13 + ], + [ + false, + 21 + ], + [ + false, + 322 + ] + ], + [ + [ + true, + 13 + ], + [ + true, + 21 + ], + [ + false, + 322 + ] + ], + [ + [ + true, + 13 + ], + [ + false, + 21 + ], + [ + true, + 322 + ] + ], + [ + [ + true, + 21 + ], + [ + false, + 13 + ], + [ + true, + 322 + ] + ], + [ + [ + false, + 322 + ] + ], + [ + [ + false, + 14 + ], + [ + false, + 22 + ], + [ + false, + 323 + ] + ], + [ + [ + true, + 14 + ], + [ + true, + 22 + ], + [ + false, + 323 + ] + ], + [ + [ + true, + 14 + ], + [ + false, + 22 + ], + [ + true, + 323 + ] + ], + [ + [ + true, + 22 + ], + [ + false, + 14 + ], + [ + true, + 323 + ] + ], + [ + [ + false, + 323 + ] + ], + [ + [ + false, + 15 + ], + [ + false, + 23 + ], + [ + false, + 324 + ] + ], + [ + [ + true, + 15 + ], + [ + true, + 23 + ], + [ + false, + 324 + ] + ], + [ + [ + true, + 15 + ], + [ + false, + 23 + ], + [ + true, + 324 + ] + ], + [ + [ + true, + 23 + ], + [ + false, + 15 + ], + [ + true, + 324 + ] + ], + [ + [ + false, + 324 + ] + ], + [ + [ + true, + 8 + ], + [ + false, + 16 + ], + [ + false, + 325 + ] + ], + [ + [ + true, + 16 + ], + [ + false, + 8 + ], + [ + false, + 325 + ] + ], + [ + [ + true, + 325 + ], + [ + false, + 8 + ], + [ + false, + 16 + ] + ], + [ + [ + true, + 8 + ], + [ + true, + 16 + ], + [ + true, + 325 + ] + ], + [ + [ + false, + 325 + ] + ], + [ + [ + true, + 9 + ], + [ + false, + 17 + ], + [ + false, + 326 + ] + ], + [ + [ + true, + 17 + ], + [ + false, + 9 + ], + [ + false, + 326 + ] + ], + [ + [ + true, + 326 + ], + [ + false, + 9 + ], + [ + false, + 17 + ] + ], + [ + [ + true, + 9 + ], + [ + true, + 17 + ], + [ + true, + 326 + ] + ], + [ + [ + false, + 326 + ] + ], + [ + [ + false, + 18 + ], + [ + true, + 10 + ], + [ + false, + 327 + ] + ], + [ + [ + true, + 18 + ], + [ + false, + 10 + ], + [ + false, + 327 + ] + ], + [ + [ + true, + 327 + ], + [ + false, + 10 + ], + [ + false, + 18 + ] + ], + [ + [ + true, + 10 + ], + [ + true, + 18 + ], + [ + true, + 327 + ] + ], + [ + [ + false, + 327 + ] + ], + [ + [ + true, + 12 + ], + [ + false, + 20 + ], + [ + false, + 328 + ] + ], + [ + [ + true, + 20 + ], + [ + false, + 12 + ], + [ + false, + 328 + ] + ], + [ + [ + true, + 328 + ], + [ + false, + 12 + ], + [ + false, + 20 + ] + ], + [ + [ + true, + 12 + ], + [ + true, + 20 + ], + [ + true, + 328 + ] + ], + [ + [ + false, + 328 + ] + ], + [ + [ + false, + 19 + ], + [ + false, + 27 + ], + [ + false, + 329 + ] + ], + [ + [ + true, + 19 + ], + [ + true, + 27 + ], + [ + false, + 329 + ] + ], + [ + [ + true, + 19 + ], + [ + false, + 27 + ], + [ + true, + 329 + ] + ], + [ + [ + false, + 19 + ], + [ + true, + 27 + ], + [ + true, + 329 + ] + ], + [ + [ + false, + 329 + ] + ], + [ + [ + false, + 16 + ], + [ + false, + 24 + ], + [ + false, + 330 + ] + ], + [ + [ + true, + 16 + ], + [ + true, + 24 + ], + [ + false, + 330 + ] + ], + [ + [ + true, + 16 + ], + [ + false, + 24 + ], + [ + true, + 330 + ] + ], + [ + [ + false, + 16 + ], + [ + true, + 24 + ], + [ + true, + 330 + ] + ], + [ + [ + false, + 330 + ] + ], + [ + [ + false, + 20 + ], + [ + false, + 28 + ], + [ + false, + 331 + ] + ], + [ + [ + true, + 20 + ], + [ + true, + 28 + ], + [ + false, + 331 + ] + ], + [ + [ + true, + 20 + ], + [ + false, + 28 + ], + [ + true, + 331 + ] + ], + [ + [ + true, + 28 + ], + [ + false, + 20 + ], + [ + true, + 331 + ] + ], + [ + [ + false, + 331 + ] + ], + [ + [ + false, + 21 + ], + [ + false, + 29 + ], + [ + false, + 332 + ] + ], + [ + [ + true, + 21 + ], + [ + true, + 29 + ], + [ + false, + 332 + ] + ], + [ + [ + true, + 21 + ], + [ + false, + 29 + ], + [ + true, + 332 + ] + ], + [ + [ + true, + 29 + ], + [ + false, + 21 + ], + [ + true, + 332 + ] + ], + [ + [ + false, + 332 + ] + ], + [ + [ + false, + 23 + ], + [ + false, + 31 + ], + [ + false, + 333 + ] + ], + [ + [ + true, + 23 + ], + [ + true, + 31 + ], + [ + false, + 333 + ] + ], + [ + [ + true, + 23 + ], + [ + false, + 31 + ], + [ + true, + 333 + ] + ], + [ + [ + true, + 31 + ], + [ + false, + 23 + ], + [ + true, + 333 + ] + ], + [ + [ + false, + 333 + ] + ], + [ + [ + false, + 25 + ], + [ + true, + 17 + ], + [ + false, + 334 + ] + ], + [ + [ + true, + 25 + ], + [ + false, + 17 + ], + [ + false, + 334 + ] + ], + [ + [ + true, + 334 + ], + [ + false, + 17 + ], + [ + false, + 25 + ] + ], + [ + [ + true, + 17 + ], + [ + true, + 25 + ], + [ + true, + 334 + ] + ], + [ + [ + false, + 334 + ] + ], + [ + [ + true, + 22 + ], + [ + false, + 30 + ], + [ + false, + 335 + ] + ], + [ + [ + true, + 30 + ], + [ + false, + 22 + ], + [ + false, + 335 + ] + ], + [ + [ + true, + 335 + ], + [ + false, + 22 + ], + [ + false, + 30 + ] + ], + [ + [ + true, + 22 + ], + [ + true, + 30 + ], + [ + true, + 335 + ] + ], + [ + [ + false, + 335 + ] + ], + [ + [ + false, + 24 + ], + [ + false, + 32 + ], + [ + false, + 336 + ] + ], + [ + [ + true, + 24 + ], + [ + true, + 32 + ], + [ + false, + 336 + ] + ], + [ + [ + true, + 24 + ], + [ + false, + 32 + ], + [ + true, + 336 + ] + ], + [ + [ + false, + 24 + ], + [ + true, + 32 + ], + [ + true, + 336 + ] + ], + [ + [ + false, + 336 + ] + ], + [ + [ + false, + 26 + ], + [ + false, + 34 + ], + [ + false, + 337 + ] + ], + [ + [ + true, + 26 + ], + [ + true, + 34 + ], + [ + false, + 337 + ] + ], + [ + [ + true, + 26 + ], + [ + false, + 34 + ], + [ + true, + 337 + ] + ], + [ + [ + true, + 34 + ], + [ + false, + 26 + ], + [ + true, + 337 + ] + ], + [ + [ + false, + 337 + ] + ], + [ + [ + false, + 27 + ], + [ + false, + 35 + ], + [ + false, + 338 + ] + ], + [ + [ + true, + 27 + ], + [ + true, + 35 + ], + [ + false, + 338 + ] + ], + [ + [ + true, + 27 + ], + [ + false, + 35 + ], + [ + true, + 338 + ] + ], + [ + [ + true, + 35 + ], + [ + false, + 27 + ], + [ + true, + 338 + ] + ], + [ + [ + false, + 338 + ] + ], + [ + [ + false, + 28 + ], + [ + false, + 36 + ], + [ + false, + 339 + ] + ], + [ + [ + true, + 28 + ], + [ + true, + 36 + ], + [ + false, + 339 + ] + ], + [ + [ + true, + 28 + ], + [ + false, + 36 + ], + [ + true, + 339 + ] + ], + [ + [ + true, + 36 + ], + [ + false, + 28 + ], + [ + true, + 339 + ] + ], + [ + [ + false, + 339 + ] + ], + [ + [ + false, + 29 + ], + [ + false, + 37 + ], + [ + false, + 340 + ] + ], + [ + [ + true, + 29 + ], + [ + true, + 37 + ], + [ + false, + 340 + ] + ], + [ + [ + true, + 29 + ], + [ + false, + 37 + ], + [ + true, + 340 + ] + ], + [ + [ + true, + 37 + ], + [ + false, + 29 + ], + [ + true, + 340 + ] + ], + [ + [ + false, + 340 + ] + ], + [ + [ + false, + 31 + ], + [ + false, + 39 + ], + [ + false, + 341 + ] + ], + [ + [ + true, + 31 + ], + [ + true, + 39 + ], + [ + false, + 341 + ] + ], + [ + [ + true, + 31 + ], + [ + false, + 39 + ], + [ + true, + 341 + ] + ], + [ + [ + true, + 39 + ], + [ + false, + 31 + ], + [ + true, + 341 + ] + ], + [ + [ + false, + 341 + ] + ], + [ + [ + true, + 30 + ], + [ + false, + 38 + ], + [ + false, + 342 + ] + ], + [ + [ + true, + 38 + ], + [ + false, + 30 + ], + [ + false, + 342 + ] + ], + [ + [ + true, + 342 + ], + [ + false, + 30 + ], + [ + false, + 38 + ] + ], + [ + [ + true, + 30 + ], + [ + true, + 38 + ], + [ + true, + 342 + ] + ], + [ + [ + false, + 342 + ] + ], + [ + [ + false, + 33 + ], + [ + false, + 41 + ], + [ + false, + 343 + ] + ], + [ + [ + true, + 33 + ], + [ + true, + 41 + ], + [ + false, + 343 + ] + ], + [ + [ + true, + 33 + ], + [ + false, + 41 + ], + [ + true, + 343 + ] + ], + [ + [ + true, + 41 + ], + [ + false, + 33 + ], + [ + true, + 343 + ] + ], + [ + [ + false, + 343 + ] + ], + [ + [ + false, + 35 + ], + [ + false, + 43 + ], + [ + false, + 344 + ] + ], + [ + [ + true, + 35 + ], + [ + true, + 43 + ], + [ + false, + 344 + ] + ], + [ + [ + true, + 35 + ], + [ + false, + 43 + ], + [ + true, + 344 + ] + ], + [ + [ + true, + 43 + ], + [ + false, + 35 + ], + [ + true, + 344 + ] + ], + [ + [ + false, + 344 + ] + ], + [ + [ + false, + 36 + ], + [ + false, + 44 + ], + [ + false, + 345 + ] + ], + [ + [ + true, + 36 + ], + [ + true, + 44 + ], + [ + false, + 345 + ] + ], + [ + [ + true, + 36 + ], + [ + false, + 44 + ], + [ + true, + 345 + ] + ], + [ + [ + true, + 44 + ], + [ + false, + 36 + ], + [ + true, + 345 + ] + ], + [ + [ + false, + 345 + ] + ], + [ + [ + false, + 37 + ], + [ + false, + 45 + ], + [ + false, + 346 + ] + ], + [ + [ + true, + 37 + ], + [ + true, + 45 + ], + [ + false, + 346 + ] + ], + [ + [ + true, + 37 + ], + [ + false, + 45 + ], + [ + true, + 346 + ] + ], + [ + [ + true, + 45 + ], + [ + false, + 37 + ], + [ + true, + 346 + ] + ], + [ + [ + false, + 346 + ] + ], + [ + [ + false, + 38 + ], + [ + false, + 46 + ], + [ + false, + 347 + ] + ], + [ + [ + true, + 38 + ], + [ + true, + 46 + ], + [ + false, + 347 + ] + ], + [ + [ + true, + 38 + ], + [ + false, + 46 + ], + [ + true, + 347 + ] + ], + [ + [ + true, + 46 + ], + [ + false, + 38 + ], + [ + true, + 347 + ] + ], + [ + [ + false, + 347 + ] + ], + [ + [ + false, + 39 + ], + [ + false, + 47 + ], + [ + false, + 348 + ] + ], + [ + [ + true, + 39 + ], + [ + true, + 47 + ], + [ + false, + 348 + ] + ], + [ + [ + true, + 39 + ], + [ + false, + 47 + ], + [ + true, + 348 + ] + ], + [ + [ + true, + 47 + ], + [ + false, + 39 + ], + [ + true, + 348 + ] + ], + [ + [ + false, + 348 + ] + ], + [ + [ + true, + 34 + ], + [ + false, + 42 + ], + [ + false, + 349 + ] + ], + [ + [ + true, + 42 + ], + [ + false, + 34 + ], + [ + false, + 349 + ] + ], + [ + [ + true, + 349 + ], + [ + false, + 34 + ], + [ + false, + 42 + ] + ], + [ + [ + true, + 34 + ], + [ + true, + 42 + ], + [ + true, + 349 + ] + ], + [ + [ + false, + 349 + ] + ], + [ + [ + true, + 41 + ], + [ + false, + 49 + ], + [ + false, + 350 + ] + ], + [ + [ + true, + 49 + ], + [ + false, + 41 + ], + [ + false, + 350 + ] + ], + [ + [ + true, + 350 + ], + [ + false, + 41 + ], + [ + false, + 49 + ] + ], + [ + [ + true, + 41 + ], + [ + true, + 49 + ], + [ + true, + 350 + ] + ], + [ + [ + false, + 350 + ] + ], + [ + [ + true, + 42 + ], + [ + false, + 50 + ], + [ + false, + 351 + ] + ], + [ + [ + true, + 50 + ], + [ + false, + 42 + ], + [ + false, + 351 + ] + ], + [ + [ + true, + 351 + ], + [ + false, + 42 + ], + [ + false, + 50 + ] + ], + [ + [ + true, + 42 + ], + [ + true, + 50 + ], + [ + true, + 351 + ] + ], + [ + [ + false, + 351 + ] + ], + [ + [ + false, + 43 + ], + [ + false, + 51 + ], + [ + false, + 352 + ] + ], + [ + [ + true, + 43 + ], + [ + true, + 51 + ], + [ + false, + 352 + ] + ], + [ + [ + true, + 43 + ], + [ + false, + 51 + ], + [ + true, + 352 + ] + ], + [ + [ + true, + 51 + ], + [ + false, + 43 + ], + [ + true, + 352 + ] + ], + [ + [ + false, + 352 + ] + ], + [ + [ + false, + 44 + ], + [ + false, + 52 + ], + [ + false, + 353 + ] + ], + [ + [ + true, + 44 + ], + [ + true, + 52 + ], + [ + false, + 353 + ] + ], + [ + [ + true, + 44 + ], + [ + false, + 52 + ], + [ + true, + 353 + ] + ], + [ + [ + true, + 52 + ], + [ + false, + 44 + ], + [ + true, + 353 + ] + ], + [ + [ + false, + 353 + ] + ], + [ + [ + false, + 45 + ], + [ + false, + 53 + ], + [ + false, + 354 + ] + ], + [ + [ + true, + 45 + ], + [ + true, + 53 + ], + [ + false, + 354 + ] + ], + [ + [ + true, + 45 + ], + [ + false, + 53 + ], + [ + true, + 354 + ] + ], + [ + [ + true, + 53 + ], + [ + false, + 45 + ], + [ + true, + 354 + ] + ], + [ + [ + false, + 354 + ] + ], + [ + [ + false, + 46 + ], + [ + false, + 54 + ], + [ + false, + 355 + ] + ], + [ + [ + true, + 46 + ], + [ + true, + 54 + ], + [ + false, + 355 + ] + ], + [ + [ + true, + 46 + ], + [ + false, + 54 + ], + [ + true, + 355 + ] + ], + [ + [ + true, + 54 + ], + [ + false, + 46 + ], + [ + true, + 355 + ] + ], + [ + [ + false, + 355 + ] + ], + [ + [ + false, + 47 + ], + [ + false, + 55 + ], + [ + false, + 356 + ] + ], + [ + [ + true, + 47 + ], + [ + true, + 55 + ], + [ + false, + 356 + ] + ], + [ + [ + true, + 47 + ], + [ + false, + 55 + ], + [ + true, + 356 + ] + ], + [ + [ + true, + 55 + ], + [ + false, + 47 + ], + [ + true, + 356 + ] + ], + [ + [ + false, + 356 + ] + ], + [ + [ + false, + 49 + ], + [ + false, + 57 + ], + [ + false, + 357 + ] + ], + [ + [ + true, + 49 + ], + [ + true, + 57 + ], + [ + false, + 357 + ] + ], + [ + [ + true, + 49 + ], + [ + false, + 57 + ], + [ + true, + 357 + ] + ], + [ + [ + false, + 49 + ], + [ + true, + 57 + ], + [ + true, + 357 + ] + ], + [ + [ + false, + 357 + ] + ], + [ + [ + false, + 48 + ], + [ + false, + 56 + ], + [ + false, + 358 + ] + ], + [ + [ + true, + 48 + ], + [ + true, + 56 + ], + [ + false, + 358 + ] + ], + [ + [ + true, + 48 + ], + [ + false, + 56 + ], + [ + true, + 358 + ] + ], + [ + [ + false, + 48 + ], + [ + true, + 56 + ], + [ + true, + 358 + ] + ], + [ + [ + false, + 358 + ] + ], + [ + [ + false, + 52 + ], + [ + false, + 60 + ], + [ + false, + 359 + ] + ], + [ + [ + true, + 52 + ], + [ + true, + 60 + ], + [ + false, + 359 + ] + ], + [ + [ + true, + 52 + ], + [ + false, + 60 + ], + [ + true, + 359 + ] + ], + [ + [ + true, + 60 + ], + [ + false, + 52 + ], + [ + true, + 359 + ] + ], + [ + [ + false, + 359 + ] + ], + [ + [ + false, + 53 + ], + [ + false, + 61 + ], + [ + false, + 360 + ] + ], + [ + [ + true, + 53 + ], + [ + true, + 61 + ], + [ + false, + 360 + ] + ], + [ + [ + true, + 53 + ], + [ + false, + 61 + ], + [ + true, + 360 + ] + ], + [ + [ + true, + 61 + ], + [ + false, + 53 + ], + [ + true, + 360 + ] + ], + [ + [ + false, + 360 + ] + ], + [ + [ + false, + 54 + ], + [ + false, + 62 + ], + [ + false, + 361 + ] + ], + [ + [ + true, + 54 + ], + [ + true, + 62 + ], + [ + false, + 361 + ] + ], + [ + [ + true, + 54 + ], + [ + false, + 62 + ], + [ + true, + 361 + ] + ], + [ + [ + true, + 62 + ], + [ + false, + 54 + ], + [ + true, + 361 + ] + ], + [ + [ + false, + 361 + ] + ], + [ + [ + false, + 55 + ], + [ + false, + 63 + ], + [ + false, + 362 + ] + ], + [ + [ + true, + 55 + ], + [ + true, + 63 + ], + [ + false, + 362 + ] + ], + [ + [ + true, + 55 + ], + [ + false, + 63 + ], + [ + true, + 362 + ] + ], + [ + [ + true, + 63 + ], + [ + false, + 55 + ], + [ + true, + 362 + ] + ], + [ + [ + false, + 362 + ] + ], + [ + [ + true, + 51 + ], + [ + false, + 59 + ], + [ + false, + 363 + ] + ], + [ + [ + true, + 59 + ], + [ + false, + 51 + ], + [ + false, + 363 + ] + ], + [ + [ + true, + 363 + ], + [ + false, + 51 + ], + [ + false, + 59 + ] + ], + [ + [ + true, + 51 + ], + [ + true, + 59 + ], + [ + true, + 363 + ] + ], + [ + [ + false, + 363 + ] + ], + [ + [ + false, + 62 + ], + [ + false, + 70 + ], + [ + false, + 364 + ] + ], + [ + [ + true, + 62 + ], + [ + true, + 70 + ], + [ + false, + 364 + ] + ], + [ + [ + true, + 62 + ], + [ + false, + 70 + ], + [ + true, + 364 + ] + ], + [ + [ + true, + 70 + ], + [ + false, + 62 + ], + [ + true, + 364 + ] + ], + [ + [ + false, + 364 + ] + ], + [ + [ + false, + 63 + ], + [ + false, + 71 + ], + [ + false, + 365 + ] + ], + [ + [ + true, + 63 + ], + [ + true, + 71 + ], + [ + false, + 365 + ] + ], + [ + [ + true, + 63 + ], + [ + false, + 71 + ], + [ + true, + 365 + ] + ], + [ + [ + true, + 71 + ], + [ + false, + 63 + ], + [ + true, + 365 + ] + ], + [ + [ + false, + 365 + ] + ], + [ + [ + true, + 56 + ], + [ + false, + 64 + ], + [ + false, + 366 + ] + ], + [ + [ + true, + 64 + ], + [ + false, + 56 + ], + [ + false, + 366 + ] + ], + [ + [ + true, + 366 + ], + [ + false, + 56 + ], + [ + false, + 64 + ] + ], + [ + [ + true, + 56 + ], + [ + true, + 64 + ], + [ + true, + 366 + ] + ], + [ + [ + false, + 366 + ] + ], + [ + [ + true, + 58 + ], + [ + false, + 66 + ], + [ + false, + 367 + ] + ], + [ + [ + true, + 66 + ], + [ + false, + 58 + ], + [ + false, + 367 + ] + ], + [ + [ + true, + 367 + ], + [ + false, + 58 + ], + [ + false, + 66 + ] + ], + [ + [ + true, + 58 + ], + [ + true, + 66 + ], + [ + true, + 367 + ] + ], + [ + [ + false, + 367 + ] + ], + [ + [ + true, + 59 + ], + [ + false, + 67 + ], + [ + false, + 368 + ] + ], + [ + [ + true, + 67 + ], + [ + false, + 59 + ], + [ + false, + 368 + ] + ], + [ + [ + true, + 368 + ], + [ + false, + 59 + ], + [ + false, + 67 + ] + ], + [ + [ + true, + 59 + ], + [ + true, + 67 + ], + [ + true, + 368 + ] + ], + [ + [ + false, + 368 + ] + ], + [ + [ + true, + 60 + ], + [ + false, + 68 + ], + [ + false, + 369 + ] + ], + [ + [ + true, + 68 + ], + [ + false, + 60 + ], + [ + false, + 369 + ] + ], + [ + [ + true, + 369 + ], + [ + false, + 60 + ], + [ + false, + 68 + ] + ], + [ + [ + true, + 60 + ], + [ + true, + 68 + ], + [ + true, + 369 + ] + ], + [ + [ + false, + 369 + ] + ], + [ + [ + true, + 61 + ], + [ + false, + 69 + ], + [ + false, + 370 + ] + ], + [ + [ + true, + 69 + ], + [ + false, + 61 + ], + [ + false, + 370 + ] + ], + [ + [ + true, + 370 + ], + [ + false, + 61 + ], + [ + false, + 69 + ] + ], + [ + [ + true, + 61 + ], + [ + true, + 69 + ], + [ + true, + 370 + ] + ], + [ + [ + false, + 370 + ] + ], + [ + [ + false, + 66 + ], + [ + false, + 74 + ], + [ + false, + 371 + ] + ], + [ + [ + true, + 66 + ], + [ + true, + 74 + ], + [ + false, + 371 + ] + ], + [ + [ + true, + 66 + ], + [ + false, + 74 + ], + [ + true, + 371 + ] + ], + [ + [ + false, + 66 + ], + [ + true, + 74 + ], + [ + true, + 371 + ] + ], + [ + [ + false, + 371 + ] + ], + [ + [ + false, + 64 + ], + [ + false, + 72 + ], + [ + false, + 372 + ] + ], + [ + [ + true, + 64 + ], + [ + true, + 72 + ], + [ + false, + 372 + ] + ], + [ + [ + true, + 64 + ], + [ + false, + 72 + ], + [ + true, + 372 + ] + ], + [ + [ + false, + 64 + ], + [ + true, + 72 + ], + [ + true, + 372 + ] + ], + [ + [ + false, + 372 + ] + ], + [ + [ + false, + 69 + ], + [ + false, + 77 + ], + [ + false, + 373 + ] + ], + [ + [ + true, + 69 + ], + [ + true, + 77 + ], + [ + false, + 373 + ] + ], + [ + [ + true, + 69 + ], + [ + false, + 77 + ], + [ + true, + 373 + ] + ], + [ + [ + true, + 77 + ], + [ + false, + 69 + ], + [ + true, + 373 + ] + ], + [ + [ + false, + 373 + ] + ], + [ + [ + false, + 70 + ], + [ + false, + 78 + ], + [ + false, + 374 + ] + ], + [ + [ + true, + 70 + ], + [ + true, + 78 + ], + [ + false, + 374 + ] + ], + [ + [ + true, + 70 + ], + [ + false, + 78 + ], + [ + true, + 374 + ] + ], + [ + [ + true, + 78 + ], + [ + false, + 70 + ], + [ + true, + 374 + ] + ], + [ + [ + false, + 374 + ] + ], + [ + [ + false, + 71 + ], + [ + false, + 79 + ], + [ + false, + 375 + ] + ], + [ + [ + true, + 71 + ], + [ + true, + 79 + ], + [ + false, + 375 + ] + ], + [ + [ + true, + 71 + ], + [ + false, + 79 + ], + [ + true, + 375 + ] + ], + [ + [ + true, + 79 + ], + [ + false, + 71 + ], + [ + true, + 375 + ] + ], + [ + [ + false, + 375 + ] + ], + [ + [ + true, + 65 + ], + [ + false, + 73 + ], + [ + false, + 376 + ] + ], + [ + [ + true, + 73 + ], + [ + false, + 65 + ], + [ + false, + 376 + ] + ], + [ + [ + true, + 376 + ], + [ + false, + 65 + ], + [ + false, + 73 + ] + ], + [ + [ + true, + 65 + ], + [ + true, + 73 + ], + [ + true, + 376 + ] + ], + [ + [ + false, + 376 + ] + ], + [ + [ + true, + 67 + ], + [ + false, + 75 + ], + [ + false, + 377 + ] + ], + [ + [ + true, + 75 + ], + [ + false, + 67 + ], + [ + false, + 377 + ] + ], + [ + [ + true, + 377 + ], + [ + false, + 67 + ], + [ + false, + 75 + ] + ], + [ + [ + true, + 67 + ], + [ + true, + 75 + ], + [ + true, + 377 + ] + ], + [ + [ + false, + 377 + ] + ], + [ + [ + false, + 76 + ], + [ + false, + 84 + ], + [ + false, + 378 + ] + ], + [ + [ + true, + 76 + ], + [ + true, + 84 + ], + [ + false, + 378 + ] + ], + [ + [ + true, + 76 + ], + [ + false, + 84 + ], + [ + true, + 378 + ] + ], + [ + [ + true, + 84 + ], + [ + false, + 76 + ], + [ + true, + 378 + ] + ], + [ + [ + false, + 378 + ] + ], + [ + [ + false, + 77 + ], + [ + false, + 85 + ], + [ + false, + 379 + ] + ], + [ + [ + true, + 77 + ], + [ + true, + 85 + ], + [ + false, + 379 + ] + ], + [ + [ + true, + 77 + ], + [ + false, + 85 + ], + [ + true, + 379 + ] + ], + [ + [ + true, + 85 + ], + [ + false, + 77 + ], + [ + true, + 379 + ] + ], + [ + [ + false, + 379 + ] + ], + [ + [ + false, + 78 + ], + [ + false, + 86 + ], + [ + false, + 380 + ] + ], + [ + [ + true, + 78 + ], + [ + true, + 86 + ], + [ + false, + 380 + ] + ], + [ + [ + true, + 78 + ], + [ + false, + 86 + ], + [ + true, + 380 + ] + ], + [ + [ + true, + 86 + ], + [ + false, + 78 + ], + [ + true, + 380 + ] + ], + [ + [ + false, + 380 + ] + ], + [ + [ + false, + 79 + ], + [ + false, + 87 + ], + [ + false, + 381 + ] + ], + [ + [ + true, + 79 + ], + [ + true, + 87 + ], + [ + false, + 381 + ] + ], + [ + [ + true, + 79 + ], + [ + false, + 87 + ], + [ + true, + 381 + ] + ], + [ + [ + true, + 87 + ], + [ + false, + 79 + ], + [ + true, + 381 + ] + ], + [ + [ + false, + 381 + ] + ], + [ + [ + true, + 72 + ], + [ + false, + 80 + ], + [ + false, + 382 + ] + ], + [ + [ + true, + 80 + ], + [ + false, + 72 + ], + [ + false, + 382 + ] + ], + [ + [ + true, + 382 + ], + [ + false, + 72 + ], + [ + false, + 80 + ] + ], + [ + [ + true, + 72 + ], + [ + true, + 80 + ], + [ + true, + 382 + ] + ], + [ + [ + false, + 382 + ] + ], + [ + [ + true, + 74 + ], + [ + false, + 82 + ], + [ + false, + 383 + ] + ], + [ + [ + true, + 82 + ], + [ + false, + 74 + ], + [ + false, + 383 + ] + ], + [ + [ + true, + 383 + ], + [ + false, + 74 + ], + [ + false, + 82 + ] + ], + [ + [ + true, + 74 + ], + [ + true, + 82 + ], + [ + true, + 383 + ] + ], + [ + [ + false, + 383 + ] + ], + [ + [ + true, + 75 + ], + [ + false, + 83 + ], + [ + false, + 384 + ] + ], + [ + [ + true, + 83 + ], + [ + false, + 75 + ], + [ + false, + 384 + ] + ], + [ + [ + true, + 384 + ], + [ + false, + 75 + ], + [ + false, + 83 + ] + ], + [ + [ + true, + 75 + ], + [ + true, + 83 + ], + [ + true, + 384 + ] + ], + [ + [ + false, + 384 + ] + ], + [ + [ + false, + 83 + ], + [ + false, + 91 + ], + [ + false, + 385 + ] + ], + [ + [ + true, + 83 + ], + [ + true, + 91 + ], + [ + false, + 385 + ] + ], + [ + [ + true, + 83 + ], + [ + false, + 91 + ], + [ + true, + 385 + ] + ], + [ + [ + true, + 91 + ], + [ + false, + 83 + ], + [ + true, + 385 + ] + ], + [ + [ + false, + 385 + ] + ], + [ + [ + false, + 84 + ], + [ + false, + 92 + ], + [ + false, + 386 + ] + ], + [ + [ + true, + 84 + ], + [ + true, + 92 + ], + [ + false, + 386 + ] + ], + [ + [ + true, + 84 + ], + [ + false, + 92 + ], + [ + true, + 386 + ] + ], + [ + [ + true, + 92 + ], + [ + false, + 84 + ], + [ + true, + 386 + ] + ], + [ + [ + false, + 386 + ] + ], + [ + [ + false, + 85 + ], + [ + false, + 93 + ], + [ + false, + 387 + ] + ], + [ + [ + true, + 85 + ], + [ + true, + 93 + ], + [ + false, + 387 + ] + ], + [ + [ + true, + 85 + ], + [ + false, + 93 + ], + [ + true, + 387 + ] + ], + [ + [ + true, + 93 + ], + [ + false, + 85 + ], + [ + true, + 387 + ] + ], + [ + [ + false, + 387 + ] + ], + [ + [ + false, + 86 + ], + [ + false, + 94 + ], + [ + false, + 388 + ] + ], + [ + [ + true, + 86 + ], + [ + true, + 94 + ], + [ + false, + 388 + ] + ], + [ + [ + true, + 86 + ], + [ + false, + 94 + ], + [ + true, + 388 + ] + ], + [ + [ + true, + 94 + ], + [ + false, + 86 + ], + [ + true, + 388 + ] + ], + [ + [ + false, + 388 + ] + ], + [ + [ + false, + 87 + ], + [ + false, + 95 + ], + [ + false, + 389 + ] + ], + [ + [ + true, + 87 + ], + [ + true, + 95 + ], + [ + false, + 389 + ] + ], + [ + [ + true, + 87 + ], + [ + false, + 95 + ], + [ + true, + 389 + ] + ], + [ + [ + true, + 95 + ], + [ + false, + 87 + ], + [ + true, + 389 + ] + ], + [ + [ + false, + 389 + ] + ], + [ + [ + true, + 81 + ], + [ + false, + 89 + ], + [ + false, + 390 + ] + ], + [ + [ + true, + 89 + ], + [ + false, + 81 + ], + [ + false, + 390 + ] + ], + [ + [ + true, + 390 + ], + [ + false, + 81 + ], + [ + false, + 89 + ] + ], + [ + [ + true, + 81 + ], + [ + true, + 89 + ], + [ + true, + 390 + ] + ], + [ + [ + false, + 390 + ] + ], + [ + [ + true, + 82 + ], + [ + false, + 90 + ], + [ + false, + 391 + ] + ], + [ + [ + true, + 90 + ], + [ + false, + 82 + ], + [ + false, + 391 + ] + ], + [ + [ + true, + 391 + ], + [ + false, + 82 + ], + [ + false, + 90 + ] + ], + [ + [ + true, + 82 + ], + [ + true, + 90 + ], + [ + true, + 391 + ] + ], + [ + [ + false, + 391 + ] + ], + [ + [ + false, + 89 + ], + [ + false, + 97 + ], + [ + false, + 392 + ] + ], + [ + [ + true, + 89 + ], + [ + true, + 97 + ], + [ + false, + 392 + ] + ], + [ + [ + true, + 89 + ], + [ + false, + 97 + ], + [ + true, + 392 + ] + ], + [ + [ + false, + 89 + ], + [ + true, + 97 + ], + [ + true, + 392 + ] + ], + [ + [ + false, + 392 + ] + ], + [ + [ + false, + 90 + ], + [ + false, + 98 + ], + [ + false, + 393 + ] + ], + [ + [ + true, + 90 + ], + [ + true, + 98 + ], + [ + false, + 393 + ] + ], + [ + [ + true, + 90 + ], + [ + false, + 98 + ], + [ + true, + 393 + ] + ], + [ + [ + true, + 98 + ], + [ + false, + 90 + ], + [ + true, + 393 + ] + ], + [ + [ + false, + 393 + ] + ], + [ + [ + false, + 93 + ], + [ + false, + 101 + ], + [ + false, + 394 + ] + ], + [ + [ + true, + 93 + ], + [ + true, + 101 + ], + [ + false, + 394 + ] + ], + [ + [ + true, + 93 + ], + [ + false, + 101 + ], + [ + true, + 394 + ] + ], + [ + [ + true, + 101 + ], + [ + false, + 93 + ], + [ + true, + 394 + ] + ], + [ + [ + false, + 394 + ] + ], + [ + [ + false, + 94 + ], + [ + false, + 102 + ], + [ + false, + 395 + ] + ], + [ + [ + true, + 94 + ], + [ + true, + 102 + ], + [ + false, + 395 + ] + ], + [ + [ + true, + 94 + ], + [ + false, + 102 + ], + [ + true, + 395 + ] + ], + [ + [ + true, + 102 + ], + [ + false, + 94 + ], + [ + true, + 395 + ] + ], + [ + [ + false, + 395 + ] + ], + [ + [ + false, + 95 + ], + [ + false, + 103 + ], + [ + false, + 396 + ] + ], + [ + [ + true, + 95 + ], + [ + true, + 103 + ], + [ + false, + 396 + ] + ], + [ + [ + true, + 95 + ], + [ + false, + 103 + ], + [ + true, + 396 + ] + ], + [ + [ + true, + 103 + ], + [ + false, + 95 + ], + [ + true, + 396 + ] + ], + [ + [ + false, + 396 + ] + ], + [ + [ + true, + 91 + ], + [ + false, + 99 + ], + [ + false, + 397 + ] + ], + [ + [ + true, + 99 + ], + [ + false, + 91 + ], + [ + false, + 397 + ] + ], + [ + [ + true, + 397 + ], + [ + false, + 91 + ], + [ + false, + 99 + ] + ], + [ + [ + true, + 91 + ], + [ + true, + 99 + ], + [ + true, + 397 + ] + ], + [ + [ + false, + 397 + ] + ], + [ + [ + true, + 92 + ], + [ + false, + 100 + ], + [ + false, + 398 + ] + ], + [ + [ + true, + 100 + ], + [ + false, + 92 + ], + [ + false, + 398 + ] + ], + [ + [ + true, + 398 + ], + [ + false, + 92 + ], + [ + false, + 100 + ] + ], + [ + [ + true, + 92 + ], + [ + true, + 100 + ], + [ + true, + 398 + ] + ], + [ + [ + false, + 398 + ] + ], + [ + [ + false, + 102 + ], + [ + false, + 110 + ], + [ + false, + 399 + ] + ], + [ + [ + true, + 102 + ], + [ + true, + 110 + ], + [ + false, + 399 + ] + ], + [ + [ + true, + 102 + ], + [ + false, + 110 + ], + [ + true, + 399 + ] + ], + [ + [ + true, + 110 + ], + [ + false, + 102 + ], + [ + true, + 399 + ] + ], + [ + [ + false, + 399 + ] + ], + [ + [ + false, + 103 + ], + [ + false, + 111 + ], + [ + false, + 400 + ] + ], + [ + [ + true, + 103 + ], + [ + true, + 111 + ], + [ + false, + 400 + ] + ], + [ + [ + true, + 103 + ], + [ + false, + 111 + ], + [ + true, + 400 + ] + ], + [ + [ + true, + 111 + ], + [ + false, + 103 + ], + [ + true, + 400 + ] + ], + [ + [ + false, + 400 + ] + ], + [ + [ + true, + 96 + ], + [ + false, + 104 + ], + [ + false, + 401 + ] + ], + [ + [ + true, + 104 + ], + [ + false, + 96 + ], + [ + false, + 401 + ] + ], + [ + [ + true, + 401 + ], + [ + false, + 96 + ], + [ + false, + 104 + ] + ], + [ + [ + true, + 96 + ], + [ + true, + 104 + ], + [ + true, + 401 + ] + ], + [ + [ + false, + 401 + ] + ], + [ + [ + true, + 98 + ], + [ + false, + 106 + ], + [ + false, + 402 + ] + ], + [ + [ + true, + 106 + ], + [ + false, + 98 + ], + [ + false, + 402 + ] + ], + [ + [ + true, + 402 + ], + [ + false, + 98 + ], + [ + false, + 106 + ] + ], + [ + [ + true, + 98 + ], + [ + true, + 106 + ], + [ + true, + 402 + ] + ], + [ + [ + false, + 402 + ] + ], + [ + [ + true, + 99 + ], + [ + false, + 107 + ], + [ + false, + 403 + ] + ], + [ + [ + true, + 107 + ], + [ + false, + 99 + ], + [ + false, + 403 + ] + ], + [ + [ + true, + 403 + ], + [ + false, + 99 + ], + [ + false, + 107 + ] + ], + [ + [ + true, + 99 + ], + [ + true, + 107 + ], + [ + true, + 403 + ] + ], + [ + [ + false, + 403 + ] + ], + [ + [ + true, + 100 + ], + [ + false, + 108 + ], + [ + false, + 404 + ] + ], + [ + [ + true, + 108 + ], + [ + false, + 100 + ], + [ + false, + 404 + ] + ], + [ + [ + true, + 404 + ], + [ + false, + 100 + ], + [ + false, + 108 + ] + ], + [ + [ + true, + 100 + ], + [ + true, + 108 + ], + [ + true, + 404 + ] + ], + [ + [ + false, + 404 + ] + ], + [ + [ + true, + 101 + ], + [ + false, + 109 + ], + [ + false, + 405 + ] + ], + [ + [ + true, + 109 + ], + [ + false, + 101 + ], + [ + false, + 405 + ] + ], + [ + [ + true, + 405 + ], + [ + false, + 101 + ], + [ + false, + 109 + ] + ], + [ + [ + true, + 101 + ], + [ + true, + 109 + ], + [ + true, + 405 + ] + ], + [ + [ + false, + 405 + ] + ], + [ + [ + false, + 109 + ], + [ + false, + 117 + ], + [ + false, + 406 + ] + ], + [ + [ + true, + 109 + ], + [ + true, + 117 + ], + [ + false, + 406 + ] + ], + [ + [ + true, + 109 + ], + [ + false, + 117 + ], + [ + true, + 406 + ] + ], + [ + [ + true, + 117 + ], + [ + false, + 109 + ], + [ + true, + 406 + ] + ], + [ + [ + false, + 406 + ] + ], + [ + [ + false, + 110 + ], + [ + false, + 118 + ], + [ + false, + 407 + ] + ], + [ + [ + true, + 110 + ], + [ + true, + 118 + ], + [ + false, + 407 + ] + ], + [ + [ + true, + 110 + ], + [ + false, + 118 + ], + [ + true, + 407 + ] + ], + [ + [ + true, + 118 + ], + [ + false, + 110 + ], + [ + true, + 407 + ] + ], + [ + [ + false, + 407 + ] + ], + [ + [ + false, + 111 + ], + [ + false, + 119 + ], + [ + false, + 408 + ] + ], + [ + [ + true, + 111 + ], + [ + true, + 119 + ], + [ + false, + 408 + ] + ], + [ + [ + true, + 111 + ], + [ + false, + 119 + ], + [ + true, + 408 + ] + ], + [ + [ + true, + 119 + ], + [ + false, + 111 + ], + [ + true, + 408 + ] + ], + [ + [ + false, + 408 + ] + ], + [ + [ + false, + 112 + ], + [ + true, + 104 + ], + [ + false, + 409 + ] + ], + [ + [ + true, + 112 + ], + [ + false, + 104 + ], + [ + false, + 409 + ] + ], + [ + [ + true, + 409 + ], + [ + false, + 104 + ], + [ + false, + 112 + ] + ], + [ + [ + true, + 104 + ], + [ + true, + 112 + ], + [ + true, + 409 + ] + ], + [ + [ + false, + 409 + ] + ], + [ + [ + true, + 105 + ], + [ + false, + 113 + ], + [ + false, + 410 + ] + ], + [ + [ + true, + 113 + ], + [ + false, + 105 + ], + [ + false, + 410 + ] + ], + [ + [ + true, + 410 + ], + [ + false, + 105 + ], + [ + false, + 113 + ] + ], + [ + [ + true, + 105 + ], + [ + true, + 113 + ], + [ + true, + 410 + ] + ], + [ + [ + false, + 410 + ] + ], + [ + [ + true, + 107 + ], + [ + false, + 115 + ], + [ + false, + 411 + ] + ], + [ + [ + true, + 115 + ], + [ + false, + 107 + ], + [ + false, + 411 + ] + ], + [ + [ + true, + 411 + ], + [ + false, + 107 + ], + [ + false, + 115 + ] + ], + [ + [ + true, + 107 + ], + [ + true, + 115 + ], + [ + true, + 411 + ] + ], + [ + [ + false, + 411 + ] + ], + [ + [ + true, + 108 + ], + [ + false, + 116 + ], + [ + false, + 412 + ] + ], + [ + [ + true, + 116 + ], + [ + false, + 108 + ], + [ + false, + 412 + ] + ], + [ + [ + true, + 412 + ], + [ + false, + 108 + ], + [ + false, + 116 + ] + ], + [ + [ + true, + 108 + ], + [ + true, + 116 + ], + [ + true, + 412 + ] + ], + [ + [ + false, + 412 + ] + ], + [ + [ + false, + 115 + ], + [ + false, + 123 + ], + [ + false, + 413 + ] + ], + [ + [ + true, + 115 + ], + [ + true, + 123 + ], + [ + false, + 413 + ] + ], + [ + [ + true, + 115 + ], + [ + false, + 123 + ], + [ + true, + 413 + ] + ], + [ + [ + false, + 115 + ], + [ + true, + 123 + ], + [ + true, + 413 + ] + ], + [ + [ + false, + 413 + ] + ], + [ + [ + false, + 116 + ], + [ + false, + 124 + ], + [ + false, + 414 + ] + ], + [ + [ + true, + 116 + ], + [ + true, + 124 + ], + [ + false, + 414 + ] + ], + [ + [ + true, + 116 + ], + [ + false, + 124 + ], + [ + true, + 414 + ] + ], + [ + [ + true, + 124 + ], + [ + false, + 116 + ], + [ + true, + 414 + ] + ], + [ + [ + false, + 414 + ] + ], + [ + [ + false, + 118 + ], + [ + false, + 126 + ], + [ + false, + 415 + ] + ], + [ + [ + true, + 118 + ], + [ + true, + 126 + ], + [ + false, + 415 + ] + ], + [ + [ + true, + 118 + ], + [ + false, + 126 + ], + [ + true, + 415 + ] + ], + [ + [ + true, + 126 + ], + [ + false, + 118 + ], + [ + true, + 415 + ] + ], + [ + [ + false, + 415 + ] + ], + [ + [ + false, + 119 + ], + [ + false, + 127 + ], + [ + false, + 416 + ] + ], + [ + [ + true, + 119 + ], + [ + true, + 127 + ], + [ + false, + 416 + ] + ], + [ + [ + true, + 119 + ], + [ + false, + 127 + ], + [ + true, + 416 + ] + ], + [ + [ + true, + 127 + ], + [ + false, + 119 + ], + [ + true, + 416 + ] + ], + [ + [ + false, + 416 + ] + ], + [ + [ + false, + 121 + ], + [ + true, + 113 + ], + [ + false, + 417 + ] + ], + [ + [ + true, + 121 + ], + [ + false, + 113 + ], + [ + false, + 417 + ] + ], + [ + [ + true, + 417 + ], + [ + false, + 113 + ], + [ + false, + 121 + ] + ], + [ + [ + true, + 113 + ], + [ + true, + 121 + ], + [ + true, + 417 + ] + ], + [ + [ + false, + 417 + ] + ], + [ + [ + false, + 122 + ], + [ + true, + 114 + ], + [ + false, + 418 + ] + ], + [ + [ + true, + 122 + ], + [ + false, + 114 + ], + [ + false, + 418 + ] + ], + [ + [ + true, + 418 + ], + [ + false, + 114 + ], + [ + false, + 122 + ] + ], + [ + [ + true, + 114 + ], + [ + true, + 122 + ], + [ + true, + 418 + ] + ], + [ + [ + false, + 418 + ] + ], + [ + [ + true, + 117 + ], + [ + false, + 125 + ], + [ + false, + 419 + ] + ], + [ + [ + true, + 125 + ], + [ + false, + 117 + ], + [ + false, + 419 + ] + ], + [ + [ + true, + 419 + ], + [ + false, + 117 + ], + [ + false, + 125 + ] + ], + [ + [ + true, + 117 + ], + [ + true, + 125 + ], + [ + true, + 419 + ] + ], + [ + [ + false, + 419 + ] + ], + [ + [ + false, + 121 + ], + [ + false, + 129 + ], + [ + false, + 420 + ] + ], + [ + [ + true, + 121 + ], + [ + true, + 129 + ], + [ + false, + 420 + ] + ], + [ + [ + true, + 121 + ], + [ + false, + 129 + ], + [ + true, + 420 + ] + ], + [ + [ + false, + 121 + ], + [ + true, + 129 + ], + [ + true, + 420 + ] + ], + [ + [ + false, + 420 + ] + ], + [ + [ + false, + 120 + ], + [ + false, + 128 + ], + [ + false, + 421 + ] + ], + [ + [ + true, + 120 + ], + [ + true, + 128 + ], + [ + false, + 421 + ] + ], + [ + [ + true, + 120 + ], + [ + false, + 128 + ], + [ + true, + 421 + ] + ], + [ + [ + false, + 120 + ], + [ + true, + 128 + ], + [ + true, + 421 + ] + ], + [ + [ + false, + 421 + ] + ], + [ + [ + false, + 125 + ], + [ + false, + 133 + ], + [ + false, + 422 + ] + ], + [ + [ + true, + 125 + ], + [ + true, + 133 + ], + [ + false, + 422 + ] + ], + [ + [ + true, + 125 + ], + [ + false, + 133 + ], + [ + true, + 422 + ] + ], + [ + [ + true, + 133 + ], + [ + false, + 125 + ], + [ + true, + 422 + ] + ], + [ + [ + false, + 422 + ] + ], + [ + [ + false, + 126 + ], + [ + false, + 134 + ], + [ + false, + 423 + ] + ], + [ + [ + true, + 126 + ], + [ + true, + 134 + ], + [ + false, + 423 + ] + ], + [ + [ + true, + 126 + ], + [ + false, + 134 + ], + [ + true, + 423 + ] + ], + [ + [ + true, + 134 + ], + [ + false, + 126 + ], + [ + true, + 423 + ] + ], + [ + [ + false, + 423 + ] + ], + [ + [ + false, + 127 + ], + [ + false, + 135 + ], + [ + false, + 424 + ] + ], + [ + [ + true, + 127 + ], + [ + true, + 135 + ], + [ + false, + 424 + ] + ], + [ + [ + true, + 127 + ], + [ + false, + 135 + ], + [ + true, + 424 + ] + ], + [ + [ + true, + 135 + ], + [ + false, + 127 + ], + [ + true, + 424 + ] + ], + [ + [ + false, + 424 + ] + ], + [ + [ + true, + 123 + ], + [ + false, + 131 + ], + [ + false, + 425 + ] + ], + [ + [ + true, + 131 + ], + [ + false, + 123 + ], + [ + false, + 425 + ] + ], + [ + [ + true, + 425 + ], + [ + false, + 123 + ], + [ + false, + 131 + ] + ], + [ + [ + true, + 123 + ], + [ + true, + 131 + ], + [ + true, + 425 + ] + ], + [ + [ + false, + 425 + ] + ], + [ + [ + true, + 124 + ], + [ + false, + 132 + ], + [ + false, + 426 + ] + ], + [ + [ + true, + 132 + ], + [ + false, + 124 + ], + [ + false, + 426 + ] + ], + [ + [ + true, + 426 + ], + [ + false, + 124 + ], + [ + false, + 132 + ] + ], + [ + [ + true, + 124 + ], + [ + true, + 132 + ], + [ + true, + 426 + ] + ], + [ + [ + false, + 426 + ] + ], + [ + [ + false, + 139 + ], + [ + false, + 131 + ], + [ + false, + 427 + ] + ], + [ + [ + true, + 131 + ], + [ + true, + 139 + ], + [ + false, + 427 + ] + ], + [ + [ + true, + 131 + ], + [ + false, + 139 + ], + [ + true, + 427 + ] + ], + [ + [ + true, + 139 + ], + [ + false, + 131 + ], + [ + true, + 427 + ] + ], + [ + [ + false, + 427 + ] + ], + [ + [ + false, + 134 + ], + [ + false, + 142 + ], + [ + false, + 428 + ] + ], + [ + [ + true, + 134 + ], + [ + true, + 142 + ], + [ + false, + 428 + ] + ], + [ + [ + true, + 134 + ], + [ + false, + 142 + ], + [ + true, + 428 + ] + ], + [ + [ + true, + 142 + ], + [ + false, + 134 + ], + [ + true, + 428 + ] + ], + [ + [ + false, + 428 + ] + ], + [ + [ + false, + 135 + ], + [ + false, + 143 + ], + [ + false, + 429 + ] + ], + [ + [ + true, + 135 + ], + [ + true, + 143 + ], + [ + false, + 429 + ] + ], + [ + [ + true, + 135 + ], + [ + false, + 143 + ], + [ + true, + 429 + ] + ], + [ + [ + true, + 143 + ], + [ + false, + 135 + ], + [ + true, + 429 + ] + ], + [ + [ + false, + 429 + ] + ], + [ + [ + true, + 128 + ], + [ + false, + 136 + ], + [ + false, + 430 + ] + ], + [ + [ + true, + 136 + ], + [ + false, + 128 + ], + [ + false, + 430 + ] + ], + [ + [ + true, + 430 + ], + [ + false, + 128 + ], + [ + false, + 136 + ] + ], + [ + [ + true, + 128 + ], + [ + true, + 136 + ], + [ + true, + 430 + ] + ], + [ + [ + false, + 430 + ] + ], + [ + [ + true, + 130 + ], + [ + false, + 138 + ], + [ + false, + 431 + ] + ], + [ + [ + true, + 138 + ], + [ + false, + 130 + ], + [ + false, + 431 + ] + ], + [ + [ + true, + 431 + ], + [ + false, + 130 + ], + [ + false, + 138 + ] + ], + [ + [ + true, + 130 + ], + [ + true, + 138 + ], + [ + true, + 431 + ] + ], + [ + [ + false, + 431 + ] + ], + [ + [ + true, + 132 + ], + [ + false, + 140 + ], + [ + false, + 432 + ] + ], + [ + [ + true, + 140 + ], + [ + false, + 132 + ], + [ + false, + 432 + ] + ], + [ + [ + true, + 432 + ], + [ + false, + 132 + ], + [ + false, + 140 + ] + ], + [ + [ + true, + 132 + ], + [ + true, + 140 + ], + [ + true, + 432 + ] + ], + [ + [ + false, + 432 + ] + ], + [ + [ + true, + 133 + ], + [ + false, + 141 + ], + [ + false, + 433 + ] + ], + [ + [ + true, + 141 + ], + [ + false, + 133 + ], + [ + false, + 433 + ] + ], + [ + [ + true, + 433 + ], + [ + false, + 133 + ], + [ + false, + 141 + ] + ], + [ + [ + true, + 133 + ], + [ + true, + 141 + ], + [ + true, + 433 + ] + ], + [ + [ + false, + 433 + ] + ], + [ + [ + false, + 138 + ], + [ + false, + 146 + ], + [ + false, + 434 + ] + ], + [ + [ + true, + 138 + ], + [ + true, + 146 + ], + [ + false, + 434 + ] + ], + [ + [ + true, + 138 + ], + [ + false, + 146 + ], + [ + true, + 434 + ] + ], + [ + [ + false, + 138 + ], + [ + true, + 146 + ], + [ + true, + 434 + ] + ], + [ + [ + false, + 434 + ] + ], + [ + [ + false, + 136 + ], + [ + false, + 144 + ], + [ + false, + 435 + ] + ], + [ + [ + true, + 136 + ], + [ + true, + 144 + ], + [ + false, + 435 + ] + ], + [ + [ + true, + 136 + ], + [ + false, + 144 + ], + [ + true, + 435 + ] + ], + [ + [ + false, + 136 + ], + [ + true, + 144 + ], + [ + true, + 435 + ] + ], + [ + [ + false, + 435 + ] + ], + [ + [ + false, + 140 + ], + [ + false, + 148 + ], + [ + false, + 436 + ] + ], + [ + [ + true, + 140 + ], + [ + true, + 148 + ], + [ + false, + 436 + ] + ], + [ + [ + true, + 140 + ], + [ + false, + 148 + ], + [ + true, + 436 + ] + ], + [ + [ + true, + 148 + ], + [ + false, + 140 + ], + [ + true, + 436 + ] + ], + [ + [ + false, + 436 + ] + ], + [ + [ + false, + 141 + ], + [ + false, + 149 + ], + [ + false, + 437 + ] + ], + [ + [ + true, + 141 + ], + [ + true, + 149 + ], + [ + false, + 437 + ] + ], + [ + [ + true, + 141 + ], + [ + false, + 149 + ], + [ + true, + 437 + ] + ], + [ + [ + true, + 149 + ], + [ + false, + 141 + ], + [ + true, + 437 + ] + ], + [ + [ + false, + 437 + ] + ], + [ + [ + false, + 143 + ], + [ + false, + 151 + ], + [ + false, + 438 + ] + ], + [ + [ + true, + 143 + ], + [ + true, + 151 + ], + [ + false, + 438 + ] + ], + [ + [ + true, + 143 + ], + [ + false, + 151 + ], + [ + true, + 438 + ] + ], + [ + [ + true, + 151 + ], + [ + false, + 143 + ], + [ + true, + 438 + ] + ], + [ + [ + false, + 438 + ] + ], + [ + [ + true, + 137 + ], + [ + false, + 145 + ], + [ + false, + 439 + ] + ], + [ + [ + true, + 145 + ], + [ + false, + 137 + ], + [ + false, + 439 + ] + ], + [ + [ + true, + 439 + ], + [ + false, + 137 + ], + [ + false, + 145 + ] + ], + [ + [ + true, + 137 + ], + [ + true, + 145 + ], + [ + true, + 439 + ] + ], + [ + [ + false, + 439 + ] + ], + [ + [ + true, + 142 + ], + [ + false, + 150 + ], + [ + false, + 440 + ] + ], + [ + [ + true, + 150 + ], + [ + false, + 142 + ], + [ + false, + 440 + ] + ], + [ + [ + true, + 440 + ], + [ + false, + 142 + ], + [ + false, + 150 + ] + ], + [ + [ + true, + 142 + ], + [ + true, + 150 + ], + [ + true, + 440 + ] + ], + [ + [ + false, + 440 + ] + ], + [ + [ + false, + 147 + ], + [ + false, + 155 + ], + [ + false, + 441 + ] + ], + [ + [ + true, + 147 + ], + [ + true, + 155 + ], + [ + false, + 441 + ] + ], + [ + [ + true, + 147 + ], + [ + false, + 155 + ], + [ + true, + 441 + ] + ], + [ + [ + true, + 155 + ], + [ + false, + 147 + ], + [ + true, + 441 + ] + ], + [ + [ + false, + 441 + ] + ], + [ + [ + false, + 148 + ], + [ + false, + 156 + ], + [ + false, + 442 + ] + ], + [ + [ + true, + 148 + ], + [ + true, + 156 + ], + [ + false, + 442 + ] + ], + [ + [ + true, + 148 + ], + [ + false, + 156 + ], + [ + true, + 442 + ] + ], + [ + [ + true, + 156 + ], + [ + false, + 148 + ], + [ + true, + 442 + ] + ], + [ + [ + false, + 442 + ] + ], + [ + [ + false, + 149 + ], + [ + false, + 157 + ], + [ + false, + 443 + ] + ], + [ + [ + true, + 149 + ], + [ + true, + 157 + ], + [ + false, + 443 + ] + ], + [ + [ + true, + 149 + ], + [ + false, + 157 + ], + [ + true, + 443 + ] + ], + [ + [ + true, + 157 + ], + [ + false, + 149 + ], + [ + true, + 443 + ] + ], + [ + [ + false, + 443 + ] + ], + [ + [ + false, + 151 + ], + [ + false, + 159 + ], + [ + false, + 444 + ] + ], + [ + [ + true, + 151 + ], + [ + true, + 159 + ], + [ + false, + 444 + ] + ], + [ + [ + true, + 151 + ], + [ + false, + 159 + ], + [ + true, + 444 + ] + ], + [ + [ + true, + 159 + ], + [ + false, + 151 + ], + [ + true, + 444 + ] + ], + [ + [ + false, + 444 + ] + ], + [ + [ + true, + 145 + ], + [ + false, + 153 + ], + [ + false, + 445 + ] + ], + [ + [ + true, + 153 + ], + [ + false, + 145 + ], + [ + false, + 445 + ] + ], + [ + [ + true, + 445 + ], + [ + false, + 145 + ], + [ + false, + 153 + ] + ], + [ + [ + true, + 145 + ], + [ + true, + 153 + ], + [ + true, + 445 + ] + ], + [ + [ + false, + 445 + ] + ], + [ + [ + true, + 146 + ], + [ + false, + 154 + ], + [ + false, + 446 + ] + ], + [ + [ + true, + 154 + ], + [ + false, + 146 + ], + [ + false, + 446 + ] + ], + [ + [ + true, + 446 + ], + [ + false, + 146 + ], + [ + false, + 154 + ] + ], + [ + [ + true, + 146 + ], + [ + true, + 154 + ], + [ + true, + 446 + ] + ], + [ + [ + false, + 446 + ] + ], + [ + [ + true, + 150 + ], + [ + false, + 158 + ], + [ + false, + 447 + ] + ], + [ + [ + true, + 158 + ], + [ + false, + 150 + ], + [ + false, + 447 + ] + ], + [ + [ + true, + 447 + ], + [ + false, + 150 + ], + [ + false, + 158 + ] + ], + [ + [ + true, + 150 + ], + [ + true, + 158 + ], + [ + true, + 447 + ] + ], + [ + [ + false, + 447 + ] + ], + [ + [ + false, + 155 + ], + [ + false, + 163 + ], + [ + false, + 448 + ] + ], + [ + [ + true, + 155 + ], + [ + true, + 163 + ], + [ + false, + 448 + ] + ], + [ + [ + true, + 155 + ], + [ + false, + 163 + ], + [ + true, + 448 + ] + ], + [ + [ + true, + 163 + ], + [ + false, + 155 + ], + [ + true, + 448 + ] + ], + [ + [ + false, + 448 + ] + ], + [ + [ + false, + 156 + ], + [ + false, + 164 + ], + [ + false, + 449 + ] + ], + [ + [ + true, + 156 + ], + [ + true, + 164 + ], + [ + false, + 449 + ] + ], + [ + [ + true, + 156 + ], + [ + false, + 164 + ], + [ + true, + 449 + ] + ], + [ + [ + true, + 164 + ], + [ + false, + 156 + ], + [ + true, + 449 + ] + ], + [ + [ + false, + 449 + ] + ], + [ + [ + false, + 157 + ], + [ + false, + 165 + ], + [ + false, + 450 + ] + ], + [ + [ + true, + 157 + ], + [ + true, + 165 + ], + [ + false, + 450 + ] + ], + [ + [ + true, + 157 + ], + [ + false, + 165 + ], + [ + true, + 450 + ] + ], + [ + [ + true, + 165 + ], + [ + false, + 157 + ], + [ + true, + 450 + ] + ], + [ + [ + false, + 450 + ] + ], + [ + [ + false, + 159 + ], + [ + false, + 167 + ], + [ + false, + 451 + ] + ], + [ + [ + true, + 159 + ], + [ + true, + 167 + ], + [ + false, + 451 + ] + ], + [ + [ + true, + 159 + ], + [ + false, + 167 + ], + [ + true, + 451 + ] + ], + [ + [ + true, + 167 + ], + [ + false, + 159 + ], + [ + true, + 451 + ] + ], + [ + [ + false, + 451 + ] + ], + [ + [ + true, + 152 + ], + [ + false, + 160 + ], + [ + false, + 452 + ] + ], + [ + [ + true, + 160 + ], + [ + false, + 152 + ], + [ + false, + 452 + ] + ], + [ + [ + true, + 452 + ], + [ + false, + 152 + ], + [ + false, + 160 + ] + ], + [ + [ + true, + 152 + ], + [ + true, + 160 + ], + [ + true, + 452 + ] + ], + [ + [ + false, + 452 + ] + ], + [ + [ + true, + 154 + ], + [ + false, + 162 + ], + [ + false, + 453 + ] + ], + [ + [ + true, + 162 + ], + [ + false, + 154 + ], + [ + false, + 453 + ] + ], + [ + [ + true, + 453 + ], + [ + false, + 154 + ], + [ + false, + 162 + ] + ], + [ + [ + true, + 154 + ], + [ + true, + 162 + ], + [ + true, + 453 + ] + ], + [ + [ + false, + 453 + ] + ], + [ + [ + true, + 158 + ], + [ + false, + 166 + ], + [ + false, + 454 + ] + ], + [ + [ + true, + 166 + ], + [ + false, + 158 + ], + [ + false, + 454 + ] + ], + [ + [ + true, + 454 + ], + [ + false, + 158 + ], + [ + false, + 166 + ] + ], + [ + [ + true, + 158 + ], + [ + true, + 166 + ], + [ + true, + 454 + ] + ], + [ + [ + false, + 454 + ] + ], + [ + [ + false, + 162 + ], + [ + false, + 170 + ], + [ + false, + 455 + ] + ], + [ + [ + true, + 162 + ], + [ + true, + 170 + ], + [ + false, + 455 + ] + ], + [ + [ + true, + 162 + ], + [ + false, + 170 + ], + [ + true, + 455 + ] + ], + [ + [ + false, + 162 + ], + [ + true, + 170 + ], + [ + true, + 455 + ] + ], + [ + [ + false, + 455 + ] + ], + [ + [ + false, + 163 + ], + [ + false, + 171 + ], + [ + false, + 456 + ] + ], + [ + [ + true, + 163 + ], + [ + true, + 171 + ], + [ + false, + 456 + ] + ], + [ + [ + true, + 163 + ], + [ + false, + 171 + ], + [ + true, + 456 + ] + ], + [ + [ + true, + 171 + ], + [ + false, + 163 + ], + [ + true, + 456 + ] + ], + [ + [ + false, + 456 + ] + ], + [ + [ + false, + 164 + ], + [ + false, + 172 + ], + [ + false, + 457 + ] + ], + [ + [ + true, + 164 + ], + [ + true, + 172 + ], + [ + false, + 457 + ] + ], + [ + [ + true, + 164 + ], + [ + false, + 172 + ], + [ + true, + 457 + ] + ], + [ + [ + true, + 172 + ], + [ + false, + 164 + ], + [ + true, + 457 + ] + ], + [ + [ + false, + 457 + ] + ], + [ + [ + false, + 165 + ], + [ + false, + 173 + ], + [ + false, + 458 + ] + ], + [ + [ + true, + 165 + ], + [ + true, + 173 + ], + [ + false, + 458 + ] + ], + [ + [ + true, + 165 + ], + [ + false, + 173 + ], + [ + true, + 458 + ] + ], + [ + [ + true, + 173 + ], + [ + false, + 165 + ], + [ + true, + 458 + ] + ], + [ + [ + false, + 458 + ] + ], + [ + [ + false, + 167 + ], + [ + false, + 175 + ], + [ + false, + 459 + ] + ], + [ + [ + true, + 167 + ], + [ + true, + 175 + ], + [ + false, + 459 + ] + ], + [ + [ + true, + 167 + ], + [ + false, + 175 + ], + [ + true, + 459 + ] + ], + [ + [ + true, + 175 + ], + [ + false, + 167 + ], + [ + true, + 459 + ] + ], + [ + [ + false, + 459 + ] + ], + [ + [ + true, + 160 + ], + [ + false, + 168 + ], + [ + false, + 460 + ] + ], + [ + [ + true, + 168 + ], + [ + false, + 160 + ], + [ + false, + 460 + ] + ], + [ + [ + true, + 460 + ], + [ + false, + 160 + ], + [ + false, + 168 + ] + ], + [ + [ + true, + 160 + ], + [ + true, + 168 + ], + [ + true, + 460 + ] + ], + [ + [ + false, + 460 + ] + ], + [ + [ + true, + 166 + ], + [ + false, + 174 + ], + [ + false, + 461 + ] + ], + [ + [ + true, + 174 + ], + [ + false, + 166 + ], + [ + false, + 461 + ] + ], + [ + [ + true, + 461 + ], + [ + false, + 166 + ], + [ + false, + 174 + ] + ], + [ + [ + true, + 166 + ], + [ + true, + 174 + ], + [ + true, + 461 + ] + ], + [ + [ + false, + 461 + ] + ], + [ + [ + false, + 179 + ], + [ + false, + 171 + ], + [ + false, + 462 + ] + ], + [ + [ + true, + 171 + ], + [ + true, + 179 + ], + [ + false, + 462 + ] + ], + [ + [ + true, + 171 + ], + [ + false, + 179 + ], + [ + true, + 462 + ] + ], + [ + [ + true, + 179 + ], + [ + false, + 171 + ], + [ + true, + 462 + ] + ], + [ + [ + false, + 462 + ] + ], + [ + [ + false, + 173 + ], + [ + false, + 181 + ], + [ + false, + 463 + ] + ], + [ + [ + true, + 173 + ], + [ + true, + 181 + ], + [ + false, + 463 + ] + ], + [ + [ + true, + 173 + ], + [ + false, + 181 + ], + [ + true, + 463 + ] + ], + [ + [ + true, + 181 + ], + [ + false, + 173 + ], + [ + true, + 463 + ] + ], + [ + [ + false, + 463 + ] + ], + [ + [ + false, + 175 + ], + [ + false, + 183 + ], + [ + false, + 464 + ] + ], + [ + [ + true, + 175 + ], + [ + true, + 183 + ], + [ + false, + 464 + ] + ], + [ + [ + true, + 175 + ], + [ + false, + 183 + ], + [ + true, + 464 + ] + ], + [ + [ + true, + 183 + ], + [ + false, + 175 + ], + [ + true, + 464 + ] + ], + [ + [ + false, + 464 + ] + ], + [ + [ + true, + 168 + ], + [ + false, + 176 + ], + [ + false, + 465 + ] + ], + [ + [ + true, + 176 + ], + [ + false, + 168 + ], + [ + false, + 465 + ] + ], + [ + [ + true, + 465 + ], + [ + false, + 168 + ], + [ + false, + 176 + ] + ], + [ + [ + true, + 168 + ], + [ + true, + 176 + ], + [ + true, + 465 + ] + ], + [ + [ + false, + 465 + ] + ], + [ + [ + true, + 170 + ], + [ + false, + 178 + ], + [ + false, + 466 + ] + ], + [ + [ + true, + 178 + ], + [ + false, + 170 + ], + [ + false, + 466 + ] + ], + [ + [ + true, + 466 + ], + [ + false, + 170 + ], + [ + false, + 178 + ] + ], + [ + [ + true, + 170 + ], + [ + true, + 178 + ], + [ + true, + 466 + ] + ], + [ + [ + false, + 466 + ] + ], + [ + [ + true, + 172 + ], + [ + false, + 180 + ], + [ + false, + 467 + ] + ], + [ + [ + true, + 180 + ], + [ + false, + 172 + ], + [ + false, + 467 + ] + ], + [ + [ + true, + 467 + ], + [ + false, + 172 + ], + [ + false, + 180 + ] + ], + [ + [ + true, + 172 + ], + [ + true, + 180 + ], + [ + true, + 467 + ] + ], + [ + [ + false, + 467 + ] + ], + [ + [ + true, + 174 + ], + [ + false, + 182 + ], + [ + false, + 468 + ] + ], + [ + [ + true, + 182 + ], + [ + false, + 174 + ], + [ + false, + 468 + ] + ], + [ + [ + true, + 468 + ], + [ + false, + 174 + ], + [ + false, + 182 + ] + ], + [ + [ + true, + 174 + ], + [ + true, + 182 + ], + [ + true, + 468 + ] + ], + [ + [ + false, + 468 + ] + ], + [ + [ + false, + 177 + ], + [ + false, + 185 + ], + [ + false, + 469 + ] + ], + [ + [ + true, + 177 + ], + [ + true, + 185 + ], + [ + false, + 469 + ] + ], + [ + [ + true, + 177 + ], + [ + false, + 185 + ], + [ + true, + 469 + ] + ], + [ + [ + false, + 177 + ], + [ + true, + 185 + ], + [ + true, + 469 + ] + ], + [ + [ + false, + 469 + ] + ], + [ + [ + false, + 176 + ], + [ + false, + 184 + ], + [ + false, + 470 + ] + ], + [ + [ + true, + 176 + ], + [ + true, + 184 + ], + [ + false, + 470 + ] + ], + [ + [ + true, + 176 + ], + [ + false, + 184 + ], + [ + true, + 470 + ] + ], + [ + [ + false, + 176 + ], + [ + true, + 184 + ], + [ + true, + 470 + ] + ], + [ + [ + false, + 470 + ] + ], + [ + [ + false, + 181 + ], + [ + false, + 189 + ], + [ + false, + 471 + ] + ], + [ + [ + true, + 181 + ], + [ + true, + 189 + ], + [ + false, + 471 + ] + ], + [ + [ + true, + 181 + ], + [ + false, + 189 + ], + [ + true, + 471 + ] + ], + [ + [ + true, + 189 + ], + [ + false, + 181 + ], + [ + true, + 471 + ] + ], + [ + [ + false, + 471 + ] + ], + [ + [ + false, + 183 + ], + [ + false, + 191 + ], + [ + false, + 472 + ] + ], + [ + [ + true, + 183 + ], + [ + true, + 191 + ], + [ + false, + 472 + ] + ], + [ + [ + true, + 183 + ], + [ + false, + 191 + ], + [ + true, + 472 + ] + ], + [ + [ + true, + 191 + ], + [ + false, + 183 + ], + [ + true, + 472 + ] + ], + [ + [ + false, + 472 + ] + ], + [ + [ + true, + 178 + ], + [ + false, + 186 + ], + [ + false, + 473 + ] + ], + [ + [ + true, + 186 + ], + [ + false, + 178 + ], + [ + false, + 473 + ] + ], + [ + [ + true, + 473 + ], + [ + false, + 178 + ], + [ + false, + 186 + ] + ], + [ + [ + true, + 178 + ], + [ + true, + 186 + ], + [ + true, + 473 + ] + ], + [ + [ + false, + 473 + ] + ], + [ + [ + true, + 180 + ], + [ + false, + 188 + ], + [ + false, + 474 + ] + ], + [ + [ + true, + 188 + ], + [ + false, + 180 + ], + [ + false, + 474 + ] + ], + [ + [ + true, + 474 + ], + [ + false, + 180 + ], + [ + false, + 188 + ] + ], + [ + [ + true, + 180 + ], + [ + true, + 188 + ], + [ + true, + 474 + ] + ], + [ + [ + false, + 474 + ] + ], + [ + [ + true, + 182 + ], + [ + false, + 190 + ], + [ + false, + 475 + ] + ], + [ + [ + true, + 190 + ], + [ + false, + 182 + ], + [ + false, + 475 + ] + ], + [ + [ + true, + 475 + ], + [ + false, + 182 + ], + [ + false, + 190 + ] + ], + [ + [ + true, + 182 + ], + [ + true, + 190 + ], + [ + true, + 475 + ] + ], + [ + [ + false, + 475 + ] + ], + [ + [ + false, + 184 + ], + [ + false, + 192 + ], + [ + false, + 476 + ] + ], + [ + [ + true, + 184 + ], + [ + true, + 192 + ], + [ + false, + 476 + ] + ], + [ + [ + true, + 184 + ], + [ + false, + 192 + ], + [ + true, + 476 + ] + ], + [ + [ + false, + 184 + ], + [ + true, + 192 + ], + [ + true, + 476 + ] + ], + [ + [ + false, + 476 + ] + ], + [ + [ + false, + 188 + ], + [ + false, + 196 + ], + [ + false, + 477 + ] + ], + [ + [ + true, + 188 + ], + [ + true, + 196 + ], + [ + false, + 477 + ] + ], + [ + [ + true, + 188 + ], + [ + false, + 196 + ], + [ + true, + 477 + ] + ], + [ + [ + true, + 196 + ], + [ + false, + 188 + ], + [ + true, + 477 + ] + ], + [ + [ + false, + 477 + ] + ], + [ + [ + false, + 190 + ], + [ + false, + 198 + ], + [ + false, + 478 + ] + ], + [ + [ + true, + 190 + ], + [ + true, + 198 + ], + [ + false, + 478 + ] + ], + [ + [ + true, + 190 + ], + [ + false, + 198 + ], + [ + true, + 478 + ] + ], + [ + [ + true, + 198 + ], + [ + false, + 190 + ], + [ + true, + 478 + ] + ], + [ + [ + false, + 478 + ] + ], + [ + [ + false, + 191 + ], + [ + false, + 199 + ], + [ + false, + 479 + ] + ], + [ + [ + true, + 191 + ], + [ + true, + 199 + ], + [ + false, + 479 + ] + ], + [ + [ + true, + 191 + ], + [ + false, + 199 + ], + [ + true, + 479 + ] + ], + [ + [ + true, + 199 + ], + [ + false, + 191 + ], + [ + true, + 479 + ] + ], + [ + [ + false, + 479 + ] + ], + [ + [ + false, + 194 + ], + [ + true, + 186 + ], + [ + false, + 480 + ] + ], + [ + [ + true, + 194 + ], + [ + false, + 186 + ], + [ + false, + 480 + ] + ], + [ + [ + true, + 480 + ], + [ + false, + 186 + ], + [ + false, + 194 + ] + ], + [ + [ + true, + 186 + ], + [ + true, + 194 + ], + [ + true, + 480 + ] + ], + [ + [ + false, + 480 + ] + ], + [ + [ + true, + 187 + ], + [ + false, + 195 + ], + [ + false, + 481 + ] + ], + [ + [ + true, + 195 + ], + [ + false, + 187 + ], + [ + false, + 481 + ] + ], + [ + [ + true, + 481 + ], + [ + false, + 187 + ], + [ + false, + 195 + ] + ], + [ + [ + true, + 187 + ], + [ + true, + 195 + ], + [ + true, + 481 + ] + ], + [ + [ + false, + 481 + ] + ], + [ + [ + true, + 189 + ], + [ + false, + 197 + ], + [ + false, + 482 + ] + ], + [ + [ + true, + 197 + ], + [ + false, + 189 + ], + [ + false, + 482 + ] + ], + [ + [ + true, + 482 + ], + [ + false, + 189 + ], + [ + false, + 197 + ] + ], + [ + [ + true, + 189 + ], + [ + true, + 197 + ], + [ + true, + 482 + ] + ], + [ + [ + false, + 482 + ] + ], + [ + [ + false, + 196 + ], + [ + false, + 204 + ], + [ + false, + 483 + ] + ], + [ + [ + true, + 196 + ], + [ + true, + 204 + ], + [ + false, + 483 + ] + ], + [ + [ + true, + 196 + ], + [ + false, + 204 + ], + [ + true, + 483 + ] + ], + [ + [ + true, + 204 + ], + [ + false, + 196 + ], + [ + true, + 483 + ] + ], + [ + [ + false, + 483 + ] + ], + [ + [ + false, + 199 + ], + [ + false, + 207 + ], + [ + false, + 484 + ] + ], + [ + [ + true, + 199 + ], + [ + true, + 207 + ], + [ + false, + 484 + ] + ], + [ + [ + true, + 199 + ], + [ + false, + 207 + ], + [ + true, + 484 + ] + ], + [ + [ + true, + 207 + ], + [ + false, + 199 + ], + [ + true, + 484 + ] + ], + [ + [ + false, + 484 + ] + ], + [ + [ + true, + 192 + ], + [ + false, + 200 + ], + [ + false, + 485 + ] + ], + [ + [ + true, + 200 + ], + [ + false, + 192 + ], + [ + false, + 485 + ] + ], + [ + [ + true, + 485 + ], + [ + false, + 192 + ], + [ + false, + 200 + ] + ], + [ + [ + true, + 192 + ], + [ + true, + 200 + ], + [ + true, + 485 + ] + ], + [ + [ + false, + 485 + ] + ], + [ + [ + true, + 193 + ], + [ + false, + 201 + ], + [ + false, + 486 + ] + ], + [ + [ + true, + 201 + ], + [ + false, + 193 + ], + [ + false, + 486 + ] + ], + [ + [ + true, + 486 + ], + [ + false, + 193 + ], + [ + false, + 201 + ] + ], + [ + [ + true, + 193 + ], + [ + true, + 201 + ], + [ + true, + 486 + ] + ], + [ + [ + false, + 486 + ] + ], + [ + [ + true, + 195 + ], + [ + false, + 203 + ], + [ + false, + 487 + ] + ], + [ + [ + true, + 203 + ], + [ + false, + 195 + ], + [ + false, + 487 + ] + ], + [ + [ + true, + 487 + ], + [ + false, + 195 + ], + [ + false, + 203 + ] + ], + [ + [ + true, + 195 + ], + [ + true, + 203 + ], + [ + true, + 487 + ] + ], + [ + [ + false, + 487 + ] + ], + [ + [ + true, + 197 + ], + [ + false, + 205 + ], + [ + false, + 488 + ] + ], + [ + [ + true, + 205 + ], + [ + false, + 197 + ], + [ + false, + 488 + ] + ], + [ + [ + true, + 488 + ], + [ + false, + 197 + ], + [ + false, + 205 + ] + ], + [ + [ + true, + 197 + ], + [ + true, + 205 + ], + [ + true, + 488 + ] + ], + [ + [ + false, + 488 + ] + ], + [ + [ + true, + 198 + ], + [ + false, + 206 + ], + [ + false, + 489 + ] + ], + [ + [ + true, + 206 + ], + [ + false, + 198 + ], + [ + false, + 489 + ] + ], + [ + [ + true, + 489 + ], + [ + false, + 198 + ], + [ + false, + 206 + ] + ], + [ + [ + true, + 198 + ], + [ + true, + 206 + ], + [ + true, + 489 + ] + ], + [ + [ + false, + 489 + ] + ], + [ + [ + false, + 201 + ], + [ + false, + 209 + ], + [ + false, + 490 + ] + ], + [ + [ + true, + 201 + ], + [ + true, + 209 + ], + [ + false, + 490 + ] + ], + [ + [ + true, + 201 + ], + [ + false, + 209 + ], + [ + true, + 490 + ] + ], + [ + [ + false, + 201 + ], + [ + true, + 209 + ], + [ + true, + 490 + ] + ], + [ + [ + false, + 490 + ] + ], + [ + [ + false, + 200 + ], + [ + false, + 208 + ], + [ + false, + 491 + ] + ], + [ + [ + true, + 200 + ], + [ + true, + 208 + ], + [ + false, + 491 + ] + ], + [ + [ + true, + 200 + ], + [ + false, + 208 + ], + [ + true, + 491 + ] + ], + [ + [ + false, + 200 + ], + [ + true, + 208 + ], + [ + true, + 491 + ] + ], + [ + [ + false, + 491 + ] + ], + [ + [ + false, + 205 + ], + [ + false, + 213 + ], + [ + false, + 492 + ] + ], + [ + [ + true, + 205 + ], + [ + true, + 213 + ], + [ + false, + 492 + ] + ], + [ + [ + true, + 205 + ], + [ + false, + 213 + ], + [ + true, + 492 + ] + ], + [ + [ + true, + 213 + ], + [ + false, + 205 + ], + [ + true, + 492 + ] + ], + [ + [ + false, + 492 + ] + ], + [ + [ + false, + 207 + ], + [ + false, + 215 + ], + [ + false, + 493 + ] + ], + [ + [ + true, + 207 + ], + [ + true, + 215 + ], + [ + false, + 493 + ] + ], + [ + [ + true, + 207 + ], + [ + false, + 215 + ], + [ + true, + 493 + ] + ], + [ + [ + true, + 215 + ], + [ + false, + 207 + ], + [ + true, + 493 + ] + ], + [ + [ + false, + 493 + ] + ], + [ + [ + true, + 203 + ], + [ + false, + 211 + ], + [ + false, + 494 + ] + ], + [ + [ + true, + 211 + ], + [ + false, + 203 + ], + [ + false, + 494 + ] + ], + [ + [ + true, + 494 + ], + [ + false, + 203 + ], + [ + false, + 211 + ] + ], + [ + [ + true, + 203 + ], + [ + true, + 211 + ], + [ + true, + 494 + ] + ], + [ + [ + false, + 494 + ] + ], + [ + [ + true, + 204 + ], + [ + false, + 212 + ], + [ + false, + 495 + ] + ], + [ + [ + true, + 212 + ], + [ + false, + 204 + ], + [ + false, + 495 + ] + ], + [ + [ + true, + 495 + ], + [ + false, + 204 + ], + [ + false, + 212 + ] + ], + [ + [ + true, + 204 + ], + [ + true, + 212 + ], + [ + true, + 495 + ] + ], + [ + [ + false, + 495 + ] + ], + [ + [ + true, + 206 + ], + [ + false, + 214 + ], + [ + false, + 496 + ] + ], + [ + [ + true, + 214 + ], + [ + false, + 206 + ], + [ + false, + 496 + ] + ], + [ + [ + true, + 496 + ], + [ + false, + 206 + ], + [ + false, + 214 + ] + ], + [ + [ + true, + 206 + ], + [ + true, + 214 + ], + [ + true, + 496 + ] + ], + [ + [ + false, + 496 + ] + ], + [ + [ + false, + 212 + ], + [ + false, + 220 + ], + [ + false, + 497 + ] + ], + [ + [ + true, + 212 + ], + [ + true, + 220 + ], + [ + false, + 497 + ] + ], + [ + [ + true, + 212 + ], + [ + false, + 220 + ], + [ + true, + 497 + ] + ], + [ + [ + true, + 220 + ], + [ + false, + 212 + ], + [ + true, + 497 + ] + ], + [ + [ + false, + 497 + ] + ], + [ + [ + false, + 213 + ], + [ + false, + 221 + ], + [ + false, + 498 + ] + ], + [ + [ + true, + 213 + ], + [ + true, + 221 + ], + [ + false, + 498 + ] + ], + [ + [ + true, + 213 + ], + [ + false, + 221 + ], + [ + true, + 498 + ] + ], + [ + [ + true, + 221 + ], + [ + false, + 213 + ], + [ + true, + 498 + ] + ], + [ + [ + false, + 498 + ] + ], + [ + [ + false, + 214 + ], + [ + false, + 222 + ], + [ + false, + 499 + ] + ], + [ + [ + true, + 214 + ], + [ + true, + 222 + ], + [ + false, + 499 + ] + ], + [ + [ + true, + 214 + ], + [ + false, + 222 + ], + [ + true, + 499 + ] + ], + [ + [ + true, + 222 + ], + [ + false, + 214 + ], + [ + true, + 499 + ] + ], + [ + [ + false, + 499 + ] + ], + [ + [ + false, + 215 + ], + [ + false, + 223 + ], + [ + false, + 500 + ] + ], + [ + [ + true, + 215 + ], + [ + true, + 223 + ], + [ + false, + 500 + ] + ], + [ + [ + true, + 215 + ], + [ + false, + 223 + ], + [ + true, + 500 + ] + ], + [ + [ + true, + 223 + ], + [ + false, + 215 + ], + [ + true, + 500 + ] + ], + [ + [ + false, + 500 + ] + ], + [ + [ + true, + 208 + ], + [ + false, + 216 + ], + [ + false, + 501 + ] + ], + [ + [ + true, + 216 + ], + [ + false, + 208 + ], + [ + false, + 501 + ] + ], + [ + [ + true, + 501 + ], + [ + false, + 208 + ], + [ + false, + 216 + ] + ], + [ + [ + true, + 208 + ], + [ + true, + 216 + ], + [ + true, + 501 + ] + ], + [ + [ + false, + 501 + ] + ], + [ + [ + true, + 209 + ], + [ + false, + 217 + ], + [ + false, + 502 + ] + ], + [ + [ + true, + 217 + ], + [ + false, + 209 + ], + [ + false, + 502 + ] + ], + [ + [ + true, + 502 + ], + [ + false, + 209 + ], + [ + false, + 217 + ] + ], + [ + [ + true, + 209 + ], + [ + true, + 217 + ], + [ + true, + 502 + ] + ], + [ + [ + false, + 502 + ] + ], + [ + [ + true, + 211 + ], + [ + false, + 219 + ], + [ + false, + 503 + ] + ], + [ + [ + true, + 219 + ], + [ + false, + 211 + ], + [ + false, + 503 + ] + ], + [ + [ + true, + 503 + ], + [ + false, + 211 + ], + [ + false, + 219 + ] + ], + [ + [ + true, + 211 + ], + [ + true, + 219 + ], + [ + true, + 503 + ] + ], + [ + [ + false, + 503 + ] + ], + [ + [ + false, + 221 + ], + [ + false, + 229 + ], + [ + false, + 504 + ] + ], + [ + [ + true, + 221 + ], + [ + true, + 229 + ], + [ + false, + 504 + ] + ], + [ + [ + true, + 221 + ], + [ + false, + 229 + ], + [ + true, + 504 + ] + ], + [ + [ + true, + 229 + ], + [ + false, + 221 + ], + [ + true, + 504 + ] + ], + [ + [ + false, + 504 + ] + ], + [ + [ + false, + 223 + ], + [ + false, + 231 + ], + [ + false, + 505 + ] + ], + [ + [ + true, + 223 + ], + [ + true, + 231 + ], + [ + false, + 505 + ] + ], + [ + [ + true, + 223 + ], + [ + false, + 231 + ], + [ + true, + 505 + ] + ], + [ + [ + true, + 231 + ], + [ + false, + 223 + ], + [ + true, + 505 + ] + ], + [ + [ + false, + 505 + ] + ], + [ + [ + true, + 216 + ], + [ + false, + 224 + ], + [ + false, + 506 + ] + ], + [ + [ + true, + 224 + ], + [ + false, + 216 + ], + [ + false, + 506 + ] + ], + [ + [ + true, + 506 + ], + [ + false, + 216 + ], + [ + false, + 224 + ] + ], + [ + [ + true, + 216 + ], + [ + true, + 224 + ], + [ + true, + 506 + ] + ], + [ + [ + false, + 506 + ] + ], + [ + [ + true, + 217 + ], + [ + false, + 225 + ], + [ + false, + 507 + ] + ], + [ + [ + true, + 225 + ], + [ + false, + 217 + ], + [ + false, + 507 + ] + ], + [ + [ + true, + 507 + ], + [ + false, + 217 + ], + [ + false, + 225 + ] + ], + [ + [ + true, + 217 + ], + [ + true, + 225 + ], + [ + true, + 507 + ] + ], + [ + [ + false, + 507 + ] + ], + [ + [ + false, + 226 + ], + [ + true, + 218 + ], + [ + false, + 508 + ] + ], + [ + [ + true, + 226 + ], + [ + false, + 218 + ], + [ + false, + 508 + ] + ], + [ + [ + true, + 508 + ], + [ + false, + 218 + ], + [ + false, + 226 + ] + ], + [ + [ + true, + 218 + ], + [ + true, + 226 + ], + [ + true, + 508 + ] + ], + [ + [ + false, + 508 + ] + ], + [ + [ + true, + 220 + ], + [ + false, + 228 + ], + [ + false, + 509 + ] + ], + [ + [ + true, + 228 + ], + [ + false, + 220 + ], + [ + false, + 509 + ] + ], + [ + [ + true, + 509 + ], + [ + false, + 220 + ], + [ + false, + 228 + ] + ], + [ + [ + true, + 220 + ], + [ + true, + 228 + ], + [ + true, + 509 + ] + ], + [ + [ + false, + 509 + ] + ], + [ + [ + true, + 222 + ], + [ + false, + 230 + ], + [ + false, + 510 + ] + ], + [ + [ + true, + 230 + ], + [ + false, + 222 + ], + [ + false, + 510 + ] + ], + [ + [ + true, + 510 + ], + [ + false, + 222 + ], + [ + false, + 230 + ] + ], + [ + [ + true, + 222 + ], + [ + true, + 230 + ], + [ + true, + 510 + ] + ], + [ + [ + false, + 510 + ] + ], + [ + [ + false, + 226 + ], + [ + false, + 234 + ], + [ + false, + 511 + ] + ], + [ + [ + true, + 226 + ], + [ + true, + 234 + ], + [ + false, + 511 + ] + ], + [ + [ + true, + 226 + ], + [ + false, + 234 + ], + [ + true, + 511 + ] + ], + [ + [ + false, + 226 + ], + [ + true, + 234 + ], + [ + true, + 511 + ] + ], + [ + [ + false, + 511 + ] + ], + [ + [ + false, + 228 + ], + [ + false, + 236 + ], + [ + false, + 512 + ] + ], + [ + [ + true, + 228 + ], + [ + true, + 236 + ], + [ + false, + 512 + ] + ], + [ + [ + true, + 228 + ], + [ + false, + 236 + ], + [ + true, + 512 + ] + ], + [ + [ + false, + 228 + ], + [ + true, + 236 + ], + [ + true, + 512 + ] + ], + [ + [ + false, + 512 + ] + ], + [ + [ + false, + 224 + ], + [ + false, + 232 + ], + [ + false, + 513 + ] + ], + [ + [ + true, + 224 + ], + [ + true, + 232 + ], + [ + false, + 513 + ] + ], + [ + [ + true, + 224 + ], + [ + false, + 232 + ], + [ + true, + 513 + ] + ], + [ + [ + false, + 224 + ], + [ + true, + 232 + ], + [ + true, + 513 + ] + ], + [ + [ + false, + 513 + ] + ], + [ + [ + false, + 229 + ], + [ + false, + 237 + ], + [ + false, + 514 + ] + ], + [ + [ + true, + 229 + ], + [ + true, + 237 + ], + [ + false, + 514 + ] + ], + [ + [ + true, + 229 + ], + [ + false, + 237 + ], + [ + true, + 514 + ] + ], + [ + [ + true, + 237 + ], + [ + false, + 229 + ], + [ + true, + 514 + ] + ], + [ + [ + false, + 514 + ] + ], + [ + [ + false, + 231 + ], + [ + false, + 239 + ], + [ + false, + 515 + ] + ], + [ + [ + true, + 231 + ], + [ + true, + 239 + ], + [ + false, + 515 + ] + ], + [ + [ + true, + 231 + ], + [ + false, + 239 + ], + [ + true, + 515 + ] + ], + [ + [ + true, + 239 + ], + [ + false, + 231 + ], + [ + true, + 515 + ] + ], + [ + [ + false, + 515 + ] + ], + [ + [ + true, + 225 + ], + [ + false, + 233 + ], + [ + false, + 516 + ] + ], + [ + [ + true, + 233 + ], + [ + false, + 225 + ], + [ + false, + 516 + ] + ], + [ + [ + true, + 516 + ], + [ + false, + 225 + ], + [ + false, + 233 + ] + ], + [ + [ + true, + 225 + ], + [ + true, + 233 + ], + [ + true, + 516 + ] + ], + [ + [ + false, + 516 + ] + ], + [ + [ + true, + 230 + ], + [ + false, + 238 + ], + [ + false, + 517 + ] + ], + [ + [ + true, + 238 + ], + [ + false, + 230 + ], + [ + false, + 517 + ] + ], + [ + [ + true, + 517 + ], + [ + false, + 230 + ], + [ + false, + 238 + ] + ], + [ + [ + true, + 230 + ], + [ + true, + 238 + ], + [ + true, + 517 + ] + ], + [ + [ + false, + 517 + ] + ], + [ + [ + false, + 235 + ], + [ + false, + 243 + ], + [ + false, + 518 + ] + ], + [ + [ + true, + 235 + ], + [ + true, + 243 + ], + [ + false, + 518 + ] + ], + [ + [ + true, + 235 + ], + [ + false, + 243 + ], + [ + true, + 518 + ] + ], + [ + [ + true, + 243 + ], + [ + false, + 235 + ], + [ + true, + 518 + ] + ], + [ + [ + false, + 518 + ] + ], + [ + [ + false, + 236 + ], + [ + false, + 244 + ], + [ + false, + 519 + ] + ], + [ + [ + true, + 236 + ], + [ + true, + 244 + ], + [ + false, + 519 + ] + ], + [ + [ + true, + 236 + ], + [ + false, + 244 + ], + [ + true, + 519 + ] + ], + [ + [ + true, + 244 + ], + [ + false, + 236 + ], + [ + true, + 519 + ] + ], + [ + [ + false, + 519 + ] + ], + [ + [ + false, + 237 + ], + [ + false, + 245 + ], + [ + false, + 520 + ] + ], + [ + [ + true, + 237 + ], + [ + true, + 245 + ], + [ + false, + 520 + ] + ], + [ + [ + true, + 237 + ], + [ + false, + 245 + ], + [ + true, + 520 + ] + ], + [ + [ + true, + 245 + ], + [ + false, + 237 + ], + [ + true, + 520 + ] + ], + [ + [ + false, + 520 + ] + ], + [ + [ + false, + 239 + ], + [ + false, + 247 + ], + [ + false, + 521 + ] + ], + [ + [ + true, + 239 + ], + [ + true, + 247 + ], + [ + false, + 521 + ] + ], + [ + [ + true, + 239 + ], + [ + false, + 247 + ], + [ + true, + 521 + ] + ], + [ + [ + true, + 247 + ], + [ + false, + 239 + ], + [ + true, + 521 + ] + ], + [ + [ + false, + 521 + ] + ], + [ + [ + true, + 232 + ], + [ + false, + 240 + ], + [ + false, + 522 + ] + ], + [ + [ + true, + 240 + ], + [ + false, + 232 + ], + [ + false, + 522 + ] + ], + [ + [ + true, + 522 + ], + [ + false, + 232 + ], + [ + false, + 240 + ] + ], + [ + [ + true, + 232 + ], + [ + true, + 240 + ], + [ + true, + 522 + ] + ], + [ + [ + false, + 522 + ] + ], + [ + [ + false, + 241 + ], + [ + true, + 233 + ], + [ + false, + 523 + ] + ], + [ + [ + true, + 241 + ], + [ + false, + 233 + ], + [ + false, + 523 + ] + ], + [ + [ + true, + 523 + ], + [ + false, + 233 + ], + [ + false, + 241 + ] + ], + [ + [ + true, + 233 + ], + [ + true, + 241 + ], + [ + true, + 523 + ] + ], + [ + [ + false, + 523 + ] + ], + [ + [ + true, + 238 + ], + [ + false, + 246 + ], + [ + false, + 524 + ] + ], + [ + [ + true, + 246 + ], + [ + false, + 238 + ], + [ + false, + 524 + ] + ], + [ + [ + true, + 524 + ], + [ + false, + 238 + ], + [ + false, + 246 + ] + ], + [ + [ + true, + 238 + ], + [ + true, + 246 + ], + [ + true, + 524 + ] + ], + [ + [ + false, + 524 + ] + ], + [ + [ + false, + 243 + ], + [ + false, + 251 + ], + [ + false, + 525 + ] + ], + [ + [ + true, + 243 + ], + [ + true, + 251 + ], + [ + false, + 525 + ] + ], + [ + [ + true, + 243 + ], + [ + false, + 251 + ], + [ + true, + 525 + ] + ], + [ + [ + true, + 251 + ], + [ + false, + 243 + ], + [ + true, + 525 + ] + ], + [ + [ + false, + 525 + ] + ], + [ + [ + false, + 244 + ], + [ + false, + 252 + ], + [ + false, + 526 + ] + ], + [ + [ + true, + 244 + ], + [ + true, + 252 + ], + [ + false, + 526 + ] + ], + [ + [ + true, + 244 + ], + [ + false, + 252 + ], + [ + true, + 526 + ] + ], + [ + [ + true, + 252 + ], + [ + false, + 244 + ], + [ + true, + 526 + ] + ], + [ + [ + false, + 526 + ] + ], + [ + [ + false, + 245 + ], + [ + false, + 253 + ], + [ + false, + 527 + ] + ], + [ + [ + true, + 245 + ], + [ + true, + 253 + ], + [ + false, + 527 + ] + ], + [ + [ + true, + 245 + ], + [ + false, + 253 + ], + [ + true, + 527 + ] + ], + [ + [ + true, + 253 + ], + [ + false, + 245 + ], + [ + true, + 527 + ] + ], + [ + [ + false, + 527 + ] + ], + [ + [ + false, + 247 + ], + [ + false, + 255 + ], + [ + false, + 528 + ] + ], + [ + [ + true, + 247 + ], + [ + true, + 255 + ], + [ + false, + 528 + ] + ], + [ + [ + true, + 247 + ], + [ + false, + 255 + ], + [ + true, + 528 + ] + ], + [ + [ + true, + 255 + ], + [ + false, + 247 + ], + [ + true, + 528 + ] + ], + [ + [ + false, + 528 + ] + ], + [ + [ + true, + 240 + ], + [ + false, + 248 + ], + [ + false, + 529 + ] + ], + [ + [ + true, + 248 + ], + [ + false, + 240 + ], + [ + false, + 529 + ] + ], + [ + [ + true, + 529 + ], + [ + false, + 240 + ], + [ + false, + 248 + ] + ], + [ + [ + true, + 240 + ], + [ + true, + 248 + ], + [ + true, + 529 + ] + ], + [ + [ + false, + 529 + ] + ], + [ + [ + true, + 242 + ], + [ + false, + 250 + ], + [ + false, + 530 + ] + ], + [ + [ + true, + 250 + ], + [ + false, + 242 + ], + [ + false, + 530 + ] + ], + [ + [ + true, + 530 + ], + [ + false, + 242 + ], + [ + false, + 250 + ] + ], + [ + [ + true, + 242 + ], + [ + true, + 250 + ], + [ + true, + 530 + ] + ], + [ + [ + false, + 530 + ] + ], + [ + [ + true, + 246 + ], + [ + false, + 254 + ], + [ + false, + 531 + ] + ], + [ + [ + true, + 254 + ], + [ + false, + 246 + ], + [ + false, + 531 + ] + ], + [ + [ + true, + 531 + ], + [ + false, + 246 + ], + [ + false, + 254 + ] + ], + [ + [ + true, + 246 + ], + [ + true, + 254 + ], + [ + true, + 531 + ] + ], + [ + [ + false, + 531 + ] + ], + [ + [ + false, + 248 + ], + [ + false, + 256 + ], + [ + false, + 532 + ] + ], + [ + [ + true, + 248 + ], + [ + true, + 256 + ], + [ + false, + 532 + ] + ], + [ + [ + true, + 248 + ], + [ + false, + 256 + ], + [ + true, + 532 + ] + ], + [ + [ + false, + 248 + ], + [ + true, + 256 + ], + [ + true, + 532 + ] + ], + [ + [ + false, + 532 + ] + ], + [ + [ + false, + 253 + ], + [ + false, + 261 + ], + [ + false, + 533 + ] + ], + [ + [ + true, + 253 + ], + [ + true, + 261 + ], + [ + false, + 533 + ] + ], + [ + [ + true, + 253 + ], + [ + false, + 261 + ], + [ + true, + 533 + ] + ], + [ + [ + true, + 261 + ], + [ + false, + 253 + ], + [ + true, + 533 + ] + ], + [ + [ + false, + 533 + ] + ], + [ + [ + false, + 254 + ], + [ + false, + 262 + ], + [ + false, + 534 + ] + ], + [ + [ + true, + 254 + ], + [ + true, + 262 + ], + [ + false, + 534 + ] + ], + [ + [ + true, + 254 + ], + [ + false, + 262 + ], + [ + true, + 534 + ] + ], + [ + [ + true, + 262 + ], + [ + false, + 254 + ], + [ + true, + 534 + ] + ], + [ + [ + false, + 534 + ] + ], + [ + [ + false, + 255 + ], + [ + false, + 263 + ], + [ + false, + 535 + ] + ], + [ + [ + true, + 255 + ], + [ + true, + 263 + ], + [ + false, + 535 + ] + ], + [ + [ + true, + 255 + ], + [ + false, + 263 + ], + [ + true, + 535 + ] + ], + [ + [ + true, + 263 + ], + [ + false, + 255 + ], + [ + true, + 535 + ] + ], + [ + [ + false, + 535 + ] + ], + [ + [ + true, + 250 + ], + [ + false, + 258 + ], + [ + false, + 536 + ] + ], + [ + [ + true, + 258 + ], + [ + false, + 250 + ], + [ + false, + 536 + ] + ], + [ + [ + true, + 536 + ], + [ + false, + 250 + ], + [ + false, + 258 + ] + ], + [ + [ + true, + 250 + ], + [ + true, + 258 + ], + [ + true, + 536 + ] + ], + [ + [ + false, + 536 + ] + ], + [ + [ + true, + 251 + ], + [ + false, + 259 + ], + [ + false, + 537 + ] + ], + [ + [ + true, + 259 + ], + [ + false, + 251 + ], + [ + false, + 537 + ] + ], + [ + [ + true, + 537 + ], + [ + false, + 251 + ], + [ + false, + 259 + ] + ], + [ + [ + true, + 251 + ], + [ + true, + 259 + ], + [ + true, + 537 + ] + ], + [ + [ + false, + 537 + ] + ], + [ + [ + true, + 252 + ], + [ + false, + 260 + ], + [ + false, + 538 + ] + ], + [ + [ + true, + 260 + ], + [ + false, + 252 + ], + [ + false, + 538 + ] + ], + [ + [ + true, + 538 + ], + [ + false, + 252 + ], + [ + false, + 260 + ] + ], + [ + [ + true, + 252 + ], + [ + true, + 260 + ], + [ + true, + 538 + ] + ], + [ + [ + false, + 538 + ] + ], + [ + [ + false, + 259 + ], + [ + false, + 267 + ], + [ + false, + 539 + ] + ], + [ + [ + true, + 259 + ], + [ + true, + 267 + ], + [ + false, + 539 + ] + ], + [ + [ + true, + 259 + ], + [ + false, + 267 + ], + [ + true, + 539 + ] + ], + [ + [ + true, + 267 + ], + [ + false, + 259 + ], + [ + true, + 539 + ] + ], + [ + [ + false, + 539 + ] + ], + [ + [ + false, + 260 + ], + [ + false, + 268 + ], + [ + false, + 540 + ] + ], + [ + [ + true, + 260 + ], + [ + true, + 268 + ], + [ + false, + 540 + ] + ], + [ + [ + true, + 260 + ], + [ + false, + 268 + ], + [ + true, + 540 + ] + ], + [ + [ + true, + 268 + ], + [ + false, + 260 + ], + [ + true, + 540 + ] + ], + [ + [ + false, + 540 + ] + ], + [ + [ + false, + 261 + ], + [ + false, + 269 + ], + [ + false, + 541 + ] + ], + [ + [ + true, + 261 + ], + [ + true, + 269 + ], + [ + false, + 541 + ] + ], + [ + [ + true, + 261 + ], + [ + false, + 269 + ], + [ + true, + 541 + ] + ], + [ + [ + true, + 269 + ], + [ + false, + 261 + ], + [ + true, + 541 + ] + ], + [ + [ + false, + 541 + ] + ], + [ + [ + false, + 262 + ], + [ + false, + 270 + ], + [ + false, + 542 + ] + ], + [ + [ + true, + 262 + ], + [ + true, + 270 + ], + [ + false, + 542 + ] + ], + [ + [ + true, + 262 + ], + [ + false, + 270 + ], + [ + true, + 542 + ] + ], + [ + [ + true, + 270 + ], + [ + false, + 262 + ], + [ + true, + 542 + ] + ], + [ + [ + false, + 542 + ] + ], + [ + [ + false, + 263 + ], + [ + false, + 271 + ], + [ + false, + 543 + ] + ], + [ + [ + true, + 263 + ], + [ + true, + 271 + ], + [ + false, + 543 + ] + ], + [ + [ + true, + 263 + ], + [ + false, + 271 + ], + [ + true, + 543 + ] + ], + [ + [ + true, + 271 + ], + [ + false, + 263 + ], + [ + true, + 543 + ] + ], + [ + [ + false, + 543 + ] + ], + [ + [ + false, + 264 + ], + [ + true, + 256 + ], + [ + false, + 544 + ] + ], + [ + [ + true, + 264 + ], + [ + false, + 256 + ], + [ + false, + 544 + ] + ], + [ + [ + true, + 544 + ], + [ + false, + 256 + ], + [ + false, + 264 + ] + ], + [ + [ + true, + 256 + ], + [ + true, + 264 + ], + [ + true, + 544 + ] + ], + [ + [ + false, + 544 + ] + ], + [ + [ + true, + 258 + ], + [ + false, + 266 + ], + [ + false, + 545 + ] + ], + [ + [ + true, + 266 + ], + [ + false, + 258 + ], + [ + false, + 545 + ] + ], + [ + [ + true, + 545 + ], + [ + false, + 258 + ], + [ + false, + 266 + ] + ], + [ + [ + true, + 258 + ], + [ + true, + 266 + ], + [ + true, + 545 + ] + ], + [ + [ + false, + 545 + ] + ], + [ + [ + false, + 265 + ], + [ + false, + 273 + ], + [ + false, + 546 + ] + ], + [ + [ + true, + 265 + ], + [ + true, + 273 + ], + [ + false, + 546 + ] + ], + [ + [ + true, + 265 + ], + [ + false, + 273 + ], + [ + true, + 546 + ] + ], + [ + [ + false, + 265 + ], + [ + true, + 273 + ], + [ + true, + 546 + ] + ], + [ + [ + false, + 546 + ] + ], + [ + [ + false, + 266 + ], + [ + false, + 274 + ], + [ + false, + 547 + ] + ], + [ + [ + true, + 266 + ], + [ + true, + 274 + ], + [ + false, + 547 + ] + ], + [ + [ + true, + 266 + ], + [ + false, + 274 + ], + [ + true, + 547 + ] + ], + [ + [ + true, + 274 + ], + [ + false, + 266 + ], + [ + true, + 547 + ] + ], + [ + [ + false, + 547 + ] + ], + [ + [ + false, + 267 + ], + [ + false, + 275 + ], + [ + false, + 548 + ] + ], + [ + [ + true, + 267 + ], + [ + true, + 275 + ], + [ + false, + 548 + ] + ], + [ + [ + true, + 267 + ], + [ + false, + 275 + ], + [ + true, + 548 + ] + ], + [ + [ + true, + 275 + ], + [ + false, + 267 + ], + [ + true, + 548 + ] + ], + [ + [ + false, + 548 + ] + ], + [ + [ + false, + 269 + ], + [ + false, + 277 + ], + [ + false, + 549 + ] + ], + [ + [ + true, + 269 + ], + [ + true, + 277 + ], + [ + false, + 549 + ] + ], + [ + [ + true, + 269 + ], + [ + false, + 277 + ], + [ + true, + 549 + ] + ], + [ + [ + true, + 277 + ], + [ + false, + 269 + ], + [ + true, + 549 + ] + ], + [ + [ + false, + 549 + ] + ], + [ + [ + false, + 270 + ], + [ + false, + 278 + ], + [ + false, + 550 + ] + ], + [ + [ + true, + 270 + ], + [ + true, + 278 + ], + [ + false, + 550 + ] + ], + [ + [ + true, + 270 + ], + [ + false, + 278 + ], + [ + true, + 550 + ] + ], + [ + [ + true, + 278 + ], + [ + false, + 270 + ], + [ + true, + 550 + ] + ], + [ + [ + false, + 550 + ] + ], + [ + [ + false, + 271 + ], + [ + false, + 279 + ], + [ + false, + 551 + ] + ], + [ + [ + true, + 271 + ], + [ + true, + 279 + ], + [ + false, + 551 + ] + ], + [ + [ + true, + 271 + ], + [ + false, + 279 + ], + [ + true, + 551 + ] + ], + [ + [ + true, + 279 + ], + [ + false, + 271 + ], + [ + true, + 551 + ] + ], + [ + [ + false, + 551 + ] + ], + [ + [ + true, + 268 + ], + [ + false, + 276 + ], + [ + false, + 552 + ] + ], + [ + [ + true, + 276 + ], + [ + false, + 268 + ], + [ + false, + 552 + ] + ], + [ + [ + true, + 552 + ], + [ + false, + 268 + ], + [ + false, + 276 + ] + ], + [ + [ + true, + 268 + ], + [ + true, + 276 + ], + [ + true, + 552 + ] + ], + [ + [ + false, + 552 + ] + ], + [ + [ + true, + 273 + ], + [ + false, + 1 + ], + [ + false, + 553 + ] + ], + [ + [ + true, + 1 + ], + [ + false, + 273 + ], + [ + false, + 553 + ] + ], + [ + [ + false, + 1 + ], + [ + false, + 273 + ], + [ + true, + 553 + ] + ], + [ + [ + true, + 1 + ], + [ + true, + 273 + ], + [ + true, + 553 + ] + ], + [ + [ + false, + 553 + ] + ], + [ + [ + false, + 2 + ], + [ + true, + 274 + ], + [ + false, + 554 + ] + ], + [ + [ + true, + 2 + ], + [ + false, + 274 + ], + [ + false, + 554 + ] + ], + [ + [ + false, + 2 + ], + [ + false, + 274 + ], + [ + true, + 554 + ] + ], + [ + [ + true, + 2 + ], + [ + true, + 274 + ], + [ + true, + 554 + ] + ], + [ + [ + false, + 554 + ] + ], + [ + [ + false, + 275 + ], + [ + false, + 3 + ], + [ + false, + 555 + ] + ], + [ + [ + true, + 3 + ], + [ + true, + 275 + ], + [ + false, + 555 + ] + ], + [ + [ + true, + 275 + ], + [ + false, + 3 + ], + [ + true, + 555 + ] + ], + [ + [ + true, + 3 + ], + [ + false, + 275 + ], + [ + true, + 555 + ] + ], + [ + [ + false, + 555 + ] + ], + [ + [ + false, + 276 + ], + [ + false, + 4 + ], + [ + false, + 556 + ] + ], + [ + [ + true, + 4 + ], + [ + true, + 276 + ], + [ + false, + 556 + ] + ], + [ + [ + true, + 276 + ], + [ + false, + 4 + ], + [ + true, + 556 + ] + ], + [ + [ + true, + 4 + ], + [ + false, + 276 + ], + [ + true, + 556 + ] + ], + [ + [ + false, + 556 + ] + ], + [ + [ + false, + 5 + ], + [ + false, + 277 + ], + [ + false, + 557 + ] + ], + [ + [ + true, + 5 + ], + [ + true, + 277 + ], + [ + false, + 557 + ] + ], + [ + [ + false, + 5 + ], + [ + true, + 277 + ], + [ + true, + 557 + ] + ], + [ + [ + true, + 5 + ], + [ + false, + 277 + ], + [ + true, + 557 + ] + ], + [ + [ + false, + 557 + ] + ], + [ + [ + false, + 6 + ], + [ + false, + 278 + ], + [ + false, + 558 + ] + ], + [ + [ + true, + 6 + ], + [ + true, + 278 + ], + [ + false, + 558 + ] + ], + [ + [ + false, + 6 + ], + [ + true, + 278 + ], + [ + true, + 558 + ] + ], + [ + [ + true, + 6 + ], + [ + false, + 278 + ], + [ + true, + 558 + ] + ], + [ + [ + false, + 558 + ] + ], + [ + [ + false, + 7 + ], + [ + false, + 279 + ], + [ + false, + 559 + ] + ], + [ + [ + true, + 7 + ], + [ + true, + 279 + ], + [ + false, + 559 + ] + ], + [ + [ + false, + 7 + ], + [ + true, + 279 + ], + [ + true, + 559 + ] + ], + [ + [ + true, + 7 + ], + [ + false, + 279 + ], + [ + true, + 559 + ] + ], + [ + [ + false, + 559 + ] + ] + ] +} diff --git a/jujure/static/q-solved/flag.png b/jujure/static/q-solved/flag.png new file mode 100755 index 0000000..f7bbc21 Binary files /dev/null and b/jujure/static/q-solved/flag.png differ diff --git a/jujure/static/q-solved/flag.py b/jujure/static/q-solved/flag.py new file mode 100755 index 0000000..df54409 --- /dev/null +++ b/jujure/static/q-solved/flag.py @@ -0,0 +1,33 @@ +#!/usr/bin/env python3 +import json +from z3 import * + +with open('circuit.json', 'r') as f: + j = json.load(f) + +nq = j['memory'] + +system = [Bool(str(i)) for i in range(nq)] + +s = Solver() + +for cs in j['circuit']: + term = Or() + for c in cs: + term = Or(term, system[c[1]] == c[0]) + s.add(term) + +print(s) +print(s.check()) + +m = s.model() + +result_arr = [''] * nq + +for d in m.decls(): + result_arr[int(d.name())] = '1' if m[d] else '0' + +result_arr.reverse() +result = "".join(result_arr) + +print(int.to_bytes(int(result, 2), nq//8, 'little')) diff --git a/jujure/static/q-solved/poc_flag.png b/jujure/static/q-solved/poc_flag.png new file mode 100755 index 0000000..15146b8 Binary files /dev/null and b/jujure/static/q-solved/poc_flag.png differ diff --git a/jujure/static/q-solved/poc_flag.py b/jujure/static/q-solved/poc_flag.py new file mode 100755 index 0000000..eb032ca --- /dev/null +++ b/jujure/static/q-solved/poc_flag.py @@ -0,0 +1,19 @@ +#!/usr/bin/env python3 +import json + +with open('circuit.json', 'r') as f: + j = json.load(f) + +nq = j['memory'] + +system = ['0'] * nq + +for cs in j['circuit']: + if len(cs) == 1: + system[cs[0][1]] = '1' if cs[0][0] else '0' + + +system.reverse() +result = "".join(system) + +print(int.to_bytes(int(result, 2), nq//8, 'little')) diff --git a/jujure/static/q-solved/solve.py b/jujure/static/q-solved/solve.py new file mode 100755 index 0000000..1f2339b --- /dev/null +++ b/jujure/static/q-solved/solve.py @@ -0,0 +1,56 @@ +import gmpy2 +from qiskit import QuantumCircuit, execute, Aer +from qiskit.circuit.library import XGate +import json + +with open("circuit.json", "r") as f: + circ = json.load(f) + +nq = circ['memory'] +na = circ['ancilla'] +target = nq + na + +print("[+] Constructing circuit...") +main = QuantumCircuit(nq + na + 1, nq) +sub = QuantumCircuit(nq + na + 1) + +main.x(target) +main.h(target) +for i in range(circ['memory']): + main.h(i) + +t = circ['memory'] +for cs in circ['circuit']: + ctrl = ''.join(['0' if x else '1' for (x, _) in cs]) + l = [c for (_, c) in cs] + sub.append(XGate().control(len(cs), ctrl_state=ctrl), l + [t]) + t += 1 + +sub.append(XGate().control(na, ctrl_state='0'*na), + [i for i in range(nq, nq + na)] + [target]) + +for cs in circ['circuit'][::-1]: + t -= 1 + ctrl = ''.join(['0' if x else '1' for (x, _) in cs]) + l = [c for (_, c) in cs] + sub.append(XGate().control(len(cs), ctrl_state=ctrl), l + [t]) + +sub.h([i for i in range(nq)]) +sub.append(XGate().control(nq, ctrl_state='0'*nq), + [i for i in range(nq)] + [target]) +sub.h([i for i in range(nq)]) + +for i in range(round(0.785 * int(gmpy2.isqrt(2**nq)) - 0.5)): + main.append(sub, [i for i in range(na + nq + 1)]) + +for i in range(nq): + main.measure(i, i) + +print("[+] Calculating flag...") +emulator = Aer.get_backend('qasm_simulator') +job = execute(main, emulator, shots=1024) +hist = job.result().get_counts() +result = sorted(hist.items(), key=lambda x: -x[1])[0][0] + +print("[+] FLAG:") +print(int.to_bytes(int(result, 2), nq//8, 'little'))