fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r215st-ebro-143344922700932
Last Updated
August 19, 2015

About the Execution of ITS-Tools for S_QuasiCertifProtocol-PT-32

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
890.450 24547.00 63846.00 304.00 ?F?????????F??F? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-2265
Executing tool itstools
Input is S_QuasiCertifProtocol-PT-32, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r215st-ebro-143344922700932
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-0
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-1
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-10
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-11
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-12
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-13
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-14
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-15
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-2
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-3
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-4
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-5
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-6
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-7
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-8
FORMULA_NAME QuasiCertifProtocol-COL-32-ReachabilityCardinality-9

=== Now, execution of the tool begins

BK_START 1433639305166

FORMULA QuasiCertifProtocol-COL-32-ReachabilityCardinality-8 FALSE TECHNIQUES TOPOLOGICAL
FORMULA QuasiCertifProtocol-COL-32-ReachabilityCardinality-5 FALSE TECHNIQUES TOPOLOGICAL
FORMULA QuasiCertifProtocol-COL-32-ReachabilityCardinality-1 FALSE TECHNIQUES TOPOLOGICAL
!SESSION 2015-06-07 01:08:25.904 -----------------------------------------------
eclipse.buildId=4.4.2.M20150204-1700
java.version=1.8.0_45
java.vendor=Oracle Corporation
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Framework arguments: -application fr.lip6.move.gal.application.pnmcc -pnfolder /home/mcc/execution -examination ReachabilityCardinality -z3path /home/mcc/BenchKit/bin//z3-4.3.2/bin/z3
Command-line arguments: -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/workspace -os linux -ws gtk -arch x86_64 -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityCardinality -z3path /home/mcc/BenchKit/bin//z3-4.3.2/bin/z3

!ENTRY org.eclipse.osgi 4 0 2015-06-07 01:08:38.459
!MESSAGE Application error
!STACK 1
java.lang.StackOverflowError
at java.io.PrintWriter.write(PrintWriter.java:456)
at java.io.PrintWriter.write(PrintWriter.java:473)
at java.io.PrintWriter.print(PrintWriter.java:603)
at fr.lip6.move.serialization.IndentedPrintWriter.print(IndentedPrintWriter.java:35)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:274)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:275)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:507)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
work folder: /home/mcc/execution
An error has occurred. See the log file
/home/mcc/workspace/.metadata/.log.

BK_STOP 1433639329713

--------------------
content from stderr:

Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
Jun 07, 2015 1:08:34 AM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 07, 2015 1:08:35 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 332 ms
Jun 07, 2015 1:08:35 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3806 places.
Jun 07, 2015 1:08:35 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 506 transitions.
Jun 07, 2015 1:08:37 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-32-ReachabilityCardinality-1 is trivially false : it is not verified in initial state.
Jun 07, 2015 1:08:37 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-32-ReachabilityCardinality-5 is trivially false : it is not verified in initial state.
Jun 07, 2015 1:08:37 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-32-ReachabilityCardinality-8 is trivially false : it is not verified in initial state.
Jun 07, 2015 1:08:37 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-32-ReachabilityCardinality-1 is trivially false : it is not verified in initial state.
Jun 07, 2015 1:08:37 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-32-ReachabilityCardinality-5 is trivially false : it is not verified in initial state.
Jun 07, 2015 1:08:37 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-32-ReachabilityCardinality-8 is trivially false : it is not verified in initial state.
Jun 07, 2015 1:08:37 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1120 ms
Jun 07, 2015 1:08:38 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.gal : 141 ms
Jun 07, 2015 1:08:38 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: No display to refresh.
Jun 07, 2015 1:08:38 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1052 ms
Jun 07, 2015 1:08:38 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1033 ms
Jun 07, 2015 1:08:42 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: For property QuasiCertifProtocol-COL-32-ReachabilityCardinality-0:[reachable] : ((((((((((((((((((((((((((((((((((s4_5+s4_6)+s4_3)+s4_4)+s4_1)+s4_2)+s4_0)+s4_14)+s4_13)+s4_12)+s4_11)+s4_10)+s4_9)+s4_8)+s4_7)+s4_22)+s4_21)+s4_20)+s4_19)+s4_18)+s4_17)+s4_16)+s4_15)+s4_32)+s4_31)+s4_24)+s4_23)+s4_26)+s4_25)+s4_28)+s4_27)+s4_30)+s4_29)>=3)&&((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((n7_10_0+n7_9_0)+n7_8_0)+n7_7_0)+n7_6_0)+n7_5_0)+n7_4_0)+n7_3_0)+n7_2_0)+n7_1_0)+n7_0_0)+n7_7_1)+n7_6_1)+n7_9_1)+n7_8_1)+n7_3_1)+n7_2_1)+n7_5_1)+n7_4_1)+n7_32_0)+n7_31_0)+n7_1_1)+n7_0_1)+n7_28_0)+n7_27_0)+n7_30_0)+n7_29_0)+n7_23_0)+n7_24_0)+n7_25_0)+n7_26_0)+n7_19_0)+n7_20_0)+n7_21_0)+n7_22_0)+n7_15_0)+n7_16_0)+n7_17_0)+n7_18_0)+n7_11_0)+n7_12_0)+n7_13_0)+n7_14_0)+n7_30_3)+n7_31_3)+n7_28_3)+n7_29_3)+n7_26_3)+n7_27_3)+n7_24_3)+n7_25_3)+n7_5_4)+n7_6_4)+n7_3_4)+n7_4_4)+n7_1_4)+n7_2_4)+n7_32_3)+n7_0_4)+n7_15_3)+n7_14_3)+n7_13_3)+n7_12_3)+n7_11_3)+n7_10_3)+n7_9_3)+n7_8_3)+n7_23_3)+n7_22_3)+n7_21_3)+n7_20_3)+n7_19_3)+n7_18_3)+n7_17_3)+n7_16_3)+n7_27_4)+n7_28_4)+n7_29_4)+n7_30_4)+n7_23_4)+n7_24_4)+n7_25_4)+n7_26_4)+n7_2_5)+n7_3_5)+n7_4_5)+n7_5_5)+n7_31_4)+n7_32_4)+n7_0_5)+n7_1_5)+n7_12_4)+n7_11_4)+n7_14_4)+n7_13_4)+n7_8_4)+n7_7_4)+n7_10_4)+n7_9_4)+n7_20_4)+n7_19_4)+n7_22_4)+n7_21_4)+n7_16_4)+n7_15_4)+n7_18_4)+n7_17_4)+n7_28_1)+n7_29_1)+n7_26_1)+n7_27_1)+n7_32_1)+n7_0_2)+n7_30_1)+n7_31_1)+n7_3_2)+n7_4_2)+n7_1_2)+n7_2_2)+n7_7_2)+n7_8_2)+n7_5_2)+n7_6_2)+n7_13_1)+n7_12_1)+n7_11_1)+n7_10_1)+n7_17_1)+n7_16_1)+n7_15_1)+n7_14_1)+n7_21_1)+n7_20_1)+n7_19_1)+n7_18_1)+n7_25_1)+n7_24_1)+n7_23_1)+n7_22_1)+n7_25_2)+n7_26_2)+n7_27_2)+n7_28_2)+n7_29_2)+n7_30_2)+n7_31_2)+n7_32_2)+n7_0_3)+n7_1_3)+n7_2_3)+n7_3_3)+n7_4_3)+n7_5_3)+n7_6_3)+n7_7_3)+n7_10_2)+n7_9_2)+n7_12_2)+n7_11_2)+n7_14_2)+n7_13_2)+n7_16_2)+n7_15_2)+n7_18_2)+n7_17_2)+n7_20_2)+n7_19_2)+n7_22_2)+n7_21_2)+n7_24_2)+n7_23_2)+n7_13_8)+n7_14_8)+n7_11_8)+n7_12_8)+n7_17_8)+n7_18_8)+n7_15_8)+n7_16_8)+n7_5_8)+n7_6_8)+n7_3_8)+n7_4_8)+n7_9_8)+n7_10_8)+n7_7_8)+n7_8_8)+n7_30_8)+n7_29_8)+n7_28_8)+n7_27_8)+n7_1_9)+n7_0_9)+n7_32_8)+n7_31_8)+n7_22_8)+n7_21_8)+n7_20_8)+n7_19_8)+n7_26_8)+n7_25_8)+n7_24_8)+n7_23_8)+n7_12_7)+n7_13_7)+n7_14_7)+n7_15_7)+n7_16_7)+n7_17_7)+n7_18_7)+n7_19_7)+n7_4_7)+n7_5_7)+n7_6_7)+n7_7_7)+n7_8_7)+n7_9_7)+n7_10_7)+n7_11_7)+n7_29_7)+n7_28_7)+n7_31_7)+n7_30_7)+n7_0_8)+n7_32_7)+n7_2_8)+n7_1_8)+n7_21_7)+n7_20_7)+n7_23_7)+n7_22_7)+n7_25_7)+n7_24_7)+n7_27_7)+n7_26_7)+n7_19_6)+n7_20_6)+n7_17_6)+n7_18_6)+n7_15_6)+n7_16_6)+n7_13_6)+n7_14_6)+n7_11_6)+n7_12_6)+n7_9_6)+n7_10_6)+n7_7_6)+n7_8_6)+n7_5_6)+n7_6_6)+n7_3_7)+n7_2_7)+n7_1_7)+n7_0_7)+n7_32_6)+n7_31_6)+n7_30_6)+n7_29_6)+n7_28_6)+n7_27_6)+n7_26_6)+n7_25_6)+n7_24_6)+n7_23_6)+n7_22_6)+n7_21_6)+n7_18_5)+n7_19_5)+n7_20_5)+n7_21_5)+n7_14_5)+n7_15_5)+n7_16_5)+n7_17_5)+n7_10_5)+n7_11_5)+n7_12_5)+n7_13_5)+n7_6_5)+n7_7_5)+n7_8_5)+n7_9_5)+n7_2_6)+n7_1_6)+n7_4_6)+n7_3_6)+n7_31_5)+n7_30_5)+n7_0_6)+n7_32_5)+n7_27_5)+n7_26_5)+n7_29_5)+n7_28_5)+n7_23_5)+n7_22_5)+n7_25_5)+n7_24_5)+n7_2_12)+n7_1_12)+n7_0_12)+n7_32_11)+n7_6_12)+n7_5_12)+n7_4_12)+n7_3_12)+n7_10_12)+n7_9_12)+n7_8_12)+n7_7_12)+n7_14_12)+n7_13_12)+n7_12_12)+n7_11_12)+n7_17_12)+n7_18_12)+n7_15_12)+n7_16_12)+n7_21_12)+n7_22_12)+n7_19_12)+n7_20_12)+n7_25_12)+n7_26_12)+n7_23_12)+n7_24_12)+n7_29_12)+n7_30_12)+n7_27_12)+n7_28_12)+n7_1_11)+n7_0_11)+n7_3_11)+n7_2_11)+n7_5_11)+n7_4_11)+n7_7_11)+n7_6_11)+n7_9_11)+n7_8_11)+n7_11_11)+n7_10_11)+n7_13_11)+n7_12_11)+n7_15_11)+n7_14_11)+n7_16_11)+n7_17_11)+n7_18_11)+n7_19_11)+n7_20_11)+n7_21_11)+n7_22_11)+n7_23_11)+n7_24_11)+n7_25_11)+n7_26_11)+n7_27_11)+n7_28_11)+n7_29_11)+n7_30_11)+n7_31_11)+n7_8_10)+n7_7_10)+n7_6_10)+n7_5_10)+n7_4_10)+n7_3_10)+n7_2_10)+n7_1_10)+n7_16_10)+n7_15_10)+n7_14_10)+n7_13_10)+n7_12_10)+n7_11_10)+n7_10_10)+n7_9_10)+n7_23_10)+n7_24_10)+n7_21_10)+n7_22_10)+n7_19_10)+n7_20_10)+n7_17_10)+n7_18_10)+n7_31_10)+n7_32_10)+n7_29_10)+n7_30_10)+n7_27_10)+n7_28_10)+n7_25_10)+n7_26_10)+n7_7_9)+n7_6_9)+n7_9_9)+n7_8_9)+n7_3_9)+n7_2_9)+n7_5_9)+n7_4_9)+n7_15_9)+n7_14_9)+n7_17_9)+n7_16_9)+n7_11_9)+n7_10_9)+n7_13_9)+n7_12_9)+n7_22_9)+n7_23_9)+n7_24_9)+n7_25_9)+n7_18_9)+n7_19_9)+n7_20_9)+n7_21_9)+n7_30_9)+n7_31_9)+n7_32_9)+n7_0_10)+n7_26_9)+n7_27_9)+n7_28_9)+n7_29_9)+n7_20_16)+n7_19_16)+n7_22_16)+n7_21_16)+n7_24_16)+n7_23_16)+n7_26_16)+n7_25_16)+n7_12_16)+n7_11_16)+n7_14_16)+n7_13_16)+n7_16_16)+n7_15_16)+n7_18_16)+n7_17_16)+n7_3_16)+n7_4_16)+n7_5_16)+n7_6_16)+n7_7_16)+n7_8_16)+n7_9_16)+n7_10_16)+n7_28_15)+n7_29_15)+n7_30_15)+n7_31_15)+n7_32_15)+n7_0_16)+n7_1_16)+n7_2_16)+n7_23_15)+n7_22_15)+n7_21_15)+n7_20_15)+n7_27_15)+n7_26_15)+n7_25_15)+n7_24_15)+n7_15_15)+n7_14_15)+n7_13_15)+n7_12_15)+n7_19_15)+n7_18_15)+n7_17_15)+n7_16_15)+n7_6_15)+n7_7_15)+n7_4_15)+n7_5_15)+n7_10_15)+n7_11_15)+n7_8_15)+n7_9_15)+n7_31_14)+n7_32_14)+n7_29_14)+n7_30_14)+n7_2_15)+n7_3_15)+n7_0_15)+n7_1_15)+n7_26_14)+n7_25_14)+n7_28_14)+n7_27_14)+n7_22_14)+n7_21_14)+n7_24_14)+n7_23_14)+n7_18_14)+n7_17_14)+n7_20_14)+n7_19_14)+n7_14_14)+n7_13_14)+n7_16_14)+n7_15_14)+n7_9_14)+n7_10_14)+n7_11_14)+n7_12_14)+n7_5_14)+n7_6_14)+n7_7_14)+n7_8_14)+n7_1_14)+n7_2_14)+n7_3_14)+n7_4_14)+n7_30_13)+n7_31_13)+n7_32_13)+n7_0_14)+n7_29_13)+n7_28_13)+n7_27_13)+n7_26_13)+n7_25_13)+n7_24_13)+n7_23_13)+n7_22_13)+n7_21_13)+n7_20_13)+n7_19_13)+n7_18_13)+n7_17_13)+n7_16_13)+n7_15_13)+n7_14_13)+n7_12_13)+n7_13_13)+n7_10_13)+n7_11_13)+n7_8_13)+n7_9_13)+n7_6_13)+n7_7_13)+n7_4_13)+n7_5_13)+n7_2_13)+n7_3_13)+n7_0_13)+n7_1_13)+n7_31_12)+n7_32_12)+n7_7_20)+n7_8_20)+n7_9_20)+n7_10_20)+n7_11_20)+n7_12_20)+n7_13_20)+n7_14_20)+n7_15_20)+n7_16_20)+n7_17_20)+n7_18_20)+n7_19_20)+n7_20_20)+n7_21_20)+n7_22_20)+n7_25_19)+n7_24_19)+n7_27_19)+n7_26_19)+n7_29_19)+n7_28_19)+n7_31_19)+n7_30_19)+n7_0_20)+n7_32_19)+n7_2_20)+n7_1_20)+n7_4_20)+n7_3_20)+n7_6_20)+n7_5_20)+n7_10_19)+n7_11_19)+n7_8_19)+n7_9_19)+n7_14_19)+n7_15_19)+n7_12_19)+n7_13_19)+n7_18_19)+n7_19_19)+n7_16_19)+n7_17_19)+n7_22_19)+n7_23_19)+n7_20_19)+n7_21_19)+n7_28_18)+n7_27_18)+n7_26_18)+n7_25_18)+n7_32_18)+n7_31_18)+n7_30_18)+n7_29_18)+n7_3_19)+n7_2_19)+n7_1_19)+n7_0_19)+n7_7_19)+n7_6_19)+n7_5_19)+n7_4_19)+n7_13_18)+n7_14_18)+n7_15_18)+n7_16_18)+n7_9_18)+n7_10_18)+n7_11_18)+n7_12_18)+n7_21_18)+n7_22_18)+n7_23_18)+n7_24_18)+n7_17_18)+n7_18_18)+n7_19_18)+n7_20_18)+n7_31_17)+n7_30_17)+n7_0_18)+n7_32_17)+n7_27_17)+n7_26_17)+n7_29_17)+n7_28_17)+n7_6_18)+n7_5_18)+n7_8_18)+n7_7_18)+n7_2_18)+n7_1_18)+n7_4_18)+n7_3_18)+n7_16_17)+n7_17_17)+n7_14_17)+n7_15_17)+n7_12_17)+n7_13_17)+n7_10_17)+n7_11_17)+n7_24_17)+n7_25_17)+n7_22_17)+n7_23_17)+n7_20_17)+n7_21_17)+n7_18_17)+n7_19_17)+n7_1_17)+n7_0_17)+n7_32_16)+n7_31_16)+n7_30_16)+n7_29_16)+n7_28_16)+n7_27_16)+n7_9_17)+n7_8_17)+n7_7_17)+n7_6_17)+n7_5_17)+n7_4_17)+n7_3_17)+n7_2_17)+n7_10_25)+n7_11_25)+n7_12_25)+n7_13_25)+n7_14_25)+n7_15_25)+n7_16_25)+n7_17_25)+n7_2_25)+n7_3_25)+n7_4_25)+n7_5_25)+n7_6_25)+n7_7_25)+n7_8_25)+n7_9_25)+n7_28_24)+n7_27_24)+n7_30_24)+n7_29_24)+n7_32_24)+n7_31_24)+n7_1_25)+n7_0_25)+n7_20_24)+n7_19_24)+n7_22_24)+n7_21_24)+n7_24_24)+n7_23_24)+n7_26_24)+n7_25_24)+n7_11_26)+n7_12_26)+n7_9_26)+n7_10_26)+n7_15_26)+n7_16_26)+n7_13_26)+n7_14_26)+n7_3_26)+n7_4_26)+n7_1_26)+n7_2_26)+n7_7_26)+n7_8_26)+n7_5_26)+n7_6_26)+n7_29_25)+n7_28_25)+n7_27_25)+n7_26_25)+n7_0_26)+n7_32_25)+n7_31_25)+n7_30_25)+n7_21_25)+n7_20_25)+n7_19_25)+n7_18_25)+n7_25_25)+n7_24_25)+n7_23_25)+n7_22_25)+n7_12_27)+n7_13_27)+n7_14_27)+n7_15_27)+n7_8_27)+n7_9_27)+n7_10_27)+n7_11_27)+n7_4_27)+n7_5_27)+n7_6_27)+n7_7_27)+n7_0_27)+n7_1_27)+n7_2_27)+n7_3_27)+n7_30_26)+n7_29_26)+n7_32_26)+n7_31_26)+n7_26_26)+n7_25_26)+n7_28_26)+n7_27_26)+n7_22_26)+n7_21_26)+n7_24_26)+n7_23_26)+n7_18_26)+n7_17_26)+n7_20_26)+n7_19_26)+n7_13_28)+n7_14_28)+n7_11_28)+n7_12_28)+n7_9_28)+n7_10_28)+n7_7_28)+n7_8_28)+n7_5_28)+n7_6_28)+n7_3_28)+n7_4_28)+n7_1_28)+n7_2_28)+n7_32_27)+n7_0_28)+n7_31_27)+n7_30_27)+n7_29_27)+n7_28_27)+n7_27_27)+n7_26_27)+n7_25_27)+n7_24_27)+n7_23_27)+n7_22_27)+n7_21_27)+n7_20_27)+n7_19_27)+n7_18_27)+n7_17_27)+n7_16_27)+n7_7_21)+n7_6_21)+n7_9_21)+n7_8_21)+n7_11_21)+n7_10_21)+n7_13_21)+n7_12_21)+n7_15_21)+n7_14_21)+n7_17_21)+n7_16_21)+n7_19_21)+n7_18_21)+n7_21_21)+n7_20_21)+n7_23_20)+n7_24_20)+n7_25_20)+n7_26_20)+n7_27_20)+n7_28_20)+n7_29_20)+n7_30_20)+n7_31_20)+n7_32_20)+n7_0_21)+n7_1_21)+n7_2_21)+n7_3_21)+n7_4_21)+n7_5_21)+n7_8_22)+n7_7_22)+n7_6_22)+n7_5_22)+n7_12_22)+n7_11_22)+n7_10_22)+n7_9_22)+n7_16_22)+n7_15_22)+n7_14_22)+n7_13_22)+n7_20_22)+n7_19_22)+n7_18_22)+n7_17_22)+n7_24_21)+n7_25_21)+n7_22_21)+n7_23_21)+n7_28_21)+n7_29_21)+n7_26_21)+n7_27_21)+n7_32_21)+n7_0_22)+n7_30_21)+n7_31_21)+n7_3_22)+n7_4_22)+n7_1_22)+n7_2_22)+n7_9_23)+n7_8_23)+n7_11_23)+n7_10_23)+n7_5_23)+n7_4_23)+n7_7_23)+n7_6_23)+n7_17_23)+n7_16_23)+n7_19_23)+n7_18_23)+n7_13_23)+n7_12_23)+n7_15_23)+n7_14_23)+n7_25_22)+n7_26_22)+n7_27_22)+n7_28_22)+n7_21_22)+n7_22_22)+n7_23_22)+n7_24_22)+n7_0_23)+n7_1_23)+n7_2_23)+n7_3_23)+n7_29_22)+n7_30_22)+n7_31_22)+n7_32_22)+n7_10_24)+n7_9_24)+n7_8_24)+n7_7_24)+n7_6_24)+n7_5_24)+n7_4_24)+n7_3_24)+n7_18_24)+n7_17_24)+n7_16_24)+n7_15_24)+n7_14_24)+n7_13_24)+n7_12_24)+n7_11_24)+n7_26_23)+n7_27_23)+n7_24_23)+n7_25_23)+n7_22_23)+n7_23_23)+n7_20_23)+n7_21_23)+n7_1_24)+n7_2_24)+n7_32_23)+n7_0_24)+n7_30_23)+n7_31_23)+n7_28_23)+n7_29_23)+n7_22_32)+n7_21_32)+n7_20_32)+n7_19_32)+n7_26_32)+n7_25_32)+n7_24_32)+n7_23_32)+n7_14_32)+n7_13_32)+n7_12_32)+n7_11_32)+n7_18_32)+n7_17_32)+n7_16_32)+n7_15_32)+n7_29_32)+n7_30_32)+n7_27_32)+n7_28_32)+n7_31_32)+n7_32_32)+n7_17_28)+n7_18_28)+n7_15_28)+n7_16_28)+n7_21_28)+n7_22_28)+n7_19_28)+n7_20_28)+n7_25_28)+n7_26_28)+n7_23_28)+n7_24_28)+n7_29_28)+n7_30_28)+n7_27_28)+n7_28_28)+n7_1_29)+n7_0_29)+n7_32_28)+n7_31_28)+n7_5_29)+n7_4_29)+n7_3_29)+n7_2_29)+n7_9_29)+n7_8_29)+n7_7_29)+n7_6_29)+n7_13_29)+n7_12_29)+n7_11_29)+n7_10_29)+n7_14_29)+n7_15_29)+n7_16_29)+n7_17_29)+n7_18_29)+n7_19_29)+n7_20_29)+n7_21_29)+n7_22_29)+n7_23_29)+n7_24_29)+n7_25_29)+n7_26_29)+n7_27_29)+n7_28_29)+n7_29_29)+n7_31_29)+n7_30_29)+n7_0_30)+n7_32_29)+n7_2_30)+n7_1_30)+n7_4_30)+n7_3_30)+n7_6_30)+n7_5_30)+n7_8_30)+n7_7_30)+n7_10_30)+n7_9_30)+n7_12_30)+n7_11_30)+n7_19_30)+n7_20_30)+n7_17_30)+n7_18_30)+n7_15_30)+n7_16_30)+n7_13_30)+n7_14_30)+n7_27_30)+n7_28_30)+n7_25_30)+n7_26_30)+n7_23_30)+n7_24_30)+n7_21_30)+n7_22_30)+n7_3_31)+n7_2_31)+n7_1_31)+n7_0_31)+n7_32_30)+n7_31_30)+n7_30_30)+n7_29_30)+n7_11_31)+n7_10_31)+n7_9_31)+n7_8_31)+n7_7_31)+n7_6_31)+n7_5_31)+n7_4_31)+n7_16_31)+n7_17_31)+n7_18_31)+n7_19_31)+n7_12_31)+n7_13_31)+n7_14_31)+n7_15_31)+n7_24_31)+n7_25_31)+n7_26_31)+n7_27_31)+n7_20_31)+n7_21_31)+n7_22_31)+n7_23_31)+n7_0_32)+n7_32_31)+n7_2_32)+n7_1_32)+n7_29_31)+n7_28_31)+n7_31_31)+n7_30_31)+n7_8_32)+n7_7_32)+n7_10_32)+n7_9_32)+n7_4_32)+n7_3_32)+n7_6_32)+n7_5_32)>=2)||(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((n8_1_0+n8_2_0)+n8_3_0)+n8_4_0)+n8_5_0)+n8_6_0)+n8_7_0)+n8_8_0)+n8_0_0)+n8_24_0)+n8_23_0)+n8_22_0)+n8_21_0)+n8_20_0)+n8_19_0)+n8_18_0)+n8_17_0)+n8_16_0)+n8_15_0)+n8_14_0)+n8_13_0)+n8_12_0)+n8_11_0)+n8_10_0)+n8_9_0)+n8_6_1)+n8_7_1)+n8_4_1)+n8_5_1)+n8_2_1)+n8_3_1)+n8_0_1)+n8_1_1)+n8_31_0)+n8_32_0)+n8_29_0)+n8_30_0)+n8_27_0)+n8_28_0)+n8_25_0)+n8_26_0)+n8_21_1)+n8_20_1)+n8_23_1)+n8_22_1)+n8_17_1)+n8_16_1)+n8_19_1)+n8_18_1)+n8_13_1)+n8_12_1)+n8_15_1)+n8_14_1)+n8_9_1)+n8_8_1)+n8_11_1)+n8_10_1)+n8_3_2)+n8_4_2)+n8_5_2)+n8_6_2)+n8_32_1)+n8_0_2)+n8_1_2)+n8_2_2)+n8_28_1)+n8_29_1)+n8_30_1)+n8_31_1)+n8_24_1)+n8_25_1)+n8_26_1)+n8_27_1)+n8_32_7)+n8_0_8)+n8_30_7)+n8_31_7)+n8_28_7)+n8_29_7)+n8_26_7)+n8_27_7)+n8_24_7)+n8_25_7)+n8_22_7)+n8_23_7)+n8_20_7)+n8_21_7)+n8_18_7)+n8_19_7)+n8_17_7)+n8_16_7)+n8_15_7)+n8_14_7)+n8_13_7)+n8_12_7)+n8_11_7)+n8_10_7)+n8_9_7)+n8_8_7)+n8_7_7)+n8_6_7)+n8_5_7)+n8_4_7)+n8_3_7)+n8_2_7)+n8_31_6)+n8_32_6)+n8_0_7)+n8_1_7)+n8_27_6)+n8_28_6)+n8_29_6)+n8_30_6)+n8_23_6)+n8_24_6)+n8_25_6)+n8_26_6)+n8_19_6)+n8_20_6)+n8_21_6)+n8_22_6)+n8_16_6)+n8_15_6)+n8_18_6)+n8_17_6)+n8_12_6)+n8_11_6)+n8_14_6)+n8_13_6)+n8_8_6)+n8_7_6)+n8_10_6)+n8_9_6)+n8_4_6)+n8_3_6)+n8_6_6)+n8_5_6)+n8_26_9)+n8_27_9)+n8_24_9)+n8_25_9)+n8_30_9)+n8_31_9)+n8_28_9)+n8_29_9)+n8_18_9)+n8_19_9)+n8_16_9)+n8_17_9)+n8_22_9)+n8_23_9)+n8_20_9)+n8_21_9)+n8_11_9)+n8_10_9)+n8_9_9)+n8_8_9)+n8_15_9)+n8_14_9)+n8_13_9)+n8_12_9)+n8_3_9)+n8_2_9)+n8_1_9)+n8_0_9)+n8_7_9)+n8_6_9)+n8_5_9)+n8_4_9)+n8_25_8)+n8_26_8)+n8_27_8)+n8_28_8)+n8_29_8)+n8_30_8)+n8_31_8)+n8_32_8)+n8_17_8)+n8_18_8)+n8_19_8)+n8_20_8)+n8_21_8)+n8_22_8)+n8_23_8)+n8_24_8)+n8_10_8)+n8_9_8)+n8_12_8)+n8_11_8)+n8_14_8)+n8_13_8)+n8_16_8)+n8_15_8)+n8_2_8)+n8_1_8)+n8_4_8)+n8_3_8)+n8_6_8)+n8_5_8)+n8_8_8)+n8_7_8)+n8_29_3)+n8_28_3)+n8_27_3)+n8_26_3)+n8_25_3)+n8_24_3)+n8_23_3)+n8_22_3)+n8_4_4)+n8_3_4)+n8_2_4)+n8_1_4)+n8_0_4)+n8_32_3)+n8_31_3)+n8_30_3)+n8_12_3)+n8_13_3)+n8_10_3)+n8_11_3)+n8_8_3)+n8_9_3)+n8_6_3)+n8_7_3)+n8_20_3)+n8_21_3)+n8_18_3)+n8_19_3)+n8_16_3)+n8_17_3)+n8_14_3)+n8_15_3)+n8_28_2)+n8_27_2)+n8_30_2)+n8_29_2)+n8_24_2)+n8_23_2)+n8_26_2)+n8_25_2)+n8_3_3)+n8_2_3)+n8_5_3)+n8_4_3)+n8_32_2)+n8_31_2)+n8_1_3)+n8_0_3)+n8_11_2)+n8_12_2)+n8_13_2)+n8_14_2)+n8_7_2)+n8_8_2)+n8_9_2)+n8_10_2)+n8_19_2)+n8_20_2)+n8_21_2)+n8_22_2)+n8_15_2)+n8_16_2)+n8_17_2)+n8_18_2)+n8_23_5)+n8_22_5)+n8_21_5)+n8_20_5)+n8_27_5)+n8_26_5)+n8_25_5)+n8_24_5)+n8_31_5)+n8_30_5)+n8_29_5)+n8_28_5)+n8_2_6)+n8_1_6)+n8_0_6)+n8_32_5)+n8_6_5)+n8_7_5)+n8_4_5)+n8_5_5)+n8_10_5)+n8_11_5)+n8_8_5)+n8_9_5)+n8_14_5)+n8_15_5)+n8_12_5)+n8_13_5)+n8_18_5)+n8_19_5)+n8_16_5)+n8_17_5)+n8_22_4)+n8_21_4)+n8_24_4)+n8_23_4)+n8_26_4)+n8_25_4)+n8_28_4)+n8_27_4)+n8_30_4)+n8_29_4)+n8_32_4)+n8_31_4)+n8_1_5)+n8_0_5)+n8_3_5)+n8_2_5)+n8_5_4)+n8_6_4)+n8_7_4)+n8_8_4)+n8_9_4)+n8_10_4)+n8_11_4)+n8_12_4)+n8_13_4)+n8_14_4)+n8_15_4)+n8_16_4)+n8_17_4)+n8_18_4)+n8_19_4)+n8_20_4)+n8_7_15)+n8_6_15)+n8_9_15)+n8_8_15)+n8_3_15)+n8_2_15)+n8_5_15)+n8_4_15)+n8_32_14)+n8_31_14)+n8_1_15)+n8_0_15)+n8_28_14)+n8_27_14)+n8_30_14)+n8_29_14)+n8_22_15)+n8_23_15)+n8_24_15)+n8_25_15)+n8_18_15)+n8_19_15)+n8_20_15)+n8_21_15)+n8_14_15)+n8_15_15)+n8_16_15)+n8_17_15)+n8_10_15)+n8_11_15)+n8_12_15)+n8_13_15)+n8_10_14)+n8_9_14)+n8_8_14)+n8_7_14)+n8_6_14)+n8_5_14)+n8_4_14)+n8_3_14)+n8_2_14)+n8_1_14)+n8_0_14)+n8_32_13)+n8_31_13)+n8_30_13)+n8_29_13)+n8_28_13)+n8_25_14)+n8_26_14)+n8_23_14)+n8_24_14)+n8_21_14)+n8_22_14)+n8_19_14)+n8_20_14)+n8_17_14)+n8_18_14)+n8_15_14)+n8_16_14)+n8_13_14)+n8_14_14)+n8_11_14)+n8_12_14)+n8_1_17)+n8_0_17)+n8_3_17)+n8_2_17)+n8_5_17)+n8_4_17)+n8_7_17)+n8_6_17)+n8_26_16)+n8_25_16)+n8_28_16)+n8_27_16)+n8_30_16)+n8_29_16)+n8_32_16)+n8_31_16)+n8_16_17)+n8_17_17)+n8_18_17)+n8_19_17)+n8_20_17)+n8_21_17)+n8_22_17)+n8_23_17)+n8_8_17)+n8_9_17)+n8_10_17)+n8_11_17)+n8_12_17)+n8_13_17)+n8_14_17)+n8_15_17)+n8_4_16)+n8_3_16)+n8_2_16)+n8_1_16)+n8_8_16)+n8_7_16)+n8_6_16)+n8_5_16)+n8_29_15)+n8_28_15)+n8_27_15)+n8_26_15)+n8_0_16)+n8_32_15)+n8_31_15)+n8_30_15)+n8_19_16)+n8_20_16)+n8_17_16)+n8_18_16)+n8_23_16)+n8_24_16)+n8_21_16)+n8_22_16)+n8_11_16)+n8_12_16)+n8_9_16)+n8_10_16)+n8_15_16)+n8_16_16)+n8_13_16)+n8_14_16)+n8_2_11)+n8_3_11)+n8_4_11)+n8_5_11)+n8_31_10)+n8_32_10)+n8_0_11)+n8_1_11)+n8_10_11)+n8_11_11)+n8_12_11)+n8_13_11)+n8_6_11)+n8_7_11)+n8_8_11)+n8_9_11)+n8_19_11)+n8_18_11)+n8_21_11)+n8_20_11)+n8_15_11)+n8_14_11)+n8_17_11)+n8_16_11)+n8_27_11)+n8_26_11)+n8_29_11)+n8_28_11)+n8_23_11)+n8_22_11)+n8_25_11)+n8_24_11)+n8_5_10)+n8_6_10)+n8_3_10)+n8_4_10)+n8_1_10)+n8_2_10)+n8_32_9)+n8_0_10)+n8_13_10)+n8_14_10)+n8_11_10)+n8_12_10)+n8_9_10)+n8_10_10)+n8_7_10)+n8_8_10)+n8_22_10)+n8_21_10)+n8_20_10)+n8_19_10)+n8_18_10)+n8_17_10)+n8_16_10)+n8_15_10)+n8_30_10)+n8_29_10)+n8_28_10)+n8_27_10)+n8_26_10)+n8_25_10)+n8_24_10)+n8_23_10)+n8_29_12)+n8_30_12)+n8_31_12)+n8_32_12)+n8_0_13)+n8_1_13)+n8_2_13)+n8_3_13)+n8_4_13)+n8_5_13)+n8_6_13)+n8_7_13)+n8_8_13)+n8_9_13)+n8_10_13)+n8_11_13)+n8_13_13)+n8_12_13)+n8_15_13)+n8_14_13)+n8_17_13)+n8_16_13)+n8_19_13)+n8_18_13)+n8_21_13)+n8_20_13)+n8_23_13)+n8_22_13)+n8_25_13)+n8_24_13)+n8_27_13)+n8_26_13)+n8_32_11)+n8_0_12)+n8_30_11)+n8_31_11)+n8_3_12)+n8_4_12)+n8_1_12)+n8_2_12)+n8_7_12)+n8_8_12)+n8_5_12)+n8_6_12)+n8_11_12)+n8_12_12)+n8_9_12)+n8_10_12)+n8_16_12)+n8_15_12)+n8_14_12)+n8_13_12)+n8_20_12)+n8_19_12)+n8_18_12)+n8_17_12)+n8_24_12)+n8_23_12)+n8_22_12)+n8_21_12)+n8_28_12)+n8_27_12)+n8_26_12)+n8_25_12)+n8_5_24)+n8_6_24)+n8_7_24)+n8_8_24)+n8_1_24)+n8_2_24)+n8_3_24)+n8_4_24)+n8_13_24)+n8_14_24)+n8_15_24)+n8_16_24)+n8_9_24)+n8_10_24)+n8_11_24)+n8_12_24)+n8_23_23)+n8_22_23)+n8_25_23)+n8_24_23)+n8_19_23)+n8_18_23)+n8_21_23)+n8_20_23)+n8_31_23)+n8_30_23)+n8_0_24)+n8_32_23)+n8_27_23)+n8_26_23)+n8_29_23)+n8_28_23)+n8_6_25)+n8_7_25)+n8_4_25)+n8_5_25)+n8_2_25)+n8_3_25)+n8_0_25)+n8_1_25)+n8_14_25)+n8_15_25)+n8_12_25)+n8_13_25)+n8_10_25)+n8_11_25)+n8_8_25)+n8_9_25)+n8_24_24)+n8_23_24)+n8_22_24)+n8_21_24)+n8_20_24)+n8_19_24)+n8_18_24)+n8_17_24)+n8_32_24)+n8_31_24)+n8_30_24)+n8_29_24)+n8_28_24)+n8_27_24)+n8_26_24)+n8_25_24)+n8_3_22)+n8_4_22)+n8_5_22)+n8_6_22)+n8_7_22)+n8_8_22)+n8_9_22)+n8_10_22)+n8_11_22)+n8_12_22)+n8_13_22)+n8_14_22)+n8_15_22)+n8_16_22)+n8_17_22)+n8_18_22)+n8_21_21)+n8_20_21)+n8_23_21)+n8_22_21)+n8_25_21)+n8_24_21)+n8_27_21)+n8_26_21)+n8_29_21)+n8_28_21)+n8_31_21)+n8_30_21)+n8_0_22)+n8_32_21)+n8_2_22)+n8_1_22)+n8_4_23)+n8_5_23)+n8_2_23)+n8_3_23)+n8_8_23)+n8_9_23)+n8_6_23)+n8_7_23)+n8_12_23)+n8_13_23)+n8_10_23)+n8_11_23)+n8_16_23)+n8_17_23)+n8_14_23)+n8_15_23)+n8_22_22)+n8_21_22)+n8_20_22)+n8_19_22)+n8_26_22)+n8_25_22)+n8_24_22)+n8_23_22)+n8_30_22)+n8_29_22)+n8_28_22)+n8_27_22)+n8_1_23)+n8_0_23)+n8_32_22)+n8_31_22)+n8_18_20)+n8_17_20)+n8_20_20)+n8_19_20)+n8_14_20)+n8_13_20)+n8_16_20)+n8_15_20)+n8_10_20)+n8_9_20)+n8_12_20)+n8_11_20)+n8_6_20)+n8_5_20)+n8_8_20)+n8_7_20)+n8_1_20)+n8_2_20)+n8_3_20)+n8_4_20)+n8_30_19)+n8_31_19)+n8_32_19)+n8_0_20)+n8_26_19)+n8_27_19)+n8_28_19)+n8_29_19)+n8_22_19)+n8_23_19)+n8_24_19)+n8_25_19)+n8_19_21)+n8_18_21)+n8_17_21)+n8_16_21)+n8_15_21)+n8_14_21)+n8_13_21)+n8_12_21)+n8_11_21)+n8_10_21)+n8_9_21)+n8_8_21)+n8_7_21)+n8_6_21)+n8_5_21)+n8_4_21)+n8_2_21)+n8_3_21)+n8_0_21)+n8_1_21)+n8_31_20)+n8_32_20)+n8_29_20)+n8_30_20)+n8_27_20)+n8_28_20)+n8_25_20)+n8_26_20)+n8_23_20)+n8_24_20)+n8_21_20)+n8_22_20)+n8_16_18)+n8_15_18)+n8_18_18)+n8_17_18)+n8_20_18)+n8_19_18)+n8_22_18)+n8_21_18)+n8_8_18)+n8_7_18)+n8_10_18)+n8_9_18)+n8_12_18)+n8_11_18)+n8_14_18)+n8_13_18)+n8_32_17)+n8_0_18)+n8_1_18)+n8_2_18)+n8_3_18)+n8_4_18)+n8_5_18)+n8_6_18)+n8_24_17)+n8_25_17)+n8_26_17)+n8_27_17)+n8_28_17)+n8_29_17)+n8_30_17)+n8_31_17)+n8_17_19)+n8_16_19)+n8_15_19)+n8_14_19)+n8_21_19)+n8_20_19)+n8_19_19)+n8_18_19)+n8_9_19)+n8_8_19)+n8_7_19)+n8_6_19)+n8_13_19)+n8_12_19)+n8_11_19)+n8_10_19)+n8_0_19)+n8_1_19)+n8_31_18)+n8_32_18)+n8_4_19)+n8_5_19)+n8_2_19)+n8_3_19)+n8_25_18)+n8_26_18)+n8_23_18)+n8_24_18)+n8_29_18)+n8_30_18)+n8_27_18)+n8_28_18)+n8_17_31)+n8_16_31)+n8_15_31)+n8_14_31)+n8_13_31)+n8_12_31)+n8_11_31)+n8_10_31)+n8_25_31)+n8_24_31)+n8_23_31)+n8_22_31)+n8_21_31)+n8_20_31)+n8_19_31)+n8_18_31)+n8_32_31)+n8_0_32)+n8_30_31)+n8_31_31)+n8_28_31)+n8_29_31)+n8_26_31)+n8_27_31)+n8_7_32)+n8_8_32)+n8_5_32)+n8_6_32)+n8_3_32)+n8_4_32)+n8_1_32)+n8_2_32)+n8_14_32)+n8_13_32)+n8_16_32)+n8_15_32)+n8_10_32)+n8_9_32)+n8_12_32)+n8_11_32)+n8_22_32)+n8_21_32)+n8_24_32)+n8_23_32)+n8_18_32)+n8_17_32)+n8_20_32)+n8_19_32)+n8_29_32)+n8_30_32)+n8_31_32)+n8_32_32)+n8_25_32)+n8_26_32)+n8_27_32)+n8_28_32)+n8_15_29)+n8_14_29)+n8_13_29)+n8_12_29)+n8_19_29)+n8_18_29)+n8_17_29)+n8_16_29)+n8_23_29)+n8_22_29)+n8_21_29)+n8_20_29)+n8_27_29)+n8_26_29)+n8_25_29)+n8_24_29)+n8_30_29)+n8_31_29)+n8_28_29)+n8_29_29)+n8_1_30)+n8_2_30)+n8_32_29)+n8_0_30)+n8_5_30)+n8_6_30)+n8_3_30)+n8_4_30)+n8_9_30)+n8_10_30)+n8_7_30)+n8_8_30)+n8_12_30)+n8_11_30)+n8_14_30)+n8_13_30)+n8_16_30)+n8_15_30)+n8_18_30)+n8_17_30)+n8_20_30)+n8_19_30)+n8_22_30)+n8_21_30)+n8_24_30)+n8_23_30)+n8_26_30)+n8_25_30)+n8_27_30)+n8_28_30)+n8_29_30)+n8_30_30)+n8_31_30)+n8_32_30)+n8_0_31)+n8_1_31)+n8_2_31)+n8_3_31)+n8_4_31)+n8_5_31)+n8_6_31)+n8_7_31)+n8_8_31)+n8_9_31)+n8_28_27)+n8_29_27)+n8_26_27)+n8_27_27)+n8_24_27)+n8_25_27)+n8_22_27)+n8_23_27)+n8_20_27)+n8_21_27)+n8_18_27)+n8_19_27)+n8_16_27)+n8_17_27)+n8_14_27)+n8_15_27)+n8_12_28)+n8_11_28)+n8_10_28)+n8_9_28)+n8_8_28)+n8_7_28)+n8_6_28)+n8_5_28)+n8_4_28)+n8_3_28)+n8_2_28)+n8_1_28)+n8_0_28)+n8_32_27)+n8_31_27)+n8_30_27)+n8_25_28)+n8_26_28)+n8_27_28)+n8_28_28)+n8_21_28)+n8_22_28)+n8_23_28)+n8_24_28)+n8_17_28)+n8_18_28)+n8_19_28)+n8_20_28)+n8_13_28)+n8_14_28)+n8_15_28)+n8_16_28)+n8_9_29)+n8_8_29)+n8_11_29)+n8_10_29)+n8_5_29)+n8_4_29)+n8_7_29)+n8_6_29)+n8_1_29)+n8_0_29)+n8_3_29)+n8_2_29)+n8_30_28)+n8_29_28)+n8_32_28)+n8_31_28)+n8_26_25)+n8_27_25)+n8_24_25)+n8_25_25)+n8_30_25)+n8_31_25)+n8_28_25)+n8_29_25)+n8_18_25)+n8_19_25)+n8_16_25)+n8_17_25)+n8_22_25)+n8_23_25)+n8_20_25)+n8_21_25)+n8_10_26)+n8_9_26)+n8_8_26)+n8_7_26)+n8_14_26)+n8_13_26)+n8_12_26)+n8_11_26)+n8_2_26)+n8_1_26)+n8_0_26)+n8_32_25)+n8_6_26)+n8_5_26)+n8_4_26)+n8_3_26)+n8_23_26)+n8_24_26)+n8_25_26)+n8_26_26)+n8_27_26)+n8_28_26)+n8_29_26)+n8_30_26)+n8_15_26)+n8_16_26)+n8_17_26)+n8_18_26)+n8_19_26)+n8_20_26)+n8_21_26)+n8_22_26)+n8_7_27)+n8_6_27)+n8_9_27)+n8_8_27)+n8_11_27)+n8_10_27)+n8_13_27)+n8_12_27)+n8_32_26)+n8_31_26)+n8_1_27)+n8_0_27)+n8_3_27)+n8_2_27)+n8_5_27)+n8_4_27)>=1))) found Support [s4_5, s4_6, s4_3, s4_4, s4_1, s4_2, s4_0, s4_14, s4_13, s4_12, s4_11, s4_10, s4_9, s4_8, s4_7, s4_22, s4_21, s4_20, s4_19, s4_18, s4_17, s4_16, s4_15, s4_32, s4_31, s4_24, s4_23, s4_26, s4_25, s4_28, s4_27, s4_30, s4_29, n7_10_0, n7_9_0, n7_8_0, n7_7_0, n7_6_0, n7_5_0, n7_4_0, n7_3_0, n7_2_0, n7_1_0, n7_0_0, n7_7_1, n7_6_1, n7_9_1, n7_8_1, n7_3_1, n7_2_1, n7_5_1, n7_4_1, n7_32_0, n7_31_0, n7_1_1, n7_0_1, n7_28_0, n7_27_0, n7_30_0, n7_29_0, n7_23_0, n7_24_0, n7_25_0, n7_26_0, n7_19_0, n7_20_0, n7_21_0, n7_22_0, n7_15_0, n7_16_0, n7_17_0, n7_18_0, n7_11_0, n7_12_0, n7_13_0, n7_14_0, n7_30_3, n7_31_3, n7_28_3, n7_29_3, n7_26_3, n7_27_3, n7_24_3, n7_25_3, n7_5_4, n7_6_4, n7_3_4, n7_4_4, n7_1_4, n7_2_4, n7_32_3, n7_0_4, n7_15_3, n7_14_3, n7_13_3, n7_12_3, n7_11_3, n7_10_3, n7_9_3, n7_8_3, n7_23_3, n7_22_3, n7_21_3, n7_20_3, n7_19_3, n7_18_3, n7_17_3, n7_16_3, n7_27_4, n7_28_4, n7_29_4, n7_30_4, n7_23_4, n7_24_4, n7_25_4, n7_26_4, n7_2_5, n7_3_5, n7_4_5, n7_5_5, n7_31_4, n7_32_4, n7_0_5, n7_1_5, n7_12_4, n7_11_4, n7_14_4, n7_13_4, n7_8_4, n7_7_4, n7_10_4, n7_9_4, n7_20_4, n7_19_4, n7_22_4, n7_21_4, n7_16_4, n7_15_4, n7_18_4, n7_17_4, n7_28_1, n7_29_1, n7_26_1, n7_27_1, n7_32_1, n7_0_2, n7_30_1, n7_31_1, n7_3_2, n7_4_2, n7_1_2, n7_2_2, n7_7_2, n7_8_2, n7_5_2, n7_6_2, n7_13_1, n7_12_1, n7_11_1, n7_10_1, n7_17_1, n7_16_1, n7_15_1, n7_14_1, n7_21_1, n7_20_1, n7_19_1, n7_18_1, n7_25_1, n7_24_1, n7_23_1, n7_22_1, n7_25_2, n7_26_2, n7_27_2, n7_28_2, n7_29_2, n7_30_2, n7_31_2, n7_32_2, n7_0_3, n7_1_3, n7_2_3, n7_3_3, n7_4_3, n7_5_3, n7_6_3, n7_7_3, n7_10_2, n7_9_2, n7_12_2, n7_11_2, n7_14_2, n7_13_2, n7_16_2, n7_15_2, n7_18_2, n7_17_2, n7_20_2, n7_19_2, n7_22_2, n7_21_2, n7_24_2, n7_23_2, n7_13_8, n7_14_8, n7_11_8, n7_12_8, n7_17_8, n7_18_8, n7_15_8, n7_16_8, n7_5_8, n7_6_8, n7_3_8, n7_4_8, n7_9_8, n7_10_8, n7_7_8, n7_8_8, n7_30_8, n7_29_8, n7_28_8, n7_27_8, n7_1_9, n7_0_9, n7_32_8, n7_31_8, n7_22_8, n7_21_8, n7_20_8, n7_19_8, n7_26_8, n7_25_8, n7_24_8, n7_23_8, n7_12_7, n7_13_7, n7_14_7, n7_15_7, n7_16_7, n7_17_7, n7_18_7, n7_19_7, n7_4_7, n7_5_7, n7_6_7, n7_7_7, n7_8_7, n7_9_7, n7_10_7, n7_11_7, n7_29_7, n7_28_7, n7_31_7, n7_30_7, n7_0_8, n7_32_7, n7_2_8, n7_1_8, n7_21_7, n7_20_7, n7_23_7, n7_22_7, n7_25_7, n7_24_7, n7_27_7, n7_26_7, n7_19_6, n7_20_6, n7_17_6, n7_18_6, n7_15_6, n7_16_6, n7_13_6, n7_14_6, n7_11_6, n7_12_6, n7_9_6, n7_10_6, n7_7_6, n7_8_6, n7_5_6, n7_6_6, n7_3_7, n7_2_7, n7_1_7, n7_0_7, n7_32_6, n7_31_6, n7_30_6, n7_29_6, n7_28_6, n7_27_6, n7_26_6, n7_25_6, n7_24_6, n7_23_6, n7_22_6, n7_21_6, n7_18_5, n7_19_5, n7_20_5, n7_21_5, n7_14_5, n7_15_5, n7_16_5, n7_17_5, n7_10_5, n7_11_5, n7_12_5, n7_13_5, n7_6_5, n7_7_5, n7_8_5, n7_9_5, n7_2_6, n7_1_6, n7_4_6, n7_3_6, n7_31_5, n7_30_5, n7_0_6, n7_32_5, n7_27_5, n7_26_5, n7_29_5, n7_28_5, n7_23_5, n7_22_5, n7_25_5, n7_24_5, n7_2_12, n7_1_12, n7_0_12, n7_32_11, n7_6_12, n7_5_12, n7_4_12, n7_3_12, n7_10_12, n7_9_12, n7_8_12, n7_7_12, n7_14_12, n7_13_12, n7_12_12, n7_11_12, n7_17_12, n7_18_12, n7_15_12, n7_16_12, n7_21_12, n7_22_12, n7_19_12, n7_20_12, n7_25_12, n7_26_12, n7_23_12, n7_24_12, n7_29_12, n7_30_12, n7_27_12, n7_28_12, n7_1_11, n7_0_11, n7_3_11, n7_2_11, n7_5_11, n7_4_11, n7_7_11, n7_6_11, n7_9_11, n7_8_11, n7_11_11, n7_10_11, n7_13_11, n7_12_11, n7_15_11, n7_14_11, n7_16_11, n7_17_11, n7_18_11, n7_19_11, n7_20_11, n7_21_11, n7_22_11, n7_23_11, n7_24_11, n7_25_11, n7_26_11, n7_27_11, n7_28_11, n7_29_11, n7_30_11, n7_31_11, n7_8_10, n7_7_10, n7_6_10, n7_5_10, n7_4_10, n7_3_10, n7_2_10, n7_1_10, n7_16_10, n7_15_10, n7_14_10, n7_13_10, n7_12_10, n7_11_10, n7_10_10, n7_9_10, n7_23_10, n7_24_10, n7_21_10, n7_22_10, n7_19_10, n7_20_10, n7_17_10, n7_18_10, n7_31_10, n7_32_10, n7_29_10, n7_30_10, n7_27_10, n7_28_10, n7_25_10, n7_26_10, n7_7_9, n7_6_9, n7_9_9, n7_8_9, n7_3_9, n7_2_9, n7_5_9, n7_4_9, n7_15_9, n7_14_9, n7_17_9, n7_16_9, n7_11_9, n7_10_9, n7_13_9, n7_12_9, n7_22_9, n7_23_9, n7_24_9, n7_25_9, n7_18_9, n7_19_9, n7_20_9, n7_21_9, n7_30_9, n7_31_9, n7_32_9, n7_0_10, n7_26_9, n7_27_9, n7_28_9, n7_29_9, n7_20_16, n7_19_16, n7_22_16, n7_21_16, n7_24_16, n7_23_16, n7_26_16, n7_25_16, n7_12_16, n7_11_16, n7_14_16, n7_13_16, n7_16_16, n7_15_16, n7_18_16, n7_17_16, n7_3_16, n7_4_16, n7_5_16, n7_6_16, n7_7_16, n7_8_16, n7_9_16, n7_10_16, n7_28_15, n7_29_15, n7_30_15, n7_31_15, n7_32_15, n7_0_16, n7_1_16, n7_2_16, n7_23_15, n7_22_15, n7_21_15, n7_20_15, n7_27_15, n7_26_15, n7_25_15, n7_24_15, n7_15_15, n7_14_15, n7_13_15, n7_12_15, n7_19_15, n7_18_15, n7_17_15, n7_16_15, n7_6_15, n7_7_15, n7_4_15, n7_5_15, n7_10_15, n7_11_15, n7_8_15, n7_9_15, n7_31_14, n7_32_14, n7_29_14, n7_30_14, n7_2_15, n7_3_15, n7_0_15, n7_1_15, n7_26_14, n7_25_14, n7_28_14, n7_27_14, n7_22_14, n7_21_14, n7_24_14, n7_23_14, n7_18_14, n7_17_14, n7_20_14, n7_19_14, n7_14_14, n7_13_14, n7_16_14, n7_15_14, n7_9_14, n7_10_14, n7_11_14, n7_12_14, n7_5_14, n7_6_14, n7_7_14, n7_8_14, n7_1_14, n7_2_14, n7_3_14, n7_4_14, n7_30_13, n7_31_13, n7_32_13, n7_0_14, n7_29_13, n7_28_13, n7_27_13, n7_26_13, n7_25_13, n7_24_13, n7_23_13, n7_22_13, n7_21_13, n7_20_13, n7_19_13, n7_18_13, n7_17_13, n7_16_13, n7_15_13, n7_14_13, n7_12_13, n7_13_13, n7_10_13, n7_11_13, n7_8_13, n7_9_13, n7_6_13, n7_7_13, n7_4_13, n7_5_13, n7_2_13, n7_3_13, n7_0_13, n7_1_13, n7_31_12, n7_32_12, n7_7_20, n7_8_20, n7_9_20, n7_10_20, n7_11_20, n7_12_20, n7_13_20, n7_14_20, n7_15_20, n7_16_20, n7_17_20, n7_18_20, n7_19_20, n7_20_20, n7_21_20, n7_22_20, n7_25_19, n7_24_19, n7_27_19, n7_26_19, n7_29_19, n7_28_19, n7_31_19, n7_30_19, n7_0_20, n7_32_19, n7_2_20, n7_1_20, n7_4_20, n7_3_20, n7_6_20, n7_5_20, n7_10_19, n7_11_19, n7_8_19, n7_9_19, n7_14_19, n7_15_19, n7_12_19, n7_13_19, n7_18_19, n7_19_19, n7_16_19, n7_17_19, n7_22_19, n7_23_19, n7_20_19, n7_21_19, n7_28_18, n7_27_18, n7_26_18, n7_25_18, n7_32_18, n7_31_18, n7_30_18, n7_29_18, n7_3_19, n7_2_19, n7_1_19, n7_0_19, n7_7_19, n7_6_19, n7_5_19, n7_4_19, n7_13_18, n7_14_18, n7_15_18, n7_16_18, n7_9_18, n7_10_18, n7_11_18, n7_12_18, n7_21_18, n7_22_18, n7_23_18, n7_24_18, n7_17_18, n7_18_18, n7_19_18, n7_20_18, n7_31_17, n7_30_17, n7_0_18, n7_32_17, n7_27_17, n7_26_17, n7_29_17, n7_28_17, n7_6_18, n7_5_18, n7_8_18, n7_7_18, n7_2_18, n7_1_18, n7_4_18, n7_3_18, n7_16_17, n7_17_17, n7_14_17, n7_15_17, n7_12_17, n7_13_17, n7_10_17, n7_11_17, n7_24_17, n7_25_17, n7_22_17, n7_23_17, n7_20_17, n7_21_17, n7_18_17, n7_19_17, n7_1_17, n7_0_17, n7_32_16, n7_31_16, n7_30_16, n7_29_16, n7_28_16, n7_27_16, n7_9_17, n7_8_17, n7_7_17, n7_6_17, n7_5_17, n7_4_17, n7_3_17, n7_2_17, n7_10_25, n7_11_25, n7_12_25, n7_13_25, n7_14_25, n7_15_25, n7_16_25, n7_17_25, n7_2_25, n7_3_25, n7_4_25, n7_5_25, n7_6_25, n7_7_25, n7_8_25, n7_9_25, n7_28_24, n7_27_24, n7_30_24, n7_29_24, n7_32_24, n7_31_24, n7_1_25, n7_0_25, n7_20_24, n7_19_24, n7_22_24, n7_21_24, n7_24_24, n7_23_24, n7_26_24, n7_25_24, n7_11_26, n7_12_26, n7_9_26, n7_10_26, n7_15_26, n7_16_26, n7_13_26, n7_14_26, n7_3_26, n7_4_26, n7_1_26, n7_2_26, n7_7_26, n7_8_26, n7_5_26, n7_6_26, n7_29_25, n7_28_25, n7_27_25, n7_26_25, n7_0_26, n7_32_25, n7_31_25, n7_30_25, n7_21_25, n7_20_25, n7_19_25, n7_18_25, n7_25_25, n7_24_25, n7_23_25, n7_22_25, n7_12_27, n7_13_27, n7_14_27, n7_15_27, n7_8_27, n7_9_27, n7_10_27, n7_11_27, n7_4_27, n7_5_27, n7_6_27, n7_7_27, n7_0_27, n7_1_27, n7_2_27, n7_3_27, n7_30_26, n7_29_26, n7_32_26, n7_31_26, n7_26_26, n7_25_26, n7_28_26, n7_27_26, n7_22_26, n7_21_26, n7_24_26, n7_23_26, n7_18_26, n7_17_26, n7_20_26, n7_19_26, n7_13_28, n7_14_28, n7_11_28, n7_12_28, n7_9_28, n7_10_28, n7_7_28, n7_8_28, n7_5_28, n7_6_28, n7_3_28, n7_4_28, n7_1_28, n7_2_28, n7_32_27, n7_0_28, n7_31_27, n7_30_27, n7_29_27, n7_28_27, n7_27_27, n7_26_27, n7_25_27, n7_24_27, n7_23_27, n7_22_27, n7_21_27, n7_20_27, n7_19_27, n7_18_27, n7_17_27, n7_16_27, n7_7_21, n7_6_21, n7_9_21, n7_8_21, n7_11_21, n7_10_21, n7_13_21, n7_12_21, n7_15_21, n7_14_21, n7_17_21, n7_16_21, n7_19_21, n7_18_21, n7_21_21, n7_20_21, n7_23_20, n7_24_20, n7_25_20, n7_26_20, n7_27_20, n7_28_20, n7_29_20, n7_30_20, n7_31_20, n7_32_20, n7_0_21, n7_1_21, n7_2_21, n7_3_21, n7_4_21, n7_5_21, n7_8_22, n7_7_22, n7_6_22, n7_5_22, n7_12_22, n7_11_22, n7_10_22, n7_9_22, n7_16_22, n7_15_22, n7_14_22, n7_13_22, n7_20_22, n7_19_22, n7_18_22, n7_17_22, n7_24_21, n7_25_21, n7_22_21, n7_23_21, n7_28_21, n7_29_21, n7_26_21, n7_27_21, n7_32_21, n7_0_22, n7_30_21, n7_31_21, n7_3_22, n7_4_22, n7_1_22, n7_2_22, n7_9_23, n7_8_23, n7_11_23, n7_10_23, n7_5_23, n7_4_23, n7_7_23, n7_6_23, n7_17_23, n7_16_23, n7_19_23, n7_18_23, n7_13_23, n7_12_23, n7_15_23, n7_14_23, n7_25_22, n7_26_22, n7_27_22, n7_28_22, n7_21_22, n7_22_22, n7_23_22, n7_24_22, n7_0_23, n7_1_23, n7_2_23, n7_3_23, n7_29_22, n7_30_22, n7_31_22, n7_32_22, n7_10_24, n7_9_24, n7_8_24, n7_7_24, n7_6_24, n7_5_24, n7_4_24, n7_3_24, n7_18_24, n7_17_24, n7_16_24, n7_15_24, n7_14_24, n7_13_24, n7_12_24, n7_11_24, n7_26_23, n7_27_23, n7_24_23, n7_25_23, n7_22_23, n7_23_23, n7_20_23, n7_21_23, n7_1_24, n7_2_24, n7_32_23, n7_0_24, n7_30_23, n7_31_23, n7_28_23, n7_29_23, n7_22_32, n7_21_32, n7_20_32, n7_19_32, n7_26_32, n7_25_32, n7_24_32, n7_23_32, n7_14_32, n7_13_32, n7_12_32, n7_11_32, n7_18_32, n7_17_32, n7_16_32, n7_15_32, n7_29_32, n7_30_32, n7_27_32, n7_28_32, n7_31_32, n7_32_32, n7_17_28, n7_18_28, n7_15_28, n7_16_28, n7_21_28, n7_22_28, n7_19_28, n7_20_28, n7_25_28, n7_26_28, n7_23_28, n7_24_28, n7_29_28, n7_30_28, n7_27_28, n7_28_28, n7_1_29, n7_0_29, n7_32_28, n7_31_28, n7_5_29, n7_4_29, n7_3_29, n7_2_29, n7_9_29, n7_8_29, n7_7_29, n7_6_29, n7_13_29, n7_12_29, n7_11_29, n7_10_29, n7_14_29, n7_15_29, n7_16_29, n7_17_29, n7_18_29, n7_19_29, n7_20_29, n7_21_29, n7_22_29, n7_23_29, n7_24_29, n7_25_29, n7_26_29, n7_27_29, n7_28_29, n7_29_29, n7_31_29, n7_30_29, n7_0_30, n7_32_29, n7_2_30, n7_1_30, n7_4_30, n7_3_30, n7_6_30, n7_5_30, n7_8_30, n7_7_30, n7_10_30, n7_9_30, n7_12_30, n7_11_30, n7_19_30, n7_20_30, n7_17_30, n7_18_30, n7_15_30, n7_16_30, n7_13_30, n7_14_30, n7_27_30, n7_28_30, n7_25_30, n7_26_30, n7_23_30, n7_24_30, n7_21_30, n7_22_30, n7_3_31, n7_2_31, n7_1_31, n7_0_31, n7_32_30, n7_31_30, n7_30_30, n7_29_30, n7_11_31, n7_10_31, n7_9_31, n7_8_31, n7_7_31, n7_6_31, n7_5_31, n7_4_31, n7_16_31, n7_17_31, n7_18_31, n7_19_31, n7_12_31, n7_13_31, n7_14_31, n7_15_31, n7_24_31, n7_25_31, n7_26_31, n7_27_31, n7_20_31, n7_21_31, n7_22_31, n7_23_31, n7_0_32, n7_32_31, n7_2_32, n7_1_32, n7_29_31, n7_28_31, n7_31_31, n7_30_31, n7_8_32, n7_7_32, n7_10_32, n7_9_32, n7_4_32, n7_3_32, n7_6_32, n7_5_32, n8_1_0, n8_2_0, n8_3_0, n8_4_0, n8_5_0, n8_6_0, n8_7_0, n8_8_0, n8_0_0, n8_24_0, n8_23_0, n8_22_0, n8_21_0, n8_20_0, n8_19_0, n8_18_0, n8_17_0, n8_16_0, n8_15_0, n8_14_0, n8_13_0, n8_12_0, n8_11_0, n8_10_0, n8_9_0, n8_6_1, n8_7_1, n8_4_1, n8_5_1, n8_2_1, n8_3_1, n8_0_1, n8_1_1, n8_31_0, n8_32_0, n8_29_0, n8_30_0, n8_27_0, n8_28_0, n8_25_0, n8_26_0, n8_21_1, n8_20_1, n8_23_1, n8_22_1, n8_17_1, n8_16_1, n8_19_1, n8_18_1, n8_13_1, n8_12_1, n8_15_1, n8_14_1, n8_9_1, n8_8_1, n8_11_1, n8_10_1, n8_3_2, n8_4_2, n8_5_2, n8_6_2, n8_32_1, n8_0_2, n8_1_2, n8_2_2, n8_28_1, n8_29_1, n8_30_1, n8_31_1, n8_24_1, n8_25_1, n8_26_1, n8_27_1, n8_32_7, n8_0_8, n8_30_7, n8_31_7, n8_28_7, n8_29_7, n8_26_7, n8_27_7, n8_24_7, n8_25_7, n8_22_7, n8_23_7, n8_20_7, n8_21_7, n8_18_7, n8_19_7, n8_17_7, n8_16_7, n8_15_7, n8_14_7, n8_13_7, n8_12_7, n8_11_7, n8_10_7, n8_9_7, n8_8_7, n8_7_7, n8_6_7, n8_5_7, n8_4_7, n8_3_7, n8_2_7, n8_31_6, n8_32_6, n8_0_7, n8_1_7, n8_27_6, n8_28_6, n8_29_6, n8_30_6, n8_23_6, n8_24_6, n8_25_6, n8_26_6, n8_19_6, n8_20_6, n8_21_6, n8_22_6, n8_16_6, n8_15_6, n8_18_6, n8_17_6, n8_12_6, n8_11_6, n8_14_6, n8_13_6, n8_8_6, n8_7_6, n8_10_6, n8_9_6, n8_4_6, n8_3_6, n8_6_6, n8_5_6, n8_26_9, n8_27_9, n8_24_9, n8_25_9, n8_30_9, n8_31_9, n8_28_9, n8_29_9, n8_18_9, n8_19_9, n8_16_9, n8_17_9, n8_22_9, n8_23_9, n8_20_9, n8_21_9, n8_11_9, n8_10_9, n8_9_9, n8_8_9, n8_15_9, n8_14_9, n8_13_9, n8_12_9, n8_3_9, n8_2_9, n8_1_9, n8_0_9, n8_7_9, n8_6_9, n8_5_9, n8_4_9, n8_25_8, n8_26_8, n8_27_8, n8_28_8, n8_29_8, n8_30_8, n8_31_8, n8_32_8, n8_17_8, n8_18_8, n8_19_8, n8_20_8, n8_21_8, n8_22_8, n8_23_8, n8_24_8, n8_10_8, n8_9_8, n8_12_8, n8_11_8, n8_14_8, n8_13_8, n8_16_8, n8_15_8, n8_2_8, n8_1_8, n8_4_8, n8_3_8, n8_6_8, n8_5_8, n8_8_8, n8_7_8, n8_29_3, n8_28_3, n8_27_3, n8_26_3, n8_25_3, n8_24_3, n8_23_3, n8_22_3, n8_4_4, n8_3_4, n8_2_4, n8_1_4, n8_0_4, n8_32_3, n8_31_3, n8_30_3, n8_12_3, n8_13_3, n8_10_3, n8_11_3, n8_8_3, n8_9_3, n8_6_3, n8_7_3, n8_20_3, n8_21_3, n8_18_3, n8_19_3, n8_16_3, n8_17_3, n8_14_3, n8_15_3, n8_28_2, n8_27_2, n8_30_2, n8_29_2, n8_24_2, n8_23_2, n8_26_2, n8_25_2, n8_3_3, n8_2_3, n8_5_3, n8_4_3, n8_32_2, n8_31_2, n8_1_3, n8_0_3, n8_11_2, n8_12_2, n8_13_2, n8_14_2, n8_7_2, n8_8_2, n8_9_2, n8_10_2, n8_19_2, n8_20_2, n8_21_2, n8_22_2, n8_15_2, n8_16_2, n8_17_2, n8_18_2, n8_23_5, n8_22_5, n8_21_5, n8_20_5, n8_27_5, n8_26_5, n8_25_5, n8_24_5, n8_31_5, n8_30_5, n8_29_5, n8_28_5, n8_2_6, n8_1_6, n8_0_6, n8_32_5, n8_6_5, n8_7_5, n8_4_5, n8_5_5, n8_10_5, n8_11_5, n8_8_5, n8_9_5, n8_14_5, n8_15_5, n8_12_5, n8_13_5, n8_18_5, n8_19_5, n8_16_5, n8_17_5, n8_22_4, n8_21_4, n8_24_4, n8_23_4, n8_26_4, n8_25_4, n8_28_4, n8_27_4, n8_30_4, n8_29_4, n8_32_4, n8_31_4, n8_1_5, n8_0_5, n8_3_5, n8_2_5, n8_5_4, n8_6_4, n8_7_4, n8_8_4, n8_9_4, n8_10_4, n8_11_4, n8_12_4, n8_13_4, n8_14_4, n8_15_4, n8_16_4, n8_17_4, n8_18_4, n8_19_4, n8_20_4, n8_7_15, n8_6_15, n8_9_15, n8_8_15, n8_3_15, n8_2_15, n8_5_15, n8_4_15, n8_32_14, n8_31_14, n8_1_15, n8_0_15, n8_28_14, n8_27_14, n8_30_14, n8_29_14, n8_22_15, n8_23_15, n8_24_15, n8_25_15, n8_18_15, n8_19_15, n8_20_15, n8_21_15, n8_14_15, n8_15_15, n8_16_15, n8_17_15, n8_10_15, n8_11_15, n8_12_15, n8_13_15, n8_10_14, n8_9_14, n8_8_14, n8_7_14, n8_6_14, n8_5_14, n8_4_14, n8_3_14, n8_2_14, n8_1_14, n8_0_14, n8_32_13, n8_31_13, n8_30_13, n8_29_13, n8_28_13, n8_25_14, n8_26_14, n8_23_14, n8_24_14, n8_21_14, n8_22_14, n8_19_14, n8_20_14, n8_17_14, n8_18_14, n8_15_14, n8_16_14, n8_13_14, n8_14_14, n8_11_14, n8_12_14, n8_1_17, n8_0_17, n8_3_17, n8_2_17, n8_5_17, n8_4_17, n8_7_17, n8_6_17, n8_26_16, n8_25_16, n8_28_16, n8_27_16, n8_30_16, n8_29_16, n8_32_16, n8_31_16, n8_16_17, n8_17_17, n8_18_17, n8_19_17, n8_20_17, n8_21_17, n8_22_17, n8_23_17, n8_8_17, n8_9_17, n8_10_17, n8_11_17, n8_12_17, n8_13_17, n8_14_17, n8_15_17, n8_4_16, n8_3_16, n8_2_16, n8_1_16, n8_8_16, n8_7_16, n8_6_16, n8_5_16, n8_29_15, n8_28_15, n8_27_15, n8_26_15, n8_0_16, n8_32_15, n8_31_15, n8_30_15, n8_19_16, n8_20_16, n8_17_16, n8_18_16, n8_23_16, n8_24_16, n8_21_16, n8_22_16, n8_11_16, n8_12_16, n8_9_16, n8_10_16, n8_15_16, n8_16_16, n8_13_16, n8_14_16, n8_2_11, n8_3_11, n8_4_11, n8_5_11, n8_31_10, n8_32_10, n8_0_11, n8_1_11, n8_10_11, n8_11_11, n8_12_11, n8_13_11, n8_6_11, n8_7_11, n8_8_11, n8_9_11, n8_19_11, n8_18_11, n8_21_11, n8_20_11, n8_15_11, n8_14_11, n8_17_11, n8_16_11, n8_27_11, n8_26_11, n8_29_11, n8_28_11, n8_23_11, n8_22_11, n8_25_11, n8_24_11, n8_5_10, n8_6_10, n8_3_10, n8_4_10, n8_1_10, n8_2_10, n8_32_9, n8_0_10, n8_13_10, n8_14_10, n8_11_10, n8_12_10, n8_9_10, n8_10_10, n8_7_10, n8_8_10, n8_22_10, n8_21_10, n8_20_10, n8_19_10, n8_18_10, n8_17_10, n8_16_10, n8_15_10, n8_30_10, n8_29_10, n8_28_10, n8_27_10, n8_26_10, n8_25_10, n8_24_10, n8_23_10, n8_29_12, n8_30_12, n8_31_12, n8_32_12, n8_0_13, n8_1_13, n8_2_13, n8_3_13, n8_4_13, n8_5_13, n8_6_13, n8_7_13, n8_8_13, n8_9_13, n8_10_13, n8_11_13, n8_13_13, n8_12_13, n8_15_13, n8_14_13, n8_17_13, n8_16_13, n8_19_13, n8_18_13, n8_21_13, n8_20_13, n8_23_13, n8_22_13, n8_25_13, n8_24_13, n8_27_13, n8_26_13, n8_32_11, n8_0_12, n8_30_11, n8_31_11, n8_3_12, n8_4_12, n8_1_12, n8_2_12, n8_7_12, n8_8_12, n8_5_12, n8_6_12, n8_11_12, n8_12_12, n8_9_12, n8_10_12, n8_16_12, n8_15_12, n8_14_12, n8_13_12, n8_20_12, n8_19_12, n8_18_12, n8_17_12, n8_24_12, n8_23_12, n8_22_12, n8_21_12, n8_28_12, n8_27_12, n8_26_12, n8_25_12, n8_5_24, n8_6_24, n8_7_24, n8_8_24, n8_1_24, n8_2_24, n8_3_24, n8_4_24, n8_13_24, n8_14_24, n8_15_24, n8_16_24, n8_9_24, n8_10_24, n8_11_24, n8_12_24, n8_23_23, n8_22_23, n8_25_23, n8_24_23, n8_19_23, n8_18_23, n8_21_23, n8_20_23, n8_31_23, n8_30_23, n8_0_24, n8_32_23, n8_27_23, n8_26_23, n8_29_23, n8_28_23, n8_6_25, n8_7_25, n8_4_25, n8_5_25, n8_2_25, n8_3_25, n8_0_25, n8_1_25, n8_14_25, n8_15_25, n8_12_25, n8_13_25, n8_10_25, n8_11_25, n8_8_25, n8_9_25, n8_24_24, n8_23_24, n8_22_24, n8_21_24, n8_20_24, n8_19_24, n8_18_24, n8_17_24, n8_32_24, n8_31_24, n8_30_24, n8_29_24, n8_28_24, n8_27_24, n8_26_24, n8_25_24, n8_3_22, n8_4_22, n8_5_22, n8_6_22, n8_7_22, n8_8_22, n8_9_22, n8_10_22, n8_11_22, n8_12_22, n8_13_22, n8_14_22, n8_15_22, n8_16_22, n8_17_22, n8_18_22, n8_21_21, n8_20_21, n8_23_21, n8_22_21, n8_25_21, n8_24_21, n8_27_21, n8_26_21, n8_29_21, n8_28_21, n8_31_21, n8_30_21, n8_0_22, n8_32_21, n8_2_22, n8_1_22, n8_4_23, n8_5_23, n8_2_23, n8_3_23, n8_8_23, n8_9_23, n8_6_23, n8_7_23, n8_12_23, n8_13_23, n8_10_23, n8_11_23, n8_16_23, n8_17_23, n8_14_23, n8_15_23, n8_22_22, n8_21_22, n8_20_22, n8_19_22, n8_26_22, n8_25_22, n8_24_22, n8_23_22, n8_30_22, n8_29_22, n8_28_22, n8_27_22, n8_1_23, n8_0_23, n8_32_22, n8_31_22, n8_18_20, n8_17_20, n8_20_20, n8_19_20, n8_14_20, n8_13_20, n8_16_20, n8_15_20, n8_10_20, n8_9_20, n8_12_20, n8_11_20, n8_6_20, n8_5_20, n8_8_20, n8_7_20, n8_1_20, n8_2_20, n8_3_20, n8_4_20, n8_30_19, n8_31_19, n8_32_19, n8_0_20, n8_26_19, n8_27_19, n8_28_19, n8_29_19, n8_22_19, n8_23_19, n8_24_19, n8_25_19, n8_19_21, n8_18_21, n8_17_21, n8_16_21, n8_15_21, n8_14_21, n8_13_21, n8_12_21, n8_11_21, n8_10_21, n8_9_21, n8_8_21, n8_7_21, n8_6_21, n8_5_21, n8_4_21, n8_2_21, n8_3_21, n8_0_21, n8_1_21, n8_31_20, n8_32_20, n8_29_20, n8_30_20, n8_27_20, n8_28_20, n8_25_20, n8_26_20, n8_23_20, n8_24_20, n8_21_20, n8_22_20, n8_16_18, n8_15_18, n8_18_18, n8_17_18, n8_20_18, n8_19_18, n8_22_18, n8_21_18, n8_8_18, n8_7_18, n8_10_18, n8_9_18, n8_12_18, n8_11_18, n8_14_18, n8_13_18, n8_32_17, n8_0_18, n8_1_18, n8_2_18, n8_3_18, n8_4_18, n8_5_18, n8_6_18, n8_24_17, n8_25_17, n8_26_17, n8_27_17, n8_28_17, n8_29_17, n8_30_17, n8_31_17, n8_17_19, n8_16_19, n8_15_19, n8_14_19, n8_21_19, n8_20_19, n8_19_19, n8_18_19, n8_9_19, n8_8_19, n8_7_19, n8_6_19, n8_13_19, n8_12_19, n8_11_19, n8_10_19, n8_0_19, n8_1_19, n8_31_18, n8_32_18, n8_4_19, n8_5_19, n8_2_19, n8_3_19, n8_25_18, n8_26_18, n8_23_18, n8_24_18, n8_29_18, n8_30_18, n8_27_18, n8_28_18, n8_17_31, n8_16_31, n8_15_31, n8_14_31, n8_13_31, n8_12_31, n8_11_31, n8_10_31, n8_25_31, n8_24_31, n8_23_31, n8_22_31, n8_21_31, n8_20_31, n8_19_31, n8_18_31, n8_32_31, n8_0_32, n8_30_31, n8_31_31, n8_28_31, n8_29_31, n8_26_31, n8_27_31, n8_7_32, n8_8_32, n8_5_32, n8_6_32, n8_3_32, n8_4_32, n8_1_32, n8_2_32, n8_14_32, n8_13_32, n8_16_32, n8_15_32, n8_10_32, n8_9_32, n8_12_32, n8_11_32, n8_22_32, n8_21_32, n8_24_32, n8_23_32, n8_18_32, n8_17_32, n8_20_32, n8_19_32, n8_29_32, n8_30_32, n8_31_32, n8_32_32, n8_25_32, n8_26_32, n8_27_32, n8_28_32, n8_15_29, n8_14_29, n8_13_29, n8_12_29, n8_19_29, n8_18_29, n8_17_29, n8_16_29, n8_23_29, n8_22_29, n8_21_29, n8_20_29, n8_27_29, n8_26_29, n8_25_29, n8_24_29, n8_30_29, n8_31_29, n8_28_29, n8_29_29, n8_1_30, n8_2_30, n8_32_29, n8_0_30, n8_5_30, n8_6_30, n8_3_30, n8_4_30, n8_9_30, n8_10_30, n8_7_30, n8_8_30, n8_12_30, n8_11_30, n8_14_30, n8_13_30, n8_16_30, n8_15_30, n8_18_30, n8_17_30, n8_20_30, n8_19_30, n8_22_30, n8_21_30, n8_24_30, n8_23_30, n8_26_30, n8_25_30, n8_27_30, n8_28_30, n8_29_30, n8_30_30, n8_31_30, n8_32_30, n8_0_31, n8_1_31, n8_2_31, n8_3_31, n8_4_31, n8_5_31, n8_6_31, n8_7_31, n8_8_31, n8_9_31, n8_28_27, n8_29_27, n8_26_27, n8_27_27, n8_24_27, n8_25_27, n8_22_27, n8_23_27, n8_20_27, n8_21_27, n8_18_27, n8_19_27, n8_16_27, n8_17_27, n8_14_27, n8_15_27, n8_12_28, n8_11_28, n8_10_28, n8_9_28, n8_8_28, n8_7_28, n8_6_28, n8_5_28, n8_4_28, n8_3_28, n8_2_28, n8_1_28, n8_0_28, n8_32_27, n8_31_27, n8_30_27, n8_25_28, n8_26_28, n8_27_28, n8_28_28, n8_21_28, n8_22_28, n8_23_28, n8_24_28, n8_17_28, n8_18_28, n8_19_28, n8_20_28, n8_13_28, n8_14_28, n8_15_28, n8_16_28, n8_9_29, n8_8_29, n8_11_29, n8_10_29, n8_5_29, n8_4_29, n8_7_29, n8_6_29, n8_1_29, n8_0_29, n8_3_29, n8_2_29, n8_30_28, n8_29_28, n8_32_28, n8_31_28, n8_26_25, n8_27_25, n8_24_25, n8_25_25, n8_30_25, n8_31_25, n8_28_25, n8_29_25, n8_18_25, n8_19_25, n8_16_25, n8_17_25, n8_22_25, n8_23_25, n8_20_25, n8_21_25, n8_10_26, n8_9_26, n8_8_26, n8_7_26, n8_14_26, n8_13_26, n8_12_26, n8_11_26, n8_2_26, n8_1_26, n8_0_26, n8_32_25, n8_6_26, n8_5_26, n8_4_26, n8_3_26, n8_23_26, n8_24_26, n8_25_26, n8_26_26, n8_27_26, n8_28_26, n8_29_26, n8_30_26, n8_15_26, n8_16_26, n8_17_26, n8_18_26, n8_19_26, n8_20_26, n8_21_26, n8_22_26, n8_7_27, n8_6_27, n8_9_27, n8_8_27, n8_11_27, n8_10_27, n8_13_27, n8_12_27, n8_32_26, n8_31_26, n8_1_27, n8_0_27, n8_3_27, n8_2_27, n8_5_27, n8_4_27]
Jun 07, 2015 1:08:42 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: Computing abstraction support, depth 0, found support 2211

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_QuasiCertifProtocol-PT-32"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/users/gast00/fkordon/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_QuasiCertifProtocol-PT-32.tgz
mv S_QuasiCertifProtocol-PT-32 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2265"
echo " Executing tool itstools"
echo " Input is S_QuasiCertifProtocol-PT-32, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r215st-ebro-143344922700932"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;