RubyGems - stamina - Versions diffs - 0.4.0 → 0.5.0 - Mend

stamina 0.4.0 → 0.5.0

Files changed (116) hide show

data/CHANGELOG.md +22 -5
data/LICENCE.md +2 -2
data/bin/stamina +1 -7
data/lib/stamina.rb +10 -19
metadata +54 -333
data/.gemtest +0 -0
data/Gemfile +0 -2
data/Gemfile.lock +0 -37
data/Manifest.txt +0 -16
data/README.md +0 -78
data/Rakefile +0 -23
data/example/adl/automaton.adl +0 -49
data/example/adl/sample.adl +0 -53
data/example/basic/characteristic_sample.adl +0 -32
data/example/basic/target.adl +0 -9
data/example/competition/31_test.adl +0 -1500
data/example/competition/31_training.adl +0 -1759
data/lib/stamina/abbadingo.rb +0 -2
data/lib/stamina/abbadingo/random_dfa.rb +0 -48
data/lib/stamina/abbadingo/random_sample.rb +0 -146
data/lib/stamina/adl.rb +0 -298
data/lib/stamina/automaton.rb +0 -1263
data/lib/stamina/automaton/complete.rb +0 -36
data/lib/stamina/automaton/equivalence.rb +0 -55
data/lib/stamina/automaton/metrics.rb +0 -78
data/lib/stamina/automaton/minimize.rb +0 -25
data/lib/stamina/automaton/minimize/hopcroft.rb +0 -116
data/lib/stamina/automaton/minimize/pitchies.rb +0 -64
data/lib/stamina/automaton/strip.rb +0 -16
data/lib/stamina/automaton/walking.rb +0 -363
data/lib/stamina/classifier.rb +0 -52
data/lib/stamina/command.rb +0 -45
data/lib/stamina/command/abbadingo_dfa.rb +0 -81
data/lib/stamina/command/abbadingo_samples.rb +0 -40
data/lib/stamina/command/adl2dot.rb +0 -71
data/lib/stamina/command/classify.rb +0 -48
data/lib/stamina/command/help.rb +0 -27
data/lib/stamina/command/infer.rb +0 -141
data/lib/stamina/command/metrics.rb +0 -51
data/lib/stamina/command/robustness.rb +0 -22
data/lib/stamina/command/score.rb +0 -35
data/lib/stamina/errors.rb +0 -23
data/lib/stamina/ext/math.rb +0 -20
data/lib/stamina/induction/blue_fringe.rb +0 -265
data/lib/stamina/induction/commons.rb +0 -156
data/lib/stamina/induction/rpni.rb +0 -186
data/lib/stamina/induction/union_find.rb +0 -377
data/lib/stamina/input_string.rb +0 -123
data/lib/stamina/loader.rb +0 -1
data/lib/stamina/markable.rb +0 -42
data/lib/stamina/sample.rb +0 -267
data/lib/stamina/scoring.rb +0 -213
data/lib/stamina/utils.rb +0 -1
data/lib/stamina/utils/decorate.rb +0 -81
data/lib/stamina/version.rb +0 -14
data/stamina.gemspec +0 -191
data/stamina.noespec +0 -32
data/tasks/debug_mail.rake +0 -78
data/tasks/debug_mail.txt +0 -13
data/tasks/gem.rake +0 -68
data/tasks/spec_test.rake +0 -79
data/tasks/unit_test.rake +0 -77
data/tasks/yard.rake +0 -51
data/test/stamina/abbadingo/random_dfa_test.rb +0 -16
data/test/stamina/abbadingo/random_sample_test.rb +0 -78
data/test/stamina/adl_test.rb +0 -516
data/test/stamina/automaton/classifier_test.rb +0 -259
data/test/stamina/automaton/complete_test.rb +0 -58
data/test/stamina/automaton/equivalence_test.rb +0 -120
data/test/stamina/automaton/metrics_test.rb +0 -36
data/test/stamina/automaton/minimize/hopcroft_test.rb +0 -15
data/test/stamina/automaton/minimize/minimize_test.rb +0 -55
data/test/stamina/automaton/minimize/pitchies_test.rb +0 -15
data/test/stamina/automaton/minimize/rice_edu_10.adl +0 -16
data/test/stamina/automaton/minimize/rice_edu_10.min.adl +0 -13
data/test/stamina/automaton/minimize/rice_edu_13.adl +0 -13
data/test/stamina/automaton/minimize/rice_edu_13.min.adl +0 -7
data/test/stamina/automaton/minimize/should_strip_1.adl +0 -8
data/test/stamina/automaton/minimize/should_strip_1.min.adl +0 -6
data/test/stamina/automaton/minimize/unknown_1.adl +0 -16
data/test/stamina/automaton/minimize/unknown_1.min.adl +0 -12
data/test/stamina/automaton/strip_test.rb +0 -36
data/test/stamina/automaton/to_dot_test.rb +0 -64
data/test/stamina/automaton/walking/dfa_delta_test.rb +0 -39
data/test/stamina/automaton/walking_test.rb +0 -206
data/test/stamina/automaton_additional_test.rb +0 -190
data/test/stamina/automaton_test.rb +0 -1104
data/test/stamina/exit.rb +0 -3
data/test/stamina/induction/blue_fringe_test.rb +0 -83
data/test/stamina/induction/induction_test.rb +0 -70
data/test/stamina/induction/redblue_mergesamestatebug_expected.adl +0 -19
data/test/stamina/induction/redblue_mergesamestatebug_pta.dot +0 -64
data/test/stamina/induction/redblue_mergesamestatebug_sample.adl +0 -9
data/test/stamina/induction/redblue_universal_expected.adl +0 -4
data/test/stamina/induction/redblue_universal_sample.adl +0 -5
data/test/stamina/induction/rpni_inria_expected.adl +0 -7
data/test/stamina/induction/rpni_inria_sample.adl +0 -9
data/test/stamina/induction/rpni_test.rb +0 -129
data/test/stamina/induction/rpni_test_pta.dot +0 -22
data/test/stamina/induction/rpni_universal_expected.adl +0 -4
data/test/stamina/induction/rpni_universal_sample.adl +0 -4
data/test/stamina/induction/union_find_test.rb +0 -124
data/test/stamina/input_string_test.rb +0 -323
data/test/stamina/markable_test.rb +0 -70
data/test/stamina/randdfa.adl +0 -66
data/test/stamina/sample.adl +0 -4
data/test/stamina/sample_classify_test.rb +0 -149
data/test/stamina/sample_test.rb +0 -290
data/test/stamina/scoring_test.rb +0 -63
data/test/stamina/small_dfa.dot +0 -16
data/test/stamina/small_dfa.gif +0 -0
data/test/stamina/small_nfa.dot +0 -18
data/test/stamina/small_nfa.gif +0 -0
data/test/stamina/stamina_test.rb +0 -80
data/test/stamina/utils/decorate_test.rb +0 -65
data/test/test_all.rb +0 -7

data/example/competition/31_training.adl DELETED Viewed

@@ -1,1759 +0,0 @@
-+ 2 0 1 1 4 4
-+ 4
-- 1 2 4 1 1 0 2
-- 3 1 1 1 0 3 4
-- 4 3 0 2 1
-+ 4
-- 2 3 4 3 1 1 1 2 3
-- 4 0 2 1 0
-- 2 0 0 3 4 4 4 4 1 1
-- 2 1 2 2 1 0 4 4
-- 2 1 2 4 0 1 1 2 1
-- 2 1 1 4 2 2 0
-- 2 4 2 2 4
-+ 3 1
-+ 4 2 1 1
-- 3 2 3 1 0 4 4 1 4 1
-- 2 0 4 1 4 1
-+ 3 1
-- 2 4 1 4 2 0 0 0
-+ 4 1 4 1 1 1 0 4 2 3 1 0 0 0 0
-- 3 3 4 0 4 4
-- 4 2 2 2
-- 2 1 0 3 4
-- 4 4 2
-+ 4
-- 1 4 4 4 0 1 1
-- 4 2 3 1 2 1 2
-- 2 3 3 0 1 4 4 1 0 4 3 1 2
-+ 2 1 4 4 0 3 1 1 3 1 1
-+ 2 1 4 4 0 3 1 1 3 1 1
-- 3 2 1 4
-+ 2 3 0 0 4 2 1 0 3 3 3 0 0 3 4 3 1
-+ 3 2 2 2 1 0 3 4
-- 4 4 0 1 2 0
-- 3 2 2 1 4 1 0 3 1
-- 0 2 2 0 2 2 2 2 2 2 1 1 4
-- 1 2 4 2 0
-- 2 1 4 1 2 0
-+ 4
-- 4 1 4 4
-- 2 0 0 3 1
-+ 4 2 1 0 4 2 0 0 3 3 3
-- 0 4 2
-- 4 3 3 4 0
-+ 2 4 1 2 1
-+ 2 2 1 1 2 1 1 2 1
-- 2 1 0 3 3 1 4
-+ 3 1
-+ 4 0 4 1 1 0 4 1 2 3
-- 2 2 1 0 4 2 1
-- 2 2 3 0
-+ 3 1
-- 3 0 2 1 2 3 4
-- 2 4 3 4 3 0 1 3 2 4 2 1 2 0
-+ 2 0 1 0
-+ 3 2 2 2 2 2 2 2 2 2 1
-+ 2 3 4 3 4 3 3 0 4 1 1 3 3 1 4 2 2 0 3 0 1 4
-+ 2 3 2 2 4
-- 2 1 4 3 0 4 1 1 3 2 4 3 4 4 3 0 1 3 1 0 4 1
-- 3 4 2 3 2 1 1 0
-- 3 0 1 0 3 3 3 3 3 3 4 4
-- 0 3 2 2 0
-+ 4
-+ 4 1 4 1 1 2 1 2 2 2 2
-- 3 2 2 1 0 3 2 4
-- 1 4 0 4 1 2 0
-+ 3 1
-- 3 3 0 1 2 2
-- 2 3 3 3 1 4 0 1 1 4 4
-+ 4 1 4 1 1 1 0 2 0
-+ 2 3 0 0 2 1 0 1 1
-- 3 3 1 1 4
-- 0 3 2 2 0
-+ 2 3 2 2 1 4 3 1
-+ 4
-- 2 0 1 0 1 4 4
-+ 3 1
-- 1 0 4 3 3 3 4
-- 2 0 0 3 1
-- 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 1 2 1
-- 2 2 1 4 4 1 1 1 2 3 0 4
-- 3 2 4 3 2 1
-- 2 2 1 1 2 1 2 2 2 2 0 2 1 1 2 2 2 2 2
-+ 4 0 4 1 1 0 4 1 2 3
-- 2 1 2 3 3 0 3 4 4 3 4 1 0
-- 2 0 3 3 0 0
-+ 3 1
-- 2 1 0 0 2 1 4 4 1 1 0 2
-- 1 1 0 0 2 3 3 3 4
-- 4 2 3 2 3
-- 3 4 2 2
-+ 2 1 0 0 3 2 2 2 1 0 3 4
-- 1 4 4 0 4 4 2 4 2 1 4 0
-- 2 2 4 4 2 2 2 2 1
-+ 3 1
-- 2 2 1 1 1 2 2 2
-- 3 3 4 0 4 4
-+ 4 2 1 0 3 3 2 1 2 0
-- 4 3 4 2 2 1
-+ 4 2 1 0
-- 0 0 3 3 4
-+ 2 3 3 1 0 3 4 0 0 4 1 4 0
-- 0 1 0 4 3 4
-- 3 3 2 1 1
-- 3 2 2 2 2 2 2 2 2 1 3 2 1
-- 0 2 1 4 2 3 1 3 2 4 4 1 2
-- 3 2 4 2 2 1 0 3
-+ 4 0 4 1 1 0 2 1 2 0
-+ 4
-- 2 2 1 1 2 1 1 2 4 4 2 2 2 3
-+ 4 2 1 0 2 2 0 0 0 0 0
-- 3 1 2 3 4
-+ 4 0 4 1 1 1 1 2 0
-+ 2 1 4 3 4 4 3 0 3 4 2 2 4
-+ 4
-+ 4 2 1 1
-+ 3 1
-- 4 3 2 1 1 1 0
-+ 3 1
-- 2 3 4 3 4 4 0 4 1 1 1 1 1
-+ 2 3 4 3 1 1 4 2 1
-- 2 4 4 1 0 4 0 3 3 2
-- 3 3 2 0 3 2 4
-+ 3 1
-- 1 1 4
-- 4 2 0 4 1 3 4 2 1
-- 2 2 3 4 4 0 4
-- 3 2 2 2 2 1 2 3 2 2 2 2
-- 0 4 0 2
-+ 3 1
-+ 2 4 3 4 3
-- 2 3 3 4
-+ 4 2 1 1 0 4 2 0 0 3 4 3 4 2 3 2 1 1 0
-+ 3 1
-+ 4
-+ 2 3 0 0 4 0 4 0
-- 1 3 2
-- 3 2 1 2 0
-- 0 2 2 2 3 1 4
-+ 4
-+ 3 1
-+ 3 2 2 2 1 0 3 3 3 3 3 3 3 3 4
-+ 4
-- 2 1 1 4 2 2 0
-+ 2 1 4 3 0 4 4 1 0 2 3 1 0 3 3 3 4
-- 3 4 1 0 3 4
-- 0 4 1 1 0 4 2 1 0
-+ 4
-- 0 4 0 2
-- 4 2 0 4 1 3 4 2 1
-+ 4
-- 3 2 1 0 4 3 3 4
-- 3 2 2 1 2 2 1 4
-+ 3 1
-+ 4 0 4 1 0 2 0
-- 2 1 2 3 3 0 3 4 4 3 4 1 0
-+ 2 4 4 1
-+ 2 0 4 1
-+ 4 0 4 1 1 2 0
-+ 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 2 2 2 1 1 2
-+ 4
-+ 2 1 2 3 1
-+ 4
-+ 4
-- 3 2 2 2 2 1 2 3 2 2 2 2
-+ 3 2 1 0 3 3 3 3 3 4
-+ 2 1 1 3 3 0 4 4 0 4 4 4 4 1 0 4 0 4 4 1 4
-+ 2 1 4 4 1 1 4 2 1
-+ 2 3 0 0 4 2 1
-+ 2 1 4 3 1 0 3 4 4 4 0 3 4 4 3 0 4 1
-+ 2 2 1 1 2 1 1 2 1
-- 4 0 1 2 1 2 2 2 2 2
-- 0 3 2 3 0 1
-+ 4
-- 0 0 1 3
-- 2 1 2 1 3 1 2 1 4 2 2 4 1
-- 2 0 1 1 2 2 4 1 3
-- 3 0 4 4
-+ 4
-- 3 2 1 0 0
-- 2 1 4 3 4 4 0 3 1 1 0 0 2 4 3 0 0
-+ 3 1
-- 2 4 0 0 4
-+ 4 2 1 1 0 1
-+ 2 3 2 2 4 4 1
-+ 4
-- 0 2 1 4 0 4
-- 2 1 4 0 1
-+ 3 2 2 2 2 1 0 3 3 3 3 3 4
-+ 3 1
-- 3 2 2 1 0 3 4 4
-+ 2 2 1 1 2 2 2 2 2
-- 3 3 4 2 4 4 3 4 3 0 2 1
-- 2 1 2 4 0 1 1 2 1
-+ 4
-- 4 4 4 1 1 4 0
-- 1 0 2 0 0 4
-+ 3 1
-- 3 1 0 2 3 3 2 4
-+ 3 1
-+ 2 1 2 3 1
-- 3 0 2 2 2 4 1 0
-+ 4 2 1 0 3 3 4 1 2 4 2 1 0
-- 2 1 0 4 1 4
-- 2 3 3 4
-+ 2 0 1
-- 0 1 4 1 2 0
-- 4 3 1 2 0 4
-+ 2 0 1 0
-- 2 3 4 2 1 1 4 1 4 2
-- 3 2 2 1 4 0 4
-+ 3 1
-+ 2 3 2 2 4 2 4 1 0 0
-+ 4
-- 3 2 2 1 0 3 2 4
-- 2 4 0 0 4
-+ 4 1 4 1 0 3 0 0 3 2 2
-- 2 2 0 2 2 2 2 1 1 2 2 2 2 2 2 2 1
-- 2 2 1 4 3
-- 2 4 2 1 1 4 1
-- 4 3 4 4 4 4 0
-+ 3 1
-+ 4
-+ 4 0 4 1 1 1 1
-+ 2 1 3 1 4 2 2 2 1
-+ 3 1
-+ 2 4 1 2 1
-+ 4
-+ 4
-- 2 3 3 0 4 0 0 0 4 2 4 3 1 1
-- 2 2 4 4 2 2 2 2 1
-+ 4
-- 2 3 2 2 2 0 4
-+ 4
-+ 4 0 4 1 0 3 0 3 3 3 2
-- 2 0 1 3 2 0
-- 3 0 1
-- 2 1 4 1 0 4
-- 1 1 4 2 1 3 4
-+ 2 4 2 4 1 4 3
-+ 2 3 0 0 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2
-+ 3 1
-- 4 4 0 4 1 1 2 2
-- 4 4 1 0
-- 3 0 1 2 3 0 0 0
-- 2 4 4 3 2 4 0
-- 2 3 3 1 4 3 1 4 0 4 4 1 3 1 2 2 0 4
-- 2 1 0 3 0 0 4
-+ 3 1
-+ 2 4 3 4 4 1 4 1
-+ 3 2 2 2 1 0 3 3 3 3 3 3 3 3 4
-- 2 2 1 0 2 4
-+ 2 3 3 1 1 0 3 0 4 4 0 0 4 1
-+ 2 0 4 1
-+ 2 2 2 2 2 2 2 2 1 1 2 2 2
-- 2 1 3 0 3 1 0 0 3 1 0 0 3 0 4 4 0 1 1
-- 1 3 2 1 0 4
-+ 2 0 3 4 4 1
-- 3 2 3 4 2 2 1
-- 2 3 2 4 4 3 1
-- 4 4 1
-+ 4
-+ 4 1 4 1 1 0 4 1 2 1 0
-- 3 0 1
-- 0 4 2 2 2 1 0 2 3 4
-+ 2 3 2 4 1 4 1
-- 3 0 2 2 2 1 0 3 4
-- 4 4 1 0 2 2 1 1 1 0
-- 0 2 0 1 4 2
-- 2 2 1 4 1 0 4
-+ 2 1 2 3 2 2 2 2 2 2 1 0 4
-+ 2 4 4 1
-+ 3 1
-- 2 3 2 0 0 3 1
-- 1 2 1 1 1 2 0 2 0
-+ 4
-+ 4 2 1 0 4 0
-- 4 1 4 1 0 4 0 3 3 2 0 0
-- 0 1 1 0 3
-- 2 3 0 0 3 1 0 3
-- 4 3 3 1 0
-+ 2 1 4 4 0 4 1
-- 2 3 4 4 1 0
-- 3 2 1 0 2 3 3 2
-- 3 2 2 1 1 0
-- 0 1 2
-+ 3 1
-- 4 0 2 1 0
-- 0 3 0 2 2 2 4 1 0 1 2 3 0
-+ 3 1 0 3 3 3 3 4
-- 3 4 1 0 3
-- 2 2 1 1 2 2 2 2 2 1 1 2 2 4 2 2 3 4 2
-- 4 2 3
-- 4 4 1 1 1 1 3
-- 3 2 1 4
-+ 4
-- 4 3 4 2 2 1
-+ 2 1 3 3 0 4 1 0 3 4 0 0 4 2 0
-+ 2 3 3 1 1 0 3 0 3 1 0 3 0 4 0 3 4 0 0 3 2 2 2 2 2 2 1 0 4
-- 1 3 1 0 3 3 4
-- 3 4 2 3 2 1 1 0
-+ 2 1 3 1 0 4 1
-- 2 0 4 1 4 1
-- 2 4 1 2
-+ 4 1 4 1 1 0 2 1 2
-+ 4
-+ 3 2 2 2 1 0 3 3 3 3 3 4
-- 2 1 0 3 1 1
-- 4 1 1 2 1 2 1
-+ 4
-+ 2 3 2 4 1 4 1 0 1 0
-+ 2 1 4 3 4 1 4 1
-+ 3 1
-- 4 3 4 0 0
-- 3 1 4 1 3 1 1 0 1
-+ 2 1 4 4 0 3 4 0 0 4 2 0
-- 2 4 1 4 2 0 0 0
-+ 2 1 4 3 4 2 2 0 0
-- 3 3 4
-- 3 2 2 0 4
-+ 4 2 1 1 1 1 0 3 3 3 0 0 0 0 0 0 3 3 0 3 4 3 2 0
-+ 2 1 3 0 2 2 0 3
-+ 3 1
-- 3 1 0 2 3
-- 4 1 2 1 2
-- 3 2 3 1 0 4 4 1 4 1
-- 4 3 4 1 0 1
-+ 2 3 2 4 1 4 1 0 1 0
-- 1 4 4 4 0 1 1
-- 2 2 1 1 2 2 2 1 1 2 2 2 1 1 2 1 2 1
-+ 4 2 1 1 1 0 1 0 0 0
-+ 3 1
-- 4 1 4 1 1 1 0 3 0 0 3 2 3 2 2 0 0 0 0 0 2 0 0
-+ 4 1 4 1 1 0 2 1
-+ 2 1 1 0 2 4 2 0
-- 4 2 0 1 4 0 0 0 0 2 0
-+ 2 0 1
-+ 4 0 4 1 1 2 2
-+ 2 3 2 4 0 4 1 0 2 1 1 0
-+ 4 1 4 1 0 3 0 0 3 2 2
-- 2 1 0 1 0 0 0
-- 2 4 2 0 2 3
-- 1 2 1 4 4 2 3 1 2
-+ 4
-+ 4 2 1 0 4 0
-+ 3 1
-- 3 3
-+ 4 2 1 0 3 3 2 0
-- 1 1 1 2 2 2
-+ 4
-+ 2 4 4 1
-- 1 2 0 2 4 2 4 3
-- 4 0 4 2 1 1 0 1
-- 4 4 1 2 4
-+ 3 1
-+ 2 3 0 0 4 2 1 0 3 3 3 0 0 3 4 3 1
-- 4 2 2 1 1 2 2
-- 3 2 4 2 2 1 0 3
-- 2 0 1 1 2 1 1 2 2
-+ 2 1 2 3 2 2 2 2 1 0 3 3 3 3 4
-- 2 3 3 1 4 3 1 4 0 4 4 1 3 1 2 2 0 4
-- 3 1 0 2 0 4
-- 3 0 2 1 1 2 1 4
-+ 2 3 3
-+ 2 3 4 4 1 1 0 4 1
-- 4 2 4 1 1
-+ 2 3 2 2 2 1
-+ 2 1 1 0 3 1 1 0 3 0 4 0 3 0 4 1 0 3 1 1 3 2 2 3 1 2
-+ 2 1 4 3 4 1 0
-- 1 2 1 4 4 2 3 1 2
-- 1 3 4 1
-+ 2 0 4 1
-- 4 4 2 1 0 0 2 0 3 0 4 1
-- 3 2 2 4 2 1 0 4
-- 4 2 4 0 0
-- 4 1 1 0 2 2 0 0 0 0
-+ 2 1 4 3 0 3 4 4 3 0 4 0 3 1 1 0 4 4
-- 3 2 2 3 1
-- 3 0 2 4 1 3
-- 2 3 0
-- 2 3 3 0 4 1 0 4 1
-+ 3 1
-- 0 2 2 4
-+ 2 3 3
-- 0 4 4 1 1 1
-- 4 2 4 2 2 1
-+ 4
-+ 2 3 0 0 3 1 0 3 4
-- 3 2 2 0 4
-+ 2 2 2 2 1 1 2 1 1 2 2 2 2 2 1
-+ 2 4 2 4 1 4 4 1
-+ 4 1 4 1 0 4 1 2 1
-- 2 2 2 2 2 2 2 1
-+ 2 3 4 4 0 4 4 2 2 3 4 3 4 1 0 4
-+ 3 1
-- 1 3 1 3
-+ 2 1 4 4 1 1 2 1
-- 4 3 1 0 4 4
-- 2 1 1 0 0 0 4 3 2 1
-- 4 4 4 0
-- 4 2 3 2 3
-- 3 3
-- 3 3 0 2 2 2 2 2 2 1 0 3 4
-- 2 4 1 0 4 4 1
-+ 4 2 1 1
-- 0 4 3 4 1 1 2 4
-- 3 2 3 0 0 4
-- 2 1 0 0 2 1 4 4 1 1 0 2
-- 1 2 0 4 3 1
-- 2 2 2 2 2 2 2 1
-- 3 1 1 3 2 4
-+ 3 2 2 2 1 0 3 3 4
-+ 3 1
-- 3 3 0 3 4
-- 2 2 1 1 2 2 2 2 1 2
-+ 4
-+ 2 0 4 1
-- 0 4 4 1
-+ 4
-- 2 4 1 2 2 1
-- 1 4 3
-+ 4
-- 0 4 1 4 1 2 1 2 2 2
-- 2 3 4 4 1 0 3 1 0 4 4 4 1 4
-- 4 4 1 2 1
-- 2 1 0 3 4
-- 1 2 2 2 0 3 1 4
-- 2 3 1 0 3 0 4 3
-+ 2 4 2 4 1 4 4 1
-- 2 1 4 3 1 0 3 1 0 3 3 1 0 4 2 1 1 0 3 0 1 4
-+ 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 1 1 2 2 2 1
-- 3 3 1 0 3 3 3 3 1
-- 4 3 1 2 3 4
-+ 2 3 4 4 0 3 0 3 1 0 4 0 4 1
-+ 2 3 0 0 2 4 2 4 1 0 1 2 4
-+ 3 1
-- 3 3
-- 1 0 3 4
-+ 4 1 4 1 0 4 3 4 3 4 3
-+ 2 0 4 1
-- 3 0 4 2 4
-+ 2 0 3
-- 2 1 0 3 1 1
-- 4 3 0 4 2 0
-+ 4 2 1 1 2 0
-- 4 4 0 2
-- 3 2 2 2 2 2 2 0 1
-+ 4 0 4 1 1 2 2
-- 0 4 1 4 1 2 4 3 3 2 0
-+ 4
-- 2 4 0 3 3 2 1 1 1 0
-- 4 4 4 1 2 4
-- 2 2 4 1 1 2
-- 3 1 0 4 1
-- 3 4 3 0 0
-- 2 3 0 1 3 1 3 3 4
-+ 4
-- 0 0 1 3 0 2
-- 3 2 1 4
-- 3 2 0 1 3
-+ 3 1
-- 1 3 3 3 4
-- 4 2 0 0 2 3 4 1
-- 2 4 1 0 3 3 0 2 3
-- 2 2 1 2 1 1 2
-+ 3 2 2 2 1 0 3 3 4
-+ 4 1 4 1 2 1 2
-- 1 4 0 2
-+ 2 1 2 3 1 0 4
-- 1 3 0 0 4
-+ 2 3 2 2 4 2 4 1 0 0
-- 2 0 4 2 4 1 4 3 4 1 4 3 1
-+ 2 4 4 1
-+ 4
-- 4 1 3 0
-- 2 1 0 0 3 1 0 3 3 4 4
-- 3 1 0 2
-- 1 2 4 3
-+ 3 1
-+ 2 1 2 3 1 0 4
-+ 2 3 3 3 0 4 4 1 3 3
-- 2 4 2 1 1 4 1
-- 3 4 0 4 3 1
-- 4 2 2 1 2 0 4
-+ 4 2 1 0
-- 2 1 2 2 3 2 3
-+ 2 3 4 3 4 3 3 0 4 1 1 3 3 1 4 2 2 0 3 0 1 4
-+ 4 2 1 1 0 1 0 0
-+ 4
-- 3 0 3 3 3 4
-- 4 2 3 4 4
-- 4 2 3 1 0
-- 2 0 2 2
-- 3 3 2 1 1 0 4
-- 4 3 0 2 1
-- 4 3 1 2 0
-+ 4 2 1 0 3 3 4 1 2 4 2 1 0
-- 1 4 0 4 4 4 2 3 1
-+ 3 2 2 2 1 0 3 4
-- 3 2 1 3 3 3 3 3 4
-+ 2 3 0 0 3 1 0 3 4
-+ 2 1 2 3 1 0 4
-+ 3 1
-+ 2 1 0 0 3 2 2 2 1 0 3 4
-+ 2 1 0 0 2 1 3 3
-+ 2 1 4 3 1 0 3 0 3 4 1 1
-- 0 1 2 2 1 0 4
-+ 4 2 1 0
-+ 4
-- 4 0 4 3
-+ 2 1 0 0 3 2 1 0 4
-- 2 2 1 0 4 2 1
-+ 3 1
-+ 4
-- 3 2 1 0 0 1
-+ 3 1
-- 0 0 2 4 1 1
-+ 3 1
-- 4 1 4 1 1 1 0 3 0 0 3 2 3 2 2 0 0 0 0 0 2 0 0
-+ 2 0 4 1
-- 3 2 3 0 3 3 3 4
-- 3 3 4 0 4 4 4 3 0 4 1 1 2 1 1 2 2 3 2 1
-+ 3 1 0 3 3 3 3 4
-+ 4 2 1 1
-+ 2 3 1 0 3 0 1 1
-- 3 3 2 1 1 0 4
-+ 2 3 3 0 4 3 0 3 4 1 1
-+ 3 1
-- 2 4 1 1 0 3 1 1
-+ 2 4 3 4 3
-- 1 4 1 0 4 1 0 3 0 1 0 0 0
-- 4 2 2 1 2 2 0 1 2
-+ 4 0 4 1 0 2 0
-- 3 2 1 0 0
-+ 4 0 4 1 1 1 1 0
-+ 3 1
-+ 4
-- 2 0 1 3 2 0
-- 0 2 0 1 1
-+ 2 3 3 0 4 3 0 3 4 1 1
-+ 2 1 3 1 0 4 0 4 4 1 2
-- 2 0 0 4 4 1
-- 2 3 1 0 2 3 1 0 2 4
-+ 4 1 4 1 1 1 0 2 0
-+ 2 4 4 1
-+ 2 3 3 0 0 0 2 2
-- 2 3 4 3 4 2 2 0 2 0 4
-+ 4
-+ 2 1 0 0 2 0 4
-+ 2 2 2 2 2 2 2 2 1 1 2 1
-+ 2 4 2 4 1 0 1 2
-+ 2 1 3 1 0 3 4 1 4
-+ 2 0 1 3 4 3
-- 4 4 1 2 1
-- 0 3 2 0 4 1 4
-+ 4
-- 4 4 4 1
-- 3 3 2 1 0 0 2 4
-+ 4 2 1 0 2 2 0 0 0 0 0
-- 2 1 3 2 4 1 2 2 2 3 4 3 0 3 0 3 4 1 0 4
-- 3 0 3 3 3 4
-- 1 4 4 4 0 0
-+ 2 4 4 1
-+ 4 2 1 0 1
-- 3 2 2 1 0 3 4 4
-- 2 1 3 0 3 1 0 0 3 1 0 0 3 0 4 4 0 1 1
-- 1 4 4 2 1
-+ 4
-+ 4
-- 4 3 1 0 4 4
-- 3 2 2 2 2 2 2 2 1 2 1 0 4
-+ 3 1
-+ 3 1
-+ 3 1
-+ 4
-- 3 1 3 1 2 1 3 4
-- 3 3
-+ 4
-- 1 2
-+ 2 1 4 3 4 1 0
-+ 3 1
-- 3 3 2 0 3 2 4
-- 1 0 4 2 1
-- 2 4 0 3 3 2 1 1 1 0
-- 2 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 4 1 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1
-+ 2 1 4 4 0 3 4 0 0 4 2 0
-- 1 2 4 2 0
-+ 4 1 4 1 0 4 3 4 3 4 3
-+ 2 0 1 0
-+ 2 1 0 0 3 1 0 3 3 3 4
-- 2 3 1 4 3 4
-+ 2 4 4 1
-+ 4
-+ 3 1
-- 2 3 0 0 3 1 0 3
-+ 2 3 0 0 3 2 2 1
-- 2 0 3 3 0 0 1 3 2 2
-- 0 1 2
-+ 2 0 3 0 0
-+ 3 1
-+ 4 2 1 0 4 3 4 4 3 4 3 0 0 0 0 3 3 0 3 2 2 0 0 0
-- 1 2 2 1
-+ 3 1
-+ 2 2 2 2 2 2 2 2 1 1 2 2 2
-+ 4 0 4 1 1 1 2 0
-- 4 0 4 2 1 1 0 1
-- 3 4 3 1 0 4
-- 3 2 2 3 3 0 2
-- 3 3 2 2 2 2 2 1 0 4
-- 4 4 1 0 2 2 1 1 1 0
-- 2 1 0 3 3 1 4
-- 0 2 0 1 4 2
-- 4 2 1 1 0 4 2 0 0 2 0
-- 4 2 3 2 2
-+ 4
-- 2 3 1 4 3 4
-+ 2 3 4 3 0 4 1
-- 3 3 0 3 4 4 1 4 2 4 2 1 2
-- 3 3 4
-+ 2 1 2 2 3 4 3 1 1 3 3
-- 1 4 4 2 1
-+ 3 1
-- 1 4 0 2
-+ 2 1 3 0 4 4 1 1 0 4 4
-- 3 0 4 0 2
-+ 2 1 3 3 1 0
-- 3 2 1 0 0 1 4
-- 3 2 1 3 3 4 4
-- 2 2 3 2 2 4 3 1 2 2 0 0
-- 3 4 3 1 0 4
-+ 4 0 4 1 0 1 0 0
-+ 4 2 1 1 0 2 1 0
-+ 4 2 1 0 2 1 2
-- 3 1 1 3 1
-- 2 3 0
-- 1 3 0 0 4
-+ 3 1
-+ 4 2 1 0 1
-- 1 2 0 2 4 2 4 3
-+ 4
-- 3 2 1 0 2 3 3 2
-+ 4
-- 3 0 1 2 3 0 0 0
-+ 3 1
-- 2 3 1 0 3 4
-+ 2 3 0 0 2 4 2 4 1 0 1 2 4
-- 2 1 3 3 0 3 4 2 4 0 2 1 1 2 0
-- 3 2 2 4 2 1 0 4
-- 0 4 1 4 1 2 1 2 2 2
-- 3 2 3 1 3 0 3 4
-- 2 3 4 3 1 1 1 2 3
-+ 3 1
-- 3 0 1
-- 0 0 1 3
-+ 4
-+ 2 3 1 0 3 1 4 4 4 1 0 4 1 0 4 1 0 4 4 2 3 1 0 4
-- 3 0 2 2 2 4 1 0
-- 1 2 1 3 4 1 1
-- 2 1 0 3 0 0 4
-- 4 3 1 2 1 3 0
-- 3 3
-- 1 4 2 2 0
-- 3 3 0 1 2 2
-- 3 2 4 1 0 2 1 0 3 3 3 3 4 4
-- 3 3 2 2 0 4
-+ 2 1 3 1 1 0 4 4 3 3 0 4 0 4 1 1 3 0 1 1
-- 2 0 2 4 2 0
-+ 2 1 3 1 0 3 4 1 4
-- 3 2 2 1 4 0 4
-- 2 2 1 1 2 1 1 2 4 4 2 2 2 3
-+ 4
-+ 2 1 4 4 1 1 4 2 1
-+ 3 1
-- 0 3 0 2 2 2 4 1 0 1 2 3 0
-- 4 4 4 1 2 4
-+ 4 2 1 1 0 2 1 2 0
-+ 2 3 4 4 0 3 0 3 1 0 4 0 4 1
-- 3 1 0 2 3
-+ 4 2 1 0
-+ 3 1
-- 2 0 3 2 0 4
-- 1 0 2 0 0 4
-+ 4
-+ 2 4 4 1
-- 3 4 0 2 1 0 2
-- 2 2 1 0 3 3 3 3 3 3 1 3 4
-- 2 4 4 4 1
-+ 3 1
-- 2 3 4 4 1 0
-- 4 2 1 1 0 4 2 0 0 2 0
-- 2 3 1 1 0
-+ 2 0 3 0 0
-+ 4
-- 3 1 2 1 0 4
-+ 3 1
-+ 2 1 3 1 0 4 1
-- 3 4 0 0 4 1
-+ 4 1 4 1 0 4 1 2 1
-+ 4 2 1 0 4 2 0 0 3 3 3
-- 4 0 0 0
-- 1 4 1 3 0 3 0 3
-+ 3 1
-+ 2 0 3
-+ 3 2 2 2 1 0 3 4
-- 3 1 0 2
-+ 3 1 0 3 3 3 3 4
-+ 3 1
-+ 2 3 3 0 3 3 0 4 4 0 1 1
-+ 3 1
-- 2 2 2 1 4 1 3 1 2
-- 4 4 0 4 1 0
-- 0 2 0 2 1
-- 0 1 0 1 0 1 0
-- 4 2 1 3 0 0 0 0 3 3 3
-- 4 1 4 4
-+ 4
-- 2 4 1 0 4 4 1
-+ 4 2 1 1 1 1 0
-- 3 3 0 3 4
-+ 4
-+ 2 1 3 0 4 4 1 1 0 4 4
-- 1 0 0 0 4 0 4 0
-- 3 2 3
-+ 3 1
-- 2 3 0
-- 2 0 1 3 3 4
-+ 2 2 1 1 2 1 1 2 1 1 2 1
-+ 2 4 1 3 0 1 2 2
-+ 2 1 3 3 1 1 2 3 1 0 4
-+ 2 0 1 2 1
-+ 4
-- 2 3 2 2 1 0 3 3 4 4
-- 4 0 1 4
-- 3 3 3 1 0 3 3 3 4
-+ 4 2 1 1 1 1 0 3 3 3 0 0 0 0 0 0 3 3 0 3 4 3 2 0
-- 4 0 2 2 3 4 0
-+ 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2 2 2 1 1 2 2 2 1
-- 2 3 0 3 1 2
-- 0 4 2
-+ 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2
-+ 4
-+ 2 4 4 1
-+ 2 3 0 0 2 0
-- 3 2 1 0 3 3 3 3 0 3 2 3 2 4
-- 4 0 4 2
-+ 2 3 4 3 1
-- 3 4 2 1 1 2 0 3 3 4
-+ 3 1
-- 4 4 1
-- 1 4 1 3 0 3 0 3
-+ 4
-- 0 2 2 2 3 1 4
-- 3 1 1 3 2 4
-+ 3 2 2 2 2 1 0 3 3 4
-- 0 3 2 0 4 1 4
-- 0 4 0 0
-+ 3 1
-- 2 0 2 2
-- 3 4 2 1 1 2 0 3 3 4
-- 1 1 3 1
-+ 4 0 4 1 0 4 0 4 4 4 4 4 4 1
-+ 2 0 4 1
-+ 4
-- 2 4 1 4 2 2 3
-- 3 0 1 4
-+ 2 1 2 3 2 2 2 2 2 2 1 0 4
-- 3 2 2 1 4 1 0 3 1
-+ 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2
-- 2 3 1 0 3 4
-- 3 3 2 2 0 4
-- 4 3 3 4 0
-+ 3 1 0 3 3 3 3 4
-+ 2 0 1 4
-- 3 3
-- 2 3 3 0 0 0 1 1 4 4 2 4 4 0 4 1 1 2 2
-- 3 2 1 3 3 4 4
-- 2 2 1 0 2 0 1 2 1
-+ 3 1
-- 3 3 4
-+ 4
-+ 4 2 1 1 1 1 0
-- 2 1 4 1 2 0
-+ 4 0 4 1 1 1 1 2 0
-+ 3 1
-- 2 3 1 4 3 0 1 2 4 1 1 2 2 1 2
-- 2 3 2 1
-+ 2 0 1 1 2 3
-+ 3 1
-- 0 0 3 3 4
-+ 2 3 4 3 0 3 4 3 1 0 3 0 3 1 1 1 1 3
-- 0 2 0 4 0 0
-- 4 2 1 0 0 3 2 1 0 3 4
-- 4 4 0 2
-+ 4
-- 2 3 3 0 4 0 0 0 4 2 4 3 1 1
-- 2 2 3 0
-+ 3 1 0 3 3 3 3 4
-- 2 0 1 0 1 4 4
-- 3 0 3
-- 2 1 3 3 0 3 4 2 4 0 2 1 1 2 0
-+ 4 0 4 1 0 4 3
-- 4 0 0 4 0 0
-+ 4
-- 2 1 1 0 0 0 4 3 2 1
-- 3 2 2 0 4
-+ 3 1
-+ 2 3 2 2 2 1
-- 4 1 4 1 3 1 1
-- 4 1 1 2 1 2 1
-+ 2 4 4 1
-- 4 1 4 3 1 1 1 3 1 0
-- 2 2 0 2 1 0 4
-+ 2 1 3 1 4 1 4 1
-+ 2 3 4 3 1 1 0 4 1
-- 4 2 3 1 2 1 2
-- 3 1 0 2 0 4
-+ 2 3 1 0 3 1 4 4 4 1 0 4 1 0 4 1 0 4 4 2 3 1 0 4
-- 3 2 3 0 3 3 3 4
-- 3 4 1 4 0 3 3 4
-+ 4 2 1 0
-+ 4
-- 4 1 2 0 3 4
-+ 4 2 1 1 0 2 1 0
-- 2 1 0 1 0 0 0
-- 2 4 1 2 3 1 0 4
-- 2 1 4 1 4 1 0
-- 4 4 4 1 1 4 0
-- 4 2 4 0 0
-- 3 1 1 1 0 3 4
-+ 2 1 3 0 2 2 0 3
-- 0 2 1 4 0 4
-- 4 4 1 1 1 1 3
-- 2 2 1 3 0 4 4 4 4 4 2 4 1 4 0
-+ 2 3 4 3 0 4 1
-- 2 4 3 3 3 4 1 0 1 4
-- 2 3 2 2 2 0 4
-- 3 3 4 2 4 4 3 4 3 0 2 1
-+ 3 1
-+ 2 2 1 1 2 1 1 2 1 1 2 1
-+ 3 1
-- 3 2 3 0 0 4
-+ 2 0 4 1
-+ 4 0 4 1 0 4 3
-+ 4
-- 2 3 4 4 2 1 3 4 4 1 0 3 4 0 0 2 2 1 1 2
-+ 3 1
-- 3 2 2 1 2
-+ 2 3 4 4 0 4 4 2 2 3 4 3 4 1 0 4
-+ 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
-- 4 2 3 1 0
-+ 2 2 1 1 2 2 2 2 2
-- 1 4 3 1 4 4 0
-+ 2 3 0 0 2 2 1
-- 4 3 2 2 3 1 0 3 4
-+ 2 1 3 0 2 4 1
-- 2 3 1 1 2 1
-+ 4 1 4 1 1 1 0 1 0 0 0 0 0
-+ 4 2 1 1 2 0
-+ 2 0 1 4
-- 2 3 2 4 2 2 0
-- 1 0 1 0 4
-+ 2 3 3 0 3 3 0 4 4 0 1 1
-+ 4
-- 3 2 3 0 0 2 3 2 3 3 2 4
-+ 4
-- 2 3 0 1
-- 3 0 0 4 2
-+ 4
-- 4 1 0 4 1 0 3 3 4 1 2 0 4 2 3 0 3 4 0
-+ 3 2 2 2 1 0 3 3 4
-- 3 3 2 1 1
-+ 4 0 4 1 1 1 2 0
-+ 4 2 1 0 1
-+ 2 3 3
-- 2 0 4 4 0
-+ 4
-+ 4
-- 0 3 2 3 0 1
-+ 3 1
-+ 2 1 3 1 1 0 4 4 3 3 0 4 0 4 1 1 3 0 1 1
-+ 3 2 2 2 1 0 3 4
-- 1 4 4 0
-- 3 0 4 4
-- 4 1 3 1 2
-- 2 3 3 3 0 3 1 1 3 3 3 1 3 4 4 1 0 4 1 2
-- 3 2 1 0 0 1
-- 0 4 3 4 4 1
-- 4 4 4 1
-- 2 3 2 4 4 3 1
-- 2 3 0 1 3 1 3 3 4
-- 3 0 1 0 3 3 3 3 3 3 4 4
-+ 4
-- 0 2 0 4 0 0
-- 2 2 1 0 2 0 1 2 1
-- 4 2 1 0 3 1 0 3 3 0 0 3 3 3 2 0
-- 2 0 1 3 4 1 2
-+ 2 0 1 2 1
-+ 3 1
-- 4 0 1 4
-- 3 3 4 0 4 4 4 3 0 4 1 1 2 1 1 2 2 3 2 1
-- 3 2 1 3 3 3 3 3 4
-+ 2 3 4 4 1 1 0 4 1
-+ 3 1
-- 2 3 1 1 0
-+ 2 0 1 0
-- 2 0 3 3 0 0 1 3 2 2
-+ 3 1
-- 2 0 2 1 1
-- 2 4 0 0 0
-- 4 1 0 4 1 0 3 3 4 1 2 0 4 2 3 0 3 4 0
-- 1 4 2 2 1 0 3 3 1 1 0
-- 3 2 1 0 2 3 4
-- 1 2 0 4 3 1
-- 4 2 0 4 4 0
-+ 3 1
-+ 3 1
-+ 2 0 1 2 1
-+ 4
-- 0 4 3 4 1 1 2 4
-- 1 3 0 4 3 4
-- 4 0 4 2 1 0
-- 4 1 3 1 0 2 2 2 1
-- 2 4 3 3 3 4 1 0 1 4
-+ 4 0 4 1 0 3 0 3 3 3 2
-+ 4 2 1 0 3 3 1 0 0 0 0
-- 2 2 3 2 2 4 3 1 2 2 0 0
-+ 2 3 4 3 0 3 4 3 3 1 3 3 1 4 2 2 1 3 1 1 1 4 4 4
-- 2 0 2 1 1
-+ 2 0 1 0
-- 2 3 3 3 1 4 0 1 1 4 4
-- 3 2 2 1 3 3 4
-- 3 1 2 1 0 4
-- 3 0 1 4
-+ 4 0 4 1 0 2 0
-- 4 1 1 0 2 2 0 0 0 0
-+ 2 3 3 1 1 0 3 0 4 4 0 0 4 1
-+ 2 1 4 3 4 4 4 0 3 0 3 4 1 1
-- 2 1 3 2
-- 2 0 0 3 4 4 4 4 1 1
-- 4 4 0 1 2 0
-+ 3 1
-+ 2 4 2 4 1 0 1 2 2 2 2 2 2 2 2
-- 3 3 1 0 3 3 3 3 1
-- 2 1 4 3 4 4 0 3 1 1 0 0 2 4 3 0 0
-+ 3 1 0 3 3 3 3 4
-- 2 1 2 2 1 0 4 4
-- 1 2 1 1 4 0 3
-- 1 4 3
-+ 3 1
-- 1 4 0 4 4 4 2 3 1
-+ 3 1
-+ 2 1 0 0 3 2 2 1 0 4
-+ 4
-+ 2 3 4 3 1 1 2
-- 3 2 2 0 2 3 1 2 2
-- 2 4 1 1 0 3 1 1
-+ 2 3 4 4 0 4 4 0 0 2 4 0
-- 2 3 0 3 1 2
-+ 2 4 4 1
-- 4 4 0 4 1 0
-+ 2 1 2 2 3 0 0 2 4 3 0 0
-- 0 2 4 3 2 3 1
-+ 2 0 1
-- 1 0 4 3 3 3 4
-- 3 0 2 2 2 1 0 3 4
-- 4 1 4 1 0 2 4 4 4 0
-- 4 0 4 1 0 4 2 0 0 0 3 3 2 0 1 0
-- 4 4 4 0
-+ 4 1 4 1 0 4 1 2 3
-+ 2 0 3 4 4 1
-+ 2 0 3 0 0
-+ 4
-- 2 4 1 0 0 1
-+ 3 1
-+ 2 3 4 3 1 1 0 4 1
-- 1 3 4 1
-+ 3 1
-- 3 4 3 0 0
-- 0 2 1 0 4
-+ 2 1 4 3 4 2 2 0 0
-- 3 2 2 3 3 0 2
-- 2 4 3 4 2 1 0
-- 4 0 4 2 1 0
-+ 2 1 3 0 4 4 0 4 4 4 3 4 1 3 4
-+ 3 1
-- 2 4 3 3 0
-- 2 2 1 0 3 3 3 3 3 3 1 3 4
-- 3 2 2 2 2 2 2 0 0 3 3 3 4
-+ 4
-- 1 0 1 0 4
-+ 2 1 2 3 1
-+ 3 2 2 2 2 1 0 3 3 4
-- 2 2 3 4 4 0 4
-+ 4
-- 4 3 0 4 2 0
-+ 3 1
-+ 3 1
-+ 3 1
-- 2 4 3 4 2 1 0
-- 2 2 2 2 2 2 2 1 1 2 1
-- 2 3 4 4 1 0 3 1 0 4 4 4 1 4
-- 3 2 1 4
-- 3 2 0 1 0 0 3 3 4
-+ 4 1 4 1 1 1 0 1 0 0 0 0 0
-- 2 2 2 2 1 0 0 1 2 1 1 1 2 2 2 1 1 2 1 1 2
-- 2 2 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2
-+ 3 1
-+ 2 3 4 4 0 3 0 3 1 1 1 1 4
-- 2 0 3 2 0 4
-- 3 3 3 1 0 3 3 3 4
-+ 4
-- 3 2 1 2 0
-+ 4 1 4 1 1 1 0 4 2 3 1 0 0 0 0
-+ 4
-- 2 3 1 0 2 3 1 0 2 4
-- 2 3 0 2 3 1 2 3 0 3 1 4 4 4 0 1 1
-+ 4 2 1 0 3 3 2 0
-+ 4
-+ 2 3 2 4 1 4 1
-- 3 3 0 3 4 4 1 4 2 4 2 1 2
-+ 4 1 4 1 0 4 3 2 1 0
-+ 3 1
-- 2 4 1 4 0
-- 4 1 4 2 2 2 2 2 2 1 0 3 3 3 3 4
-+ 4 2 1 1 0 4 0 0 2
-+ 4 0 4 1 1 1 1 0
-+ 4 1 4 1 1 2 1 2 2 2 2
-+ 4
-+ 2 2 1 1 2 2 2 2 2 2 2 1
-+ 4
-- 2 4 1 4 2 2 3
-- 3 2 2 1 3 3 4
-+ 4
-+ 3 1
-- 0 2 2 0 2 2 2 2 2 2 1 1 4
-+ 4 2 1 1 1 0 1 0 0 0
-- 0 2 1 4 2 3 1 3 2 4 4 1 2
-+ 4 2 1 1 1 2 1 2 2
-+ 4 2 1 1 0 4 0 0 2
-- 3 3 0 2 2 2 2 2 2 1 0 3 4
-+ 2 3 4 4 0 4 4 0 0 2 4 0
-- 0 1 0 4 3 4
-- 4 2 2 3 1
-+ 3 2 1 0 3 3 3 3 3 4
-- 4 0 0 3 0
-- 4 4 2 1 1 1
-+ 3 1
-+ 2 3 3 1 0 3 4 0 0 4 1 4 0
-+ 2 4 3 4 4 1 4 1
-+ 4
-- 4 2 3 0 2 2 0 0 1
-- 0 4 1 1 0 4 2 1 0
-- 3 0 2 1 3 1
-+ 4 0 4 1 1 0 3 3 1 0 0 0
-+ 3 1 0 3 3 3 3 4
-- 4 0 2 2 3 4 0
-+ 4 2 1 0 1
-+ 3 1
-- 4 4 1 0
-+ 4 1 4 1 1 0 4 1 2 1 0
-+ 2 1 2 2 3 4 4 0 3 1
-+ 4
-+ 2 3 1 0 3 1 4 4 3 4 3 1 0 3 0 3 1 1 1 4 4 4 0 0 4 0 4 0
-- 3 2 2 1 2 2 1 4
-- 2 0 4 4 0
-+ 4
-- 2 2 3 4 4
-+ 3 1
-+ 2 3 3 1 1 1 2 2 2 1
-- 3 2 2 2 0
-- 3 2 4 3 2 1
-+ 4
-- 2 4 2 2 4
-+ 3 2 2 2 1 0 3 3 4
-- 4 1 2 0 3 4
-+ 2 0 3 0 0
-- 4 2 1 0 3 1 0 3 3 0 0 3 3 3 2 0
-+ 2 2 2 2 2 2 2 2 1 1 2 1
-- 3 2 1 0 3 3 3 3 0 3 2 3 2 4
-- 3 2 1 0 2 3 4
-+ 4 2 1 0 2 1 2
-- 0 4 4 1
-- 1 2
-+ 4 1 4 1 1 0 2 1
-+ 3 2 2 2 1 0 3 3 3 3 3 4
-- 1 2
-- 2 4 0 0 0
-- 4 2 3
-- 3 1 3 1 2 1 3 4
-- 4 3 1 2 3 4
-+ 2 1 3 1 1
-+ 4 2 1 0 3 3 1 0 0 0 0
-- 3 4 1 0
-- 1 2
-- 1 3 3 3 2 1
-- 3 2 1 0 3 0 4
-- 2 4 4 3 2 4 0
-- 4 0 0 1 4 1 2 0
-- 4 3 1 2
-- 4 4 0 4 1 1 2 2
-+ 3 2 2 2 1 0 3 4
-- 3 0 3 1 3 4
-+ 4 0 4 1 1 2 0
-+ 3 1
-- 3 4 1 4 0 3 3 4
-+ 2 1 2 3 1 0 4
-+ 2 3 3
-- 2 2 1 1 2 2 2 2 2 1 1 2 2 4 2 2 3 4 2
-- 1 1 4
-+ 2 3 3
-+ 2 4 1 3 0 1 2 2
-+ 2 3 4 3 0 3 4 2 4 0
-+ 3 1
-- 4 3 3 1 0
-+ 4 2 1 1 1 2 1 2 2
-- 2 3 0 1
-+ 3 1
-- 3 2 2 2 1 0 3 3 2 0 3 3 4
-- 2 3 0 4 4 3 1 1 1 1 1 4 1
-- 4 2 2 1 2
-- 3 2 3 1 3 0 3 4
-+ 2 4 4 1
-- 1 4 1 0 4 1 0 3 0 1 0 0 0
-- 4 1 2 1 2
-- 2 1 4 0 1
-- 0 1 0 1 0 1 0
-- 4 2 2 2
-- 3 2 1 0 3 0 4
-+ 3 1
-- 0 2 0 2 1
-- 2 3 1 4 3 0 1 2 4 1 1 2 2 1 2
-- 4 2 2 1 2 2 0 1 2
-- 1 1 4 0 2 0
-+ 3 2 2 2 1 0 3 4
-- 3 2 4 1 0 2 1 0 3 3 3 3 4 4
-+ 3 2 2 2 2 2 2 2 2 2 1
-+ 2 1 2 2 3 4 4 0 3 1
-+ 4
-- 2 1 2 1 3 1 2 1 4 2 2 4 1
-+ 2 3 4 3 1 1 2
-+ 4 2 1 1
-- 4 4 2 1 1 1
-+ 2 0 3
-+ 2 4 4 1
-- 0 1 4 1 2 0
-+ 2 4 2 4 1 4 3
-- 4 1 3 0
-+ 4 2 1 1 0 4 2 0 0 3 4 3 4 2 3 2 1 1 0
-- 2 2 3 0 4
-+ 3 1
-- 2 2 0 1 0 3 2
-+ 2 4 4 1
-- 2 4 4 1 0 4 0 3 3 2
-- 0 4 3 4 4 1
-- 0 1 2 2 1 0 4
-- 2 3 1 1 3 3 1
-- 1 2
-+ 2 1 2 3 1
-+ 3 1
-- 1 1 0 0 2 3 3 3 4
-+ 4 2 1 1 2 0
-+ 4
-+ 2 0 3
-- 4 1 3 1 2
-- 3 1 0 2 3 3 2 4
-- 1 3 1 0 3 3 4
-+ 2 3 2 2 4 4 1
-- 4 2 2 2 1 0 3 3 4
-- 2 1 1 0 0 3 4 4 2 0 1 2 2
-- 2 3 2 1
-- 0 2 1 4 1
-- 4 3 1 2 1 3 0
-+ 2 3 4 3 1 0 4 4 2 2 4 1 4 1
-- 3 0 2 1 2 3 4
-+ 4 0 4 1 0 1 0 0
-- 4 2 1 3 0 0 0 0 3 3 3
-+ 2 1 4 3 1 0 3 4 4 4 0 3 4 4 3 0 4 1
-+ 3 1
-+ 4
-- 4 2 2 1 3 4 1
-- 4 2 2 2 1 0 3 3 4
-- 1 4 3 1 4 4 0
-+ 2 1 3 1 4 1 4 1
-- 2 2 1 1 1 2 2 2
-+ 3 1
-- 1 2 4 1 1 0 2
-- 3 3 0 2
-- 2 2 1 0 2 4
-- 4 1 4 1 3 1
-+ 4
-- 4 3 1 2 0
-- 1 3 0 4 3 4
-- 1 0 1
-- 3 2 2 0 4
-- 4 4 2 1 2 3
-- 4 1 4 3 1 1 1 3 1 0
-+ 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
-+ 4 0 4 1 1 1 1
-+ 3 2 2 2 1 0 3 3 4
-+ 2 3 4 3 1 0 4 4 2 2 4 1 4 1
-+ 2 1 1 0 3 3 0 4 0 4 1 0 4 4 1 2
-- 2 2 3 3 1 4 3 4 2 4 1 4 0
-+ 2 1 4 3 4 4 3 0 3 4 2 2 4
-- 2 4 1 2 2 1
-+ 2 0 1 0
-+ 2 1 4 3 0 4 4 1 0 2 3 1 0 3 3 3 4
-+ 3 1
-+ 4
-+ 2 3 2 2 1 4 3 1
-- 3 0 1
-+ 3 1
-+ 3 1
-+ 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2
-- 0 2 4 3 2 3 1
-+ 4
-+ 3 1
-+ 2 1 3 1 1 0 3 1 1 4 3 0 0
-- 0 2 0 1 1
-- 3 4 2 2 3 3 3
-- 3 2 3
-- 3 3 1 1 4
-- 2 3 0 4 4 3 1 1 1 1 1 4 1
-+ 3 1
-+ 2 4 2 4 1 0 1 2 2 2 2 2 2 2 2
-- 2 1 4 1 4 1 0
-- 3 2 2 3 1
-+ 4
-+ 3 1
-+ 3 1
-+ 2 1 1 0 2 4 2 0
-+ 3 1
-+ 2 3 1 0 3 1 4 4 3 4 3 1 0 3 0 3 1 1 1 4 4 4 0 0 4 0 4 0
-+ 4
-+ 2 3 4 3 1
-+ 4
-+ 2 3 3 3 0 4 4 1 3 3
-+ 4
-- 3 2 0 2 2
-+ 3 1
-- 2 3 1 1 2 1
-+ 3 1
-- 2 2 1 4 1 0 4
-+ 3 1
-- 3 4 4 4 1 2 3 1 0 4
-- 2 2 0 2 2 0 2 2 2 1 0 4
-- 0 4 4 1 1 1
-- 3 2 2 2 0 1
-+ 2 0 3 0 0
-- 3 2 2 1 1 0
-- 4 3 2 2
-- 1 2 1 3 4 1 1
-- 2 2 3 4 4
-- 2 0 4 3
-+ 2 3 4 3 0 3 4 3 3 1 3 3 1 4 2 2 1 3 1 1 1 4 4 4
-- 4 3 4 4 4 4 0
-- 4 2 0 1 4 0 0 0 0 2 0
-- 3 3 2 1 0 0 2 4
-- 2 3 4 4 2 3 1 0 3 1 0 3 0 3 0 3 0 3 1 2 4 1 4 3 0
-- 0 0 2 4 1 1
-+ 2 3 4 4 0 4 0 3 1 1 1 2 2 4 1 0
-+ 2 1 3 0 2 4 1
-- 3 4 2 2
-- 3 2 3 4 1 1 0
-+ 3 2 2 2 1 0 3 4
-+ 3 1
-+ 2 2 2 2 1 1 2 1 1 2 2 2 2 2 1
-- 3 3 3 2 2 1
-- 2 3 3 3 0 3 1 1 3 3 3 1 3 4 4 1 0 4 1 2
-- 3 1 0 4 1
-+ 3 1
-- 4 2 4 2 2 1
-- 3 4 0 4 3 1
-+ 4
-- 1 1 4
-+ 4
-- 4 3 1 0 0
-- 3 2 2 0 3 1 4 1 4 1
-+ 3 1
-- 3 2 3 4 1 1 0
-- 4 1 4 1 3 1
-- 1 4 0 4 1 2 0
-+ 2 3 0 0 2 0
-+ 2 0 4 1
-- 2 3 1 1 3 3 1
-+ 2 3 0 0 4 0
-+ 4
-+ 4 2 1 1
-+ 4
-+ 4
-- 3 2 3 4 2 2 1
-+ 4
-- 3 4 1 0 3 4
-+ 2 0 1 2 1
-+ 4
-+ 4
-- 2 2 1 4 4 1 1 1 2 3 0 4
-- 2 2 2 2 1 0 0 1 2 1 1 1 2 2 2 1 1 2 1 1 2
-+ 3 1
-+ 4
-- 3 0 0 4 2
-- 4 4 0 4 1 1 0 4 4 4 2
-- 0 4 1 4 0 1 3 2 4
-+ 2 0 1 1 2 3
-+ 4
-- 3 4 2 2 3 3 3
-- 1 4 4 4 0 0
-+ 4 0 4 1 0 1 0 0
-+ 3 1
-+ 4 2 1 1 0 1
-- 2 4 1 2 3 1 0 4
-- 3 1 0 2
-- 4 1 0 2
-+ 4
-- 2 2 0 1 0 3 2
-- 1 0 4 2 1
-+ 2 3 0 0 2 2 1
-- 2 4 1 0 0 1
-- 2 1 4 3 1 0 3 1 0 3 3 1 0 4 2 1 1 0 3 0 1 4
-+ 3 1
-- 3 2 3 1 0 3 3 4
-+ 2 1 3 1 4 2 2 2 1
-+ 4 0 4 1 0 3 3 3 0 3 1 0 0
-- 2 2 1 1 2 2 2 2 1 2
-+ 4
-+ 3 1
-+ 4 2 1 1 0 2 1 2 0
-- 1 1 3 1
-+ 3 1
-- 2 4 1 0 3 3 0 2 3
-+ 2 2 2 2 2 2 2 2 2 2 2 2 1
-- 4 2 2 1 3 4 1
-- 1 3 1 3
-- 2 0 0 4 4 1
-- 3 2 2 0 2 3 1 2 2
-+ 4 2 1 1 0 4 0 0 0 1 0
-+ 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
-- 3 3 4 1 2
-- 4 3 2 2
-- 4 2 1 0 0 3 2 1 0 3 4
-- 3 1 2 3 4
-+ 4 0 4 1 0 2 0
-- 1 2 4 3
-- 1 3 2 2 2 1 4
-- 4 1 0 2
-+ 3 2 2 2 1 0 3 4
-- 4 1 2 0 1 3
-- 2 3 0 2 3 1 2 3 0 3 1 4 4 4 0 1 1
-- 3 4 1 0 3 4
-- 2 1 0 4 1 4
-- 2 1 3 4 4 0 3 0 3 0 4 4 2 3 2 2 1
-+ 2 0 4 1
-- 3 2 0 2 2
-- 3 2 2 1 2
-+ 4 2 1 0 3 0 0 3 2 0
-+ 2 1 2 3 2 2 1 0 3 3 3 3 3 3 3 4
-- 1 1 1 4 0 1 1
-- 1 4 2 2 0
-- 2 3 2 3 2 2 2
-+ 4
-+ 4
-- 4 0 2 4 3 1 3 1 0 3 1 0 0 0
-+ 3 1
-+ 3 1
-+ 2 0 1 2 1
-- 3 2 3 1 0 3 3 4
-+ 3 1
-+ 2 0 4 1
-- 2 0 1 1 2 2 4 1 3
-+ 2 1 4 4 4 3 3 1 1 1 4 1
-- 3 2 2 2 2 2 2 0 0 3 3 3 4
-- 2 1 0 4 3 2
-- 3 2 3 4 4
-- 2 0 2 4 2 0
-- 4 2 2 1 2 0 4
-+ 4 0 4 1 0 3 0 0 3 1 0 0 0 0
-- 2 4 1 4 0
-- 1 4 4 0 4 4 2 4 2 1 4 0
-+ 2 1 1 3 3 0 4 4 0 4 4 4 4 1 0 4 0 4 4 1 4
-+ 2 0 3
-- 3 2 2 2 0 1
-+ 2 3 4 3 4 2 3 1
-- 4 2 3 2 2
-- 3 0 4 2 4
-- 4 3 3 4 1 4 1
-+ 4 2 1 1 0 4 0 0 0 1 0
-- 3 3
-- 2 3 4 3 4 4 0 4 1 1 1 1 1
-+ 2 4 2 4 1 0 1 2
-- 3 4 4 4 1 2 3 1 0 4
-+ 2 3 4 3 4 2 3 1
-+ 2 4 1 1
-+ 2 1 2 2 3 0 0 2 4 3 0 0
-+ 3 1
-- 4 0 2 4 1 0
-- 4 1 4 1 3 1 1
-- 1 2 2 2 0 3 1 4
-- 3 2 1 0 4 3 3 4
-- 1 1 1 4 0 1 1
-+ 2 3 3 1 1 1 2 2 2 1
-+ 2 0 4 1
-- 4 1 2 0 1 3
-- 4 1 2 2 0
-+ 2 1 2 3 2 2 1 0 3 3 3 3 3 3 3 4
-- 2 4 4 4 1
-- 4 1 4 4 2
-+ 4 0 4 1 0 3 3 3 0 3 1 0 0
-- 3 0 2 1 3 1
-+ 3 1
-+ 2 0 3 0 0
-- 4 0 4 3
-+ 3 1
-+ 4 2 1 1
-- 2 2 0 2 2 0 2 2 2 1 0 4
-+ 2 3 0 0 3 2 2 2 1 0 3 3 4
-- 0 1 1 0 2 3 3
-- 4 4 1
-+ 4 1 4 1 0 4 1 2 3
-- 2 3 0 1
-- 2 2 1 2 1 1 2
-+ 4
-- 4 1 2 2 0
-- 3 2 2 2 2 2 2 2 1 2 1 0 4
-- 2 3 4 3 4 2 2 0 2 0 4
-- 1 2 2 1
-- 2 0 4 3
-+ 2 3 0 0 2 1 0 1 1
-- 0 2 1 4 1
-- 4 2 3 0
-- 3 0 3 1 3 4
-- 4 4 1
-- 3 0 4 0 2
-- 2 3 4 4 2 3 1 0 3 1 0 3 0 3 0 3 0 3 1 2 4 1 4 3 0
-- 2 4 3 3 0
-+ 3 1 0 3 3 3 3 4
-+ 2 3 3 0 0 0 2 2
-- 4 0 0 1 4 1 2 0
-+ 2 1 0 0 2 0 4
-+ 2 1 0 0 2 1 3 3
-+ 2 3 4 3 4 4 3 1 0 4 4 2 3 1 0 4
-- 4 2 3 0
-- 4 3 4 4 1
-+ 4
-+ 2 1 3 3 0 4 1 0 3 4 0 0 4 2 0
-- 3 2 2 2 0
-- 2 2 2 1 4 1 3 1 2
-+ 2 1 0 0 3 2 1 0 4
-- 4 2 2 3 1
-- 2 0 4 2 4 1 4 3 4 1 4 3 1
-- 4 2 4 1 1
-+ 4 0 4 1 0 4 0 4 4 4 4 4 4 1
-+ 3 1
-- 3 2 1 0 0 4
-+ 2 1 0 0 3 2 2 1 0 4
-- 3 2 0 1 3
-- 1 0 3 4
-+ 2 1 4 4 0 4 1
-+ 3 1
-+ 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1
-- 2 1 3 2
-+ 3 1 0 3 3 3 3 4
-+ 4 2 1 1 2 0
-+ 4
-+ 4
-- 4 2 2 1 2
-- 4 0 4 2
-+ 2 1 4 3 4 4 4 0 3 0 3 4 1 1
-- 3 3 4
-+ 3 1 0 3 3 3 3 4
-- 1 3 1 3 2
-- 3 3
-+ 2 3 0 0 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 1 1 2 1 1 2 2 2 2 2 2 2
-+ 2 3 3
-- 2 1 0 3 4
-+ 2 3 4 3 1 1 4 2 1
-+ 2 3 0 0 3 2 2 2 1 0 3 3 4
-- 2 2 2 2 1 1 2 1 3 2 2 2 1 1 2
-+ 2 1 3 1 1 0 3 1 1 4 3 0 0
-- 2 3 2 4 2 2 0
-- 3 1 1 3 1
-+ 4 0 4 1 1 0 3 3 1 0 0 0
-- 1 2 3 2 0 3 1
-- 4 0 0 4 0 0
-- 4 1 4 1 0 4 0 3 3 2 0 0
-+ 4
-- 1 0 1
-- 4 2 3
-- 2 1 1 0 0 3 4 4 2 0 1 2 2
-- 3 2 1 0 0 4
-- 4 2 3 4 4
-- 1 3 1 3 2
-- 2 1 2 3 0
-- 3 2 3 4 4
-+ 2 4 1 1
-+ 4
-- 3 0 2 4 1 3
-+ 3 1
-- 4 0 2 4 1 0
-- 3 0 1
-+ 3 1
-- 2 2 1 1 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 4 1 2 2 2 2 2 2 2 1 1 2 2 2 1 1 2 1
-+ 3 1
-- 4 3 4 0 0
-- 3 0 3
-+ 2 1 3 0 4 4 0 4 4 4 3 4 1 3 4
-- 2 3 2 3 2 2 2
-+ 3 2 2 2 1 0 3 4
-+ 2 1 0 0 3 1 0 3 3 3 4
-+ 2 3 2 2 4
-- 1 3 4 4 1
-- 2 1 0 4 3 2
-- 2 3 3 0 1 4 4 1 0 4 3 1 2
-+ 3 1
-- 4 2 0 4 4 0
-- 3 4 0 2 1 0 2
-+ 2 1 2 2 3 4 3 1 1 3 3
-- 3 4 1 0
-+ 3 2 2 2 2 1 0 3 3 4
-- 4 4 1 0
-- 3 1 4 1 3 1 1 0 1
-- 3 2 2 2 2 2 2 0 1
-+ 3 2 2 2 2 1 0 3 3 4
-+ 2 4 4 1
-+ 2 3 4 3 0 3 4 3 1 0 3 0 3 1 1 1 1 3
-- 4 0 2 4 3 1 3 1 0 3 1 0 0 0
-- 4 0 4 2
-+ 2 2 1 1 2 2 2 2 2 2 2 1
-- 0 0 1 3 1 1 2 2
-+ 3 1
-- 2 4 3 4 3 0 1 3 2 4 2 1 2 0
-- 4 3 2 2 3 1 0 3 4
-- 2 3 4 4 2 1 3 4 4 1 0 3 4 0 0 2 2 1 1 2
-+ 3 1
-+ 2 1 4 4 1 1 2 1
-+ 2 3 4 3 0 3 4 2 4 0
-+ 2 1 3 3 1 1 2 3 1 0 4
-+ 4 2 1 0 4 3 4 4 3 4 3 0 0 0 0 3 3 0 3 2 2 0 0 0
-- 3 2 2 0 3 1 4 1 4 1
-- 4 0 0 3 0
-- 2 4 2 0 2 3
-+ 4 1 4 1 1 0 2 1 2
-+ 3 1
-+ 3 1
-- 4 4 1
-+ 2 0 1 0
-- 4 4 2 1 2 3
-- 1 4 4 0
-- 2 4 1 2
-+ 4 2 1 2 1 2 2 2 2 2 2 2
-- 2 3 4 2 1 1 4 1 4 2
-+ 4 2 1 0 3 0 0 3 2 0
-- 4 3 4 1 0 1
-- 4 1 4 1 0 3 0 0 0 0 0 0 0 3 3 4 0 0 1 2 3
-+ 2 1 4 3 1 0 3 0 3 4 1 1
-+ 4
-- 1 3 2
-+ 2 1 1 0 3 3 0 4 0 4 1 0 4 4 1 2
-- 1 3 2
-+ 3 2 2 2 2 1 0 3 3 3 3 3 4
-+ 2 0 1
-+ 4 2 1 0
-- 2 0 1 3 4 1 2
-- 4 3 4 4 1
-+ 2 0 1 3 4 3
-+ 2 1 4 3 0 3 4 4 3 0 4 0 3 1 1 0 4 4
-- 2 2 3 0 4
-+ 2 3 0 0 4 0 4 0
-- 2 1 4 1 0 4
-+ 4
-- 2 1 3 2 4 1 2 2 2 3 4 3 0 3 0 3 4 1 0 4
-- 3 4 1 0 3
-- 0 1 1 0 3
-+ 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 2 2 2 1 1 2
-- 1 2 1 1 1 2 0 2 0
-- 2 1 2 2 3 2 3
-- 1 0 0 0 4 0 4 0
-+ 2 3 3 1 1 0 3 0 3 1 0 3 0 4 0 3 4 0 0 3 2 2 2 2 2 2 1 0 4
-- 1 2 1 1 4 0 3
-+ 3 1
-+ 4 1 4 1 0 4 3 2 1 0
-+ 2 3 4 3 4 4 3 1 0 4 4 2 3 1 0 4
-- 2 0 1 3 3 4
-+ 2 3 0 0 3 2 2 1
-- 4 0 4 1 0 4 2 0 0 0 3 3 2 0 1 0
-+ 3 2 2 2 1 0 3 4
-+ 2 1 3 3 1 0
-- 0 2 2 4
-+ 3 1
-- 0 2 1 0 4
-+ 3 1
-- 1 1 4 2 1 3 4
-- 1 2
-- 1 2 3 2 0 3 1
-+ 2 4 4 1
-- 3 3 3 2 2 1
-- 2 1 0 0 3 1 0 3 3 4 4
-- 3 2 2 2 2 2 2 2 2 1 3 2 1
-- 2 2 1 1 2 1 2 2 2 2 0 2 1 1 2 2 2 2 2
-- 3 2 0 1 0 0 3 3 4
-- 3 0 1 1 3 0 3 4
-+ 3 1 0 3 3 3 3 4
-- 2 2 0 2 1 0 4
-- 4 2 2 1 0 3 3 4
-+ 4
-- 4 0 1 2 1 2 2 2 2 2
-+ 2 4 4 1
-+ 2 0 3
-+ 4
-+ 2 4 1 2 1
-- 2 0 4 2 0 3 4
-- 2 3 2 2 1 0 3 3 4 4
-- 2 2 1 2 2 2 2 2 1 1 2 1 1 2 1 1 2
-+ 2 4 3 4 4 1 4 4 1 3
-+ 2 3 1 0 3 0 1 1
-- 2 1 2 3 0
-- 2 3 3 0 4 1 0 4 1
-- 4 2 3 0 2 2 0 0 1
-- 1 3 2 1 0 4
-- 4 2 2 1 0 3 3 4
-- 4 4 2
-- 0 1 1 0 2 3 3
-- 1 3 4 4 1
-+ 2 3 4 4 0 3 0 3 1 1 1 1 4
-- 2 2 4 3 3
-- 3 2 2 2 1 0 3 3 2 0 3 3 4
-- 2 0 1 1 2 1 1 2 2
-+ 4 2 1 2 1 2 2 2 2 2 2 2
-+ 4
-- 4 4 2 1 0 0 2 0 3 0 4 1
-- 2 4 1 2
-+ 2 3 0 0 4 0
-+ 2 4 1 2 1
-- 2 2 2 2 1 1 2 1 3 2 2 2 1 1 2
-+ 3 1
-- 4 3 1 0 0
-+ 2 0 4 1
-- 1 3 2 2 2 1 4
-- 4 2 0 0 2 3 4 1
-- 0 1 2
-- 2 2 4 1 1 2
-- 1 4 3
-- 4 3 1 2
-- 0 4 1 4 0 1 3 2 4
-+ 2 0 3
-+ 2 4 3 4 3
-+ 2 1 2 3 2 2 2 2 1 0 3 3 3 3 4
-+ 2 2 1 1 2 2 2 2 2
-+ 3 1
-+ 3 1
-- 3 2 1 0 0 1 4
-- 0 0 1 3 1 1 2 2
-+ 2 0 4 1
-- 4 2 3
-+ 3 1
-- 4 1 3 1 0 2 2 2 1
-- 2 2 1 4 3
-- 2 1 2 2 1 0 2 4 1
-- 2 1 4 3 0 4 1 1 3 2 4 3 4 4 3 0 1 3 1 0 4 1
-- 3 0 1 0 4 4
-+ 2 3 4 4 0 4 0 3 1 1 1 2 2 4 1 0
-- 1 3 3 3 4
-+ 4 0 4 1 0 3 0 0 3 1 0 0 0 0
-+ 4
-- 2 3 0 0 2 1 1 1 2 2 2 2 2
-+ 4
-+ 3 1
-+ 3 1
-+ 2 1 1 0 3 1 1 0 3 0 4 0 3 0 4 1 0 3 1 1 3 2 2 3 1 2
-- 3 0 2 1 1 2 1 4
-+ 2 0 1 1 4 4
-- 1 3 3 3 2 1
-+ 2 3 0 0 4 2 1
-+ 2 0 1
-+ 2 1 3 1 0 4 0 4 4 1 2
-- 4 1 4 1 4
-- 0 4 1 4 1 2 4 3 3 2 0
-- 4 3 1 2 0 4
-- 3 2 3 0 0 2 3 2 3 3 2 4
-- 4 3 2 1 1 1 0
-+ 4 0 4 1 0 3 0 0 0 0 3 4 3
-+ 4 2 1 0 3 3 2 1 2 0
-+ 3 2 1 0 3 3 3 3 3 4
-- 2 3 1 0 3 0 4 3
-+ 4
-+ 3 1
-+ 2 3 2 4 0 4 1 0 2 1 1 0
-- 4 4 1 2 4
-- 0 4 0 0
-- 2 0 4 2 0 3 4
-+ 4 2 1 1 0 1 0 0
-- 4 1 4 2 2 2 2 2 2 1 0 3 3 3 3 4
-- 1 2
-+ 4
-+ 2 2 2 2 2 2 2 2 2 2 2 2 1
-- 2 2 1 3 0 4 4 4 4 4 2 4 1 4 0
-- 2 1 4 1 3 4
-+ 3 1 0 3 3 3 3 4
-- 2 3 3 0 0 0 1 1 4 4 2 4 4 0 4 1 1 2 2
-+ 2 0 4 1
-+ 4 0 4 1 1 2 2
-+ 3 2 2 2 1 0 3 3 4
-- 4 2 0 3
-+ 3 1
-+ 2 0 3 0 0
-+ 3 1
-- 4 0 0 0
-- 4 1 4 1 4
-- 2 3 0 0 2 1 1 1 2 2 2 2 2
-- 4 2 0 3
-- 2 3 2 0 0 3 1
-- 3 4 0 0 4 1
-- 2 2 2 2 2 2 2 1 1 2 1
-- 4 3 3 4 1 4 1
-- 3 3 2 2 2 2 2 1 0 4
-- 4 1 4 4 2
-+ 2 3 4 3 1
-+ 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2
-- 3 0 1 0 4 4
-- 1 0 3 4
-+ 4 2 1 1 2 0
-+ 3 1
-- 2 2 0 2 2 2 2 1 1 2 2 2 2 2 2 2 1
-- 3 3 0 2
-+ 4
-- 4 4 0 4 1 1 0 4 4 4 2
-+ 3 1
-+ 2 4 4 1
-+ 4
-- 2 2 4 3 3
-+ 4 0 4 1 1 0 2 1 2 0
-- 4 1 4 1 0 2 4 4 4 0
-+ 2 1 4 4 4 3 3 1 1 1 4 1
-- 2 2 3 3 1 4 3 4 2 4 1 4 0
-- 4 2 2 1 1 2 2
-- 1 1 4 0 2 0
-- 3 0 1 1 3 0 3 4
-+ 3 1
-+ 4
-- 2 3 0
-+ 2 0 4 1
-- 4 1 4 1 0 3 0 0 0 0 0 0 0 3 3 4 0 0 1 2 3
-+ 2 4 3 4 4 1 4 4 1 3
-- 2 0 3 3 0 0
-+ 4 1 4 1 2 1 2
-- 1 4 2 2 1 0 3 3 1 1 0
-+ 2 1 4 3 4 1 4 1
-+ 4 2 1 1 2 0
-- 2 1 2 2 1 0 2 4 1
-- 3 3 4 1 2
-+ 4 0 4 1 0 3 0 0 0 0 3 4 3
-- 0 0 1 3 0 2
-- 2 1 3 4 4 0 3 0 3 0 4 4 2 3 2 2 1
-+ 2 1 3 1 1
-+ 3 1
-- 0 4 2 2 2 1 0 2 3 4
-+ 4
-+ 3 1
-+ 4
-- 1 1 1 2 2 2
-- 2 1 4 1 3 4