diff options
Diffstat (limited to 'sourcecodes/data/examplecar15node')
22 files changed, 2433 insertions, 0 deletions
diff --git a/sourcecodes/data/examplecar15node/MtXcontinuous_input.txt b/sourcecodes/data/examplecar15node/MtXcontinuous_input.txt new file mode 100644 index 00000000..0d55f02c --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXcontinuous_input.txt @@ -0,0 +1,1005 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor +3 2 3 3 2 3 2 3 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 2 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 3 2 2 3 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 2 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 2 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 1 1 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 1 2 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 2 1 2 3 1 2 2 2 2 2 2 2 2 +1 2 2 1 2 3 1 3 2 2 3 2 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 1 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 2 2 1 2 3 1 3 2 2 3 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 1 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 2 2 1 2 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 1 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +3 1 2 2 2 2 1 3 2 2 3 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 2 2 2 2 1 1 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 3 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 2 1 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +2 1 1 1 2 3 1 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 1 1 2 2 2 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 3 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 1 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 1 1 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 1 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 1 2 +2 2 3 2 2 2 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 2 2 2 3 1 2 2 2 +1 2 2 1 2 3 1 1 2 1 2 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 2 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 1 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 1 2 2 3 1 2 1 2 +1 1 3 1 1 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 2 2 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 1 1 1 1 1 2 2 2 2 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 2 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 1 1 2 2 2 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 1 1 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 1 1 1 1 2 1 1 1 1 1 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 1 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 2 3 2 2 3 2 1 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 2 1 2 3 1 1 2 2 1 1 2 2 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 1 2 2 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 2 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 2 2 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 1 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 1 2 2 3 2 2 3 1 2 2 2 +1 2 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 3 2 2 3 1 1 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 2 2 2 3 1 2 2 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 2 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 2 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 1 2 2 3 2 1 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 2 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 1 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 1 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 1 1 2 2 3 1 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 2 2 1 2 1 1 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 2 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 1 1 1 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 1 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 2 2 1 2 1 1 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 1 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 2 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 1 2 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 1 1 1 2 3 1 2 2 2 2 2 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 2 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 1 2 2 2 2 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 1 1 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 2 2 1 2 1 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 1 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 1 1 2 2 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 2 1 2 2 1 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 1 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 2 1 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 2 2 2 2 +2 1 3 2 2 2 1 2 2 2 2 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 1 2 2 2 2 2 2 2 +2 2 1 1 2 2 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 2 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 1 2 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 2 2 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 1 2 1 2 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 3 2 2 3 2 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 2 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 3 2 2 2 +1 1 3 1 2 2 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 2 1 1 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 1 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 2 2 2 2 2 2 2 2 +2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 +2 1 2 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 2 1 2 3 1 2 2 2 2 3 2 2 2 +2 2 3 2 2 2 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 1 2 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 3 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 1 2 2 3 2 2 2 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 1 3 2 2 2 1 2 2 1 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 2 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 2 1 3 2 2 3 1 1 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 1 2 2 3 2 3 2 1 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 1 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 2 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 2 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 3 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 1 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 1 2 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 1 1 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 2 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 1 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 1 2 1 2 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 2 2 2 3 2 1 2 2 3 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 1 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 1 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +2 2 3 2 2 3 2 1 2 2 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 2 1 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 3 2 2 3 1 1 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 2 2 2 3 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 2 2 2 2 +1 2 3 1 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 2 2 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 1 2 2 2 2 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 2 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 2 2 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 + + + diff --git a/sourcecodes/data/examplecar15node/MtXgraphviz.txt b/sourcecodes/data/examplecar15node/MtXgraphviz.txt new file mode 100644 index 00000000..56dcd027 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXgraphviz.txt @@ -0,0 +1,20 @@ +digraph G { +size="10,10"; ratio = fill; +node [shape=square,width=1.5]; +Voltage_at_plug -> Spark_quality; +Car_cranks -> Car_starts; +Spark_plugs -> Spark_quality; +Spark_quality -> Car_starts; +Distributer -> Voltage_at_plug; +Distributer -> Spark_timing; +Spark_timing -> Car_starts; +Alternator -> Charging_system; +Charging_system -> Battery_voltage; +Battery_voltage -> Voltage_at_plug; +Battery_voltage -> Headlights; +Battery_age -> Battery_voltage; +Main_fuse -> Voltage_at_plug; +Main_fuse -> Starter_system; +Starter_system -> Car_cranks; +Starter_motor -> Starter_system; +} \ No newline at end of file diff --git a/sourcecodes/data/examplecar15node/MtXmap.txt b/sourcecodes/data/examplecar15node/MtXmap.txt new file mode 100644 index 00000000..af7330d6 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXmap.txt @@ -0,0 +1,15 @@ +Voltage_at_plug 2 0.827795 2.021000 +Car_cranks 2 0.500234 1.504000 +Spark_plugs 2 0.820310 2.042000 +Spark_quality 2 0.816376 2.014000 +Distributer 3 0.500241 1.497000 +Spark_timing 2 0.810222 2.014000 +Car_starts 2 0.500054 1.486000 +Headlights 3 0.810946 2.032000 +Alternator 3 0.500214 1.494000 +Charging_system 2 0.500234 1.496000 +Battery_voltage 3 0.806400 2.037000 +Battery_age 3 0.561294 1.708000 +Main_fuse 3 0.500150 1.490000 +Starter_system 3 0.499674 1.476000 +Starter_motor 2 0.500201 1.493000 diff --git a/sourcecodes/data/examplecar15node/MtXmapdata.txt b/sourcecodes/data/examplecar15node/MtXmapdata.txt new file mode 100644 index 00000000..67939bd1 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXmapdata.txt @@ -0,0 +1 @@ +Starter_motor Main_fuse Starter_system Car_cranks Battery_age Alternator Charging_system Battery_voltage Headlights Distributer Spark_timing Voltage_at_plug Spark_plugs Spark_quality Car_starts diff --git a/sourcecodes/data/examplecar15node/MtXname.txt b/sourcecodes/data/examplecar15node/MtXname.txt new file mode 100644 index 00000000..2957eff7 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXname.txt @@ -0,0 +1 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor diff --git a/sourcecodes/data/examplecar15node/MtXnet_figure.txt b/sourcecodes/data/examplecar15node/MtXnet_figure.txt new file mode 100644 index 00000000..5a5a3bb9 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXnet_figure.txt @@ -0,0 +1,114 @@ +15 +1800 1200 +Starter_motor 0 0 +Main_fuse 257 0 +Starter_system 373 171 +Car_cranks 343 343 +Battery_age 514 0 +Alternator 771 0 +Charging_system 823 171 +Battery_voltage 943 343 +Headlights 523 514 +Distributer 1029 0 +Spark_timing 1273 171 +Voltage_at_plug 1123 514 +Spark_plugs 1286 0 +Spark_quality 643 686 +Car_starts 823 857 +Starter_motor 2 +250 150 +0 +1 3 +1 0.5070 +2 0.4930 +Main_fuse 2 +250 150 +0 +2 3 12 +1 0.5100 +2 0.4900 +Starter_system 2 +250 150 +2 1 2 +1 4 +1 0.5238 +2 0.4762 +Car_cranks 2 +250 150 +1 3 +1 15 +1 0.4960 +2 0.5040 +Battery_age 3 +250 150 +0 +1 8 +1 0.3460 +2 0.6000 +3 0.0540 +Alternator 2 +250 150 +0 +1 7 +1 0.5060 +2 0.4940 +Charging_system 2 +250 150 +1 6 +1 8 +1 0.5040 +2 0.4960 +Battery_voltage 3 +250 150 +2 5 7 +2 9 12 +1 0.3072 +2 0.3486 +3 0.3442 +Headlights 3 +250 150 +1 8 +0 +1 0.3130 +2 0.3420 +3 0.3450 +Distributer 2 +250 150 +0 +2 11 12 +1 0.5030 +2 0.4970 +Spark_timing 3 +250 150 +1 10 +1 15 +1 0.3210 +2 0.3440 +3 0.3350 +Voltage_at_plug 3 +250 150 +3 2 8 10 +1 14 +1 0.3315 +2 0.3153 +3 0.3532 +Spark_plugs 3 +250 150 +0 +1 14 +1 0.3160 +2 0.3260 +3 0.3580 +Spark_quality 3 +250 150 +2 12 13 +1 15 +1 0.3266 +2 0.3334 +3 0.3400 +Car_starts 2 +250 150 +3 4 11 14 +0 +1 0.5158 +2 0.4842 diff --git a/sourcecodes/data/examplecar15node/MtXnnode.txt b/sourcecodes/data/examplecar15node/MtXnnode.txt new file mode 100644 index 00000000..60d3b2f4 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXnnode.txt @@ -0,0 +1 @@ +15 diff --git a/sourcecodes/data/examplecar15node/MtXrun_initialstructure.sh b/sourcecodes/data/examplecar15node/MtXrun_initialstructure.sh new file mode 100644 index 00000000..8012f054 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXrun_initialstructure.sh @@ -0,0 +1,38 @@ +#!/bin/sh +# script for execution of deployed applications +# +# Sets up the MCR environment for the current $ARCH and executes +# the specified command. +# +exe_name=$0 +exe_dir=`dirname "$0"` +echo "------------------------------------------" +if [ "x$1" = "x" ]; then + echo Usage: + echo $0 \<deployedMCRroot\> args +else + echo Setting up environment variables + MCRROOT="$1" + echo --- + LD_LIBRARY_PATH=.:${MCRROOT}/runtime/glnxa64 ; + LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${MCRROOT}/bin/glnxa64 ; + LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${MCRROOT}/sys/os/glnxa64; + MCRJRE=${MCRROOT}/sys/java/jre/glnxa64/jre/lib/amd64 ; + LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${MCRJRE}/native_threads ; + LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${MCRJRE}/server ; + LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${MCRJRE}/client ; + LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:${MCRJRE} ; + XAPPLRESDIR=${MCRROOT}/X11/app-defaults ; + export LD_LIBRARY_PATH; + export XAPPLRESDIR; + echo LD_LIBRARY_PATH is ${LD_LIBRARY_PATH}; + shift 1 + args= + while [ $# -gt 0 ]; do + token=`echo "$1" | sed 's/ /\\\\ /g'` # Add blackslash before each blank + args="${args} ${token}" + shift + done + "${exe_dir}"/initialstructure MtX +fi +exit diff --git a/sourcecodes/data/examplecar15node/MtXstructure_input.txt b/sourcecodes/data/examplecar15node/MtXstructure_input.txt new file mode 100644 index 00000000..549070d3 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXstructure_input.txt @@ -0,0 +1,17 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor +0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 +0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 +1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 +1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 +0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 + diff --git a/sourcecodes/data/examplecar15node/MtXstructure_old.txt b/sourcecodes/data/examplecar15node/MtXstructure_old.txt new file mode 100644 index 00000000..cad36b88 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXstructure_old.txt @@ -0,0 +1,15 @@ +Voltage_at_plug 0.3315 0.3153 0.3532 +Spark_quality 0.3266 0.3334 0.3400 +Car_cranks 0.4960 0.5040 +Car_starts 0.5158 0.4842 +Spark_plugs 0.3160 0.3260 0.3580 +Distributer 0.5030 0.4970 +Spark_timing 0.3210 0.3440 0.3350 +Alternator 0.5060 0.4940 +Charging_system 0.5040 0.4960 +Battery_voltage 0.3072 0.3486 0.3442 +Headlights 0.3130 0.3420 0.3450 +Battery_age 0.3460 0.6000 0.0540 +Main_fuse 0.5100 0.4900 +Starter_system 0.5238 0.4762 +Starter_motor 0.5070 0.4930 diff --git a/sourcecodes/data/examplecar15node/MtXtype.txt b/sourcecodes/data/examplecar15node/MtXtype.txt new file mode 100644 index 00000000..75ee3397 --- /dev/null +++ b/sourcecodes/data/examplecar15node/MtXtype.txt @@ -0,0 +1,2 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor +3 2 3 3 2 3 2 3 2 2 3 3 2 2 2 diff --git a/sourcecodes/data/examplecar15node/eIAcontinuous_input.txt b/sourcecodes/data/examplecar15node/eIAcontinuous_input.txt new file mode 100644 index 00000000..66dddb9f --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAcontinuous_input.txt @@ -0,0 +1,1003 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor +3 2 3 3 2 3 2 3 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 2 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 3 2 2 3 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 2 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 2 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 1 1 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 1 2 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 2 1 2 3 1 2 2 2 2 2 2 2 2 +1 2 2 1 2 3 1 3 2 2 3 2 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 1 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 2 2 1 2 3 1 3 2 2 3 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 1 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 2 2 1 2 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 1 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +3 1 2 2 2 2 1 3 2 2 3 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 2 2 2 2 1 1 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 3 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 2 1 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +2 1 1 1 2 3 1 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 1 1 2 2 2 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 3 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 1 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 1 1 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 1 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 1 2 +2 2 3 2 2 2 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 2 2 2 3 1 2 2 2 +1 2 2 1 2 3 1 1 2 1 2 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 2 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 1 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 1 2 2 3 1 2 1 2 +1 1 3 1 1 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 2 2 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 1 1 1 1 1 2 2 2 2 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 2 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 1 1 2 2 2 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 1 1 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 1 1 1 1 2 1 1 1 1 1 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 1 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 2 3 2 2 3 2 1 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 2 1 2 3 1 1 2 2 1 1 2 2 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 1 2 2 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 2 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 2 2 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 1 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 1 2 2 3 2 2 3 1 2 2 2 +1 2 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 3 2 2 3 1 1 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 2 2 2 3 1 2 2 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 2 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 2 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 1 2 2 3 2 1 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 2 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 1 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 1 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 1 1 2 2 3 1 1 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 2 2 1 2 1 1 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 2 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 1 1 1 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 1 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 2 2 1 2 1 1 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 1 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 2 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 1 2 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 1 1 1 2 3 1 2 2 2 2 2 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 2 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 2 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 1 2 2 2 2 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 1 1 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 2 2 1 2 1 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 1 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 1 1 2 2 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 2 1 2 2 1 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 1 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 2 1 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 2 2 2 2 +2 1 3 2 2 2 1 2 2 2 2 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 1 2 2 2 2 2 2 2 +2 2 1 1 2 2 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 2 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 1 2 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 2 2 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 1 2 1 2 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 3 2 2 3 2 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 1 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 2 2 2 2 +3 1 3 3 2 2 1 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 3 2 2 2 +1 1 3 1 2 2 1 2 2 1 2 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 2 1 1 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 2 2 2 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 1 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 2 1 2 3 1 2 2 2 2 2 2 2 2 +2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 +2 1 2 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 2 1 2 3 1 2 2 2 2 3 2 2 2 +2 2 3 2 2 2 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 1 2 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 3 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 1 2 2 3 2 2 2 2 +2 1 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 1 3 2 2 2 1 2 2 1 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 2 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 2 1 3 2 2 3 1 1 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 2 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 2 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 2 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 1 2 2 3 2 3 2 1 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 1 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 1 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 2 2 2 2 2 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 1 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 2 1 2 2 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 3 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 1 2 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 1 2 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 1 1 2 3 1 3 2 2 3 1 2 2 2 +1 2 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 2 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 1 1 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +2 1 3 2 2 3 1 1 2 1 2 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 2 2 2 3 2 1 2 2 3 1 2 2 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 1 2 1 2 2 2 +2 1 1 1 2 3 1 2 2 2 2 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 1 2 +1 1 3 1 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 1 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 1 2 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +2 2 3 2 2 3 2 1 2 2 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 1 3 2 2 3 1 2 2 1 2 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +1 2 1 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 2 2 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 3 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 2 2 2 2 +2 2 3 2 2 3 2 2 2 1 2 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 2 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 2 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 2 2 3 2 2 3 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 1 2 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 3 2 2 3 1 1 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 3 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 3 3 2 3 2 2 2 2 3 1 2 1 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 1 2 2 2 2 2 2 2 2 +1 2 3 1 2 3 1 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 2 2 1 2 +1 1 3 1 2 3 1 1 2 2 1 2 2 1 2 +3 1 3 3 2 3 1 3 2 2 3 1 2 2 2 +3 2 1 2 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 2 2 3 2 2 3 1 2 2 2 +1 2 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 1 1 2 3 1 1 2 1 1 1 2 2 2 +3 2 1 2 2 3 1 3 2 2 3 1 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 1 2 2 2 2 3 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 2 2 2 3 1 3 2 2 3 1 2 2 2 +3 1 2 2 2 2 1 3 2 2 3 1 2 2 2 +2 2 1 1 2 3 1 2 2 2 2 1 2 2 2 +2 2 3 2 2 3 2 3 2 2 3 2 2 2 2 +1 1 2 1 2 3 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +1 1 3 1 2 2 1 1 2 1 1 1 2 1 2 +3 1 1 2 2 3 1 3 2 2 3 1 2 2 2 +2 2 3 2 2 3 2 2 2 2 2 2 2 2 2 +1 1 3 1 2 3 1 1 2 2 1 1 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +3 2 3 3 2 3 2 3 2 2 3 2 2 2 2 +2 2 2 1 2 3 1 3 2 2 3 1 2 2 2 +1 1 3 1 2 2 1 1 2 1 1 3 2 1 2 +3 2 3 3 2 3 2 3 2 2 3 1 2 2 2 +1 1 1 1 2 3 1 1 2 1 1 1 2 1 2 +2 2 3 2 2 3 2 2 2 2 2 1 2 2 2 +1 1 3 1 2 3 1 1 2 1 1 1 2 1 2 +1 2 3 1 2 3 1 3 2 2 3 1 2 2 2 + diff --git a/sourcecodes/data/examplecar15node/eIAgraphviz.txt b/sourcecodes/data/examplecar15node/eIAgraphviz.txt new file mode 100644 index 00000000..56dcd027 --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAgraphviz.txt @@ -0,0 +1,20 @@ +digraph G { +size="10,10"; ratio = fill; +node [shape=square,width=1.5]; +Voltage_at_plug -> Spark_quality; +Car_cranks -> Car_starts; +Spark_plugs -> Spark_quality; +Spark_quality -> Car_starts; +Distributer -> Voltage_at_plug; +Distributer -> Spark_timing; +Spark_timing -> Car_starts; +Alternator -> Charging_system; +Charging_system -> Battery_voltage; +Battery_voltage -> Voltage_at_plug; +Battery_voltage -> Headlights; +Battery_age -> Battery_voltage; +Main_fuse -> Voltage_at_plug; +Main_fuse -> Starter_system; +Starter_system -> Car_cranks; +Starter_motor -> Starter_system; +} \ No newline at end of file diff --git a/sourcecodes/data/examplecar15node/eIAmap.txt b/sourcecodes/data/examplecar15node/eIAmap.txt new file mode 100644 index 00000000..e96a904a --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAmap.txt @@ -0,0 +1,15 @@ +Voltage_at_plug 2 0.908185 1.905000 +Car_cranks 2 0.500106 1.488000 +Spark_plugs 2 0.778947 2.543000 +Spark_quality 2 0.853627 1.757000 +Distributer 3 0.099549 1.990000 +Spark_timing 2 0.357390 2.880000 +Car_starts 2 0.469352 1.327000 +Headlights 3 0.917301 1.951000 +Alternator 3 0.044699 1.998000 +Charging_system 2 0.500246 1.502000 +Battery_voltage 3 0.915330 2.003000 +Battery_age 3 0.500554 1.236000 +Main_fuse 3 0.121613 1.985000 +Starter_system 3 0.494126 1.578000 +Starter_motor 2 0.063151 1.996000 diff --git a/sourcecodes/data/examplecar15node/eIAmapdata.txt b/sourcecodes/data/examplecar15node/eIAmapdata.txt new file mode 100644 index 00000000..67939bd1 --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAmapdata.txt @@ -0,0 +1 @@ +Starter_motor Main_fuse Starter_system Car_cranks Battery_age Alternator Charging_system Battery_voltage Headlights Distributer Spark_timing Voltage_at_plug Spark_plugs Spark_quality Car_starts diff --git a/sourcecodes/data/examplecar15node/eIAname.txt b/sourcecodes/data/examplecar15node/eIAname.txt new file mode 100644 index 00000000..2957eff7 --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAname.txt @@ -0,0 +1 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor diff --git a/sourcecodes/data/examplecar15node/eIAnet_figure.txt b/sourcecodes/data/examplecar15node/eIAnet_figure.txt new file mode 100644 index 00000000..29896806 --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAnet_figure.txt @@ -0,0 +1,114 @@ +15 +1800 1200 +Starter_motor 0 0 +Main_fuse 257 0 +Starter_system 373 171 +Car_cranks 343 343 +Battery_age 514 0 +Alternator 771 0 +Charging_system 823 171 +Battery_voltage 943 343 +Headlights 523 514 +Distributer 1029 0 +Spark_timing 1273 171 +Voltage_at_plug 1123 514 +Spark_plugs 1286 0 +Spark_quality 643 686 +Car_starts 823 857 +Starter_motor 2 +250 150 +0 +1 3 +1 0.0039 +2 0.9961 +Main_fuse 2 +250 150 +0 +2 3 12 +1 0.0149 +2 0.9851 +Starter_system 2 +250 150 +2 1 2 +1 4 +1 0.4211 +2 0.5789 +Car_cranks 2 +250 150 +1 3 +1 15 +1 0.5109 +2 0.4891 +Battery_age 3 +250 150 +0 +1 8 +1 0.7989 +2 0.1661 +3 0.0350 +Alternator 2 +250 150 +0 +1 7 +1 0.0020 +2 0.9980 +Charging_system 2 +250 150 +1 6 +1 8 +1 0.4988 +2 0.5012 +Battery_voltage 3 +250 150 +2 5 7 +2 9 12 +1 0.4181 +2 0.1633 +3 0.4186 +Headlights 3 +250 150 +1 8 +0 +1 0.4470 +2 0.1573 +3 0.3957 +Distributer 2 +250 150 +0 +2 11 12 +1 0.0098 +2 0.9902 +Spark_timing 3 +250 150 +1 10 +1 15 +1 0.0088 +2 0.0982 +3 0.8930 +Voltage_at_plug 3 +250 150 +3 2 8 10 +1 14 +1 0.4646 +2 0.1681 +3 0.3674 +Spark_plugs 3 +250 150 +0 +1 14 +1 0.1791 +2 0.0990 +3 0.7219 +Spark_quality 3 +250 150 +2 12 13 +1 15 +1 0.5114 +2 0.2233 +3 0.2652 +Car_starts 2 +250 150 +3 4 11 14 +0 +1 0.7903 +2 0.2097 diff --git a/sourcecodes/data/examplecar15node/eIAnlevels.txt b/sourcecodes/data/examplecar15node/eIAnlevels.txt new file mode 100644 index 00000000..7ccbca8e --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAnlevels.txt @@ -0,0 +1,15 @@ +Voltage_at_plug 1 2 3 +Car_cranks 1 2 +Spark_plugs 1 2 3 +Spark_quality 1 2 3 +Distributer 1 2 +Spark_timing 1 2 3 +Car_starts 1 2 +Headlights 1 2 3 +Alternator 1 2 +Charging_system 1 2 +Battery_voltage 1 2 3 +Battery_age 1 2 3 +Main_fuse 1 2 +Starter_system 1 2 +Starter_motor 1 2 diff --git a/sourcecodes/data/examplecar15node/eIAnnode.txt b/sourcecodes/data/examplecar15node/eIAnnode.txt new file mode 100644 index 00000000..60d3b2f4 --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAnnode.txt @@ -0,0 +1 @@ +15 diff --git a/sourcecodes/data/examplecar15node/eIAstructure_input.txt b/sourcecodes/data/examplecar15node/eIAstructure_input.txt new file mode 100644 index 00000000..6e7eaef0 --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAstructure_input.txt @@ -0,0 +1,17 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor +0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 +0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 +1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 +1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 +1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 +0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 +0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 + diff --git a/sourcecodes/data/examplecar15node/eIAstructure_old.txt b/sourcecodes/data/examplecar15node/eIAstructure_old.txt new file mode 100644 index 00000000..774a14fe --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAstructure_old.txt @@ -0,0 +1,15 @@ +Voltage_at_plug 0.4646 0.1681 0.3674 +Spark_quality 0.5114 0.2233 0.2652 +Car_cranks 0.5109 0.4891 +Car_starts 0.7903 0.2097 +Spark_plugs 0.1791 0.0990 0.7219 +Distributer 0.0098 0.9902 +Spark_timing 0.0088 0.0982 0.8930 +Alternator 0.0020 0.9980 +Charging_system 0.4988 0.5012 +Battery_voltage 0.4181 0.1633 0.4186 +Headlights 0.4470 0.1573 0.3957 +Battery_age 0.7989 0.1661 0.0350 +Main_fuse 0.0149 0.9851 +Starter_system 0.4211 0.5789 +Starter_motor 0.0039 0.9961 diff --git a/sourcecodes/data/examplecar15node/eIAtype.txt b/sourcecodes/data/examplecar15node/eIAtype.txt new file mode 100644 index 00000000..75ee3397 --- /dev/null +++ b/sourcecodes/data/examplecar15node/eIAtype.txt @@ -0,0 +1,2 @@ +Voltage_at_plug Car_cranks Spark_plugs Spark_quality Distributer Spark_timing Car_starts Headlights Alternator Charging_system Battery_voltage Battery_age Main_fuse Starter_system Starter_motor +3 2 3 3 2 3 2 3 2 2 3 3 2 2 2 |