stamina 0.3.0

data/CHANGELOG.md

@@ -0,0 +1,22 @@
+# 0.3.0 / 2011-03-24
+
+* On the devel side
+
+  * The project structure is now handled by Noe
+  * Ensures that tests are correctly executed under ruby 1.9.2
+
+
+# 0.2.2 / 2010-10-22
+
+* Major Enhancements
+
+  * Sample#<< does not detect inconsistencies anymore, to ensure a linear method instead of a quadratic one.
+
+* On the devel side
+
+  * Fixes a bug in Rakefile that lead to test failures under ruby 1.8.7
+
+# 0.2.1 / 2010-05-01
+
+* Main public version for the official competition, extracted from private SVN.
+

data/Gemfile

@@ -0,0 +1,2 @@
+source 'http://rubygems.org'
+gemspec :name => "stamina"

data/Gemfile.lock

@@ -0,0 +1,33 @@
+PATH
+  remote: .
+  specs:
+    stamina (0.3.0)
+
+GEM
+  remote: http://rubygems.org/
+  specs:
+    bluecloth (2.0.11)
+    diff-lcs (1.1.2)
+    rake (0.8.7)
+    rspec (2.4.0)
+      rspec-core (~> 2.4.0)
+      rspec-expectations (~> 2.4.0)
+      rspec-mocks (~> 2.4.0)
+    rspec-core (2.4.0)
+    rspec-expectations (2.4.0)
+      diff-lcs (~> 1.1.2)
+    rspec-mocks (2.4.0)
+    wlang (0.10.2)
+    yard (0.6.5)
+
+PLATFORMS
+  ruby
+
+DEPENDENCIES
+  bluecloth (~> 2.0.9)
+  bundler (~> 1.0)
+  rake (~> 0.8.7)
+  rspec (~> 2.4.0)
+  stamina!
+  wlang (~> 0.10.1)
+  yard (~> 0.6.4)

data/LICENCE.md

@@ -0,0 +1,22 @@
+The MIT License
+
+Copyright (c) 2008-2009 University of Louvain 
+(Universite catholique de Louvain-la-Neuve, Belgium)
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.

data/Manifest.txt

@@ -0,0 +1,16 @@
+bin/**/*
+example/**/*
+lib/**/*
+spec/**/*
+tasks/**/*
+test/**/*
+.gemtest
+CHANGELOG.md
+Gemfile
+Gemfile.lock
+LICENCE.md
+Manifest.txt
+Rakefile
+README.md
+stamina.gemspec
+stamina.noespec

data/README.md

@@ -0,0 +1,78 @@
+# What is Stamina?
+
+This Stamina distribution is an implementation of the well-known regular induction algorithms RPNI (Regular Positive and Negative Inference) and RedBlue (aka BlueFringe). It has been implemented during the Stamina regular language inference challenge in 2010, challenge initiated by Kyril Bogdanov and Neil Walkinshaw (University of Shefield, England) as well as Christophe Damas, Pierre Dupont and Bernard Lambeau (Universite catholique de Louvain, UCL, Belgium)
+
+It's official maintainer is Bernard Lambeau. Any comment, question, bug report, etc. to be adressed to bernard dot lambeau at uclouvain dot be or, better, on the supporting {redmine bugtracker}[http://redmine.chefbe.net/projects/stamina].
+
+## How to install it?
+
+This stamina distribution requires Ruby >= 1.8.6. It has been tested under Linux and MacOS, with ruby 1.8.6, 1.8.7 and 1.9.1. Please make sure that you use one of these versions on your computer. Stamina has no gem dependency (gems are reusable ruby libraries, available through rubyforge.com repository).
+
+If you are new to Ruby and need to install it, you can use this typical command (we assume you have an ubuntu/linux, you can also download ruby from http://www.ruby-lang.org/en/downloads):
+
+    apt-get install ruby rake irb rdoc rubygems
+
+Then, you should have the following commands available in your PATH: _ruby_, _irb_, _rdoc_ and _gem_. Now, try the following commands:
+
+    rake rdoc   # generates the HTML API documentation in doc/api
+    rake test   # runs all the tests (please report any failure on redmine)
+
+== Available binaries
+
+The following stamina binaries are in the bin folder (all accept a --help option)
+
+[adl2dot] Converts a .adl file (the description of an automaton) to a dot or gif file.
+          Generating a .gif file requires <code>dot</code> in your path.
+[rpni] Regular Positive and Negative Inference as a commandline tool. Induces a DFA from
+       a sample file.
+[redblue] The blue-fringe heuristic applied to RPNI. Induces a DFA from a sample file.
+[classify] Classifies a test sample against an automaton and generates a binary signature
+           (typically needed to submit results on the competition website).
+
+## Competition use case
+
+Assume that you've downloaded the 31'th problem proposed on the competition website (alphabet of size 5, learning sample sparsity of 25%) and that you put the learning and test data files in example/competition/31_learning.adl and example/competition/31_test.adl (they are already included in this distribution).
+
+Now, you can run RPNI on the training set using the following command
+
+  ./bin/rpni --verbose --output example/competition/31_rpni_result.adl example/competition/31_learning.adl
+
+And you can classify the test set using the induced automaton (generate the binary signature that will be uploaded on the competition server) using the following one:
+
+  ./bin/classify example/competition/31_test.adl example/competition/31_rpni_result.adl
+  
+This will generate a string containing 0 and 1, which is the binary signature expected by the server.
+
+Now, you have to create your own induction algorithm. For this, "monkey-see-monkey-do" is a good way to start. Have a look (and copy the following files) at (see also the Roadmap section below)
+
+[bin/rpni] the command line tool (almost empty)
+[lib/stamina/command/rpni_command.rb] the implementation of the command itself (parsing arguments and files)
+[lib/stamina/induction/rpni.rb] the implementation of RPNI itself
+
+A bit of automation and you're ready to become one of the best competition challengers ;-)
+
+== Main features
+
+1. An Automaton class, providing a rich API as well as walking and binary classification methods
+2. Parsing utilities for automata and samples
+3. Dot utilities to visualize automata using dot
+4. RPNI and RedBlue implementations, based on a useful UnionFind data structure
+5. A reusable architecture for creating state-merging induction algorithms.
+
+== Roadmap inside the code
+
+Following ruby project conventions, source code is under lib/stamina, test code under test/stamina, binaries under bin.
+
+Main classes of this project are:
+1. Stamina::Automaton, which provides a rich automaton implementation. Also have a look
+   at the Stamina::Automaton::Walking module, which automatically provides a rich set of
+   walking methods to the Automaton class (that is, instances methods or the module are
+   available as instance methods of any automaton object)
+2. Stamina::InputString and Stamina::Sample, which provides labeled strings (positive or
+   negative) as well as a sample implementation (a set of strings).
+3. Stamina::ADL, which provides parsing and printing methods for automata and samples.
+4. Stamina::Induction::Commons, Stamina::Induction::RPNI and Stamina::Induction::RedBlue
+   respectively provide common methods of the two algorithms (sample2pta, pta2unionfind, 
+   etc.) as well as the algorithm implementations themselve.
+5. Stamina::Induction::UnionFind implements a UnionFind data structure dedicated to the 
+   induction algorithms.

data/Rakefile

@@ -0,0 +1,23 @@
+begin
+  gem "bundler", "~> 1.0"
+  require "bundler/setup"
+rescue LoadError => ex
+  puts ex.message
+  abort "Bundler failed to load, (did you run 'gem install bundler' ?)"
+end
+
+# Dynamically load the gem spec
+$gemspec_file = File.expand_path('../stamina.gemspec', __FILE__)
+$gemspec      = Kernel.eval(File.read($gemspec_file))
+
+# We run tests by default
+task :default => :test
+
+#
+# Install all tasks found in tasks folder
+#
+# See .rake files there for complete documentation.
+#
+Dir["tasks/*.rake"].each do |taskfile|
+  instance_eval File.read(taskfile), taskfile
+end

data/bin/adl2dot

@@ -0,0 +1,12 @@
+#!/usr/bin/env ruby
+$LOAD_PATH << File.join(File.dirname(__FILE__),'..','lib')
+require "stamina"
+require "stamina/command/adl2dot_command"
+begin
+  Stamina::Command::Adl2DotCommand.new.main(ARGV)
+rescue => ex
+  puts "Internal error occured, sorry for the inconvenience."
+  puts "If the problem persists, please contact Stamina developpers with the \
+        following backtrace:"
+  raise ex
+end

data/bin/classify

@@ -0,0 +1,12 @@
+#!/usr/bin/env ruby
+$LOAD_PATH << File.join(File.dirname(__FILE__),'..','lib')
+require "stamina"
+require "stamina/command/classify_command"
+begin
+  Stamina::Command::ClassifyCommand.new.main(ARGV)
+rescue => ex
+  puts "Internal error occured, sorry for the inconvenience."
+  puts "If the problem persists, please contact Stamina developpers with the \
+        following backtrace:"
+  raise ex
+end

data/bin/redblue

@@ -0,0 +1,12 @@
+#!/usr/bin/env ruby
+$LOAD_PATH << File.join(File.dirname(__FILE__),'..','lib')
+require "stamina"
+require "stamina/command/redblue_command"
+begin
+  Stamina::Command::RedBlueCommand.new.main(ARGV)
+rescue => ex
+  puts "Internal error occured, sorry for the inconvenience."
+  puts "If the problem persists, please contact Stamina developpers with the \
+        following backtrace:"
+  raise ex
+end

data/bin/rpni

@@ -0,0 +1,12 @@
+#!/usr/bin/env ruby
+$LOAD_PATH << File.join(File.dirname(__FILE__),'..','lib')
+require "stamina"
+require "stamina/command/rpni_command"
+begin
+  Stamina::Command::RPNICommand.new.main(ARGV)
+rescue => ex
+  puts "Internal error occured, sorry for the inconvenience."
+  puts "If the problem persists, please contact Stamina developpers with the \
+        following backtrace:"
+  raise ex
+end

data/example/adl/automaton.adl

@@ -0,0 +1,49 @@
+# First, it allows line comments 'a la' ruby, that is, lines starting with '#' 
+# are simply ignored. White spaces may also be inserted between the comment 
+# symbol like
+      # this
+# Empty lines are also ignored:
+
+# Still about comments and white spaces: end-of-line comments are also supported 
+# (see documentation on right later). Moreover, white spaces and tabs are allowed 
+# at beginning and end of lines as well as between state and edge elements.
+
+# Next, the first (non comment or empty) line of the file must contain the number 
+# of states then the number of edges of the automaton: (white spaces between them, 
+# whitespace before and after are allowed) we refer to these two numbers as 
+# state_count and edge_count respectively (here: five states and six edges)
+5 6
+
+# Then, we expect exactly state_count state definitions. A state definition is 
+# composed of three informations: 1) a state identifier (any string), 2) 'true' 
+# or 'false' for initial flag, 3) 'true' or 'false' for accepting flag. These 
+# informations are simply separated by white spaces:
+0 true false                   # here a state with identifier 0
+                               # this state is initial and not accepting
+
+identified_state false true    # this kind of identifier is also allowed
+                               # this state is not initial but is accepting
+
+# other states below ...
+2 false false
+3 false true
+4 false false
+
+# Then, we expect exactly edge_count edge definitions. An edge definition is
+# simple as well: source and target state identifiers followed by a labeling 
+# input symbol (any word).
+0 identified_state hello       # the first edge says hello from source
+                               # state 0 to state identified_state
+
+identified_state 2 w           # identified_state 'sends' w to state 2
+
+# and other edges below ...
+2 3 o
+3 4 r
+4 4 l
+4 0 d
+
+# This automaton grammar does not provide a way to define empty symbols 
+# (something like '', which is interpreted for itself) nor does it provide an 
+# epsilon predefined character. You'll have to post-process your automaton
+# yourself, sorry!

data/example/adl/sample.adl

@@ -0,0 +1,53 @@
+# First, it allows line comments 'a la' ruby, that is, lines starting with '#' 
+# are simply ignored. Whitespaces may also be inserted before the comment symbol 
+# like
+      # this
+# Empty lines are also ignored:
+
+# Still about comments and whitespaces: end-of-line comments are NOT supported 
+# because they would not allow using '#' as a input string symbol. Whitespaces 
+# and tabs are allowed (and ignored) at begining and end of lines as well as 
+# between input symbols (see later).
+
+# Next, a sample is a sequence of input strings, separated by newlines (aka 
+# carriage return). An input string is simply a sequence of input symbols, 
+# separated by whitespace(s) or tabs. Symbols are simple characters or words. 
+# An input string is labeled as positive if its first symbol is '+', negative 
+# if it's '-' and unlabeled of the first symbol is '?' ('+', '-' and '?' symbols 
+# won't be not part of the input string itself). If the string does not start with one 
+# of these symbols, it is considered as an error string and ADL raises an error. 
+# '+', '-' and '?' anywhere else in the string count for themselve. So, positive, 
+# negative and unlabeled strings respectively looks like:
++ a b a b
+- a a
+? a b
+
+# That's all ... here are some other examples and comments:
+
+# This is the positive empty string (negative empty string is a simple '-' line, 
+# not shown here because it would create an inconsistent sample; unlabeled empty 
+# string is simply the '?' line):
++
+
+# We've said earlier that words are accepted as input symbols, and we warn you 
+# that the following strings are not equivalent (the first has two symbols only, 
+# the second has ten symbols and the last has only one.
++ hello world
++ h e l l o w o r l d
++ helloworld
+
+# but whitespaces and tabs do not count, so the following positive string is already 
+# part of this sample:
+        + h   e l l   o w   o r l    d
+
+# The following strings are supported: '+' and '-' count for themselve, expect 
+# the first, and the last is part of a '+a' symbol.
++ a + b - a - b +a
+
+# A last example, to insist on comment rules: here all '#" count for themselve:
++ # a # b a b            # and all these words are symbols too !!
+
+# This sample grammar does not provide a way to define empty symbols 
+# (something like '', which is interpreted for itself) nor does it provide an 
+# epsilon predefined character. You'll have to post-process your sample
+# yourself, sorry!

data/example/basic/characteristic_sample.adl

@@ -0,0 +1,32 @@
+# Sp(L) - short prefixes
+# ?
+# ? a
+# ? a b
+#
+# N(L) - kernel
+# ?
+# ? a
+# ? a a
+# ? a b
+# ? a b b
+# ? a b a
+#
+# these strings for the first condition of the characteristic
+# sample specification
++
++ a b
++ a a b
++ a b b
++ a b a
+# these strings for the second condition
+- a
+- b
+- a a
++ a b b a
+- a b a b
+- a a a
+- b b
+- b b b
++ a b b b
+- b a
+- b a b

data/example/basic/target.adl

@@ -0,0 +1,9 @@
+3 5
+0 true true
+1 false false
+2 false true
+0 1 a
+1 1 a
+1 2 b
+2 2 b
+2 0 a

data/example/competition/31_test.adl

@@ -0,0 +1,1500 @@
+? 2 3 2 0 2
+? 4 4 0 0 4
+? 1 4 4 0 1
+? 2 2 1 1 2 1 1 2
+? 2 1 4 3 4 2 2 0 3 0 1 4
+? 4 3 2 1 1
+? 2 4 4 4 2 3 3
+? 4 1 4 1 1 1 2 2
+? 4 1 3 1 3
+? 2 0 1 1 4 1
+? 4 4 3 1 0
+? 2 1
+? 2 1 3 3 0 3 1 1 2 1
+? 3 1 0 0 3 3 4
+? 4 0 3 4 1 1 3 2 0
+? 2 1 2 2 1 0 0 2 0 4 4
+? 4 1 1 1 3 3
+? 2 2 1 1 2 2 2 1 1 2 1 1 2 1 1 2 2 2 1
+? 4 1 2 3 4 3 2 4 4
+? 2 2 2 0
+? 3 0
+? 4 1 4 1 1 1 2
+? 0 4 2 3
+? 2 3 3 0 4
+? 3 2 2 2 1 2 0 4
+? 3 4 3 4
+? 2 1 3 0 2 3 1 0 4
+? 1 2 0 1
+? 4 4 1 1 1 1 1 0 2
+? 4 0 4 1 0 2 1 0
+? 3 2 2 2 2 2
+? 2 1 0 3 3 3 3 2 4
+? 4 3 0 1
+? 3 3 1 1 0
+? 4 0 0 4 0
+? 4 1 4 1 1 2 1
+? 2 3 4 4 1 1 4 3 0 1 4
+? 1 3 0 0 3 2 1 0 4
+? 4 1 1 4 0
+? 0 1 3 0 1
+? 2 4 2 4 1 0 1 2 2 4
+? 2 3 3 1 0 0 1 4 1
+? 4 3 2 4 1 3 0 3 3 4
+? 1 4 2 1
+? 3 1 0 1 2 4 0
+? 4 3 2
+? 4 3 2 1 4
+? 4 0 4 1 0 4 0 4 2
+? 3 1 0 2 3 3 4
+? 4 0 4 0 1 0 0 0
+? 4 4 3 4 4 0
+? 3 1 1 4
+? 4 0 4 0 4 2 3 4 2 0 0 0 3 1 0
+? 0 4 2 2 4 1 0 3 4
+? 4 1 4 1 0 3 0 0 3 4 4 1 1
+? 2 3 4 3 0 4 0 3 1 1 1 4 4 1 1 2 1 1 2 1 1 2 1 1 2 2 2
+? 2 1 3 0 3 0 4 3 0 4 1 0 4 4 3
+? 2 3 4 4 4 3 0 3 4 1 1
+? 4 4 4 1 2 1 2
+? 2 2 0 1 4
+? 2 3 2 0 2 1 4 3 0 4 0 3 1 1 1 2 3 1
+? 4 1 4 2 2
+? 2 3 3 1 0 4 1 0 4 0 1 0 3 0 4 4 0 0 2 1 0 0 0
+? 4 2 1 0 2 0
+? 4 2 1 0 4 3 1 0 0 0
+? 2 0 2 4 2
+? 3 0 0 2 0 3 4
+? 2 3 4 4 4 1 1 0 3 0 4 4 2 3 2 3 2 2 2 1 0 3 2
+? 0 1 3 1 4 4
+? 2 2 1 0 1 2
+? 2 0 4 4 3 1
+? 2 2 1 1 2 2 2 1 1 2 2 2 2 2 1 1 2 1
+? 2 2 2 1 0 2 2 4
+? 2 4 1 1 3 0 0
+? 4 1 0 4 1 1 2 1 2 2 2 4 2 2 2 2 2 2 2 2 2 2 2
+? 2 2 3 0 2 1 1
+? 1 2 0 4
+? 4 1 0 3 3 3
+? 2 1 4 3 0 3 0 3 4 1 0 2 2 0 1 0
+? 2 1 2 2 1 2 4
+? 0 2 0 0 1 2 4
+? 2 1 3 0 4 4 4 4 3 4 1 1
+? 3 2 1 3 0 0 4
+? 2 1 3 0 2 3 2 1
+? 2 0 0 3 0 4 0 4 0
+? 2 3 4 3 4 2 4 1
+? 4 0 2 0 4 2
+? 4 1 4 4 1 2
+? 2 1 2 3 0 3 2 1
+? 4 2 1 3 1 2 3 2 2 2
+? 4 0 4 1 0 3 3 3 0 0 3 1
+? 4 1 0 3 3 3 4
+? 3 2 1 0 3 0 3 1 3 3 1 3 3 4
+? 4 0 4 1 1 3 1 2 3
+? 4 4 1 2 1 2 3
+? 3 0 3 3 4
+? 4 0 1 2 3 1
+? 3 0 3 3 3 3 3 4
+? 2 4 2 3 0
+? 3 1 0 3 3 3 3 4 4
+? 3 4 3
+? 1 3 0 1 0
+? 2 3 4 4 4 2 4 0 4 0
+? 2 0 0 4 3 2 2
+? 2 3 0 3 4 1 4 0
+? 3 0 4 0 2 2 2 1
+? 3 0 2 3 4
+? 2 2 1 1 2 1 4 1 1 1 0
+? 2 1 3 2 2 1 1 2 2 2 2 2
+? 4 2 2 4 1 0 3
+? 3 3 0 1 2 0 3 3 4
+? 2 4 2 2 1
+? 3 2 4 1 0
+? 0 2 2 3 0
+? 4 0 0 4 4 1
+? 4 2 0 2 1
+? 0 4 0
+? 2 3 3 1 1 1 3 2 4 2 1 2
+? 2 1 4 4 0 4 0 4 0 4 0 3 0 3 0 4 0 3 4 1 0 3 0 2 3 2 1
+? 2 1 4 3 4 0 0 2 1 1 4
+? 3 4 2 0 1 2 1
+? 2 1 0 0 3 1 0 4
+? 2 2 2 3 4 1 1
+? 2 4 2 2
+? 1 1 4 0 1 2 0 4 1
+? 4 2 1 0 2 1 1 0
+? 4 1 4 1 1 4 0
+? 1 3 2 4 1
+? 2 2 1 1 2 2 2 1 1 2 1
+? 2 1 2 0 0 1 2
+? 2 0 0 2 4 1
+? 2 1 2 3 1 0 3 3 3 3 4
+? 2 1 4 1 2 0 1 2 1
+? 1 3 3 2 0 3 4
+? 2 0 4 2 3 1
+? 3 4 0 4 0 1
+? 0 4 0 4 1 1 0
+? 2 0 1 1 3 3
+? 2 1 3 0 3 0 3 0 0 1 1
+? 2 2 1 0 1
+? 2 2 1 0 1 1 1 1 2 2 2 2 1 1 2
+? 4 0 4 1 1 1 0 2 2 0 0 0 0 0
+? 1 2 1 2 3 1 0
+? 2 3 3 3 2 0 3 1 1 2 4 3
+? 4 2 0 2 0 1 0 4 3
+? 2 1 1 0 3 0 4 4 1
+? 4 1 4 1 2 1 2 2 2 2
+? 1 1 3 3 1 3 1 0 1 1 4 3 3
+? 3 1 0 1 0 0
+? 2 2 2 3 0 1 2
+? 2 1 0 0 4 2 1 0 3 3 2 1 2 0 0 0
+? 0 2 4 0
+? 2 4 4 1 0
+? 4 1 4 1 0 3 3 3 3
+? 3 3 0 0 1 1
+? 4 4 1 0 4
+? 4 3 2 1 3 3 1
+? 2 1 3 0 4 4 0 3 4 0 1 1
+? 2 1 2 3 2 1 0 1
+? 3 1 0 3 3 2
+? 2 3 1 4 0 1
+? 2 1 4 3 1 1 1 2 2 3 3 3 0 4 4 4 4 0 3 0 4 4 2 4 2 1
+? 1 3 2 2 1 0 3 3 4
+? 4 2 3 1 3 1 0
+? 2 3 3 0 3 0 3 4 4 3 0 4 4 4 0 3 0 3 2 1 0 3 3
+? 4 4 1 2 2
+? 2 0 3 1 0 4 1
+? 3 1 1 0 4 0 4
+? 2 4 3 4 4 1 0 0
+? 3 3 3 1
+? 3 0 1 1 3 3 3 4
+? 3 0 1 0
+? 2 1 4 4 3
+? 0 3 0 0 0
+? 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1
+? 3 2 2 1 0 3 3 3 3 3 4
+? 1 3 0 3 3 2
+? 1 4 1 3 1
+? 2 2 2 2 2 2 2 2 2 2 2
+? 2 1 3 1 1 2
+? 4 2 2
+? 3 3 2 2 1
+? 4 2 1 1 1
+? 0 1 0 4
+? 3 3 3 4 2 4
+? 2 4 1 2 4 1 0 1 2 2 4
+? 2 4 1 3 0 1 2 2 4
+? 4 2 1 1 1 1 1 0 1 0
+? 4 1 4 1 1 2 0
+? 2 3 0 0 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 1 1 2 1 1 2 2 2 2
+? 2 2 2 2 2 2 4 1 1 1 2 1 1 2
+? 2 3 4 3 4 3
+? 3 3 2 1 0 3 4
+? 2 3 4 3 4 3 3 0 3 0 4 1 1 2
+? 2 0 4 4 1 1 3
+? 2 3 2 1 1 0 4 3 4
+? 4 2 1 0 3 4 4 1 1
+? 2 1 1 0 3 1 4 1 4 1
+? 2 1 2 3 1 0 3 3 4
+? 2 4 4 2 1
+? 2 3 4 4 4 4 3 0 3 1
+? 4 0 4 1 0 3 4 2 1 4 1 0 0 0
+? 4 1 1 4 1 3 0 2 1 1 2 0 0 0 0 0 0 3
+? 4 2 2 1 1 1 0 2
+? 0 3 1 0 1 4
+? 2 1 3 3 0 4 4 2 3 1 0 3 3 4
+? 3 2 2 1 1 3 4
+? 2 2 1 1 2 2 2 2 2 1 1
+? 3 1 0 0 4
+? 2 1 2 2 4 2 1 4 1 2 1 1 1 2
+? 2 2 4 1 4 4 1
+? 2 2 2 2 4
+? 3 2 4 1 0 1 1
+? 3 1 0 3 3 3 3 3 3 3 3
+? 3 2 2 3 1 1 0 0 3 4 1 4 4
+? 2 3 3 0 2 4 1
+? 4 2 1 0 1 2 0
+? 3 2 0 2 2 2 2 2 1 1 1 0 3 4
+? 3 4 2 0 1 4 1 1 4
+? 2 3 3 0 3 0 3 1 1 1 1 1 4 1
+? 0 2 0 1
+? 2 3 2 3 2 1 3 3 4
+? 2 3 3 0 2 4 2 1 1 1 1 1 0 1 0 0
+? 2 3 0 2 0 2 3 1
+? 3 4 1 0 1
+? 2 2 4 1 4 4 4
+? 3 1 1 1
+? 2 1 3 0 2 2 4 3 0 1 4
+? 0 4 2 1 4 2 3
+? 2 1 3 4 0 4 3 1 1 4 4 1
+? 1 2 4 0
+? 4 1 4 1 1 2 1 2 2 2 2 2
+? 4 1 2 0 0
+? 2 3 2 2 4 3 2 2 2 4 1 1 2 1 1 2
+? 2 0 1 2 1 0
+? 2 0 1 1 1 1 1 1 2 1
+? 0 4 3 2
+? 3 4 0 4 4
+? 2 2 4 0 4
+? 3 1 3 2 2 2
+? 3 2 4 2 3 2 1 0 3 3
+? 2 1 0 0 4 0 4 1
+? 3 1 0 0
+? 2 3 3 1 4 2 3 1 0 3 4
+? 3 0 1 2 1 1 4
+? 3 2 0 2 2 2 2
+? 4 2 2 4 1 0
+? 4 1 0 4 1 2
+? 2 3 4 4 4 2 2 4 1 0
+? 2 3 2 3 1 0 3 3 4
+? 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1
+? 3 1 2 2 0 3 1 4
+? 2 3 4 1 0 1
+? 2 0 3 3 1 3 2 4 2 1 1 1 0 4 4 4 4 2 0 1
+? 3 2 2 2 2 1 2 1 3 4
+? 0 1 3 3
+? 2 2 3 2 2 4
+? 2 3 2 2 1 3
+? 3 2 1 2 0 3 3
+? 3 2 2 0
+? 3 1 0 0 3 0 3 4
+? 2 1 2 2 1 2 2 4 4 1
+? 4 0 1 1 4
+? 2 1 4 4 1 1 4 1 1 4 4
+? 4 0 0 1 1
+? 3 2 1 4 4 4
+? 0 2 2 2 2 1
+? 0 3 2 2 2 1
+? 2 1 0 3 3 3 4
+? 3 1 4 1 0
+? 4 2 1 1 0 3 3 2 2 0 0
+? 4 1 4 2 1 2 4
+? 3 2 0 1
+? 2 3 2
+? 3 3 3 3 4
+? 2 1 4 3 4 2 2 1 2 2 2 1 1 2 2 2 1 1 2
+? 0 3 1 4 0
+? 2 1 3 3 2 2 1
+? 4 2 1 4 0 0 0
+? 2 2 2 1 1 2 1 1 2 1 1 2 1 1
+? 4 2 1 1 3 1 1 2 2 2 2 2 1
+? 0 2 1 0 2 2 1
+? 1 4 1 4 0
+? 2 1 3 0 1 0 4
+? 3 3 2 2 4 2 2
+? 2 0 1 3 4 4 1 4 4 1 3
+? 3 2 3 2 2 1
+? 2 3 3 3
+? 2 1 4 3 1 1 2 1 1 2 1 1 2 1 1 2 2 2
+? 2 1 4 4 4 4 3 0 3 0 4 0 4 4 1 0 2 4 2 1 0 3 3 3 3 3 0 3 1
+? 2 1 0 0 2 2 2 4 1 0 3 4
+? 3 2 2 2 2 0 2 1 0 4
+? 2 2 4 2 4 1 2 2 1 1 2 0 1
+? 2 1 4 3 0 3 1 1 3 0 0 4
+? 2 3 0 0 4 1 4 0
+? 2 2 1 3 2 2 2 2 2 2 1
+? 2 2 1 3 2 1 3 2 2 2 2
+? 2 2 1 2 2 2 2 2 4 2 2 2 2 2 2 2 1 2
+? 2 1 3 3 0 4 1 0 4 0 4 4 3
+? 2 2 1 1 2 3 1 1 2 2 3 2 1
+? 4 2 1 3 1 0 0
+? 3 0 4 1
+? 1 2 3 3 4 4 1 1
+? 2 4 2 2 3 2 1 3 3 2 4
+? 2 1 0 0 2 1 4 3 4 3 0 4 3 4 2 4 2 0
+? 2 1 4 4 4 1 2 3
+? 0 0 1 1 4 4
+? 3 2 2 2 2 1 0 3 4
+? 1 1 0 4 4
+? 0 0 1 4 3 2 2 3 1
+? 2 4 4 0 1
+? 2 1 2 4 4 3 1 4 0 2 3 1
+? 3 2 2 0 1 0
+? 3 2 2 3 2 1
+? 1 1 3 4 3
+? 4 3 2 3 0 4
+? 0 4 0 4 2 0 1
+? 3 2 2 2 1 1 0 4 3
+? 2 1 4 3 1 1 4 1 3 0 0
+? 4 2 0 1 0 1 3
+? 1 0 3 3 3 3 4
+? 4 2 0 2 1 1
+? 2 3 2 3 1 0 3 3 3 3 4
+? 2 1 2 2 3 3 1 0 3 0 4 0 4 0 4 1 1 0 3 0 0
+? 3 1 1 4 0 4
+? 2 2 3 1 2 2 1 1 2 2 1 2 2 2 2 2 2 1 1 2 2 2 2
+? 3 1 0 3 3 1
+? 2 3 3 1 4 2 2 2 1 1 2
+? 4 0 3 1
+? 4 2 1 2 0 2 2 2
+? 3 0 2 3 2 1
+? 2 2 3 0 3 2 1 0 4
+? 4 2 1 0 3 0 0 0 3 3 3 2 1 1 1
+? 2 3 0 1 4
+? 2 2 2 2 1 1 2 1
+? 2 3 4 3 4 3 0 0 0 2 0 4 1
+? 3 2 2 2 2 2 2 2 1 0 3 3 3 3 4
+? 4 0 4 1 0 3 3 3 3 2 1
+? 3 3 0 2 1 4 4
+? 3 0 1 0 3 2 3 3 3 3 4
+? 2 3 1 1
+? 3 2 1 1 2 1 2 1 4
+? 2 3 4 4 1 0 3 3 0 3 4 2 3 2 1 0 4
+? 2 1 3 3 0 4 4 0 0 4 2 1 1 2 1 2
+? 3 3 2 0 3 2
+? 2 1 4 1 4 0 1 4
+? 2 3 4 3 0 3 1 1 4 3 4 1
+? 4 0 4 2 1 2 1
+? 3 2 2 2 2
+? 2 2 1 1 2 2 2
+? 4 2 4 1 2
+? 2 3 4 4 0 4 0 4 1 1 3 4 4 1 0 3 0 3 0 3 1 0 4 4 4 3 0 0 0 4 1
+? 2 3 3 3 0 3 0 4 0 3 1 0 3 4 4 3 0 4 1 1 0 3 4 1
+? 4 2 3 4 3 4 0 1 0 4 0 3 4 3
+? 2 4 2 2 2
+? 2 1 3 0 3 0 3 0 3 1 0 4 4 1 3 2 2 3 2 4 2 0
+? 1 4 4
+? 4 0 4 1 1 2 1 2 2 2 2 2 2
+? 2 0 2 4 1 4 1
+? 2 1 2 1 2 1 1 2
+? 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 1
+? 2 2 2 2 1 1 2 1 1 2
+? 2 0 4 1 2 1
+? 4 1 0 4 1 1 0 1 0 0 3
+? 2 2 2 0 1 1 2 2 2 2 4 2 1 2 2 2 2 2
+? 4 0 4 1 1 0 4 2 0 0 3 2 2 0 0 0 0 0 0 0 0 0
+? 2 3 3 3 3 1 3 4 4 1
+? 3 2 0 3 4 3 3 4
+? 2 3 1 0 3 3 0 4 0 3 0 4 1
+? 4 2 3 2 2 0
+? 2 1 4 3 4 2
+? 3 1 4 2 3 1 4 4
+? 4 4 0 0 4 1
+? 2 0 2 4 1 3
+? 2 3 3 4 2 2 0 2
+? 2 1 4 3 1 1 0 0
+? 4 2 1 0 4 2 3 4 3
+? 4 0 4 1 0
+? 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 2 2 2 2
+? 1 4 2 1 0 0 3 0 3 1 4 3
+? 2 0 4 4 4
+? 3 2 2 4 2 1 3 4
+? 4 1 4 1 1 0 2 0
+? 2 3 4 4 4 0 0 3 2 2 2 2 1
+? 2 1 4 4 2 4
+? 2 4 1 3 1 4
+? 2 3 4 3 0 3 1
+? 4 1 4 4 4 0
+? 2 2 1 1 2 2 2 1 1 2 1 1 2
+? 4 1 4 4 0 3 3 3 3 4 4 3 0
+? 2 3 2 2 3 4 0 4 3 1
+? 2 2 0 1 0 4
+? 2 1 1 2 1 2 4 1 3 2 2 1 1 2 2 2 2 2 1
+? 2 1 3 1 0 1 1
+? 4 2 2 3 1 1 1
+? 0 3 1 4 0 2 3 4
+? 0 2 2 2 2 2 1
+? 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 1
+? 4 4 4 1 2
+? 4 2 4 4 3 2
+? 3 1 0 4 3 3 4
+? 4 3 0 2 2 2 2 1
+? 3 1 1 0
+? 2 1 4 4 1 0 4 4 2 4 1
+? 0 4 2 4 1
+? 3 1 3 3 4
+? 2 3 3 1 1 1 4 0
+? 4 2 1 0 4
+? 4 2 3 4 0 4
+? 2 1 1 2 3 3 3 1
+? 2 1 0 0 1 1 2 3 2
+? 4 2 4 1 1 1 0 0 0 3 3 3 3 3 3 3
+? 2 1 4 3 0 3 0 0 3 1 0 4 1 0 1
+? 2 3 3 3 1 4 2 3 1
+? 1 3 1 4
+? 2 1 3 0 2 4 2 1 0 3 0 0 3 1 0
+? 2 1 4 3 1 0
+? 1 4 2 1 0 1 1 2 0
+? 1 3
+? 3 2 2 1 0 3 3 3 3 3 3 3 4
+? 3 1 0 3 3 3 0
+? 0 0 0
+? 2 3 3 0 0 0 3 1
+? 2 0 2 3 4
+? 1 2 0 0 0
+? 4 0 4 1 1 0 2 1 1
+? 2 1 4 4 0 1
+? 2 2 0 1 1 2 1 0 1 1 2 1
+? 3 2 2 2 1 1 4 0 4
+? 3 2 2 2 2 2 2 2 1 0 4
+? 0 3 3 1 0
+? 4 3 0 3 2 0 1
+? 2 1 1 2 1 2
+? 2 3 4 4 1 0 3 4 3 0 4 3 1 1 1 4 3 0 4 0 3 0 3 1 0 4 0 3 1
+? 3 2 2 1 2 3 2 3
+? 3 2 2 3 3 0 1
+? 2 4 1 3 2 1
+? 2 2 2 1
+? 2 3 3 2 1 0 4
+? 4 1 4 1 1
+? 2 2 2 2 1 1 2 2 2 1 1 2 1 1 2 2 2 2 2
+? 2 3 2 0 1 2
+? 2 3 4 3 0 4 0 3 4 4 3 0 4 4 2 3 1
+? 2 1 4 3 0 4 0 3 4 2 4 0
+? 3 1 3 2 0
+? 4 4 2 0 4 0
+? 2 4 1 2 2
+? 2 2 1 1 1 2 1 1 2 2 2 2
+? 3 2 0 1 2 1 0
+? 4 1 2 4 0
+? 4 0
+? 3 4 0 2 0
+? 2 1 0 4 4 4 1
+? 2 1 3 4 0 3 3 0 1
+? 0 3 3 0
+? 4 2 1 2 1 0
+? 2 0 2 2 1
+? 4 2 1 1 1 0 3 3 4 4 0
+? 3 2 2 1 1
+? 2 1 2 4 0 4 1 2 3
+? 2 4 1 3
+? 2 3 3 0 3 1 1
+? 3 2 3 1 0 0 3 3 2 4
+? 2 1 1 3 2 2 2 2 2 1
+? 2 3 4 4 4 2 4 0 4 2 0
+? 1 3 4 1 3 4
+? 3 4 2 0 0 4
+? 2 3 3 0 0 1 1
+? 4 3 2 3 1 0 2 0 0
+? 3 4 3 1 0 0 4 1
+? 2 1 4 4 0 3 1 4
+? 2 1 3 3 0 2 4
+? 1 4 3 1
+? 2 1 3 3 0 4 4 3 0 3 1 4 0 1 1
+? 3 3 1 0 3 4
+? 3 2 2 0 1
+? 3 3 2 1 0 3 3 3 3 2 3 3 1 4
+? 2 1 1 2 1 4 2 1
+? 2 3 4 3 1 1 0 0
+? 3 3 1
+? 3 4 3 3 4
+? 2 1 4 4 4 4 4 1 1 0 3 4 3 4
+? 2 1 3 3 0 4 4 4 4 0 4 4 0 1 1
+? 3 2 2 2 0 2 2 0 0 4
+? 3 2 2 0 2 2 1 0 3 4
+? 2 1 2 2 4 1 3 0 1 2 2 4
+? 2 2 2 2 2 2 2 2 2 4 2 1 1 4 1 2
+? 1 2 4 1
+? 2 1 0 0 2 3 4
+? 0 0 2 4 0
+? 2 1 4 4 4 1 0 1 0
+? 4 0 4 1 1 0 3 0 3 3 0 3 3 0 0 0 0 3 1 0 0 0 0
+? 2 0 3 4
+? 4 2 1 1 1 0
+? 2 1 3 3 0 3 0 3 0 4 0 4 4 3 0 1 1
+? 4 1 1 1 3 4
+? 3 2 2 4 4
+? 2 4 4 1 4 1 0
+? 2 2 0 1 1 3 3 4
+? 2 1 2 2 1 3 1 0 3 0 3 0 4 4 0 1 1
+? 1 2 0 4 1 3 3 0 1
+? 3 1 0 3 3 3 2 4
+? 4 2 1 0 4 2 0 0 3 4 1 2 0
+? 2 3 3 1 4 1
+? 1 1 2 1
+? 2 4 4 2 2
+? 2 3 4 4 1
+? 4 4 2 1
+? 2 3 0 1 1 0
+? 4 0 1
+? 2 3 2 4 1 4 1 2
+? 3 2 4 2 2 1 0 4
+? 3 0 0 0
+? 0 3 0 2 1 1 0 3 3 3 3 3 3
+? 0 3
+? 2 2 2 0 2 1 1 2 1 2 2 2 1 1 2 1
+? 2 3 3 0 2 1
+? 2 3 4 3 0 4 0 3 0 3 4 3 3 0 4 1 0 4 1
+? 4 1 0 3 1
+? 0 0 3 2 0 1
+? 2 0 0 0 2 1 3 0 0 3 3 0 3 0 1 4 1
+? 2 3 4 0
+? 1 4 1 1 0 2 1
+? 2 1 4 4 1 3 0 0 1 0 0 0 0
+? 2 1 3 0 2 3 0 0
+? 3 2 3 1 4 4
+? 2 1 0 1 3 4 4 1 0 0
+? 2 3 4 3 0 4 0 4 0 4 0 4 0 3 1 0 3 4 1 1
+? 3 1 3 0 4
+? 2 2 4 2 3
+? 3 4 2 2 1
+? 2 0 1 2 4 1 0 0
+? 0 2 1 1
+? 2 2 3 0 2 4 1 3
+? 2 1 4 4 4 4 3 1 0 4 4 3 1 4 2 4 1 4
+? 2 4 0 2 1
+? 1 4 0 4
+? 2 3 2 4 2 1 2 1
+? 3 2 4 1 0 3 0
+? 2 1 1 1 2 1 1 2 1 1 0 2 2
+? 0 4 0 4 1 2 1 2 2 2
+? 4 1 4 1 0 4 1 2 0 3 0 0
+? 4 2 1 4 4 0 2
+? 2 3 2 0
+? 4 1 4 1 0 2 1 1 1 1 2
+? 2 1 3 1 4 2 3 1 0 3 3 3 3 3 4
+? 2 4 1 1 2 3 4
+? 4 1 3 1
+? 2 4 1 2 4 1 3
+? 2 0 1 1 1 1 1
+? 0 3 3
+? 2 3 0 1 3 3
+? 2 1 0 3 1
+? 2 1 4 4 4 2 4 2 1 2 0
+? 4 1 4 0 1 1 1 1 0 4 1 0 4 2 1
+? 2 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2
+? 2 0 0 4 2
+? 3 2 2 2 2 2 2 3 2 2 2 2
+? 0 4 1 2
+? 4 1 1 4 0 2 3
+? 3 2 3 1
+? 4 1 0 1 1
+? 4 2 1 0 1 1 0 0
+? 1 4 1 0 1
+? 2 1 0 1 0 1
+? 1 0 3 3 3 3 3 4
+? 3 1 4 4 1
+? 4 1 4 1 0 4 4 3 2 2 2 3
+? 3 4 2 2 4 4 1
+? 3 1 1 0 2 4 1 4
+? 2 1 3 0 4 4 1 1 4 0
+? 2 2 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 1
+? 2 3 2 4 0 4 0
+? 0 2 1 4 2 1 0 2 1
+? 2 1 2 2 0 3 4 1
+? 1 0
+? 1 3 2 4 4 0 3 4 2 0
+? 1 3 0 4 0
+? 2 3 0 0 2 3 4 4 0 4 0 3 1 1 1 0 0 3 2 1
+? 4 4 4 1 3
+? 2 3 3 1 1 0 4 1 0 3 0 4 0 4 1 1 0 2 1
+? 3 2 3 0 2 0 0 3 1 0 4
+? 4 4 2 0
+? 2 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2
+? 2 1 4 4 3 0 3 0 4 4 1 0 4
+? 4 0 4 2 1
+? 2 1 4 1 1 2 2 2 2 4 0 1 2 2 2 1
+? 1 3 1 3 0 1 3 1 0 4
+? 0 3 0 1 0 3 4 4
+? 2 3 0 0 1 2 0 4
+? 2 1 3 0 1 3 4 3
+? 4 0 4 1 0 3 0 3 2 0
+? 2 0 3 3 4 3 1
+? 3 1 1 0 3 4
+? 2 4 1 0 1
+? 2 2 1 1 2 2 2 2 2 2 2 2 2
+? 4 1
+? 1 3 3 1 4 2 4
+? 4 0 4 1 0 3 0 0 3 4 1 2 0 3 0
+? 3 1 0 1 1 3 4
+? 3 1 0 1 3 3 3 4
+? 2 1 4 3 4 1 4
+? 4 4 4 3 2 1
+? 3 0 3 3 4 4
+? 0 0 4 1 2 0 1
+? 2 3 3 0 0 0 4
+? 4 0 4 0 0 3 4 4 3 0 0 1
+? 4 1 4 1 4 1 2 2 2 2 2
+? 4 1 4 1 0 1 0 0 0
+? 2 3 4 1 3
+? 0 3 0 4
+? 0 3 2 2 2 2 3 1 3 0
+? 3 3 4 3 4 2
+? 2 4 1 1 1 3 1
+? 3 2 2 2 2 2 2 2 1
+? 2 3 0 0 2 1 0 4
+? 2 2 2 2 2 2 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2
+? 2 2 2 1 2 1
+? 2 1 2 0 4 2 0
+? 2 0 1 3 4 1
+? 4 3 1 1 1 2 0
+? 4 1 2 1 2 3
+? 3 2 1 0 0 3
+? 4 2 1 0 4 3 4 1 2 0 3 3 1 0
+? 0 1 3 4 1 1 0
+? 2 0 2 4 0 1 1 1 0 2 4
+? 3 2 4 2 2 0 3 4
+? 2 3 2 2 0 3 4 1
+? 3 2 4 3 1 0
+? 3 2 0 2 2 2 1 0 2
+? 4 0 4 1 0 3 0 0 0 0 0 0 0 3 3 3 4 0 4 2 0
+? 2 3 3 1 2
+? 4 4 1 0 0
+? 1 1 1 1 1 2 2 0 1
+? 2 3 1 4 3 1 1
+? 2 1 4 3 4 3 1 0 4 1
+? 2 1 4 0 0 4 1 2 4 0 1 2 2
+? 0 2 4 2 1 2 4 2 2
+? 2 1 3 3 1 4 4 4
+? 4 0 2 4 0
+? 2 2 1 2 0
+? 4 0 0 4 1 1
+? 4 0 4 1 0 3 3 3 3 2 2
+? 2 2 2 2 1 1 2 2 2 2 2 2 2
+? 2 2 2 2 3 2 3 1 2 2 2 2 2 1 1
+? 3 1 2 3 1 0 3 2 4
+? 2 2 3 2
+? 2 3 0 1 0 3
+? 2 2 1 1 2 1 1 2 2 2 1
+? 1 2 1 1 2 2 0 1 1 0 1 1 2
+? 4 2 1 1 1 2 0
+? 4 3 2 2 1
+? 1 0 1 3 4
+? 0 4 0 3 4
+? 4 1 0 1
+? 4 2 1 2 1 2 2 2 2 2 2 2 2 2
+? 2 2 2 2 2 2 2 1 4 1 1 2 2 2 2 2
+? 2 2 1 4
+? 4 0 4 1 0 2 2 0
+? 4 0 4 1 0 4 0 0 2 2
+? 2 1 2 4 2 0 1 0 0 0 0
+? 2 2 0 1 1 2 3 1
+? 3 1 4 3 0 3 4
+? 2 1 2 2 4 3 0 0
+? 2 1 4 3 1 1 0 2 1
+? 0 2 2 1 2
+? 4 2 2 4 1
+? 1 1 0 3 3 3 4
+? 2 0 1 3 4
+? 3 2 2 0 3
+? 2 0 2 2 2 2 1
+? 4 1 4 1 4 2 2
+? 2 1 2 2 3 2 4 2 0
+? 2 1 4 4 0 3 0 3 1 0 4 4 3 3 0 3 4 3 3
+? 2 0 1 2 3 4
+? 0 3 2 2 2 1 2 2 1 0 4
+? 2 3 4 4 1 4 4 0
+? 2 0 4 0 1 3 0 0
+? 4 3 1 0
+? 2 0 2 4 1 0 0
+? 3 3 0 3 0 4 3 3 3 4
+? 4 1 4 1 1 0 4 4 3 0 2 0
+? 2 1 4 3 0 4 1 0 3 1 1 4 3 4 3
+? 4 2 1 1 0 1 0 0 0 0
+? 3 0 2 0
+? 0 4 3 4 2 4 4 1
+? 2 3 0 0 2 4
+? 4 0 4 0 0 3 3 3 0 3 1 0
+? 4 2 4 2 3 3 1 3 1
+? 4 3 3 1 3 0 1 1
+? 0 3 4 1 0 3 4 2 1
+? 4 2 1 1 1 1 1 1 2 3
+? 3 1 2 1
+? 2 1 1 2 2 2 2 2
+? 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
+? 4 1 0 4
+? 1 3 2 2 0
+? 3 2 0 1 0
+? 3 3 2 1
+? 0 3 2 2 4 3
+? 4 2 1 1 0 4 4 1
+? 0 1 2 0
+? 2 1 4 0 4 1
+? 4 0 4 0 3 3 1 0
+? 2 1 2 4 1 4 1 2 1 2
+? 3 2 2 2 2 2 1 0 3 3 4
+? 2 1 4 0
+? 2 3 0 0 4 0 4 1
+? 2 3 0 0 3 2 1 0 4
+? 4 0 4 1 1 0 4 1 2 4 2 2
+? 3 0 2 1 2 1 3 3
+? 2 1 4 4 4 3
+? 2 1 2 1 2 1 1 2 1 1 2
+? 2 1 3 0 3 0 1 4 1
+? 2 2 0 2 2 4 1
+? 0 1 1 1 0 4
+? 4 2 1 4 1 1 1 1
+? 4 2 1 0 4 2 3 2 1 2
+? 2 3 0 0 2 0 2
+? 2 4 2 1 0 4 4
+? 4 2 1 1 1 0 4 0 0 2 0
+? 2 1 0 0 4 0 4 1 1 1 2 0
+? 2 0 2 3 4 1
+? 2 1 3 1 1 0 1 1
+? 1 2 4 3 1 0 3
+? 4 0 4 4 0
+? 2 1 2 4 1 4 1
+? 4 2 4 3
+? 4 4 4 1 3 0 1 1
+? 2 2 3 1
+? 2 2 2 2 1 1 4 2 2 2 1
+? 4 2 1 1 2 2
+? 4 4 0 4 1 2 1
+? 2 0 1 3 2 2 0
+? 0 2 0 2 2 1 0 4
+? 2 4 1
+? 2 3 2 1 1
+? 3 2 3 2 2 1 0 3 4
+? 2 1 2 3 2 2 2 1 0 3 4
+? 2 1 0 0 3 2 2 1 1 0 3 4
+? 3 1 3 0
+? 3 3 4 1 0
+? 3 2 2 2 2 1 0 4
+? 4 0 4 1 1 0
+? 2 1 2 2 0 3 3
+? 1 3 1
+? 1 3 1 2 0 0 4
+? 3 3 2 2
+? 3 2 4 1 0 3 4
+? 3 1 0 0 2 3 4
+? 2 1 2 3 0 3 4 0 1
+? 1 0 4 1 1
+? 3 2 2 4 0
+? 2 2 1 2 1 2 1 1 2 2 1 4 1 1 2
+? 2 1 2 3 3 4
+? 2 3 3 3 1 3 4 3 0 4 4 0 0 3 1 0 3 4
+? 3 1 0 3
+? 2 1 4 3 0 4 0 4 0 4 1 0 4 4 3
+? 1 4 2 3
+? 1 0 3 1 2 0 3 4
+? 1 3 2 0
+? 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1 1 2 2 2 1
+? 3 2 0 2 1 4
+? 1 1 0 1 4
+? 2 0 0 1
+? 4 0 1 0 1 2 0
+? 4 2 1 3 2 1 4 4
+? 4 0 4 1 0 2 1 2 0 0 0 0 0
+? 2 3 3 1 4 1 4 2
+? 2 4 2 3 4
+? 4 1 2 0 4
+? 2 0 2 2 2 4 0
+? 3 2 2 2 2 2 2 2 1 0 3 4
+? 2 3 2 3 2 1 0 3 3 4
+? 3 0 3 4
+? 4 0 0 4 0 1 4 0 4 1 1 0
+? 1 3 2 1
+? 3 3 2 2 2 2 2 2 2 4 1
+? 4 1 4 1 0 1 0 0 0 3
+? 3 1 0 1 1 1 2 0
+? 4 2
+? 2 0 4 1 4 3 1
+? 2 4 4 1 2 4 4
+? 2 1 2 2 2 1 3 0 2 2 4
+? 3 0 3 2 3 1
+? 4 4 0 4 1 0 2 0
+? 2 0 2 2 0 2 0 4
+? 4 0 4 1 1 0 3 0 0 0 3
+? 1 4 1 3
+? 2 3 3 2
+? 2 3 3 0 4 1
+? 3 2 1 4 0 3 4
+? 3 2 0 0 2
+? 3 3 4 4 1 0
+? 4 2 0 3 2
+? 2 2 2 2 1 1 2 2 2 1 1 2 2 2 2 2
+? 3 4 0 4 0
+? 2 4 1 3 0 0
+? 1 1 1
+? 2 2 1 2
+? 1 0 2 0 3 1 4
+? 2 4 4 1 0 1
+? 4 0 4 1 0 3 0
+? 4 2 1 1 2 1 3 2 1 2 2 2
+? 3 0 1 0 3 4
+? 2 2 2 2 1 1 2 2 2 1 1 2 2 2
+? 4 0 2 1 0 0 3 1
+? 1 3 1 1 2
+? 2 3 1 4
+? 2 1 0 3 3 4 4
+? 4 2 0 4 1 2 2
+? 2 1 4 2
+? 2 3 4 3 1 1 2 1
+? 4 4 0 1 1 4 3
+? 4 0 4 1 2 1 1 2
+? 0 3 0 3
+? 1 2 4 3 1 1 1 4 2 3 3 1 0 4 0 3 4 0 4
+? 2 2 1 3 4 1 0
+? 2 2 1 0 4 4
+? 2 1 0 0 3 0 2 2 1 0 3 3 4
+? 4 0 4 4 1 2 3
+? 1 1 4 4 1 4 0
+? 2 1 3 4 3
+? 3 2 2 2 0 0 3 4
+? 2 1 4 3 1 0 4 0 4 1 1 1 2 4 2 0
+? 4 0 4 1 0 3 3 2 1 0
+? 2 3 3 1
+? 2 2 2 0 0 2
+? 3 2 3 0 1 0 4
+? 2 1 4 4 0 3 4 3 1 3 1 4 1 4 1
+? 4 1 4 1 2 1
+? 2 3 4 4 4 1 3 2 4 0 4 0
+? 3 2 1 4 4 1
+? 2 2 1 1 2 2 2 1 1 2 1 4 2 1 1 1 2 2 2 1
+? 2 3 3 0 2 2 4 4 4
+? 3 3 4 0 1 4
+? 4 3 4 1 0 2 1
+? 3 2 1 4 3 1 4
+? 2 4 1 4 1 4
+? 2 2 1 1 4 1
+? 4 0 4 1 1 1 2 2
+? 4 2 3 0 4 0 2 2
+? 3 0 4 3
+? 2 1 3 3 4 1
+? 2 1 3 1
+? 2 0 2 1 4
+? 2 4 4 2 4
+? 3 1 1 3 3 3 4
+? 4 0 4 3 1 1 4 2
+? 2 1 4 4 0 3 0 3 1 1 3 2 2 0 0
+? 2 1 0 2 2 3 2 1
+? 1 4 0 1 3 2
+? 3 2 1 0 3 3 3 3 3 3 3 3 4
+? 3 3 2 3
+? 4 1 4 1 0 3 0 0 0 0 0 0 3 3 0 0 3 4 3 2 3 4 0 0 0 2 0
+? 2 4 0
+? 3 1 2 0
+? 3 2 2 2 2 2 2 2 2 2 1 0 4
+? 3 2 3 1 0
+? 3 1 0 3 3 3 3 3 3 3 3 3 3 4
+? 4 2 1 1 0 3 0 0 0 0 3 4 2 3 1 0 0 0
+? 2 3 2 0 4
+? 2 1 3 1 4 3 3
+? 1 2 3 2 0 1
+? 2 4 4 3 4
+? 3 2 0 2 2 1 0 2 3 3 3 3 4
+? 2 2 2 2 1 1 2 1 1 2 2 2 2 2
+? 1 4 3 1 0 3 4
+? 3 4 0 4 2 0
+? 2 1 2 2 4 2 3 1
+? 2 1 4 4 0 3 4 3
+? 3 2 1 2 2 1 0 3
+? 2 4 1 3 4 1
+? 2 3 1 0 3 1 4 4 3 0 3 4 0 1 1
+? 2 1 0 1 1
+? 4 2 1 0 3 0 0 0 0 3 2 1 2 0 0 0 0
+? 2 1 0 0 2 1 4 3 0 3 0 4 0 4 4 0 0 2 1 0 0 2 2 2 2 2 2 1 1 2 2 2 1 1 2 2 2 2 2
+? 4 3 4 1 1 1 2 1 2 2
+? 2 3 4 4 1 1 0 3 3
+? 2 2 2 4 1 2 2 2 3 2 2 2 2 2 1 1 2 1 1 2
+? 3 0 0 2 0 0 4
+? 4 4 1 3 0 1
+? 2 3 4 3 0 4 0 4 1 0 3 1 0 3 4 3 1 1
+? 4 2 1 1 1 2 1 2 2 2 2 2 2
+? 4 0 4 1 0 3 0 0 0 3 2 3
+? 2 1 3 0 4 4 4 3 0 1 2
+? 2 3 1 3 4
+? 2 1 3 0 3 3 0 3 4 4 4 1 0 4 0 4 0 4 4 2 4 0 4 1 1
+? 2 2 2
+? 2 4 2
+? 0 0 2 1 0 3 4
+? 0 3 2 1 0 3 4
+? 3 2 2 0 2 2 1 0 4
+? 3 0 3 0
+? 2 3 4 4 1 1 3 1 3 3 3 0 4 0 3 4 0 0 4
+? 2 2 1 1 2 1 1 2 2 2 1 1 2
+? 4 2 1 0 3 3 1 0 1 0 0 0 0 0 0 0
+? 4 2 1 1 1 2 3 1
+? 3 4 2 1
+? 1 4 2 1 1 2 2
+? 1 2 2 0 2 0 1 2 1
+? 2 3 0 3 4
+? 2 1 1
+? 4 0 4 1 1 1 0
+? 2 2 4 2 4
+? 0 2 4 4 1 0 4 2 2
+? 1 4 0 0 0
+? 0 2 0 3 3 3
+? 1 1 4 0 1 1 3 3 2
+? 3 2 2 2 2 2 1 0 3 3 2 4
+? 2 0 1 2 4 1 3
+? 4 4 1 2 3
+? 4 2 1 0 4 1
+? 2 0 3 1 3 1 1 3
+? 4 3 4 1
+? 3 4 2 0 3 3 3 1
+? 3 4 1 0 2 3 2
+? 3 2 4 2 0 4
+? 2 1 3 1 4 2 4 2 0
+? 3 0 4 0
+? 4 2 1 1 0 4 0 0 0 1 0 0 0
+? 2 2 2 1 4 3 1
+? 3 4 2 3 1 0
+? 2 1 1 3 2 4
+? 0 2 1 2 1 2 2 2 2 1 1 2 1 1 2 2 1
+? 2 1 1 4 3 3 4 4 0
+? 0 3 2
+? 0 3 0
+? 2 3 2 2 2 1 2 1 1 2 3 1 4 1 1 2 2 2 2 2
+? 2 1 4 4 1 1 0 3 3
+? 2 1 4 2 1 1 4 0 2 0 2 2
+? 2 0 0 2 2 1 1 0
+? 2 3 3 3 1 2 2 2 2 2
+? 3 1 0 1 0 3 4
+? 2 4 0 2
+? 3 4 1 4 1
+? 3 2 2 2 1 2 2 2 1 0 3 4
+? 1 1 4 1
+? 2 2 1 1 4 2 4 0 1 1 1 2 1 2
+? 3 1 3 2 3 4
+? 1 2 4 4 0
+? 4 1 4 3 0
+? 2
+? 2 2 2 2 4 1
+? 2 1 3 3 0 4 1 1 2
+? 2 2 1 2 2 2 2 1 2 2 1
+? 4 1 0 3 3 1 0
+? 4 0 1 1
+? 4 3 2 1 0 4
+? 4 0 4 1 1 2 3
+? 3 2 4 1 2 3 1
+? 3 3 0 2 0 4
+? 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1
+? 1 3 1 0 3 3 3 4
+? 2 4 0 1 1 3
+? 3 0 2 3 3 3 4
+? 2 1 3 2 2
+? 2 3 0 0 4 1 4 1 2 2
+? 2 2 2 2 1 1 2 2 2 1
+? 3 1 2 1 4 4 2 0
+? 2 3 3 3 0 4 1 1 1 2 1 1 0 0 1 1
+? 2 1 2 2 2 1
+? 3 2 2 1 0 3 3
+? 0 2 4 4 0 4 0
+? 4 2 1 0 1 1 3 0 3 3 0 0 0 0 4 2
+? 2 4 2 0 2
+? 3 2 2 2 2 2 1 0 2 3 3 3 3 4
+? 4 0 4 1 2 0
+? 1 2 2 2 2 1 1 2 2 2 3 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 1 1
+? 1 2 2 2 1 1 2 1 1 2 4 2 0 2 2 2 2 2 2
+? 2 2 2 2 2 2 3 1 2 1 1 1 2 2 2
+? 2 2 4 3 1 0
+? 4 1 4 1 1 1 2 3
+? 2 3 1 2 0
+? 2 3 1 3
+? 4 2 1 4 1 2 0
+? 0 3 3 3 4
+? 2 1 3 1 0 4 0 1 1
+? 4 2 1 1 0 3 3 2
+? 4 0 1 2 4
+? 2 1 4 3 4 2 3 1
+? 1 1 2 4
+? 3 2 4 0 3 1 3 0 4
+? 2 1 2 4 3 4 4 1 0 1
+? 0 0 2 2 2 0 3 1 0 0 1
+? 0 2 2 2
+? 2 1 3 0 0 1 1
+? 2 4 4 0
+? 2 1 0 4 3 4
+? 2 1 2 4 1 1 2 1 1 2 2 2
+? 4 0 4 1 0 3 0 0 1 0 0 0 2 0 0 0 0 3 0 0
+? 2 2 1 1 0 2 2
+? 2 3 4 4 0 3 4 0 1 1
+? 3 0 0 0 4
+? 0 0 2 3 3 1
+? 3 2 2 2 2 2 2 2 0
+? 0 2 1 1 2 2 2 1
+? 2 3 4 4 4 0 1 1
+? 1 2 4 2 1 4 1
+? 4 2 0 0 3 4
+? 2 1 1 0 4
+? 2 1 0 0 2 2 2 2
+? 2 0 3 1 2 3 2 2
+? 0 1 0 1
+? 4 2 0 4 0 1
+? 2 1 0 0 4 1 4 0
+? 4 2 4 2 0
+? 4 1 4 1 0 4 3 1
+? 2 1 0 2 3 4 4 1
+? 1 2 1 3 3
+? 2 1 4 3 4 3 0 0 1 1
+? 2 2 1 1 2 2 2 1 1 2 1 1 2 2 2
+? 2 1 4 0 4
+? 2 1 1 3 2 3 1 0 4
+? 1 3 2 0 1 0 4
+? 2 3 4 4 4 0 0 2 3 3 1 0 4 4 0 0 4 1
+? 2 1 0 3 0 4 3 0 3 4 3
+? 2 3 3 0 3 1 4 3 0 3 1 4 2 3 1 0 3 3 4
+? 1 1 0 3 2
+? 2 0 3 4 4 1 4 4 1 0 1 2 4
+? 2 4 3 4 1 4 4 1 0 0
+? 2 2 0 3 3 3 3 0
+? 3 2 1 4 0 3 0 4
+? 3 0 1 4 4
+? 2 2 2 2 2 2 1 1 2 1 1 2
+? 3 1 1 1 0 0 1
+? 4 4
+? 1 0 0 3 2 2 1 0 4
+? 2 3 0 2 2 3 2 4 3 1 0 3 0
+? 2 2 1 3 2 1
+? 4 2 2 4
+? 2 3 3 2 2 1 3
+? 2 0 2 0
+? 4 2 2 1 4 4
+? 2 2 2 2 1
+? 4 0 4 1 0 4 1 2 4 2 1 0
+? 2 3 3 3 0 4 4 4 0 2 1 1 3 3
+? 4 2 1 0 3 0 3 1 0
+? 1 1 4 0
+? 0 2 0 0
+? 4 2 3 1 2 0
+? 2 2 2 2 2 2 1 3 1 1 1 0 2
+? 2 1 0 1 0
+? 4 2 1 1 1 0 1 0 0
+? 4 4 0 4 1 2
+? 3 2 1 0 0 4 0
+? 2 0 4 1 2 1 1
+? 4 1 0 1 4
+? 2 1 4 3 4 2 3 1 0 3 3 4
+? 0 1 4 1 4 2 1 0
+? 2 3 4 4 0 3 1
+? 2 1 4 4 1 1 0 1 4 1
+? 4 1 4 2 1 0
+? 4 0 4 0 4 2 3 1
+? 2 1 4 3 0 4 1 0 4 0 4 0 4 4 3 0 3 0 1 0 3 1 0 4 0 4 1 1 4
+? 3 1 2 2 1 0 3 3 4
+? 2 1 0 0 2 1 4 3 1 0 3 4 3 0 4 3 4 0 1 1
+? 4 3 1 0 3 3 4
+? 3 2 3 1 1 0 4
+? 2 2 2 0 1 1 0 0 0
+? 4 3 4 4
+? 1 3 3 2 2 0 2 0 1 0 4
+? 3 2 2 2 1 0 0 4
+? 2 1 2 1 1
+? 3 0 2 1 1 0 4
+? 2 2 4 1 0 1
+? 1 4 3 0 1
+? 3 2 4 2 2 2 2 1 0
+? 4 0 4 1 0 3 0 3 4 3 2 4 1 0 0 0 0 0 0 0 0 0
+? 2 2 2 2 1 1 2 2 2 2 2 1 1 2 1 1 2
+? 1 4 2 4
+? 0 3 4 0 4 0 3 1 0 4 4 4 4 0 0 4 4 1 3 3 3 1 1 3 3 0 2 4 1 4 4 1 0 0
+? 2 3 4 4 1 0 4 4 3 3 4
+? 2 1 0 0 1 1 4
+? 1 3 1 2 0
+? 3 3 1 1 0 4
+? 2 1 2 2 0 1 4 1
+? 2 0 1 3 0 2 3 1
+? 4 2 1 1 0 2 1 2 0 0 0 0 0 0
+? 1 4 4 3
+? 2 1 0 0 4
+? 2 2 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1
+? 2 3 0 0 2 2 1 1 2 1 1 2 2 1 2 2 2
+? 4 2 1 2 1 2 2
+? 1 4 4 1 3
+? 2 2 1 1 2 1 1 2 2 2 1 1 1
+? 2 1 0 0 2 4 3 4 1
+? 2 4 2 4 1 4 3 4
+? 0 3 4 1 0 4
+? 1 1 4 4
+? 2 0 1 4 1
+? 4 1 2 4 1 0 2 4
+? 3 1 1 3 4
+? 4 0 4 1 0 2 0 2
+? 4 1 0 2 2 1 2 2
+? 3 2 0 3 4 3
+? 4 1 4 1 1 1 0 1 0 0 0 0
+? 2 1 1 1 0
+? 2 2 1 0 3 4
+? 1 2 1 4 2
+? 4 2 0 1 1 1 1 0 4 0 2 0
+? 2 4 2 2 2 1 1 2 1 1 0 1 1 2
+? 3 1 2 1 0 3 1 3 4
+? 2 0 4 4 4 2 3
+? 3 2 2 2 2 4 2 2 1 0 3 3 4
+? 2 3 4 0 4 4 4
+? 2 1 4 4 4 1 4
+? 2 0 1 1 3 0 0
+? 4 3 2 0 4 0
+? 0 4 3 0
+? 2 4 3 0 0 0
+? 0 3 3 2 1
+? 2 1 2 3 2 2 1 0 3 3 3 4
+? 0 2 2 2 2 2 2
+? 1 2 0 1 2 2 0 1 3 0
+? 2 2 4 1 1 2 1 1 3 2 2 1
+? 2 3 2 2 3 3 3 0 4 0 4 4 0 3 1 1 1 2 2 4 3 1 1
+? 0 3 2 2 1
+? 2 0 3 0 1 2 4
+? 4 1 0 4 4 0
+? 2 0 2 3
+? 3 0 2 1 0 4
+? 2 3 3 0 4 4 4 4 4 0 4 1 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2 1
+? 3 2 2 2 2 2 2 1 0 3 3 4
+? 2 1 3 4 4 0 4 4
+? 2 1 3 3 1 2 2 2 2 2 1
+? 2 2 0
+? 1 2 3 0 1 4 1
+? 3 1 0 3 3 0
+? 4 2 1 0 4 2 3 2
+? 4 0 4 1 1 0 1 3 0
+? 3 4 3 4 0
+? 0 4 2 1 4 0
+? 2 2 2 2 1 1 2 2 2 2 2 1
+? 4 0 4 1 1 0 2 2 0 0
+? 4 2 1 1 1 0 3 3 3 0 3 4 4 0
+? 0 2 2 3 0 4
+? 4 1 3 0 1 3
+? 2 3 4 4 1 1 2
+? 4 3 1 3 4
+? 2 3 2 2 2 1 1 2 2 2
+? 2 2 1 4 0
+? 4 2 1 2 3
+? 3 2 2 2
+? 2 3 1 1 3 2 2
+? 1 1 1 2 1 2 2
+? 0 2 2 0 4 2 2 2 1
+? 2 4 1 3 2
+? 2 4 0 4 1 2 1
+? 1 1 2 2 0
+? 4 2 0 3 4 0 3
+? 1 2 1 2 1
+? 3 2 0 3 0 4
+? 1 2 3 2 0 4 1
+? 2 3 4 3 1 1 1 2 2 2
+? 4 4 1 3
+? 2 3 3 3 1 3 4 3
+? 2 3 4 4 1 1 4 3 3
+? 2 2 1 1 2 2 2 2 2 2 2 2 2 1
+? 2 3 4 3 0 2 3 4
+? 2 4 2 4 1 4 4 1 4 4 1
+? 3 2 1 2 2 2 1
+? 3 4 1 0 0
+? 4 0 4 1 0 0 2 0 0
+? 4 0 4 1 0 2 0 0
+? 2 0 1 3
+? 4 2 1 0 1 0
+? 4 0 4 1 0 2 2
+? 4 0 4 1 0 4 0
+? 4 0 4 1 0 4 0 4 2 0
+? 1 0 3 3
+? 2 1 4 3 4 3 0 4 3 0 4 1
+? 2 4 0 3 1 4 2 0
+? 3 2 2 3 3 4
+? 3 1 2 0 4 0
+? 1 1 4 4 1 0
+? 2 3 4 3 1 1 2 2 2 1 1 2 1
+? 1 4 1 4 1
+? 3 2 1 0 3 3 4 3
+? 4 2 1 0 3 3 4 0
+? 2 2 2 2 1 1 2 1 1 2 1 1 2 1
+? 3 0 0 3 0 4
+? 1 1 4 1 2 0
+? 4 1 4 1 0 3 0 0 3 1
+? 2 4 0 0
+? 3 3 2 2 1 1 0 3 3 4
+? 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2
+? 4 2 1 0 1 0 0 0 0 0 0
+? 2 1 0 1
+? 3 1 3 4 4 1
+? 4 3 1 4 0 3 3 0 3
+? 4 2 1 0 3 3 4 3 0 2 1 0
+? 3 4 2 0 1
+? 2 1 0 4 1
+? 3 0 4 3 0 4
+? 2 0 1 2 4 1 0 1 2 2 4
+? 4 4 1 0 2 3 2 0
+? 1 2 1 4
+? 2 1 0 4
+? 2 2 2 2 1 1 3
+? 2 1 2 3 2 1 0 4
+? 1 3 2 3
+? 2 1 3 1 0 3 4 3
+? 2 2 1 1 2 2 2 1 1 2 2 2
+? 4 3 0 4 0
+? 2 3 4 3 4 0 0 3 2 2 2 1 0 4
+? 2 3 4 3 0 3 0 4 0 4 1 0 4 1 0 4 0 4 1 1 1 0 1 1
+? 4 1 4 3 1 1 1 0 0 4 2 0
+? 2 1 1 2
+? 2 3 2 1 2
+? 4 4 1 2 1 0 2
+? 2 3 3 3 0 3 0 4 4 2 2 1 2 2 3 4 4 0 4 1 0 3 1 1 4 0
+? 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 1
+? 2 3 4 4
+? 4 2 1 4 2 2 0 0 0 0 0
+? 4 0 2 4 1 2 2
+? 1 3 1 1 0 0
+? 3 3 2 0 3
+? 3 1 0 0 0 1
+? 2 4 1 1 0
+? 2 3 3 3 1 1 2 3 1 0 4
+? 0 4 1 0 2 1 2 2
+? 4 2 1 1 1 2 2
+? 2 0 3 2 3 2 3 2 1 0 1 3
+? 2 0 2 3 3 0 1 4
+? 1 0 1 1
+? 2 0 4 1 0 1
+? 2 3 1 0 2 2 4 0
+? 3 2 2 2 3 1 1 0 3 4
+? 3 1 4 3 1
+? 2 3 4 2 4 1 0 4 4 2 1 0 3 3 4
+? 2 2 3 0 4 1 0 0
+? 3 1 1 0 4 3 4
+? 0 3 1 1 4
+? 3 2 3 3 0 0 2 2 2 2 2
+? 3 2 2 0 3 3 1
+? 2 2 4
+? 2 2 1 1 2 2 2 1 1 2 2 2 2
+? 4 2 0 0
+? 4 0 0 3 4 3 0 0 2
+? 3 2 1 0 4 3 3 3 4
+? 2 1 2 2 3 3 3 1 3 2 4 2 0
+? 3 2 0 2 2 2 1 2 0 3 3 3 3 3 3 3 4
+? 2 0 2 3 1
+? 2 2 2 4
+? 4 2 1 3 1 0 4 3 3 2 3 2 2 0
+? 4 2 1 0 4 2 4
+? 2 3 2 2 3 1 0 3
+? 2 4 3 1 3 4
+? 4 2 0 4 4
+? 2 2 1 1 0 2 2 4 2 1
+? 4 3 0 4 3 2 2
+? 4 1 4 1 0 1 0 0 0 0
+? 1 1 2 4 3 1 4
+? 1 0 3
+? 2 1 4 4 0 3 1 0 3 4 2 4 2 0
+? 1 2 2 0 0
+? 2 1 3 3 1 1 3 0 4 4 0 4 4 4 3 1 0 3 1 0 4 1 1 4 0
+? 2 2 1 3 1
+? 0 2 3 0
+? 2 2 2 2
+? 2 1 0 1 3 3 0 1 4
+? 2 1 4 4 1 0 3 4 4 3 0 3 0 4 0 4 1 1 4 4 1
+? 4 3 0 4 1
+? 2 4 2 4 1 4 4 1 3
+? 3 0 2 3 1 0 3 3 3 4
+? 3 0 2 2 2 0 2 2 1 2 2 1
+? 1 1 4 1 1 2 2 2
+? 3 2 2 2 2 2 2 1 3 3 3 4
+? 2 2 2 2 2 1
+? 2 0 2 4 4 1 1 1
+? 1 2 2 1 0 4
+? 3 2 4 4
+? 3 2 2 0 1 3 0 3 4
+? 4 1 4 1 2 1 2 0 2 2 2 4
+? 2 1 4 3 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2
+? 4 3 4 3 0
+? 3 0 1 1 0 2 1
+? 2 1 4 4 0 4 4 3 1 0 3 4 2 4 2 1 1 0 4 1 2 0 3 1 2 1 0
+? 2 1 4 4 0 3 4 1 3 4
+? 2 3 3 1 0 4 2 0 4 4 1 1
+? 2 1 4 4 0 3 1 1 2 1
+? 4 1 1 0 4 0
+? 4 3 1 0 3 4
+? 2 4 1 3 1 3 1 0 3 1 0 2 4 1
+? 2 2 2 2 2 2 2 1 2 2 2 2
+? 1 0 4 1 2 0
+? 4 3 0 0
+? 1 2 3 3 4 3 1
+? 1 1 3 2 1 4 4
+? 2 1 3 1 4 3 1 4 3 3 0 4 0 4 1
+? 2 3 3 1 4 1 3 3 0 4 4 1 1 1 0 1 1
+? 2 1 4 4 1 0 3 1
+? 3 3 0 1
+? 2 4 1 3 3
+? 2 4 0 4 4
+? 4 2 1 0 4 0 0 2 2 0
+? 4 2 1 1 2 1 2 2
+? 4 1 4 1 0 0 2 0
+? 4 2 2 2 2 2 2 1 0 4
+? 2 3 1 3 2 4 0
+? 3 2 1 1 0
+? 2 2 1 1 2 1
+? 2 2 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 1
+? 4 1 3 0 2
+? 4 2 1 0 4 4 1
+? 3 2 1 2
+? 2 0 4 0 1 4 4
+? 2 2 1 0 3 3
+? 2 3 4 4 0 4 0 4 1 0 4 1 1 1 0 0 2 4 1 3 0 1 4
+? 4 2 1 1 0
+? 3 1 1 3 0 3 4
+? 0 1 4 0 3 2 3 0
+? 2 1 4 3 0 4 0 4 0 4 1 0 4 1
+? 3 2 4 0 4
+? 4 0 4 1 1 1 1 2 1
+? 4 3 2 2 1 0 3 3 4 1
+? 4 3 2 2 2 2 3 0 2 4
+? 4 2 1 0 3 3 3 0 0 0 0 0 3 4 2 3 1
+? 2 3 2 4 1 4 1 1 2 3
+? 0 3 2 2 1 0 4
+? 3 2 1 2 2 1
+? 4 2 0 1 0 0 4 0
+? 2 4 1 4
+? 2 2 1 1 2 2 2 1 1 2 1 1 2 2 2 1
+? 0 4 3 1 2 2
+? 0 0 1 0 0 2 0
+? 4 1 4 1 0 1
+? 4 2 1 0 3 3 3 3
+? 4 2 2 4 0
+? 2 2 0 2 2
+? 1 0 1 0 1
+? 4 3 1 4 4 1 2
+? 4 4 2 4 1 1 1 0 4 0 4 2 0 3 3 3 3 3 1 4 2 0 3 2 2 0 0 0
+? 2 0 2 4 1 4 3
+? 2 3 1 3 3 1 4 0 1 1
+? 2 3 4 4 4 4 3 1 1 3 2 3 2 1 0 3 3 3 4
+? 2 4 1 2 4 0 0 0
+? 2 2 0 1 2 0
+? 2 1 3 1 1 3 3 1 2 2 2 2
+? 4 0 4 1 1 0 1 0 0
+? 2 4 3 4 4 1 3
+? 2 2 2 1 1 3 2 2 2 1 1 2
+? 2 2 1 3 4
+? 3 2 2 2 2 2 1
+? 4 1 2 1 2 2
+? 3 1 1 4 0 3 4
+? 3 1 0 2 3 4
+? 2 2 1 1 2 2
+? 3 3 2 1 1 3
+? 2 0 2 0 4
+? 2 1 3 1 4 3 3 4 3 3 1 0 4 0 3 4 1 1
+? 2 1 3 0 3 1 0 3 4 3 1 4 1 3 4
+? 3 1 0 4 3 3
+? 4 2 0 1 0 0 0 0 0
+? 2 4 0 3 4 4 4 1
+? 4 1 0 0 2
+? 2 2 4 1
+? 4 1 0 4 1 1
+? 3 2 1
+? 2 1 4 4 0 3 4 2 3 0 2 1 3 3 3 4
+? 3 1 2
+? 0 3 4 2 4 0
+? 3 0 0 3 3
+? 2 3 2 2 2 0 1
+? 4 0 0
+? 2 3 2 1 0
+? 2 0 2 4 1 0 1 2 4
+? 2 3 1 1 1
+? 2 3 3 3 1 4 3 3
+? 2 1 2 3 1 0 3 3 3 3 3 4
+? 2 0 4 1 3 4 0
+? 2 3 3 0 3 0 3
+? 4 4 2 3 1 0 2 0
+? 3 2 0 4 4
+? 1 0 4 3 4
+? 2 4 1 4 3 0 3 2 1 1
+? 3 2 1 0 4 4
+? 2 0 0 2
+? 3 2 0 3 4 3 3
+? 2 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1
+? 2 1 0 2 4 2 1
+? 2 1 3 1 0 4 0 4 3 1 1 1 1 3 3 0 3 1
+? 2 1 1 4 1 4 4 3 1 1 0 1 0 4 1
+? 2 1 4 3 0 3 4 3 1 0 4 0 4 1 0 4 4 2 2 4 3
+? 2 3 3 1 4 2 2 0
+? 4 4 1 0 1 0 3
+? 1 0 3 4 0
+? 2 0 1 1 2 3 1
+? 2 2 2 2 2 2 1 1 2 1 1 2 1
+? 1 2 4
+? 2 4 3 2 3 4 3 2
+? 2 0 1 3 4 3 4
+? 4 1 4 1 1 0 4 1 2 2
+? 2 1 3 0
+? 3 1 0 3 4 3 4
+? 2 2 2 2 2 1 4
+? 2 2 2 2 2
+? 2 4 3 0 1 4
+? 2 2 0 0 2
+? 3 1 2 4
+? 4 3 1 0 3 1 0
+? 2 1 1 4 3 0 3 4 4 1 2
+? 3 2 2 0 2 2 2 1
+? 2 4 3 4
+? 4 2 1 4 0 1 0
+? 2 3 3 1 4 4 3 4 0 0 2 4 1 2 3 4
+? 2 3 3 0 0 4 0 4 0
+? 2 4 2 4 1 4 1
+? 2 2 1 2 1 0 4
+? 0 4 1
+? 2 0 2 4 1 0 1 4
+? 0 3 0 1 4
+? 3 2 2 1 4 3 3 4
+? 4 1 4 1 1 0 2 2
+? 4 1 3 1 0 4 1
+? 1 2 3 2 2 2 0
+? 3 2 2 2 2 2 3 1 0 3 3 1 0 3 3 3 4
+? 2 1 1 0 3 3 0 3 0 4 1 0 4 0 3 0 4 4 4 4 0 3 1 1 2 1 1 2 1 1 2
+? 3 2 2 4 2 2 2 1
+? 3 0 1 2 2 2 2 2 0 3 4
+? 4 2 3 2 0
+? 3 4 3 1 2 1
+? 4 2 1 2 1 2 1
+? 2 1 0 0 2 1 3 2 4 1
+? 4 2 4 1 2 3 4 2
+? 2 3 1 0 2 4 4 0 1 4 1 0 0 2 0 0 0 3 2 1 2
+? 2 1 1 1 1 2 2 2 2 2 1 1
+? 2 1 0 0 0 2 4 0
+? 2 1 2 2 4 1
+? 3 2 2 2 2 2 2 1 0 2 4
+? 2 1 2 3
+? 2 1 0 0 2 3 2 2 4 1 2 4 1 0 1 4
+? 2 1 4 3 4 4 3 1
+? 1 2 3 4 4 4 4 3 4 0 1 1
+? 2 0 4 0 0
+? 3 2 1 1 1 2 4 0 3 3 3 4
+? 2 1 3 2 2 0
+? 2 3 1 0 3
+? 4 1 1 2 4 1 2 1 2 0 2
+? 2 3 4 4 4 4 3 1 2 1 3 0 0 3 1
+? 3 2 3 1 0 3 3 3 4
+? 3 2 4 2 2 3 1
+? 3 2 2 2 2 1 0 3 3 3 3 4
+? 3 3 0 3 0 4
+? 4 2 0 3 4 1
+? 2 3 0 0 2 0 1 1 2 1 1 2 1 2 1 1 2 2 2 2 2 1 1 2 2 2 1 1 2 1
+? 2 3 3 1 0 4 0 3 4 2 4 0 4 1 2 3
+? 2 1 4 4 0 4 0 3 4 3 2 2 0 3 0 2 1 4
+? 2 4 0 3 0 1
+? 2 2 2 1 4 3 4
+? 4 1 4 3 1 0 1 0 0 0 0
+? 2 1 3 1 0 3 1 1 3 4 4 0 3 1 1 3 1 1
+? 2 0 0 4 3 0 1 2
+? 4 4 3 1
+? 2 2 3 1 4 1
+? 4 2 1 0 4 4 1 1
+? 4 2 4 2 3 1
+? 4 1 1 4 1 1
+? 1 3 2 4 1 0 4
+? 2 3 2 3 2 2 2 1 0 4
+? 0 2 2
+? 2 4 2 2 3 1 1 3 2 2 0 1 0
+? 0 0 3 1 2 0
+? 4 1 3 3 4
+? 2 2 4 2 1 3 1 2 2 2 1 1 2 1 2 2 1
+? 3 3 3
+? 2 3 2 2 3 0 0 2 1 2 3 2 2 1
+? 3 1 0 1 3 3 3 3 3 3 3 3 4
+? 3 1 4 1 3 2 1
+? 2 1 3 0 4 3 1 0 3 0 3 4 3 1 0 4 4 1 1
+? 3 2 0 1 3 4 0 0 4
+? 4 1 4 1 0 3 3 3 3 4 3 4 0
+? 4 1 4 1 0 3 3 2 1 0
+? 4 4 0
+? 4 2 1 1 0 3 4
+? 2 2 2 2 0 4
+? 4 0 1 2
+? 2 2 1
+? 4 0 4 1 0 3 0 3 1 0 0
+? 3 2 1 0 3 2 4
+? 2 4 4 2 3
+? 2 0 1 1 2 1
+? 2 2 1 1 1 1 2 1 1 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1
+? 2 2 2 2 2 2 2 2 1 1 2 1 3 2 1 1 3 2
+? 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2
+? 4 2 3 3 4 4 1 1 4 1 4
+? 2 3 3 0 0 0
+? 2 1 4 0 4 4
+? 2 2 2 2 2 2 2 2 1
+? 4 2 1 0 1 3 3 1 0
+? 2 2 2 2 1 1 2 1 1 1 2 2 1 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 2
+? 3 3 1 2 1 2 0 4
+? 2 3 3 1 0 4 4 2 4 1
+? 2 1 4 3 4 3 0 4 4 0 4 1 0 4 4 4 4 0 3 0 4 1 0 3 1 0 3 4 2 3 2 2 2 2 2 2 1 0 3 4
+? 4 0 4 1 2 1 2 2 2 2 2 2 2 2 2
+? 4 1 2 1 1 0 3 0 0
+? 0 3 2 2 0 3
+? 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 2 0 2 2 2 2 2 1
+? 2 4 1 1 4 2 2 1 1 2 2 2 2 2 2 2 1