Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r033-tajo-167813685700226.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marcie
Input is BridgeAndVehicles-PT-V50P20N10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-tajo-167813685700226
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 20K Feb 25 12:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 12:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 111K Feb 25 12:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 455K Feb 25 12:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 58K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 185K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 31K Feb 25 12:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 186K Feb 25 12:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 218K Feb 25 12:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 856K Feb 25 12:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.9K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 5 18:22 model.pnml

--------------------
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 BridgeAndVehicles-PT-V50P20N10-CTLFireability-00
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-01
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-02
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-03
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-04
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-05
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-06
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-07
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-08
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-09
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-10
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-11
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-12
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-13
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-14
FORMULA_NAME BridgeAndVehicles-PT-V50P20N10-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1678298568216

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marcie
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BridgeAndVehicles-PT-V50P20N10
Not applying reductions.
Model is PT
CTLFireability PT
timeout --kill-after=10s --signal=SIGINT 1m for testing only

Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: /home/mcc/BenchKit/bin//../marcie/bin/marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --memory=6 --mcc-mode

parse successfull
net created successfully

Net: BridgeAndVehicles_PT_V50P20N10
(NrP: 128 NrTr: 1328 NrArc: 10010)

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.026sec

net check time: 0m 0.001sec

init dd package: 0m 3.289sec


before gc: list nodes free: 1845062

after gc: idd nodes used:9475761, unused:54524239; list nodes free:441751869

RS generation: 25m41.531sec


-> reachability set: #nodes 33010055 (3.3e+07) #states 347,634,372 (8)



starting MCC model checker
--------------------------

checking: EF [IS_FIREABLE [timeout_B_2_41_8_0]]
normalized: E [true U IS_FIREABLE [timeout_B_2_41_8_0]]

MC time: 2m 1.000sec

checking: AG [[~ [EG [IS_FIREABLE [timeout_B_2_33_8_0]]] | IS_FIREABLE [timeout_A_1_0_7_23]]]
normalized: ~ [E [true U ~ [[IS_FIREABLE [timeout_A_1_0_7_23] | ~ [EG [IS_FIREABLE [timeout_B_2_33_8_0]]]]]]]

.
before gc: list nodes free: 68452609

after gc: idd nodes used:33010945, unused:30989055; list nodes free:256033654
MC time: 6m 8.893sec

checking: AG [AF [[[EX [IS_FIREABLE [timeout_B_2_3_5_0]] | AX [[IS_FIREABLE [timeout_A_1_0_2_1] | IS_FIREABLE [timeout_B_2_19_0_0]]]] & ~ [A [E [IS_FIREABLE [timeout_B_2_43_7_0] U IS_FIREABLE [timeout_B_2_20_3_0]] U EX [IS_FIREABLE [timeout_A_1_0_0_43]]]]]]]
normalized: ~ [E [true U EG [~ [[[EX [IS_FIREABLE [timeout_B_2_3_5_0]] | ~ [EX [~ [[IS_FIREABLE [timeout_A_1_0_2_1] | IS_FIREABLE [timeout_B_2_19_0_0]]]]]] & ~ [[~ [E [~ [EX [IS_FIREABLE [timeout_A_1_0_0_43]]] U [~ [EX [IS_FIREABLE [timeout_A_1_0_0_43]]] & ~ [E [IS_FIREABLE [timeout_B_2_43_7_0] U IS_FIREABLE [timeout_B_2_20_3_0]]]]]] & ~ [EG [~ [EX [IS_FIREABLE [timeout_A_1_0_0_43]]]]]]]]]]]]

.
EG iterations: 0
..MC time: 1m47.337sec

checking: AF [[[EF [[AF [IS_FIREABLE [timeout_B_2_32_7_0]] & [EG [IS_FIREABLE [timeout_A_1_0_0_11]] & [IS_FIREABLE [timeout_A_1_0_0_6] | IS_FIREABLE [timeout_B_2_1_2_0]]]]] & AG [[AF [IS_FIREABLE [enregistrement_B_18]] | EG [IS_FIREABLE [timeout_B_2_4_9_0]]]]] | IS_FIREABLE [timeout_B_2_24_5_0]]]
normalized: ~ [EG [~ [[IS_FIREABLE [timeout_B_2_24_5_0] | [E [true U [~ [EG [~ [IS_FIREABLE [timeout_B_2_32_7_0]]]] & [EG [IS_FIREABLE [timeout_A_1_0_0_11]] & [IS_FIREABLE [timeout_A_1_0_0_6] | IS_FIREABLE [timeout_B_2_1_2_0]]]]] & ~ [E [true U ~ [[~ [EG [~ [IS_FIREABLE [enregistrement_B_18]]]] | EG [IS_FIREABLE [timeout_B_2_4_9_0]]]]]]]]]]]

.MC time: 1m24.456sec

checking: A [[IS_FIREABLE [timeout_B_2_26_9_0] | [A [EF [[IS_FIREABLE [timeout_B_2_40_4_0] & IS_FIREABLE [timeout_A_1_0_1_24]]] U [EX [IS_FIREABLE [timeout_A_1_0_10_3]] | [AX [IS_FIREABLE [enregistrement_B_27]] | [IS_FIREABLE [timeout_B_2_8_4_0] & IS_FIREABLE [timeout_A_1_0_3_18]]]]] | [IS_FIREABLE [timeout_B_2_28_2_0] & IS_FIREABLE [timeout_B_2_16_9_0]]]] U [IS_FIREABLE [timeout_A_1_0_9_4] & IS_FIREABLE [timeout_A_1_0_2_26]]]
normalized: [~ [E [~ [[IS_FIREABLE [timeout_A_1_0_9_4] & IS_FIREABLE [timeout_A_1_0_2_26]]] U [~ [[IS_FIREABLE [timeout_A_1_0_9_4] & IS_FIREABLE [timeout_A_1_0_2_26]]] & ~ [[IS_FIREABLE [timeout_B_2_26_9_0] | [[~ [E [~ [[EX [IS_FIREABLE [timeout_A_1_0_10_3]] | [~ [EX [~ [IS_FIREABLE [enregistrement_B_27]]]] | [IS_FIREABLE [timeout_B_2_8_4_0] & IS_FIREABLE [timeout_A_1_0_3_18]]]]] U [~ [[EX [IS_FIREABLE [timeout_A_1_0_10_3]] | [~ [EX [~ [IS_FIREABLE [enregistrement_B_27]]]] | [IS_FIREABLE [timeout_B_2_8_4_0] & IS_FIREABLE [timeout_A_1_0_3_18]]]]] & ~ [E [true U [IS_FIREABLE [timeout_B_2_40_4_0] & IS_FIREABLE [timeout_A_1_0_1_24]]]]]]] & ~ [EG [~ [[EX [IS_FIREABLE [timeout_A_1_0_10_3]] | [~ [EX [~ [IS_FIREABLE [enregistrement_B_27]]]] | [IS_FIREABLE [timeout_B_2_8_4_0] & IS_FIREABLE [timeout_A_1_0_3_18]]]]]]]] | [IS_FIREABLE [timeout_B_2_28_2_0] & IS_FIREABLE [timeout_B_2_16_9_0]]]]]]]] & ~ [EG [~ [[IS_FIREABLE [timeout_A_1_0_9_4] & IS_FIREABLE [timeout_A_1_0_2_26]]]]]]


EG iterations: 0
MC time: 1m19.276sec

checking: AG [[AG [~ [[AX [IS_FIREABLE [timeout_B_2_43_0_0]] | EF [IS_FIREABLE [timeout_B_2_19_9_0]]]]] | [E [~ [IS_FIREABLE [timeout_A_1_0_1_7]] U ~ [[[IS_FIREABLE [autorisation_A_1_44] & IS_FIREABLE [timeout_A_1_0_1_42]] & [IS_FIREABLE [timeout_A_1_0_5_24] | IS_FIREABLE [timeout_B_2_16_7_0]]]]] | [IS_FIREABLE [timeout_A_1_0_7_46] & [[IS_FIREABLE [timeout_A_1_0_6_19] & AF [IS_FIREABLE [timeout_A_1_0_10_44]]] & E [A [IS_FIREABLE [timeout_B_2_2_2_0] U IS_FIREABLE [timeout_A_1_0_6_25]] U [IS_FIREABLE [timeout_A_1_0_10_11] | IS_FIREABLE [timeout_A_1_0_7_28]]]]]]]]
normalized: ~ [E [true U ~ [[~ [E [true U [~ [EX [~ [IS_FIREABLE [timeout_B_2_43_0_0]]]] | E [true U IS_FIREABLE [timeout_B_2_19_9_0]]]]] | [E [~ [IS_FIREABLE [timeout_A_1_0_1_7]] U ~ [[[IS_FIREABLE [autorisation_A_1_44] & IS_FIREABLE [timeout_A_1_0_1_42]] & [IS_FIREABLE [timeout_A_1_0_5_24] | IS_FIREABLE [timeout_B_2_16_7_0]]]]] | [IS_FIREABLE [timeout_A_1_0_7_46] & [[IS_FIREABLE [timeout_A_1_0_6_19] & ~ [EG [~ [IS_FIREABLE [timeout_A_1_0_10_44]]]]] & E [[~ [E [~ [IS_FIREABLE [timeout_A_1_0_6_25]] U [~ [IS_FIREABLE [timeout_A_1_0_6_25]] & ~ [IS_FIREABLE [timeout_B_2_2_2_0]]]]] & ~ [EG [~ [IS_FIREABLE [timeout_A_1_0_6_25]]]]] U [IS_FIREABLE [timeout_A_1_0_10_11] | IS_FIREABLE [timeout_A_1_0_7_28]]]]]]]]]]

MC time: 1m14.125sec

checking: ~ [[AG [[~ [AG [EF [IS_FIREABLE [timeout_B_2_50_1_0]]]] & [EF [EF [IS_FIREABLE [timeout_A_1_0_4_2]]] | ~ [[A [IS_FIREABLE [timeout_B_2_30_6_0] U IS_FIREABLE [timeout_A_1_0_8_13]] | AG [IS_FIREABLE [timeout_B_2_39_0_0]]]]]]] | E [[A [[A [IS_FIREABLE [timeout_B_2_23_9_0] U IS_FIREABLE [enregistrement_A_50]] & AF [IS_FIREABLE [timeout_B_2_47_7_0]]] U [[IS_FIREABLE [decision_1_6] | IS_FIREABLE [timeout_A_1_0_6_37]] | [IS_FIREABLE [enregistrement_B_16] & IS_FIREABLE [autorisation_A_1_21]]]] & [IS_FIREABLE [autorisation_A_1_6] | EF [EF [IS_FIREABLE [timeout_A_1_0_9_24]]]]] U E [~ [IS_FIREABLE [timeout_B_2_18_8_0]] U [[IS_FIREABLE [timeout_B_2_47_1_0] & [IS_FIREABLE [timeout_B_2_46_10_0] | IS_FIREABLE [autorisation_A_1_9]]] | [AG [IS_FIREABLE [enregistrement_B_48]] & ~ [IS_FIREABLE [timeout_B_2_26_2_0]]]]]]]]
normalized: ~ [[~ [E [true U ~ [[E [true U ~ [E [true U IS_FIREABLE [timeout_B_2_50_1_0]]]] & [E [true U E [true U IS_FIREABLE [timeout_A_1_0_4_2]]] | ~ [[[~ [E [~ [IS_FIREABLE [timeout_A_1_0_8_13]] U [~ [IS_FIREABLE [timeout_A_1_0_8_13]] & ~ [IS_FIREABLE [timeout_B_2_30_6_0]]]]] & ~ [EG [~ [IS_FIREABLE [timeout_A_1_0_8_13]]]]] | ~ [E [true U ~ [IS_FIREABLE [timeout_B_2_39_0_0]]]]]]]]]]] | E [[[~ [E [~ [[[IS_FIREABLE [decision_1_6] | IS_FIREABLE [timeout_A_1_0_6_37]] | [IS_FIREABLE [enregistrement_B_16] & IS_FIREABLE [autorisation_A_1_21]]]] U [~ [[[IS_FIREABLE [decision_1_6] | IS_FIREABLE [timeout_A_1_0_6_37]] | [IS_FIREABLE [enregistrement_B_16] & IS_FIREABLE [autorisation_A_1_21]]]] & ~ [[[~ [E [~ [IS_FIREABLE [enregistrement_A_50]] U [~ [IS_FIREABLE [enregistrement_A_50]] & ~ [IS_FIREABLE [timeout_B_2_23_9_0]]]]] & ~ [EG [~ [IS_FIREABLE [enregistrement_A_50]]]]] & ~ [EG [~ [IS_FIREABLE [timeout_B_2_47_7_0]]]]]]]]] & ~ [EG [~ [[[IS_FIREABLE [decision_1_6] | IS_FIREABLE [timeout_A_1_0_6_37]] | [IS_FIREABLE [enregistrement_B_16] & IS_FIREABLE [autorisation_A_1_21]]]]]]] & [IS_FIREABLE [autorisation_A_1_6] | E [true U E [true U IS_FIREABLE [timeout_A_1_0_9_24]]]]] U E [~ [IS_FIREABLE [timeout_B_2_18_8_0]] U [[IS_FIREABLE [timeout_B_2_47_1_0] & [IS_FIREABLE [timeout_B_2_46_10_0] | IS_FIREABLE [autorisation_A_1_9]]] | [~ [E [true U ~ [IS_FIREABLE [enregistrement_B_48]]]] & ~ [IS_FIREABLE [timeout_B_2_26_2_0]]]]]]]]

MC time: 1m 9.413sec

checking: A [[A [AF [EX [IS_FIREABLE [decision_2_7]]] U E [~ [IS_FIREABLE [autorisation_B_2_12]] U [EF [IS_FIREABLE [timeout_B_2_12_5_0]] | [IS_FIREABLE [timeout_B_2_17_4_0] & IS_FIREABLE [timeout_B_2_39_3_0]]]]] & [[AF [[AG [IS_FIREABLE [timeout_A_1_0_10_10]] | E [IS_FIREABLE [enregistrement_B_27] U IS_FIREABLE [timeout_A_1_0_8_39]]]] | [[[EF [IS_FIREABLE [timeout_A_1_0_4_20]] & AG [IS_FIREABLE [timeout_B_2_30_5_0]]] & EX [IS_FIREABLE [timeout_B_2_28_0_0]]] | E [[IS_FIREABLE [timeout_B_2_9_2_0] & IS_FIREABLE [timeout_A_1_0_5_48]] U AX [IS_FIREABLE [timeout_B_2_49_10_0]]]]] & E [[AG [IS_FIREABLE [enregistrement_A_35]] & [[IS_FIREABLE [timeout_A_1_0_9_13] | IS_FIREABLE [timeout_B_2_10_5_0]] & E [IS_FIREABLE [timeout_A_1_0_9_2] U IS_FIREABLE [timeout_A_1_0_4_29]]]] U [IS_FIREABLE [timeout_A_1_0_1_32] | IS_FIREABLE [timeout_A_1_0_0_24]]]]] U EF [IS_FIREABLE [timeout_B_2_42_5_0]]]
normalized: [~ [E [~ [E [true U IS_FIREABLE [timeout_B_2_42_5_0]]] U [~ [E [true U IS_FIREABLE [timeout_B_2_42_5_0]]] & ~ [[[~ [E [~ [E [~ [IS_FIREABLE [autorisation_B_2_12]] U [E [true U IS_FIREABLE [timeout_B_2_12_5_0]] | [IS_FIREABLE [timeout_B_2_17_4_0] & IS_FIREABLE [timeout_B_2_39_3_0]]]]] U [~ [E [~ [IS_FIREABLE [autorisation_B_2_12]] U [E [true U IS_FIREABLE [timeout_B_2_12_5_0]] | [IS_FIREABLE [timeout_B_2_17_4_0] & IS_FIREABLE [timeout_B_2_39_3_0]]]]] & EG [~ [EX [IS_FIREABLE [decision_2_7]]]]]]] & ~ [EG [~ [E [~ [IS_FIREABLE [autorisation_B_2_12]] U [E [true U IS_FIREABLE [timeout_B_2_12_5_0]] | [IS_FIREABLE [timeout_B_2_17_4_0] & IS_FIREABLE [timeout_B_2_39_3_0]]]]]]]] & [[~ [EG [~ [[~ [E [true U ~ [IS_FIREABLE [timeout_A_1_0_10_10]]]] | E [IS_FIREABLE [enregistrement_B_27] U IS_FIREABLE [timeout_A_1_0_8_39]]]]]] | [[[E [true U IS_FIREABLE [timeout_A_1_0_4_20]] & ~ [E [true U ~ [IS_FIREABLE [timeout_B_2_30_5_0]]]]] & EX [IS_FIREABLE [timeout_B_2_28_0_0]]] | E [[IS_FIREABLE [timeout_B_2_9_2_0] & IS_FIREABLE [timeout_A_1_0_5_48]] U ~ [EX [~ [IS_FIREABLE [timeout_B_2_49_10_0]]]]]]] & E [[~ [E [true U ~ [IS_FIREABLE [enregistrement_A_35]]]] & [[IS_FIREABLE [timeout_A_1_0_9_13] | IS_FIREABLE [timeout_B_2_10_5_0]] & E [IS_FIREABLE [timeout_A_1_0_9_2] U IS_FIREABLE [timeout_A_1_0_4_29]]]] U [IS_FIREABLE [timeout_A_1_0_1_32] | IS_FIREABLE [timeout_A_1_0_0_24]]]]]]]]] & ~ [EG [~ [E [true U IS_FIREABLE [timeout_B_2_42_5_0]]]]]]


before gc: list nodes free: 972456

after gc: idd nodes used:33393429, unused:30606571; list nodes free:271027572
MC time: 1m 4.999sec

checking: EF [~ [EX [EG [EF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]]]]]]
normalized: E [true U ~ [EX [EG [E [true U [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_14] | [[IS_FIREABLE [autorisation_A_1_12] | [[[[[[[[[IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]]] | IS_FIREABLE [autorisation_A_1_13]]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]]]]]]

MC time: 1m38.962sec

checking: ~ [E [[EG [A [AX [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]] U ~ [IS_FIREABLE [liberation_A]]]] | [~ [EG [[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]]] & E [EX [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_21]] | IS_FIREABLE [enregistrement_A_22]] | IS_FIREABLE [enregistrement_A_23]] | IS_FIREABLE [enregistrement_A_24]] | IS_FIREABLE [enregistrement_A_25]] | IS_FIREABLE [enregistrement_A_26]] | IS_FIREABLE [enregistrement_A_27]] | IS_FIREABLE [enregistrement_A_28]] | IS_FIREABLE [enregistrement_A_29]] | IS_FIREABLE [enregistrement_A_30]] | IS_FIREABLE [enregistrement_A_31]] | IS_FIREABLE [enregistrement_A_32]] | IS_FIREABLE [enregistrement_A_33]] | IS_FIREABLE [enregistrement_A_34]] | IS_FIREABLE [enregistrement_A_35]] | IS_FIREABLE [enregistrement_A_36]] | IS_FIREABLE [enregistrement_A_37]] | IS_FIREABLE [enregistrement_A_38]] | IS_FIREABLE [enregistrement_A_39]] | IS_FIREABLE [enregistrement_A_40]] | IS_FIREABLE [enregistrement_A_41]] | IS_FIREABLE [enregistrement_A_42]] | IS_FIREABLE [enregistrement_A_43]] | IS_FIREABLE [enregistrement_A_44]] | IS_FIREABLE [enregistrement_A_45]] | IS_FIREABLE [enregistrement_A_46]] | IS_FIREABLE [enregistrement_A_47]] | IS_FIREABLE [enregistrement_A_48]] | IS_FIREABLE [enregistrement_A_49]] | IS_FIREABLE [enregistrement_A_50]]] U [~ [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_21]] | IS_FIREABLE [enregistrement_B_22]] | IS_FIREABLE [enregistrement_B_23]] | IS_FIREABLE [enregistrement_B_24]] | IS_FIREABLE [enregistrement_B_25]] | IS_FIREABLE [enregistrement_B_26]] | IS_FIREABLE [enregistrement_B_27]] | IS_FIREABLE [enregistrement_B_28]] | IS_FIREABLE [enregistrement_B_29]] | IS_FIREABLE [enregistrement_B_30]] | IS_FIREABLE [enregistrement_B_31]] | IS_FIREABLE [enregistrement_B_32]] | IS_FIREABLE [enregistrement_B_33]] | IS_FIREABLE [enregistrement_B_34]] | IS_FIREABLE [enregistrement_B_35]] | IS_FIREABLE [enregistrement_B_36]] | IS_FIREABLE [enregistrement_B_37]] | IS_FIREABLE [enregistrement_B_38]] | IS_FIREABLE [enregistrement_B_39]] | IS_FIREABLE [enregistrement_B_40]] | IS_FIREABLE [enregistrement_B_41]] | IS_FIREABLE [enregistrement_B_42]] | IS_FIREABLE [enregistrement_B_43]] | IS_FIREABLE [enregistrement_B_44]] | IS_FIREABLE [enregistrement_B_45]] | IS_FIREABLE [enregistrement_B_46]] | IS_FIREABLE [enregistrement_B_47]] | IS_FIREABLE [enregistrement_B_48]] | IS_FIREABLE [enregistrement_B_49]] | IS_FIREABLE [enregistrement_B_50]]] & ~ [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]]]]]] U [AF [[IS_FIREABLE [altern_cpt_1_10] | IS_FIREABLE [altern_cpt_2_10]]] & [IS_FIREABLE [altern_cpt_1_10] | IS_FIREABLE [altern_cpt_2_10]]]]]
normalized: ~ [E [[EG [[~ [EG [IS_FIREABLE [liberation_A]]] & ~ [E [IS_FIREABLE [liberation_A] U [IS_FIREABLE [liberation_A] & EX [~ [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [E [EX [[IS_FIREABLE [enregistrement_A_50] | [IS_FIREABLE [enregistrement_A_49] | [IS_FIREABLE [enregistrement_A_48] | [IS_FIREABLE [enregistrement_A_47] | [IS_FIREABLE [enregistrement_A_46] | [IS_FIREABLE [enregistrement_A_45] | [IS_FIREABLE [enregistrement_A_44] | [IS_FIREABLE [enregistrement_A_43] | [IS_FIREABLE [enregistrement_A_42] | [IS_FIREABLE [enregistrement_A_41] | [IS_FIREABLE [enregistrement_A_40] | [IS_FIREABLE [enregistrement_A_39] | [IS_FIREABLE [enregistrement_A_38] | [IS_FIREABLE [enregistrement_A_37] | [IS_FIREABLE [enregistrement_A_36] | [IS_FIREABLE [enregistrement_A_35] | [IS_FIREABLE [enregistrement_A_34] | [IS_FIREABLE [enregistrement_A_33] | [IS_FIREABLE [enregistrement_A_32] | [IS_FIREABLE [enregistrement_A_31] | [IS_FIREABLE [enregistrement_A_30] | [IS_FIREABLE [enregistrement_A_29] | [IS_FIREABLE [enregistrement_A_28] | [IS_FIREABLE [enregistrement_A_27] | [IS_FIREABLE [enregistrement_A_26] | [IS_FIREABLE [enregistrement_A_25] | [IS_FIREABLE [enregistrement_A_24] | [IS_FIREABLE [enregistrement_A_23] | [IS_FIREABLE [enregistrement_A_22] | [IS_FIREABLE [enregistrement_A_21] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] U [~ [[[[[[[IS_FIREABLE [enregistrement_B_45] | [[[[IS_FIREABLE [enregistrement_B_41] | [[[[IS_FIREABLE [enregistrement_B_37] | [IS_FIREABLE [enregistrement_B_36] | [IS_FIREABLE [enregistrement_B_35] | [IS_FIREABLE [enregistrement_B_34] | [IS_FIREABLE [enregistrement_B_33] | [[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_21]] | IS_FIREABLE [enregistrement_B_22]] | IS_FIREABLE [enregistrement_B_23]] | IS_FIREABLE [enregistrement_B_24]] | IS_FIREABLE [enregistrement_B_25]] | IS_FIREABLE [enregistrement_B_26]] | IS_FIREABLE [enregistrement_B_27]] | IS_FIREABLE [enregistrement_B_28]] | IS_FIREABLE [enregistrement_B_29]] | IS_FIREABLE [enregistrement_B_30]] | IS_FIREABLE [enregistrement_B_31]] | IS_FIREABLE [enregistrement_B_32]]]]]]] | IS_FIREABLE [enregistrement_B_38]] | IS_FIREABLE [enregistrement_B_39]] | IS_FIREABLE [enregistrement_B_40]]] | IS_FIREABLE [enregistrement_B_42]] | IS_FIREABLE [enregistrement_B_43]] | IS_FIREABLE [enregistrement_B_44]]] | IS_FIREABLE [enregistrement_B_46]] | IS_FIREABLE [enregistrement_B_47]] | IS_FIREABLE [enregistrement_B_48]] | IS_FIREABLE [enregistrement_B_49]] | IS_FIREABLE [enregistrement_B_50]]] & ~ [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]]]]]]]]]]]]]] & ~ [EG [[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]]]]] U [~ [EG [~ [[IS_FIREABLE [altern_cpt_1_10] | IS_FIREABLE [altern_cpt_2_10]]]]] & [IS_FIREABLE [altern_cpt_1_10] | IS_FIREABLE [altern_cpt_2_10]]]]]

MC time: 3m28.553sec

checking: ~ [AF [[AX [EF [EF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_21]] | IS_FIREABLE [enregistrement_B_22]] | IS_FIREABLE [enregistrement_B_23]] | IS_FIREABLE [enregistrement_B_24]] | IS_FIREABLE [enregistrement_B_25]] | IS_FIREABLE [enregistrement_B_26]] | IS_FIREABLE [enregistrement_B_27]] | IS_FIREABLE [enregistrement_B_28]] | IS_FIREABLE [enregistrement_B_29]] | IS_FIREABLE [enregistrement_B_30]] | IS_FIREABLE [enregistrement_B_31]] | IS_FIREABLE [enregistrement_B_32]] | IS_FIREABLE [enregistrement_B_33]] | IS_FIREABLE [enregistrement_B_34]] | IS_FIREABLE [enregistrement_B_35]] | IS_FIREABLE [enregistrement_B_36]] | IS_FIREABLE [enregistrement_B_37]] | IS_FIREABLE [enregistrement_B_38]] | IS_FIREABLE [enregistrement_B_39]] | IS_FIREABLE [enregistrement_B_40]] | IS_FIREABLE [enregistrement_B_41]] | IS_FIREABLE [enregistrement_B_42]] | IS_FIREABLE [enregistrement_B_43]] | IS_FIREABLE [enregistrement_B_44]] | IS_FIREABLE [enregistrement_B_45]] | IS_FIREABLE [enregistrement_B_46]] | IS_FIREABLE [enregistrement_B_47]] | IS_FIREABLE [enregistrement_B_48]] | IS_FIREABLE [enregistrement_B_49]] | IS_FIREABLE [enregistrement_B_50]]]]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]] | IS_FIREABLE [autorisation_B_2_3]] | IS_FIREABLE [autorisation_B_2_4]] | IS_FIREABLE [autorisation_B_2_5]] | IS_FIREABLE [autorisation_B_2_6]] | IS_FIREABLE [autorisation_B_2_7]] | IS_FIREABLE [autorisation_B_2_8]] | IS_FIREABLE [autorisation_B_2_9]] | IS_FIREABLE [autorisation_B_2_10]] | IS_FIREABLE [autorisation_B_2_11]] | IS_FIREABLE [autorisation_B_2_12]] | IS_FIREABLE [autorisation_B_2_13]] | IS_FIREABLE [autorisation_B_2_14]] | IS_FIREABLE [autorisation_B_2_15]] | IS_FIREABLE [autorisation_B_2_16]] | IS_FIREABLE [autorisation_B_2_17]] | IS_FIREABLE [autorisation_B_2_18]] | IS_FIREABLE [autorisation_B_2_19]] | IS_FIREABLE [autorisation_B_2_20]] | IS_FIREABLE [autorisation_B_2_21]] | IS_FIREABLE [autorisation_B_2_22]] | IS_FIREABLE [autorisation_B_2_23]] | IS_FIREABLE [autorisation_B_2_24]] | IS_FIREABLE [autorisation_B_2_25]] | IS_FIREABLE [autorisation_B_2_26]] | IS_FIREABLE [autorisation_B_2_27]] | IS_FIREABLE [autorisation_B_2_28]] | IS_FIREABLE [autorisation_B_2_29]] | IS_FIREABLE [autorisation_B_2_30]] | IS_FIREABLE [autorisation_B_2_31]] | IS_FIREABLE [autorisation_B_2_32]] | IS_FIREABLE [autorisation_B_2_33]] | IS_FIREABLE [autorisation_B_2_34]] | IS_FIREABLE [autorisation_B_2_35]] | IS_FIREABLE [autorisation_B_2_36]] | IS_FIREABLE [autorisation_B_2_37]] | IS_FIREABLE [autorisation_B_2_38]] | IS_FIREABLE [autorisation_B_2_39]] | IS_FIREABLE [autorisation_B_2_40]] | IS_FIREABLE [autorisation_B_2_41]] | IS_FIREABLE [autorisation_B_2_42]] | IS_FIREABLE [autorisation_B_2_43]] | IS_FIREABLE [autorisation_B_2_44]] | IS_FIREABLE [autorisation_B_2_45]] | IS_FIREABLE [autorisation_B_2_46]] | IS_FIREABLE [autorisation_B_2_47]] | IS_FIREABLE [autorisation_B_2_48]] | IS_FIREABLE [autorisation_B_2_49]] | IS_FIREABLE [autorisation_B_2_50]] & [AF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_21]] | IS_FIREABLE [enregistrement_A_22]] | IS_FIREABLE [enregistrement_A_23]] | IS_FIREABLE [enregistrement_A_24]] | IS_FIREABLE [enregistrement_A_25]] | IS_FIREABLE [enregistrement_A_26]] | IS_FIREABLE [enregistrement_A_27]] | IS_FIREABLE [enregistrement_A_28]] | IS_FIREABLE [enregistrement_A_29]] | IS_FIREABLE [enregistrement_A_30]] | IS_FIREABLE [enregistrement_A_31]] | IS_FIREABLE [enregistrement_A_32]] | IS_FIREABLE [enregistrement_A_33]] | IS_FIREABLE [enregistrement_A_34]] | IS_FIREABLE [enregistrement_A_35]] | IS_FIREABLE [enregistrement_A_36]] | IS_FIREABLE [enregistrement_A_37]] | IS_FIREABLE [enregistrement_A_38]] | IS_FIREABLE [enregistrement_A_39]] | IS_FIREABLE [enregistrement_A_40]] | IS_FIREABLE [enregistrement_A_41]] | IS_FIREABLE [enregistrement_A_42]] | IS_FIREABLE [enregistrement_A_43]] | IS_FIREABLE [enregistrement_A_44]] | IS_FIREABLE [enregistrement_A_45]] | IS_FIREABLE [enregistrement_A_46]] | IS_FIREABLE [enregistrement_A_47]] | IS_FIREABLE [enregistrement_A_48]] | IS_FIREABLE [enregistrement_A_49]] | IS_FIREABLE [enregistrement_A_50]]] | E [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]] | IS_FIREABLE [autorisation_B_2_3]] | IS_FIREABLE [autorisation_B_2_4]] | IS_FIREABLE [autorisation_B_2_5]] | IS_FIREABLE [autorisation_B_2_6]] | IS_FIREABLE [autorisation_B_2_7]] | IS_FIREABLE [autorisation_B_2_8]] | IS_FIREABLE [autorisation_B_2_9]] | IS_FIREABLE [autorisation_B_2_10]] | IS_FIREABLE [autorisation_B_2_11]] | IS_FIREABLE [autorisation_B_2_12]] | IS_FIREABLE [autorisation_B_2_13]] | IS_FIREABLE [autorisation_B_2_14]] | IS_FIREABLE [autorisation_B_2_15]] | IS_FIREABLE [autorisation_B_2_16]] | IS_FIREABLE [autorisation_B_2_17]] | IS_FIREABLE [autorisation_B_2_18]] | IS_FIREABLE [autorisation_B_2_19]] | IS_FIREABLE [autorisation_B_2_20]] | IS_FIREABLE [autorisation_B_2_21]] | IS_FIREABLE [autorisation_B_2_22]] | IS_FIREABLE [autorisation_B_2_23]] | IS_FIREABLE [autorisation_B_2_24]] | IS_FIREABLE [autorisation_B_2_25]] | IS_FIREABLE [autorisation_B_2_26]] | IS_FIREABLE [autorisation_B_2_27]] | IS_FIREABLE [autorisation_B_2_28]] | IS_FIREABLE [autorisation_B_2_29]] | IS_FIREABLE [autorisation_B_2_30]] | IS_FIREABLE [autorisation_B_2_31]] | IS_FIREABLE [autorisation_B_2_32]] | IS_FIREABLE [autorisation_B_2_33]] | IS_FIREABLE [autorisation_B_2_34]] | IS_FIREABLE [autorisation_B_2_35]] | IS_FIREABLE [autorisation_B_2_36]] | IS_FIREABLE [autorisation_B_2_37]] | IS_FIREABLE [autorisation_B_2_38]] | IS_FIREABLE [autorisation_B_2_39]] | IS_FIREABLE [autorisation_B_2_40]] | IS_FIREABLE [autorisation_B_2_41]] | IS_FIREABLE [autorisation_B_2_42]] | IS_FIREABLE [autorisation_B_2_43]] | IS_FIREABLE [autorisation_B_2_44]] | IS_FIREABLE [autorisation_B_2_45]] | IS_FIREABLE [autorisation_B_2_46]] | IS_FIREABLE [autorisation_B_2_47]] | IS_FIREABLE [autorisation_B_2_48]] | IS_FIREABLE [autorisation_B_2_49]] | IS_FIREABLE [autorisation_B_2_50]] & [IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]] U [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_21]] | IS_FIREABLE [enregistrement_A_22]] | IS_FIREABLE [enregistrement_A_23]] | IS_FIREABLE [enregistrement_A_24]] | IS_FIREABLE [enregistrement_A_25]] | IS_FIREABLE [enregistrement_A_26]] | IS_FIREABLE [enregistrement_A_27]] | IS_FIREABLE [enregistrement_A_28]] | IS_FIREABLE [enregistrement_A_29]] | IS_FIREABLE [enregistrement_A_30]] | IS_FIREABLE [enregistrement_A_31]] | IS_FIREABLE [enregistrement_A_32]] | IS_FIREABLE [enregistrement_A_33]] | IS_FIREABLE [enregistrement_A_34]] | IS_FIREABLE [enregistrement_A_35]] | IS_FIREABLE [enregistrement_A_36]] | IS_FIREABLE [enregistrement_A_37]] | IS_FIREABLE [enregistrement_A_38]] | IS_FIREABLE [enregistrement_A_39]] | IS_FIREABLE [enregistrement_A_40]] | IS_FIREABLE [enregistrement_A_41]] | IS_FIREABLE [enregistrement_A_42]] | IS_FIREABLE [enregistrement_A_43]] | IS_FIREABLE [enregistrement_A_44]] | IS_FIREABLE [enregistrement_A_45]] | IS_FIREABLE [enregistrement_A_46]] | IS_FIREABLE [enregistrement_A_47]] | IS_FIREABLE [enregistrement_A_48]] | IS_FIREABLE [enregistrement_A_49]] | IS_FIREABLE [enregistrement_A_50]] & IS_FIREABLE [liberation_A]]]]]]]]
normalized: EG [~ [[[[E [[[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]] & [IS_FIREABLE [autorisation_B_2_50] | [IS_FIREABLE [autorisation_B_2_49] | [IS_FIREABLE [autorisation_B_2_48] | [IS_FIREABLE [autorisation_B_2_47] | [IS_FIREABLE [autorisation_B_2_46] | [IS_FIREABLE [autorisation_B_2_45] | [IS_FIREABLE [autorisation_B_2_44] | [IS_FIREABLE [autorisation_B_2_43] | [IS_FIREABLE [autorisation_B_2_42] | [IS_FIREABLE [autorisation_B_2_41] | [IS_FIREABLE [autorisation_B_2_40] | [IS_FIREABLE [autorisation_B_2_39] | [IS_FIREABLE [autorisation_B_2_38] | [IS_FIREABLE [autorisation_B_2_37] | [IS_FIREABLE [autorisation_B_2_36] | [IS_FIREABLE [autorisation_B_2_35] | [IS_FIREABLE [autorisation_B_2_34] | [IS_FIREABLE [autorisation_B_2_33] | [IS_FIREABLE [autorisation_B_2_32] | [IS_FIREABLE [autorisation_B_2_31] | [IS_FIREABLE [autorisation_B_2_30] | [IS_FIREABLE [autorisation_B_2_29] | [IS_FIREABLE [autorisation_B_2_28] | [IS_FIREABLE [autorisation_B_2_27] | [IS_FIREABLE [autorisation_B_2_26] | [IS_FIREABLE [autorisation_B_2_25] | [IS_FIREABLE [autorisation_B_2_24] | [IS_FIREABLE [autorisation_B_2_23] | [IS_FIREABLE [autorisation_B_2_22] | [IS_FIREABLE [autorisation_B_2_21] | [IS_FIREABLE [autorisation_B_2_20] | [IS_FIREABLE [autorisation_B_2_19] | [IS_FIREABLE [autorisation_B_2_18] | [IS_FIREABLE [autorisation_B_2_17] | [IS_FIREABLE [autorisation_B_2_16] | [IS_FIREABLE [autorisation_B_2_15] | [IS_FIREABLE [autorisation_B_2_14] | [IS_FIREABLE [autorisation_B_2_13] | [IS_FIREABLE [autorisation_B_2_12] | [IS_FIREABLE [autorisation_B_2_11] | [IS_FIREABLE [autorisation_B_2_10] | [IS_FIREABLE [autorisation_B_2_9] | [IS_FIREABLE [autorisation_B_2_8] | [IS_FIREABLE [autorisation_B_2_7] | [IS_FIREABLE [autorisation_B_2_6] | [IS_FIREABLE [autorisation_B_2_5] | [IS_FIREABLE [autorisation_B_2_4] | [IS_FIREABLE [autorisation_B_2_3] | [IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] U [IS_FIREABLE [liberation_A] & [IS_FIREABLE [enregistrement_A_50] | [IS_FIREABLE [enregistrement_A_49] | [IS_FIREABLE [enregistrement_A_48] | [IS_FIREABLE [enregistrement_A_47] | [IS_FIREABLE [enregistrement_A_46] | [IS_FIREABLE [enregistrement_A_45] | [IS_FIREABLE [enregistrement_A_44] | [IS_FIREABLE [enregistrement_A_43] | [IS_FIREABLE [enregistrement_A_42] | [IS_FIREABLE [enregistrement_A_41] | [IS_FIREABLE [enregistrement_A_40] | [IS_FIREABLE [enregistrement_A_39] | [IS_FIREABLE [enregistrement_A_38] | [IS_FIREABLE [enregistrement_A_37] | [IS_FIREABLE [enregistrement_A_36] | [IS_FIREABLE [enregistrement_A_35] | [IS_FIREABLE [enregistrement_A_34] | [IS_FIREABLE [enregistrement_A_33] | [IS_FIREABLE [enregistrement_A_32] | [IS_FIREABLE [enregistrement_A_31] | [IS_FIREABLE [enregistrement_A_30] | [IS_FIREABLE [enregistrement_A_29] | [IS_FIREABLE [enregistrement_A_28] | [IS_FIREABLE [enregistrement_A_27] | [IS_FIREABLE [enregistrement_A_26] | [IS_FIREABLE [enregistrement_A_25] | [IS_FIREABLE [enregistrement_A_24] | [IS_FIREABLE [enregistrement_A_23] | [IS_FIREABLE [enregistrement_A_22] | [IS_FIREABLE [enregistrement_A_21] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | ~ [EG [~ [[IS_FIREABLE [enregistrement_A_50] | [IS_FIREABLE [enregistrement_A_49] | [IS_FIREABLE [enregistrement_A_48] | [IS_FIREABLE [enregistrement_A_47] | [IS_FIREABLE [enregistrement_A_46] | [IS_FIREABLE [enregistrement_A_45] | [IS_FIREABLE [enregistrement_A_44] | [IS_FIREABLE [enregistrement_A_43] | [IS_FIREABLE [enregistrement_A_42] | [IS_FIREABLE [enregistrement_A_41] | [IS_FIREABLE [enregistrement_A_40] | [IS_FIREABLE [enregistrement_A_39] | [IS_FIREABLE [enregistrement_A_38] | [IS_FIREABLE [enregistrement_A_37] | [IS_FIREABLE [enregistrement_A_36] | [IS_FIREABLE [enregistrement_A_35] | [IS_FIREABLE [enregistrement_A_34] | [IS_FIREABLE [enregistrement_A_33] | [IS_FIREABLE [enregistrement_A_32] | [IS_FIREABLE [enregistrement_A_31] | [IS_FIREABLE [enregistrement_A_30] | [IS_FIREABLE [enregistrement_A_29] | [IS_FIREABLE [enregistrement_A_28] | [IS_FIREABLE [enregistrement_A_27] | [IS_FIREABLE [enregistrement_A_26] | [IS_FIREABLE [enregistrement_A_25] | [IS_FIREABLE [enregistrement_A_24] | [IS_FIREABLE [enregistrement_A_23] | [IS_FIREABLE [enregistrement_A_22] | [IS_FIREABLE [enregistrement_A_21] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [autorisation_B_2_50] | [IS_FIREABLE [autorisation_B_2_49] | [IS_FIREABLE [autorisation_B_2_48] | [IS_FIREABLE [autorisation_B_2_47] | [IS_FIREABLE [autorisation_B_2_46] | [IS_FIREABLE [autorisation_B_2_45] | [IS_FIREABLE [autorisation_B_2_44] | [IS_FIREABLE [autorisation_B_2_43] | [IS_FIREABLE [autorisation_B_2_42] | [IS_FIREABLE [autorisation_B_2_41] | [IS_FIREABLE [autorisation_B_2_40] | [IS_FIREABLE [autorisation_B_2_39] | [IS_FIREABLE [autorisation_B_2_38] | [IS_FIREABLE [autorisation_B_2_37] | [IS_FIREABLE [autorisation_B_2_36] | [IS_FIREABLE [autorisation_B_2_35] | [IS_FIREABLE [autorisation_B_2_34] | [IS_FIREABLE [autorisation_B_2_33] | [IS_FIREABLE [autorisation_B_2_32] | [IS_FIREABLE [autorisation_B_2_31] | [IS_FIREABLE [autorisation_B_2_30] | [IS_FIREABLE [autorisation_B_2_29] | [IS_FIREABLE [autorisation_B_2_28] | [IS_FIREABLE [autorisation_B_2_27] | [IS_FIREABLE [autorisation_B_2_26] | [IS_FIREABLE [autorisation_B_2_25] | [IS_FIREABLE [autorisation_B_2_24] | [IS_FIREABLE [autorisation_B_2_23] | [IS_FIREABLE [autorisation_B_2_22] | [IS_FIREABLE [autorisation_B_2_21] | [IS_FIREABLE [autorisation_B_2_20] | [IS_FIREABLE [autorisation_B_2_19] | [IS_FIREABLE [autorisation_B_2_18] | [IS_FIREABLE [autorisation_B_2_17] | [IS_FIREABLE [autorisation_B_2_16] | [IS_FIREABLE [autorisation_B_2_15] | [IS_FIREABLE [autorisation_B_2_14] | [IS_FIREABLE [autorisation_B_2_13] | [IS_FIREABLE [autorisation_B_2_12] | [IS_FIREABLE [autorisation_B_2_11] | [IS_FIREABLE [autorisation_B_2_10] | [IS_FIREABLE [autorisation_B_2_9] | [IS_FIREABLE [autorisation_B_2_8] | [IS_FIREABLE [autorisation_B_2_7] | [IS_FIREABLE [autorisation_B_2_6] | [IS_FIREABLE [autorisation_B_2_5] | [IS_FIREABLE [autorisation_B_2_4] | [IS_FIREABLE [autorisation_B_2_3] | [IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & ~ [EX [~ [E [true U E [true U [IS_FIREABLE [enregistrement_B_50] | [IS_FIREABLE [enregistrement_B_49] | [IS_FIREABLE [enregistrement_B_48] | [IS_FIREABLE [enregistrement_B_47] | [IS_FIREABLE [enregistrement_B_46] | [IS_FIREABLE [enregistrement_B_45] | [IS_FIREABLE [enregistrement_B_44] | [IS_FIREABLE [enregistrement_B_43] | [IS_FIREABLE [enregistrement_B_42] | [IS_FIREABLE [enregistrement_B_41] | [IS_FIREABLE [enregistrement_B_40] | [IS_FIREABLE [enregistrement_B_39] | [IS_FIREABLE [enregistrement_B_38] | [IS_FIREABLE [enregistrement_B_37] | [IS_FIREABLE [enregistrement_B_36] | [IS_FIREABLE [enregistrement_B_35] | [IS_FIREABLE [enregistrement_B_34] | [IS_FIREABLE [enregistrement_B_33] | [IS_FIREABLE [enregistrement_B_32] | [IS_FIREABLE [enregistrement_B_31] | [IS_FIREABLE [enregistrement_B_30] | [IS_FIREABLE [enregistrement_B_29] | [IS_FIREABLE [enregistrement_B_28] | [IS_FIREABLE [enregistrement_B_27] | [IS_FIREABLE [enregistrement_B_26] | [IS_FIREABLE [enregistrement_B_25] | [IS_FIREABLE [enregistrement_B_24] | [IS_FIREABLE [enregistrement_B_23] | [IS_FIREABLE [enregistrement_B_22] | [IS_FIREABLE [enregistrement_B_21] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

MC time: 2m11.389sec

checking: AX [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]] | IS_FIREABLE [autorisation_B_2_3]] | IS_FIREABLE [autorisation_B_2_4]] | IS_FIREABLE [autorisation_B_2_5]] | IS_FIREABLE [autorisation_B_2_6]] | IS_FIREABLE [autorisation_B_2_7]] | IS_FIREABLE [autorisation_B_2_8]] | IS_FIREABLE [autorisation_B_2_9]] | IS_FIREABLE [autorisation_B_2_10]] | IS_FIREABLE [autorisation_B_2_11]] | IS_FIREABLE [autorisation_B_2_12]] | IS_FIREABLE [autorisation_B_2_13]] | IS_FIREABLE [autorisation_B_2_14]] | IS_FIREABLE [autorisation_B_2_15]] | IS_FIREABLE [autorisation_B_2_16]] | IS_FIREABLE [autorisation_B_2_17]] | IS_FIREABLE [autorisation_B_2_18]] | IS_FIREABLE [autorisation_B_2_19]] | IS_FIREABLE [autorisation_B_2_20]] | IS_FIREABLE [autorisation_B_2_21]] | IS_FIREABLE [autorisation_B_2_22]] | IS_FIREABLE [autorisation_B_2_23]] | IS_FIREABLE [autorisation_B_2_24]] | IS_FIREABLE [autorisation_B_2_25]] | IS_FIREABLE [autorisation_B_2_26]] | IS_FIREABLE [autorisation_B_2_27]] | IS_FIREABLE [autorisation_B_2_28]] | IS_FIREABLE [autorisation_B_2_29]] | IS_FIREABLE [autorisation_B_2_30]] | IS_FIREABLE [autorisation_B_2_31]] | IS_FIREABLE [autorisation_B_2_32]] | IS_FIREABLE [autorisation_B_2_33]] | IS_FIREABLE [autorisation_B_2_34]] | IS_FIREABLE [autorisation_B_2_35]] | IS_FIREABLE [autorisation_B_2_36]] | IS_FIREABLE [autorisation_B_2_37]] | IS_FIREABLE [autorisation_B_2_38]] | IS_FIREABLE [autorisation_B_2_39]] | IS_FIREABLE [autorisation_B_2_40]] | IS_FIREABLE [autorisation_B_2_41]] | IS_FIREABLE [autorisation_B_2_42]] | IS_FIREABLE [autorisation_B_2_43]] | IS_FIREABLE [autorisation_B_2_44]] | IS_FIREABLE [autorisation_B_2_45]] | IS_FIREABLE [autorisation_B_2_46]] | IS_FIREABLE [autorisation_B_2_47]] | IS_FIREABLE [autorisation_B_2_48]] | IS_FIREABLE [autorisation_B_2_49]] | IS_FIREABLE [autorisation_B_2_50]] | AG [[EG [AF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]]] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_21]] | IS_FIREABLE [enregistrement_B_22]] | IS_FIREABLE [enregistrement_B_23]] | IS_FIREABLE [enregistrement_B_24]] | IS_FIREABLE [enregistrement_B_25]] | IS_FIREABLE [enregistrement_B_26]] | IS_FIREABLE [enregistrement_B_27]] | IS_FIREABLE [enregistrement_B_28]] | IS_FIREABLE [enregistrement_B_29]] | IS_FIREABLE [enregistrement_B_30]] | IS_FIREABLE [enregistrement_B_31]] | IS_FIREABLE [enregistrement_B_32]] | IS_FIREABLE [enregistrement_B_33]] | IS_FIREABLE [enregistrement_B_34]] | IS_FIREABLE [enregistrement_B_35]] | IS_FIREABLE [enregistrement_B_36]] | IS_FIREABLE [enregistrement_B_37]] | IS_FIREABLE [enregistrement_B_38]] | IS_FIREABLE [enregistrement_B_39]] | IS_FIREABLE [enregistrement_B_40]] | IS_FIREABLE [enregistrement_B_41]] | IS_FIREABLE [enregistrement_B_42]] | IS_FIREABLE [enregistrement_B_43]] | IS_FIREABLE [enregistrement_B_44]] | IS_FIREABLE [enregistrement_B_45]] | IS_FIREABLE [enregistrement_B_46]] | IS_FIREABLE [enregistrement_B_47]] | IS_FIREABLE [enregistrement_B_48]] | IS_FIREABLE [enregistrement_B_49]] | IS_FIREABLE [enregistrement_B_50]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_21]] | IS_FIREABLE [enregistrement_B_22]] | IS_FIREABLE [enregistrement_B_23]] | IS_FIREABLE [enregistrement_B_24]] | IS_FIREABLE [enregistrement_B_25]] | IS_FIREABLE [enregistrement_B_26]] | IS_FIREABLE [enregistrement_B_27]] | IS_FIREABLE [enregistrement_B_28]] | IS_FIREABLE [enregistrement_B_29]] | IS_FIREABLE [enregistrement_B_30]] | IS_FIREABLE [enregistrement_B_31]] | IS_FIREABLE [enregistrement_B_32]] | IS_FIREABLE [enregistrement_B_33]] | IS_FIREABLE [enregistrement_B_34]] | IS_FIREABLE [enregistrement_B_35]] | IS_FIREABLE [enregistrement_B_36]] | IS_FIREABLE [enregistrement_B_37]] | IS_FIREABLE [enregistrement_B_38]] | IS_FIREABLE [enregistrement_B_39]] | IS_FIREABLE [enregistrement_B_40]] | IS_FIREABLE [enregistrement_B_41]] | IS_FIREABLE [enregistrement_B_42]] | IS_FIREABLE [enregistrement_B_43]] | IS_FIREABLE [enregistrement_B_44]] | IS_FIREABLE [enregistrement_B_45]] | IS_FIREABLE [enregistrement_B_46]] | IS_FIREABLE [enregistrement_B_47]] | IS_FIREABLE [enregistrement_B_48]] | IS_FIREABLE [enregistrement_B_49]] | IS_FIREABLE [enregistrement_B_50]]] & [[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]] | IS_FIREABLE [autorisation_B_2_3]] | IS_FIREABLE [autorisation_B_2_4]] | IS_FIREABLE [autorisation_B_2_5]] | IS_FIREABLE [autorisation_B_2_6]] | IS_FIREABLE [autorisation_B_2_7]] | IS_FIREABLE [autorisation_B_2_8]] | IS_FIREABLE [autorisation_B_2_9]] | IS_FIREABLE [autorisation_B_2_10]] | IS_FIREABLE [autorisation_B_2_11]] | IS_FIREABLE [autorisation_B_2_12]] | IS_FIREABLE [autorisation_B_2_13]] | IS_FIREABLE [autorisation_B_2_14]] | IS_FIREABLE [autorisation_B_2_15]] | IS_FIREABLE [autorisation_B_2_16]] | IS_FIREABLE [autorisation_B_2_17]] | IS_FIREABLE [autorisation_B_2_18]] | IS_FIREABLE [autorisation_B_2_19]] | IS_FIREABLE [autorisation_B_2_20]] | IS_FIREABLE [autorisation_B_2_21]] | IS_FIREABLE [autorisation_B_2_22]] | IS_FIREABLE [autorisation_B_2_23]] | IS_FIREABLE [autorisation_B_2_24]] | IS_FIREABLE [autorisation_B_2_25]] | IS_FIREABLE [autorisation_B_2_26]] | IS_FIREABLE [autorisation_B_2_27]] | IS_FIREABLE [autorisation_B_2_28]] | IS_FIREABLE [autorisation_B_2_29]] | IS_FIREABLE [autorisation_B_2_30]] | IS_FIREABLE [autorisation_B_2_31]] | IS_FIREABLE [autorisation_B_2_32]] | IS_FIREABLE [autorisation_B_2_33]] | IS_FIREABLE [autorisation_B_2_34]] | IS_FIREABLE [autorisation_B_2_35]] | IS_FIREABLE [autorisation_B_2_36]] | IS_FIREABLE [autorisation_B_2_37]] | IS_FIREABLE [autorisation_B_2_38]] | IS_FIREABLE [autorisation_B_2_39]] | IS_FIREABLE [autorisation_B_2_40]] | IS_FIREABLE [autorisation_B_2_41]] | IS_FIREABLE [autorisation_B_2_42]] | IS_FIREABLE [autorisation_B_2_43]] | IS_FIREABLE [autorisation_B_2_44]] | IS_FIREABLE [autorisation_B_2_45]] | IS_FIREABLE [autorisation_B_2_46]] | IS_FIREABLE [autorisation_B_2_47]] | IS_FIREABLE [autorisation_B_2_48]] | IS_FIREABLE [autorisation_B_2_49]] | IS_FIREABLE [autorisation_B_2_50]]]]]]]
normalized: ~ [EX [~ [[~ [E [true U ~ [[[[IS_FIREABLE [autorisation_B_2_50] | [IS_FIREABLE [autorisation_B_2_49] | [IS_FIREABLE [autorisation_B_2_48] | [IS_FIREABLE [autorisation_B_2_47] | [IS_FIREABLE [autorisation_B_2_46] | [IS_FIREABLE [autorisation_B_2_45] | [IS_FIREABLE [autorisation_B_2_44] | [IS_FIREABLE [autorisation_B_2_43] | [IS_FIREABLE [autorisation_B_2_42] | [IS_FIREABLE [autorisation_B_2_41] | [IS_FIREABLE [autorisation_B_2_40] | [IS_FIREABLE [autorisation_B_2_39] | [IS_FIREABLE [autorisation_B_2_38] | [IS_FIREABLE [autorisation_B_2_37] | [IS_FIREABLE [autorisation_B_2_36] | [IS_FIREABLE [autorisation_B_2_35] | [IS_FIREABLE [autorisation_B_2_34] | [IS_FIREABLE [autorisation_B_2_33] | [IS_FIREABLE [autorisation_B_2_32] | [IS_FIREABLE [autorisation_B_2_31] | [IS_FIREABLE [autorisation_B_2_30] | [IS_FIREABLE [autorisation_B_2_29] | [IS_FIREABLE [autorisation_B_2_28] | [IS_FIREABLE [autorisation_B_2_27] | [IS_FIREABLE [autorisation_B_2_26] | [IS_FIREABLE [autorisation_B_2_25] | [IS_FIREABLE [autorisation_B_2_24] | [IS_FIREABLE [autorisation_B_2_23] | [IS_FIREABLE [autorisation_B_2_22] | [IS_FIREABLE [autorisation_B_2_21] | [IS_FIREABLE [autorisation_B_2_20] | [IS_FIREABLE [autorisation_B_2_19] | [IS_FIREABLE [autorisation_B_2_18] | [IS_FIREABLE [autorisation_B_2_17] | [IS_FIREABLE [autorisation_B_2_16] | [IS_FIREABLE [autorisation_B_2_15] | [IS_FIREABLE [autorisation_B_2_14] | [IS_FIREABLE [autorisation_B_2_13] | [IS_FIREABLE [autorisation_B_2_12] | [IS_FIREABLE [autorisation_B_2_11] | [IS_FIREABLE [autorisation_B_2_10] | [IS_FIREABLE [autorisation_B_2_9] | [IS_FIREABLE [autorisation_B_2_8] | [IS_FIREABLE [autorisation_B_2_7] | [IS_FIREABLE [autorisation_B_2_6] | [IS_FIREABLE [autorisation_B_2_5] | [IS_FIREABLE [autorisation_B_2_4] | [IS_FIREABLE [autorisation_B_2_3] | [IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [[[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]] & [[IS_FIREABLE [enregistrement_B_50] | [IS_FIREABLE [enregistrement_B_49] | [IS_FIREABLE [enregistrement_B_48] | [IS_FIREABLE [enregistrement_B_47] | [IS_FIREABLE [enregistrement_B_46] | [IS_FIREABLE [enregistrement_B_45] | [IS_FIREABLE [enregistrement_B_44] | [IS_FIREABLE [enregistrement_B_43] | [IS_FIREABLE [enregistrement_B_42] | [IS_FIREABLE [enregistrement_B_41] | [IS_FIREABLE [enregistrement_B_40] | [IS_FIREABLE [enregistrement_B_39] | [IS_FIREABLE [enregistrement_B_38] | [IS_FIREABLE [enregistrement_B_37] | [IS_FIREABLE [enregistrement_B_36] | [IS_FIREABLE [enregistrement_B_35] | [IS_FIREABLE [enregistrement_B_34] | [IS_FIREABLE [enregistrement_B_33] | [IS_FIREABLE [enregistrement_B_32] | [IS_FIREABLE [enregistrement_B_31] | [IS_FIREABLE [enregistrement_B_30] | [IS_FIREABLE [enregistrement_B_29] | [IS_FIREABLE [enregistrement_B_28] | [IS_FIREABLE [enregistrement_B_27] | [IS_FIREABLE [enregistrement_B_26] | [IS_FIREABLE [enregistrement_B_25] | [IS_FIREABLE [enregistrement_B_24] | [IS_FIREABLE [enregistrement_B_23] | [IS_FIREABLE [enregistrement_B_22] | [IS_FIREABLE [enregistrement_B_21] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [enregistrement_B_50] | [IS_FIREABLE [enregistrement_B_49] | [IS_FIREABLE [enregistrement_B_48] | [IS_FIREABLE [enregistrement_B_47] | [IS_FIREABLE [enregistrement_B_46] | [IS_FIREABLE [enregistrement_B_45] | [IS_FIREABLE [enregistrement_B_44] | [IS_FIREABLE [enregistrement_B_43] | [IS_FIREABLE [enregistrement_B_42] | [IS_FIREABLE [enregistrement_B_41] | [IS_FIREABLE [enregistrement_B_40] | [IS_FIREABLE [enregistrement_B_39] | [IS_FIREABLE [enregistrement_B_38] | [IS_FIREABLE [enregistrement_B_37] | [IS_FIREABLE [enregistrement_B_36] | [IS_FIREABLE [enregistrement_B_35] | [IS_FIREABLE [enregistrement_B_34] | [IS_FIREABLE [enregistrement_B_33] | [IS_FIREABLE [enregistrement_B_32] | [IS_FIREABLE [enregistrement_B_31] | [IS_FIREABLE [enregistrement_B_30] | [IS_FIREABLE [enregistrement_B_29] | [IS_FIREABLE [enregistrement_B_28] | [IS_FIREABLE [enregistrement_B_27] | [IS_FIREABLE [enregistrement_B_26] | [IS_FIREABLE [enregistrement_B_25] | [IS_FIREABLE [enregistrement_B_24] | [IS_FIREABLE [enregistrement_B_23] | [IS_FIREABLE [enregistrement_B_22] | [IS_FIREABLE [enregistrement_B_21] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | EG [~ [EG [~ [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [autorisation_B_2_50] | [IS_FIREABLE [autorisation_B_2_49] | [IS_FIREABLE [autorisation_B_2_48] | [IS_FIREABLE [autorisation_B_2_47] | [IS_FIREABLE [autorisation_B_2_46] | [IS_FIREABLE [autorisation_B_2_45] | [IS_FIREABLE [autorisation_B_2_44] | [IS_FIREABLE [autorisation_B_2_43] | [IS_FIREABLE [autorisation_B_2_42] | [IS_FIREABLE [autorisation_B_2_41] | [IS_FIREABLE [autorisation_B_2_40] | [IS_FIREABLE [autorisation_B_2_39] | [IS_FIREABLE [autorisation_B_2_38] | [IS_FIREABLE [autorisation_B_2_37] | [IS_FIREABLE [autorisation_B_2_36] | [IS_FIREABLE [autorisation_B_2_35] | [IS_FIREABLE [autorisation_B_2_34] | [IS_FIREABLE [autorisation_B_2_33] | [IS_FIREABLE [autorisation_B_2_32] | [IS_FIREABLE [autorisation_B_2_31] | [IS_FIREABLE [autorisation_B_2_30] | [IS_FIREABLE [autorisation_B_2_29] | [IS_FIREABLE [autorisation_B_2_28] | [IS_FIREABLE [autorisation_B_2_27] | [IS_FIREABLE [autorisation_B_2_26] | [IS_FIREABLE [autorisation_B_2_25] | [IS_FIREABLE [autorisation_B_2_24] | [IS_FIREABLE [autorisation_B_2_23] | [IS_FIREABLE [autorisation_B_2_22] | [IS_FIREABLE [autorisation_B_2_21] | [IS_FIREABLE [autorisation_B_2_20] | [IS_FIREABLE [autorisation_B_2_19] | [IS_FIREABLE [autorisation_B_2_18] | [IS_FIREABLE [autorisation_B_2_17] | [IS_FIREABLE [autorisation_B_2_16] | [IS_FIREABLE [autorisation_B_2_15] | [IS_FIREABLE [autorisation_B_2_14] | [IS_FIREABLE [autorisation_B_2_13] | [IS_FIREABLE [autorisation_B_2_12] | [IS_FIREABLE [autorisation_B_2_11] | [IS_FIREABLE [autorisation_B_2_10] | [IS_FIREABLE [autorisation_B_2_9] | [IS_FIREABLE [autorisation_B_2_8] | [IS_FIREABLE [autorisation_B_2_7] | [IS_FIREABLE [autorisation_B_2_6] | [IS_FIREABLE [autorisation_B_2_5] | [IS_FIREABLE [autorisation_B_2_4] | [IS_FIREABLE [autorisation_B_2_3] | [IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]

MC time: 0m47.875sec

checking: [A [AF [[[~ [[[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_21]] | IS_FIREABLE [enregistrement_B_22]] | IS_FIREABLE [enregistrement_B_23]] | IS_FIREABLE [enregistrement_B_24]] | IS_FIREABLE [enregistrement_B_25]] | IS_FIREABLE [enregistrement_B_26]] | IS_FIREABLE [enregistrement_B_27]] | IS_FIREABLE [enregistrement_B_28]] | IS_FIREABLE [enregistrement_B_29]] | IS_FIREABLE [enregistrement_B_30]] | IS_FIREABLE [enregistrement_B_31]] | IS_FIREABLE [enregistrement_B_32]] | IS_FIREABLE [enregistrement_B_33]] | IS_FIREABLE [enregistrement_B_34]] | IS_FIREABLE [enregistrement_B_35]] | IS_FIREABLE [enregistrement_B_36]] | IS_FIREABLE [enregistrement_B_37]] | IS_FIREABLE [enregistrement_B_38]] | IS_FIREABLE [enregistrement_B_39]] | IS_FIREABLE [enregistrement_B_40]] | IS_FIREABLE [enregistrement_B_41]] | IS_FIREABLE [enregistrement_B_42]] | IS_FIREABLE [enregistrement_B_43]] | IS_FIREABLE [enregistrement_B_44]] | IS_FIREABLE [enregistrement_B_45]] | IS_FIREABLE [enregistrement_B_46]] | IS_FIREABLE [enregistrement_B_47]] | IS_FIREABLE [enregistrement_B_48]] | IS_FIREABLE [enregistrement_B_49]] | IS_FIREABLE [enregistrement_B_50]]]] & ~ [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]] | IS_FIREABLE [autorisation_B_2_3]] | IS_FIREABLE [autorisation_B_2_4]] | IS_FIREABLE [autorisation_B_2_5]] | IS_FIREABLE [autorisation_B_2_6]] | IS_FIREABLE [autorisation_B_2_7]] | IS_FIREABLE [autorisation_B_2_8]] | IS_FIREABLE [autorisation_B_2_9]] | IS_FIREABLE [autorisation_B_2_10]] | IS_FIREABLE [autorisation_B_2_11]] | IS_FIREABLE [autorisation_B_2_12]] | IS_FIREABLE [autorisation_B_2_13]] | IS_FIREABLE [autorisation_B_2_14]] | IS_FIREABLE [autorisation_B_2_15]] | IS_FIREABLE [autorisation_B_2_16]] | IS_FIREABLE [autorisation_B_2_17]] | IS_FIREABLE [autorisation_B_2_18]] | IS_FIREABLE [autorisation_B_2_19]] | IS_FIREABLE [autorisation_B_2_20]] | IS_FIREABLE [autorisation_B_2_21]] | IS_FIREABLE [autorisation_B_2_22]] | IS_FIREABLE [autorisation_B_2_23]] | IS_FIREABLE [autorisation_B_2_24]] | IS_FIREABLE [autorisation_B_2_25]] | IS_FIREABLE [autorisation_B_2_26]] | IS_FIREABLE [autorisation_B_2_27]] | IS_FIREABLE [autorisation_B_2_28]] | IS_FIREABLE [autorisation_B_2_29]] | IS_FIREABLE [autorisation_B_2_30]] | IS_FIREABLE [autorisation_B_2_31]] | IS_FIREABLE [autorisation_B_2_32]] | IS_FIREABLE [autorisation_B_2_33]] | IS_FIREABLE [autorisation_B_2_34]] | IS_FIREABLE [autorisation_B_2_35]] | IS_FIREABLE [autorisation_B_2_36]] | IS_FIREABLE [autorisation_B_2_37]] | IS_FIREABLE [autorisation_B_2_38]] | IS_FIREABLE [autorisation_B_2_39]] | IS_FIREABLE [autorisation_B_2_40]] | IS_FIREABLE [autorisation_B_2_41]] | IS_FIREABLE [autorisation_B_2_42]] | IS_FIREABLE [autorisation_B_2_43]] | IS_FIREABLE [autorisation_B_2_44]] | IS_FIREABLE [autorisation_B_2_45]] | IS_FIREABLE [autorisation_B_2_46]] | IS_FIREABLE [autorisation_B_2_47]] | IS_FIREABLE [autorisation_B_2_48]] | IS_FIREABLE [autorisation_B_2_49]] | IS_FIREABLE [autorisation_B_2_50]] & [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_21]] | IS_FIREABLE [enregistrement_A_22]] | IS_FIREABLE [enregistrement_A_23]] | IS_FIREABLE [enregistrement_A_24]] | IS_FIREABLE [enregistrement_A_25]] | IS_FIREABLE [enregistrement_A_26]] | IS_FIREABLE [enregistrement_A_27]] | IS_FIREABLE [enregistrement_A_28]] | IS_FIREABLE [enregistrement_A_29]] | IS_FIREABLE [enregistrement_A_30]] | IS_FIREABLE [enregistrement_A_31]] | IS_FIREABLE [enregistrement_A_32]] | IS_FIREABLE [enregistrement_A_33]] | IS_FIREABLE [enregistrement_A_34]] | IS_FIREABLE [enregistrement_A_35]] | IS_FIREABLE [enregistrement_A_36]] | IS_FIREABLE [enregistrement_A_37]] | IS_FIREABLE [enregistrement_A_38]] | IS_FIREABLE [enregistrement_A_39]] | IS_FIREABLE [enregistrement_A_40]] | IS_FIREABLE [enregistrement_A_41]] | IS_FIREABLE [enregistrement_A_42]] | IS_FIREABLE [enregistrement_A_43]] | IS_FIREABLE [enregistrement_A_44]] | IS_FIREABLE [enregistrement_A_45]] | IS_FIREABLE [enregistrement_A_46]] | IS_FIREABLE [enregistrement_A_47]] | IS_FIREABLE [enregistrement_A_48]] | IS_FIREABLE [enregistrement_A_49]] | IS_FIREABLE [enregistrement_A_50]]]]] & [[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_1_0] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_1_2]] | IS_FIREABLE [decision_2_2]] | IS_FIREABLE [decision_1_3]] | IS_FIREABLE [decision_2_3]] | IS_FIREABLE [decision_1_4]] | IS_FIREABLE [decision_2_4]] | IS_FIREABLE [decision_1_5]] | IS_FIREABLE [decision_2_5]] | IS_FIREABLE [decision_1_6]] | IS_FIREABLE [decision_2_6]] | IS_FIREABLE [decision_1_7]] | IS_FIREABLE [decision_2_7]] | IS_FIREABLE [decision_1_8]] | IS_FIREABLE [decision_2_8]] | IS_FIREABLE [decision_1_9]] | IS_FIREABLE [decision_2_9]] & ~ [IS_FIREABLE [liberation_A]]] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]] & AX [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]] | IS_FIREABLE [enregistrement_A_2]] | IS_FIREABLE [enregistrement_A_3]] | IS_FIREABLE [enregistrement_A_4]] | IS_FIREABLE [enregistrement_A_5]] | IS_FIREABLE [enregistrement_A_6]] | IS_FIREABLE [enregistrement_A_7]] | IS_FIREABLE [enregistrement_A_8]] | IS_FIREABLE [enregistrement_A_9]] | IS_FIREABLE [enregistrement_A_10]] | IS_FIREABLE [enregistrement_A_11]] | IS_FIREABLE [enregistrement_A_12]] | IS_FIREABLE [enregistrement_A_13]] | IS_FIREABLE [enregistrement_A_14]] | IS_FIREABLE [enregistrement_A_15]] | IS_FIREABLE [enregistrement_A_16]] | IS_FIREABLE [enregistrement_A_17]] | IS_FIREABLE [enregistrement_A_18]] | IS_FIREABLE [enregistrement_A_19]] | IS_FIREABLE [enregistrement_A_20]] | IS_FIREABLE [enregistrement_A_21]] | IS_FIREABLE [enregistrement_A_22]] | IS_FIREABLE [enregistrement_A_23]] | IS_FIREABLE [enregistrement_A_24]] | IS_FIREABLE [enregistrement_A_25]] | IS_FIREABLE [enregistrement_A_26]] | IS_FIREABLE [enregistrement_A_27]] | IS_FIREABLE [enregistrement_A_28]] | IS_FIREABLE [enregistrement_A_29]] | IS_FIREABLE [enregistrement_A_30]] | IS_FIREABLE [enregistrement_A_31]] | IS_FIREABLE [enregistrement_A_32]] | IS_FIREABLE [enregistrement_A_33]] | IS_FIREABLE [enregistrement_A_34]] | IS_FIREABLE [enregistrement_A_35]] | IS_FIREABLE [enregistrement_A_36]] | IS_FIREABLE [enregistrement_A_37]] | IS_FIREABLE [enregistrement_A_38]] | IS_FIREABLE [enregistrement_A_39]] | IS_FIREABLE [enregistrement_A_40]] | IS_FIREABLE [enregistrement_A_41]] | IS_FIREABLE [enregistrement_A_42]] | IS_FIREABLE [enregistrement_A_43]] | IS_FIREABLE [enregistrement_A_44]] | IS_FIREABLE [enregistrement_A_45]] | IS_FIREABLE [enregistrement_A_46]] | IS_FIREABLE [enregistrement_A_47]] | IS_FIREABLE [enregistrement_A_48]] | IS_FIREABLE [enregistrement_A_49]] | IS_FIREABLE [enregistrement_A_50]]]]]]] U [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]] | E [[EX [[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]] | AF [[E [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]] U IS_FIREABLE [liberation_A]] & EX [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]]]]] U AG [[~ [AF [[IS_FIREABLE [altern_cpt_1_10] | IS_FIREABLE [altern_cpt_2_10]]]] | EF [~ [IS_FIREABLE [liberation_A]]]]]]]
normalized: [E [[~ [EG [~ [[EX [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & E [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] U IS_FIREABLE [liberation_A]]]]]] | EX [[IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]]] U ~ [E [true U ~ [[E [true U ~ [IS_FIREABLE [liberation_A]]] | EG [~ [[IS_FIREABLE [altern_cpt_1_10] | IS_FIREABLE [altern_cpt_2_10]]]]]]]]] | [~ [EG [~ [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & ~ [E [~ [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] U [EG [~ [[[[~ [EX [~ [[IS_FIREABLE [enregistrement_A_50] | [IS_FIREABLE [enregistrement_A_49] | [IS_FIREABLE [enregistrement_A_48] | [IS_FIREABLE [enregistrement_A_47] | [IS_FIREABLE [enregistrement_A_46] | [IS_FIREABLE [enregistrement_A_45] | [IS_FIREABLE [enregistrement_A_44] | [IS_FIREABLE [enregistrement_A_43] | [IS_FIREABLE [enregistrement_A_42] | [IS_FIREABLE [enregistrement_A_41] | [IS_FIREABLE [enregistrement_A_40] | [IS_FIREABLE [enregistrement_A_39] | [IS_FIREABLE [enregistrement_A_38] | [IS_FIREABLE [enregistrement_A_37] | [IS_FIREABLE [enregistrement_A_36] | [IS_FIREABLE [enregistrement_A_35] | [IS_FIREABLE [enregistrement_A_34] | [IS_FIREABLE [enregistrement_A_33] | [IS_FIREABLE [enregistrement_A_32] | [IS_FIREABLE [enregistrement_A_31] | [IS_FIREABLE [enregistrement_A_30] | [IS_FIREABLE [enregistrement_A_29] | [IS_FIREABLE [enregistrement_A_28] | [IS_FIREABLE [enregistrement_A_27] | [IS_FIREABLE [enregistrement_A_26] | [IS_FIREABLE [enregistrement_A_25] | [IS_FIREABLE [enregistrement_A_24] | [IS_FIREABLE [enregistrement_A_23] | [IS_FIREABLE [enregistrement_A_22] | [IS_FIREABLE [enregistrement_A_21] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [~ [IS_FIREABLE [liberation_A]] & [IS_FIREABLE [decision_2_9] | [IS_FIREABLE [decision_1_9] | [IS_FIREABLE [decision_2_8] | [IS_FIREABLE [decision_1_8] | [IS_FIREABLE [decision_2_7] | [IS_FIREABLE [decision_1_7] | [IS_FIREABLE [decision_2_6] | [IS_FIREABLE [decision_1_6] | [IS_FIREABLE [decision_2_5] | [IS_FIREABLE [decision_1_5] | [IS_FIREABLE [decision_2_4] | [IS_FIREABLE [decision_1_4] | [IS_FIREABLE [decision_2_3] | [IS_FIREABLE [decision_1_3] | [IS_FIREABLE [decision_2_2] | [IS_FIREABLE [decision_1_2] | [IS_FIREABLE [decision_2_1] | [IS_FIREABLE [decision_1_1] | [IS_FIREABLE [decision_1_0] | IS_FIREABLE [decision_2_0]]]]]]]]]]]]]]]]]]]]]] & [~ [[[IS_FIREABLE [enregistrement_A_50] | [IS_FIREABLE [enregistrement_A_49] | [IS_FIREABLE [enregistrement_A_48] | [IS_FIREABLE [enregistrement_A_47] | [IS_FIREABLE [enregistrement_A_46] | [IS_FIREABLE [enregistrement_A_45] | [IS_FIREABLE [enregistrement_A_44] | [IS_FIREABLE [enregistrement_A_43] | [IS_FIREABLE [enregistrement_A_42] | [IS_FIREABLE [enregistrement_A_41] | [IS_FIREABLE [enregistrement_A_40] | [IS_FIREABLE [enregistrement_A_39] | [IS_FIREABLE [enregistrement_A_38] | [IS_FIREABLE [enregistrement_A_37] | [IS_FIREABLE [enregistrement_A_36] | [IS_FIREABLE [enregistrement_A_35] | [IS_FIREABLE [enregistrement_A_34] | [IS_FIREABLE [enregistrement_A_33] | [IS_FIREABLE [enregistrement_A_32] | [IS_FIREABLE [enregistrement_A_31] | [IS_FIREABLE [enregistrement_A_30] | [IS_FIREABLE [enregistrement_A_29] | [IS_FIREABLE [enregistrement_A_28] | [IS_FIREABLE [enregistrement_A_27] | [IS_FIREABLE [enregistrement_A_26] | [IS_FIREABLE [enregistrement_A_25] | [IS_FIREABLE [enregistrement_A_24] | [IS_FIREABLE [enregistrement_A_23] | [IS_FIREABLE [enregistrement_A_22] | [IS_FIREABLE [enregistrement_A_21] | [IS_FIREABLE [enregistrement_A_20] | [IS_FIREABLE [enregistrement_A_19] | [IS_FIREABLE [enregistrement_A_18] | [IS_FIREABLE [enregistrement_A_17] | [IS_FIREABLE [enregistrement_A_16] | [IS_FIREABLE [enregistrement_A_15] | [IS_FIREABLE [enregistrement_A_14] | [IS_FIREABLE [enregistrement_A_13] | [IS_FIREABLE [enregistrement_A_12] | [IS_FIREABLE [enregistrement_A_11] | [IS_FIREABLE [enregistrement_A_10] | [IS_FIREABLE [enregistrement_A_9] | [IS_FIREABLE [enregistrement_A_8] | [IS_FIREABLE [enregistrement_A_7] | [IS_FIREABLE [enregistrement_A_6] | [IS_FIREABLE [enregistrement_A_5] | [IS_FIREABLE [enregistrement_A_4] | [IS_FIREABLE [enregistrement_A_3] | [IS_FIREABLE [enregistrement_A_2] | [IS_FIREABLE [enregistrement_A_0] | IS_FIREABLE [enregistrement_A_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & [IS_FIREABLE [autorisation_B_2_50] | [IS_FIREABLE [autorisation_B_2_49] | [IS_FIREABLE [autorisation_B_2_48] | [IS_FIREABLE [autorisation_B_2_47] | [IS_FIREABLE [autorisation_B_2_46] | [IS_FIREABLE [autorisation_B_2_45] | [IS_FIREABLE [autorisation_B_2_44] | [IS_FIREABLE [autorisation_B_2_43] | [IS_FIREABLE [autorisation_B_2_42] | [IS_FIREABLE [autorisation_B_2_41] | [IS_FIREABLE [autorisation_B_2_40] | [IS_FIREABLE [autorisation_B_2_39] | [IS_FIREABLE [autorisation_B_2_38] | [IS_FIREABLE [autorisation_B_2_37] | [IS_FIREABLE [autorisation_B_2_36] | [IS_FIREABLE [autorisation_B_2_35] | [IS_FIREABLE [autorisation_B_2_34] | [IS_FIREABLE [autorisation_B_2_33] | [IS_FIREABLE [autorisation_B_2_32] | [IS_FIREABLE [autorisation_B_2_31] | [IS_FIREABLE [autorisation_B_2_30] | [IS_FIREABLE [autorisation_B_2_29] | [IS_FIREABLE [autorisation_B_2_28] | [IS_FIREABLE [autorisation_B_2_27] | [IS_FIREABLE [autorisation_B_2_26] | [IS_FIREABLE [autorisation_B_2_25] | [IS_FIREABLE [autorisation_B_2_24] | [IS_FIREABLE [autorisation_B_2_23] | [IS_FIREABLE [autorisation_B_2_22] | [IS_FIREABLE [autorisation_B_2_21] | [IS_FIREABLE [autorisation_B_2_20] | [IS_FIREABLE [autorisation_B_2_19] | [IS_FIREABLE [autorisation_B_2_18] | [IS_FIREABLE [autorisation_B_2_17] | [IS_FIREABLE [autorisation_B_2_16] | [IS_FIREABLE [autorisation_B_2_15] | [IS_FIREABLE [autorisation_B_2_14] | [IS_FIREABLE [autorisation_B_2_13] | [IS_FIREABLE [autorisation_B_2_12] | [IS_FIREABLE [autorisation_B_2_11] | [IS_FIREABLE [autorisation_B_2_10] | [IS_FIREABLE [autorisation_B_2_9] | [IS_FIREABLE [autorisation_B_2_8] | [IS_FIREABLE [autorisation_B_2_7] | [IS_FIREABLE [autorisation_B_2_6] | [IS_FIREABLE [autorisation_B_2_5] | [IS_FIREABLE [autorisation_B_2_4] | [IS_FIREABLE [autorisation_B_2_3] | [IS_FIREABLE [autorisation_B_2_1] | IS_FIREABLE [autorisation_B_2_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] & ~ [[[IS_FIREABLE [enregistrement_B_50] | [IS_FIREABLE [enregistrement_B_49] | [IS_FIREABLE [enregistrement_B_48] | [IS_FIREABLE [enregistrement_B_47] | [IS_FIREABLE [enregistrement_B_46] | [IS_FIREABLE [enregistrement_B_45] | [IS_FIREABLE [enregistrement_B_44] | [IS_FIREABLE [enregistrement_B_43] | [IS_FIREABLE [enregistrement_B_42] | [IS_FIREABLE [enregistrement_B_41] | [IS_FIREABLE [enregistrement_B_40] | [IS_FIREABLE [enregistrement_B_39] | [IS_FIREABLE [enregistrement_B_38] | [IS_FIREABLE [enregistrement_B_37] | [IS_FIREABLE [enregistrement_B_36] | [IS_FIREABLE [enregistrement_B_35] | [IS_FIREABLE [enregistrement_B_34] | [IS_FIREABLE [enregistrement_B_33] | [IS_FIREABLE [enregistrement_B_32] | [IS_FIREABLE [enregistrement_B_31] | [IS_FIREABLE [enregistrement_B_30] | [IS_FIREABLE [enregistrement_B_29] | [IS_FIREABLE [enregistrement_B_28] | [IS_FIREABLE [enregistrement_B_27] | [IS_FIREABLE [enregistrement_B_26] | [IS_FIREABLE [enregistrement_B_25] | [IS_FIREABLE [enregistrement_B_24] | [IS_FIREABLE [enregistrement_B_23] | [IS_FIREABLE [enregistrement_B_22] | [IS_FIREABLE [enregistrement_B_21] | [IS_FIREABLE [enregistrement_B_20] | [IS_FIREABLE [enregistrement_B_19] | [IS_FIREABLE [enregistrement_B_18] | [IS_FIREABLE [enregistrement_B_17] | [IS_FIREABLE [enregistrement_B_16] | [IS_FIREABLE [enregistrement_B_15] | [IS_FIREABLE [enregistrement_B_14] | [IS_FIREABLE [enregistrement_B_13] | [IS_FIREABLE [enregistrement_B_12] | [IS_FIREABLE [enregistrement_B_11] | [IS_FIREABLE [enregistrement_B_10] | [IS_FIREABLE [enregistrement_B_9] | [IS_FIREABLE [enregistrement_B_8] | [IS_FIREABLE [enregistrement_B_7] | [IS_FIREABLE [enregistrement_B_6] | [IS_FIREABLE [enregistrement_B_5] | [IS_FIREABLE [enregistrement_B_4] | [IS_FIREABLE [enregistrement_B_3] | [IS_FIREABLE [enregistrement_B_2] | [IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | [IS_FIREABLE [basculement_1] | IS_FIREABLE [basculement_2]]]]]]]] & ~ [[IS_FIREABLE [autorisation_A_1_50] | [IS_FIREABLE [autorisation_A_1_49] | [IS_FIREABLE [autorisation_A_1_48] | [IS_FIREABLE [autorisation_A_1_47] | [IS_FIREABLE [autorisation_A_1_46] | [IS_FIREABLE [autorisation_A_1_45] | [IS_FIREABLE [autorisation_A_1_44] | [IS_FIREABLE [autorisation_A_1_43] | [IS_FIREABLE [autorisation_A_1_42] | [IS_FIREABLE [autorisation_A_1_41] | [IS_FIREABLE [autorisation_A_1_40] | [IS_FIREABLE [autorisation_A_1_39] | [IS_FIREABLE [autorisation_A_1_38] | [IS_FIREABLE [autorisation_A_1_37] | [IS_FIREABLE [autorisation_A_1_36] | [IS_FIREABLE [autorisation_A_1_35] | [IS_FIREABLE [autorisation_A_1_34] | [IS_FIREABLE [autorisation_A_1_33] | [IS_FIREABLE [autorisation_A_1_32] | [IS_FIREABLE [autorisation_A_1_31] | [IS_FIREABLE [autorisation_A_1_30] | [IS_FIREABLE [autorisation_A_1_29] | [IS_FIREABLE [autorisation_A_1_28] | [IS_FIREABLE [autorisation_A_1_27] | [IS_FIREABLE [autorisation_A_1_26] | [IS_FIREABLE [autorisation_A_1_25] | [IS_FIREABLE [autorisation_A_1_24] | [IS_FIREABLE [autorisation_A_1_23] | [IS_FIREABLE [autorisation_A_1_22] | [IS_FIREABLE [autorisation_A_1_21] | [IS_FIREABLE [autorisation_A_1_20] | [IS_FIREABLE [autorisation_A_1_19] | [IS_FIREABLE [autorisation_A_1_18] | [IS_FIREABLE [autorisation_A_1_17] | [IS_FIREABLE [autorisation_A_1_16] | [IS_FIREABLE [autorisation_A_1_15] | [IS_FIREABLE [autorisation_A_1_14] | [IS_FIREABLE [autorisation_A_1_13] | [IS_FIREABLE [autorisation_A_1_12] | [IS_FIREABLE [autorisation_A_1_11] | [IS_FIREABLE [autorisation_A_1_10] | [IS_FIREABLE [autorisation_A_1_9] | [IS_FIREABLE [autorisation_A_1_8] | [IS_FIREABLE [autorisation_A_1_7] | [IS_FIREABLE [autorisation_A_1_6] | [IS_FIREABLE [autorisation_A_1_5] | [IS_FIREABLE [autorisation_A_1_4] | [IS_FIREABLE [autorisation_A_1_3] | [IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]


before gc: list nodes free: 946654

after gc: idd nodes used:44362332, unused:19637668; list nodes free:163518814

before gc: list nodes free: 23395118

after gc: idd nodes used:40706220, unused:23293780; list nodes free:237235851
MC time: 7m46.799sec

checking: E [[[[[[[[[[[[[[[[[[[[IS_FIREABLE [decision_1_0] | IS_FIREABLE [decision_2_0]] | IS_FIREABLE [decision_1_1]] | IS_FIREABLE [decision_2_1]] | IS_FIREABLE [decision_1_2]] | IS_FIREABLE [decision_2_2]] | IS_FIREABLE [decision_1_3]] | IS_FIREABLE [decision_2_3]] | IS_FIREABLE [decision_1_4]] | IS_FIREABLE [decision_2_4]] | IS_FIREABLE [decision_1_5]] | IS_FIREABLE [decision_2_5]] | IS_FIREABLE [decision_1_6]] | IS_FIREABLE [decision_2_6]] | IS_FIREABLE [decision_1_7]] | IS_FIREABLE [decision_2_7]] | IS_FIREABLE [decision_1_8]] | IS_FIREABLE [decision_2_8]] | IS_FIREABLE [decision_1_9]] | IS_FIREABLE [decision_2_9]] U EF [[~ [A [AG [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [enregistrement_B_0] | IS_FIREABLE [enregistrement_B_1]] | IS_FIREABLE [enregistrement_B_2]] | IS_FIREABLE [enregistrement_B_3]] | IS_FIREABLE [enregistrement_B_4]] | IS_FIREABLE [enregistrement_B_5]] | IS_FIREABLE [enregistrement_B_6]] | IS_FIREABLE [enregistrement_B_7]] | IS_FIREABLE [enregistrement_B_8]] | IS_FIREABLE [enregistrement_B_9]] | IS_FIREABLE [enregistrement_B_10]] | IS_FIREABLE [enregistrement_B_11]] | IS_FIREABLE [enregistrement_B_12]] | IS_FIREABLE [enregistrement_B_13]] | IS_FIREABLE [enregistrement_B_14]] | IS_FIREABLE [enregistrement_B_15]] | IS_FIREABLE [enregistrement_B_16]] | IS_FIREABLE [enregistrement_B_17]] | IS_FIREABLE [enregistrement_B_18]] | IS_FIREABLE [enregistrement_B_19]] | IS_FIREABLE [enregistrement_B_20]] | IS_FIREABLE [enregistrement_B_21]] | IS_FIREABLE [enregistrement_B_22]] | IS_FIREABLE [enregistrement_B_23]] | IS_FIREABLE [enregistrement_B_24]] | IS_FIREABLE [enregistrement_B_25]] | IS_FIREABLE [enregistrement_B_26]] | IS_FIREABLE [enregistrement_B_27]] | IS_FIREABLE [enregistrement_B_28]] | IS_FIREABLE [enregistrement_B_29]] | IS_FIREABLE [enregistrement_B_30]] | IS_FIREABLE [enregistrement_B_31]] | IS_FIREABLE [enregistrement_B_32]] | IS_FIREABLE [enregistrement_B_33]] | IS_FIREABLE [enregistrement_B_34]] | IS_FIREABLE [enregistrement_B_35]] | IS_FIREABLE [enregistrement_B_36]] | IS_FIREABLE [enregistrement_B_37]] | IS_FIREABLE [enregistrement_B_38]] | IS_FIREABLE [enregistrement_B_39]] | IS_FIREABLE [enregistrement_B_40]] | IS_FIREABLE [enregistrement_B_41]] | IS_FIREABLE [enregistrement_B_42]] | IS_FIREABLE [enregistrement_B_43]] | IS_FIREABLE [enregistrement_B_44]] | IS_FIREABLE [enregistrement_B_45]] | IS_FIREABLE [enregistrement_B_46]] | IS_FIREABLE [enregistrement_B_47]] | IS_FIREABLE [enregistrement_B_48]] | IS_FIREABLE [enregistrement_B_49]] | IS_FIREABLE [enregistrement_B_50]]] U [[IS_FIREABLE [altern_cpt_1_10] | IS_FIREABLE [altern_cpt_2_10]] | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [timeout_A_1_0_0_1] | IS_FIREABLE [timeout_A_1_0_1_1]] | IS_FIREABLE [timeout_A_1_0_2_1]] | IS_FIREABLE [timeout_A_1_0_3_1]] | IS_FIREABLE [timeout_A_1_0_4_1]] | IS_FIREABLE [timeout_A_1_0_5_1]] | IS_FIREABLE [timeout_A_1_0_6_1]] | IS_FIREABLE [timeout_A_1_0_7_1]] | IS_FIREABLE [timeout_A_1_0_8_1]] | IS_FIREABLE [timeout_A_1_0_9_1]] | IS_FIREABLE [timeout_A_1_0_10_1]] | IS_FIREABLE [timeout_A_1_0_0_2]] | IS_FIREABLE [timeout_A_1_0_1_2]] | IS_FIREABLE [timeout_A_1_0_2_2]] | IS_FIREABLE [timeout_A_1_0_3_2]] | IS_FIREABLE [timeout_A_1_0_4_2]] | IS_FIREABLE [timeout_A_1_0_5_2]] | IS_FIREABLE [timeout_A_1_0_6_2]] | IS_FIREABLE [timeout_A_1_0_7_2]] | IS_FIREABLE [timeout_A_1_0_8_2]] | IS_FIREABLE [timeout_A_1_0_9_2]] | IS_FIREABLE [timeout_A_1_0_10_2]] | IS_FIREABLE [timeout_A_1_0_0_3]] | IS_FIREABLE [timeout_A_1_0_1_3]] | IS_FIREABLE [timeout_A_1_0_2_3]] | IS_FIREABLE [timeout_A_1_0_3_3]] | IS_FIREABLE [timeout_A_1_0_4_3]] | IS_FIREABLE [timeout_A_1_0_5_3]] | IS_FIREABLE [timeout_A_1_0_6_3]] | IS_FIREABLE [timeout_A_1_0_7_3]] | IS_FIREABLE [timeout_A_1_0_8_3]] | IS_FIREABLE [timeout_A_1_0_9_3]] | IS_FIREABLE [timeout_A_1_0_10_3]] | IS_FIREABLE [timeout_A_1_0_0_4]] | IS_FIREABLE [timeout_A_1_0_1_4]] | IS_FIREABLE [timeout_A_1_0_2_4]] | IS_FIREABLE [timeout_A_1_0_3_4]] | IS_FIREABLE [timeout_A_1_0_4_4]] | IS_FIREABLE [timeout_A_1_0_5_4]] | IS_FIREABLE [timeout_A_1_0_6_4]] | IS_FIREABLE [timeout_A_1_0_7_4]] | IS_FIREABLE [timeout_A_1_0_8_4]] | IS_FIREABLE [timeout_A_1_0_9_4]] | IS_FIREABLE [timeout_A_1_0_10_4]] | IS_FIREABLE [timeout_A_1_0_0_5]] | IS_FIREABLE [timeout_A_1_0_1_5]] | IS_FIREABLE [timeout_A_1_0_2_5]] | IS_FIREABLE [timeout_A_1_0_3_5]] | IS_FIREABLE [timeout_A_1_0_4_5]] | IS_FIREABLE [timeout_A_1_0_5_5]] | IS_FIREABLE [timeout_A_1_0_6_5]] | IS_FIREABLE [timeout_A_1_0_7_5]] | IS_FIREABLE [timeout_A_1_0_8_5]] | IS_FIREABLE [timeout_A_1_0_9_5]] | IS_FIREABLE [timeout_A_1_0_10_5]] | IS_FIREABLE [timeout_A_1_0_0_6]] | IS_FIREABLE [timeout_A_1_0_1_6]] | IS_FIREABLE [timeout_A_1_0_2_6]] | IS_FIREABLE [timeout_A_1_0_3_6]] | IS_FIREABLE [timeout_A_1_0_4_6]] | IS_FIREABLE [timeout_A_1_0_5_6]] | IS_FIREABLE [timeout_A_1_0_6_6]] | IS_FIREABLE [timeout_A_1_0_7_6]] | IS_FIREABLE [timeout_A_1_0_8_6]] | IS_FIREABLE [timeout_A_1_0_9_6]] | IS_FIREABLE [timeout_A_1_0_10_6]] | IS_FIREABLE [timeout_A_1_0_0_7]] | IS_FIREABLE [timeout_A_1_0_1_7]] | IS_FIREABLE [timeout_A_1_0_2_7]] | IS_FIREABLE [timeout_A_1_0_3_7]] | IS_FIREABLE [timeout_A_1_0_4_7]] | IS_FIREABLE [timeout_A_1_0_5_7]] | IS_FIREABLE [timeout_A_1_0_6_7]] | IS_FIREABLE [timeout_A_1_0_7_7]] | IS_FIREABLE [timeout_A_1_0_8_7]] | IS_FIREABLE [timeout_A_1_0_9_7]] | IS_FIREABLE [timeout_A_1_0_10_7]] | IS_FIREABLE [timeout_A_1_0_0_8]] | IS_FIREABLE [timeout_A_1_0_1_8]] | IS_FIREABLE [timeout_A_1_0_2_8]] | IS_FIREABLE [timeout_A_1_0_3_8]] | IS_FIREABLE [timeout_A_1_0_4_8]] | IS_FIREABLE [timeout_A_1_0_5_8]] | IS_FIREABLE [timeout_A_1_0_6_8]] | IS_FIREABLE [timeout_A_1_0_7_8]] | IS_FIREABLE [timeout_A_1_0_8_8]] | IS_FIREABLE [timeout_A_1_0_9_8]] | IS_FIREABLE [timeout_A_1_0_10_8]] | IS_FIREABLE [timeout_A_1_0_0_9]] | IS_FIREABLE [timeout_A_1_0_1_9]] | IS_FIREABLE [timeout_A_1_0_2_9]] | IS_FIREABLE [timeout_A_1_0_3_9]] | IS_FIREABLE [timeout_A_1_0_4_9]] | IS_FIREABLE [timeout_A_1_0_5_9]] | IS_FIREABLE [timeout_A_1_0_6_9]] | IS_FIREABLE [timeout_A_1_0_7_9]] | IS_FIREABLE [timeout_A_1_0_8_9]] | IS_FIREABLE [timeout_A_1_0_9_9]] | IS_FIREABLE [timeout_A_1_0_10_9]] | IS_FIREABLE [timeout_A_1_0_0_10]] | IS_FIREABLE [timeout_A_1_0_1_10]] | IS_FIREABLE [timeout_A_1_0_2_10]] | IS_FIREABLE [timeout_A_1_0_3_10]] | IS_FIREABLE [timeout_A_1_0_4_10]] | IS_FIREABLE [timeout_A_1_0_5_10]] | IS_FIREABLE [timeout_A_1_0_6_10]] | IS_FIREABLE [timeout_A_1_0_7_10]] | IS_FIREABLE [timeout_A_1_0_8_10]] | IS_FIREABLE [timeout_A_1_0_9_10]] | IS_FIREABLE [timeout_A_1_0_10_10]] | IS_FIREABLE [timeout_A_1_0_0_11]] | IS_FIREABLE [timeout_A_1_0_1_11]] | IS_FIREABLE [timeout_A_1_0_2_11]] | IS_FIREABLE [timeout_A_1_0_3_11]] | IS_FIREABLE [timeout_A_1_0_4_11]] | IS_FIREABLE [timeout_A_1_0_5_11]] | IS_FIREABLE [timeout_A_1_0_6_11]] | IS_FIREABLE [timeout_A_1_0_7_11]] | IS_FIREABLE [timeout_A_1_0_8_11]] | IS_FIREABLE [timeout_A_1_0_9_11]] | IS_FIREABLE [timeout_A_1_0_10_11]] | IS_FIREABLE [timeout_A_1_0_0_12]] | IS_FIREABLE [timeout_A_1_0_1_12]] | IS_FIREABLE [timeout_A_1_0_2_12]] | IS_FIREABLE [timeout_A_1_0_3_12]] | IS_FIREABLE [timeout_A_1_0_4_12]] | IS_FIREABLE [timeout_A_1_0_5_12]] | IS_FIREABLE [timeout_A_1_0_6_12]] | IS_FIREABLE [timeout_A_1_0_7_12]] | IS_FIREABLE [timeout_A_1_0_8_12]] | IS_FIREABLE [timeout_A_1_0_9_12]] | IS_FIREABLE [timeout_A_1_0_10_12]] | IS_FIREABLE [timeout_A_1_0_0_13]] | IS_FIREABLE [timeout_A_1_0_1_13]] | IS_FIREABLE [timeout_A_1_0_2_13]] | IS_FIREABLE [timeout_A_1_0_3_13]] | IS_FIREABLE [timeout_A_1_0_4_13]] | IS_FIREABLE [timeout_A_1_0_5_13]] | IS_FIREABLE [timeout_A_1_0_6_13]] | IS_FIREABLE [timeout_A_1_0_7_13]] | IS_FIREABLE [timeout_A_1_0_8_13]] | IS_FIREABLE [timeout_A_1_0_9_13]] | IS_FIREABLE [timeout_A_1_0_10_13]] | IS_FIREABLE [timeout_A_1_0_0_14]] | IS_FIREABLE [timeout_A_1_0_1_14]] | IS_FIREABLE [timeout_A_1_0_2_14]] | IS_FIREABLE [timeout_A_1_0_3_14]] | IS_FIREABLE [timeout_A_1_0_4_14]] | IS_FIREABLE [timeout_A_1_0_5_14]] | IS_FIREABLE [timeout_A_1_0_6_14]] | IS_FIREABLE [timeout_A_1_0_7_14]] | IS_FIREABLE [timeout_A_1_0_8_14]] | IS_FIREABLE [timeout_A_1_0_9_14]] | IS_FIREABLE [timeout_A_1_0_10_14]] | IS_FIREABLE [timeout_A_1_0_0_15]] | IS_FIREABLE [timeout_A_1_0_1_15]] | IS_FIREABLE [timeout_A_1_0_2_15]] | IS_FIREABLE [timeout_A_1_0_3_15]] | IS_FIREABLE [timeout_A_1_0_4_15]] | IS_FIREABLE [timeout_A_1_0_5_15]] | IS_FIREABLE [timeout_A_1_0_6_15]] | IS_FIREABLE [timeout_A_1_0_7_15]] | IS_FIREABLE [timeout_A_1_0_8_15]] | IS_FIREABLE [timeout_A_1_0_9_15]] | IS_FIREABLE [timeout_A_1_0_10_15]] | IS_FIREABLE [timeout_A_1_0_0_16]] | IS_FIREABLE [timeout_A_1_0_1_16]] | IS_FIREABLE [timeout_A_1_0_2_16]] | IS_FIREABLE [timeout_A_1_0_3_16]] | IS_FIREABLE [timeout_A_1_0_4_16]] | IS_FIREABLE [timeout_A_1_0_5_16]] | IS_FIREABLE [timeout_A_1_0_6_16]] | IS_FIREABLE [timeout_A_1_0_7_16]] | IS_FIREABLE [timeout_A_1_0_8_16]] | IS_FIREABLE [timeout_A_1_0_9_16]] | IS_FIREABLE [timeout_A_1_0_10_16]] | IS_FIREABLE [timeout_A_1_0_0_17]] | IS_FIREABLE [timeout_A_1_0_1_17]] | IS_FIREABLE [timeout_A_1_0_2_17]] | IS_FIREABLE [timeout_A_1_0_3_17]] | IS_FIREABLE [timeout_A_1_0_4_17]] | IS_FIREABLE [timeout_A_1_0_5_17]] | IS_FIREABLE [timeout_A_1_0_6_17]] | IS_FIREABLE [timeout_A_1_0_7_17]] | IS_FIREABLE [timeout_A_1_0_8_17]] | IS_FIREABLE [timeout_A_1_0_9_17]] | IS_FIREABLE [timeout_A_1_0_10_17]] | IS_FIREABLE [timeout_A_1_0_0_18]] | IS_FIREABLE [timeout_A_1_0_1_18]] | IS_FIREABLE [timeout_A_1_0_2_18]] | IS_FIREABLE [timeout_A_1_0_3_18]] | IS_FIREABLE [timeout_A_1_0_4_18]] | IS_FIREABLE [timeout_A_1_0_5_18]] | IS_FIREABLE [timeout_A_1_0_6_18]] | IS_FIREABLE [timeout_A_1_0_7_18]] | IS_FIREABLE [timeout_A_1_0_8_18]] | IS_FIREABLE [timeout_A_1_0_9_18]] | IS_FIREABLE [timeout_A_1_0_10_18]] | IS_FIREABLE [timeout_A_1_0_0_19]] | IS_FIREABLE [timeout_A_1_0_1_19]] | IS_FIREABLE [timeout_A_1_0_2_19]] | IS_FIREABLE [timeout_A_1_0_3_19]] | IS_FIREABLE [timeout_A_1_0_4_19]] | IS_FIREABLE [timeout_A_1_0_5_19]] | IS_FIREABLE [timeout_A_1_0_6_19]] | IS_FIREABLE [timeout_A_1_0_7_19]] | IS_FIREABLE [timeout_A_1_0_8_19]] | IS_FIREABLE [timeout_A_1_0_9_19]] | IS_FIREABLE [timeout_A_1_0_10_19]] | IS_FIREABLE [timeout_A_1_0_0_20]] | IS_FIREABLE [timeout_A_1_0_1_20]] | IS_FIREABLE [timeout_A_1_0_2_20]] | IS_FIREABLE [timeout_A_1_0_3_20]] | IS_FIREABLE [timeout_A_1_0_4_20]] | IS_FIREABLE [timeout_A_1_0_5_20]] | IS_FIREABLE [timeout_A_1_0_6_20]] | IS_FIREABLE [timeout_A_1_0_7_20]] | IS_FIREABLE [timeout_A_1_0_8_20]] | IS_FIREABLE [timeout_A_1_0_9_20]] | IS_FIREABLE [timeout_A_1_0_10_20]] | IS_FIREABLE [timeout_A_1_0_0_21]] | IS_FIREABLE [timeout_A_1_0_1_21]] | IS_FIREABLE [timeout_A_1_0_2_21]] | IS_FIREABLE [timeout_A_1_0_3_21]] | IS_FIREABLE [timeout_A_1_0_4_21]] | IS_FIREABLE [timeout_A_1_0_5_21]] | IS_FIREABLE [timeout_A_1_0_6_21]] | IS_FIREABLE [timeout_A_1_0_7_21]] | IS_FIREABLE [timeout_A_1_0_8_21]] | IS_FIREABLE [timeout_A_1_0_9_21]] | IS_FIREABLE [timeout_A_1_0_10_21]] | IS_FIREABLE [timeout_A_1_0_0_22]] | IS_FIREABLE [timeout_A_1_0_1_22]] | IS_FIREABLE [timeout_A_1_0_2_22]] | IS_FIREABLE [timeout_A_1_0_3_22]] | IS_FIREABLE [timeout_A_1_0_4_22]] | IS_FIREABLE [timeout_A_1_0_5_22]] | IS_FIREABLE [timeout_A_1_0_6_22]] | IS_FIREABLE [timeout_A_1_0_7_22]] | IS_FIREABLE [timeout_A_1_0_8_22]] | IS_FIREABLE [timeout_A_1_0_9_22]] | IS_FIREABLE [timeout_A_1_0_10_22]] | IS_FIREABLE [timeout_A_1_0_0_23]] | IS_FIREABLE [timeout_A_1_0_1_23]] | IS_FIREABLE [timeout_A_1_0_2_23]] | IS_FIREABLE [timeout_A_1_0_3_23]] | IS_FIREABLE [timeout_A_1_0_4_23]] | IS_FIREABLE [timeout_A_1_0_5_23]] | IS_FIREABLE [timeout_A_1_0_6_23]] | IS_FIREABLE [timeout_A_1_0_7_23]] | IS_FIREABLE [timeout_A_1_0_8_23]] | IS_FIREABLE [timeout_A_1_0_9_23]] | IS_FIREABLE [timeout_A_1_0_10_23]] | IS_FIREABLE [timeout_A_1_0_0_24]] | IS_FIREABLE [timeout_A_1_0_1_24]] | IS_FIREABLE [timeout_A_1_0_2_24]] | IS_FIREABLE [timeout_A_1_0_3_24]] | IS_FIREABLE [timeout_A_1_0_4_24]] | IS_FIREABLE [timeout_A_1_0_5_24]] | IS_FIREABLE [timeout_A_1_0_6_24]] | IS_FIREABLE [timeout_A_1_0_7_24]] | IS_FIREABLE [timeout_A_1_0_8_24]] | IS_FIREABLE [timeout_A_1_0_9_24]] | IS_FIREABLE [timeout_A_1_0_10_24]] | IS_FIREABLE [timeout_A_1_0_0_25]] | IS_FIREABLE [timeout_A_1_0_1_25]] | IS_FIREABLE [timeout_A_1_0_2_25]] | IS_FIREABLE [timeout_A_1_0_3_25]] | IS_FIREABLE [timeout_A_1_0_4_25]] | IS_FIREABLE [timeout_A_1_0_5_25]] | IS_FIREABLE [timeout_A_1_0_6_25]] | IS_FIREABLE [timeout_A_1_0_7_25]] | IS_FIREABLE [timeout_A_1_0_8_25]] | IS_FIREABLE [timeout_A_1_0_9_25]] | IS_FIREABLE [timeout_A_1_0_10_25]] | IS_FIREABLE [timeout_A_1_0_0_26]] | IS_FIREABLE [timeout_A_1_0_1_26]] | IS_FIREABLE [timeout_A_1_0_2_26]] | IS_FIREABLE [timeout_A_1_0_3_26]] | IS_FIREABLE [timeout_A_1_0_4_26]] | IS_FIREABLE [timeout_A_1_0_5_26]] | IS_FIREABLE [timeout_A_1_0_6_26]] | IS_FIREABLE [timeout_A_1_0_7_26]] | IS_FIREABLE [timeout_A_1_0_8_26]] | IS_FIREABLE [timeout_A_1_0_9_26]] | IS_FIREABLE [timeout_A_1_0_10_26]] | IS_FIREABLE [timeout_A_1_0_0_27]] | IS_FIREABLE [timeout_A_1_0_1_27]] | IS_FIREABLE [timeout_A_1_0_2_27]] | IS_FIREABLE [timeout_A_1_0_3_27]] | IS_FIREABLE [timeout_A_1_0_4_27]] | IS_FIREABLE [timeout_A_1_0_5_27]] | IS_FIREABLE [timeout_A_1_0_6_27]] | IS_FIREABLE [timeout_A_1_0_7_27]] | IS_FIREABLE [timeout_A_1_0_8_27]] | IS_FIREABLE [timeout_A_1_0_9_27]] | IS_FIREABLE [timeout_A_1_0_10_27]] | IS_FIREABLE [timeout_A_1_0_0_28]] | IS_FIREABLE [timeout_A_1_0_1_28]] | IS_FIREABLE [timeout_A_1_0_2_28]] | IS_FIREABLE [timeout_A_1_0_3_28]] | IS_FIREABLE [timeout_A_1_0_4_28]] | IS_FIREABLE [timeout_A_1_0_5_28]] | IS_FIREABLE [timeout_A_1_0_6_28]] | IS_FIREABLE [timeout_A_1_0_7_28]] | IS_FIREABLE [timeout_A_1_0_8_28]] | IS_FIREABLE [timeout_A_1_0_9_28]] | IS_FIREABLE [timeout_A_1_0_10_28]] | IS_FIREABLE [timeout_A_1_0_0_29]] | IS_FIREABLE [timeout_A_1_0_1_29]] | IS_FIREABLE [timeout_A_1_0_2_29]] | IS_FIREABLE [timeout_A_1_0_3_29]] | IS_FIREABLE [timeout_A_1_0_4_29]] | IS_FIREABLE [timeout_A_1_0_5_29]] | IS_FIREABLE [timeout_A_1_0_6_29]] | IS_FIREABLE [timeout_A_1_0_7_29]] | IS_FIREABLE [timeout_A_1_0_8_29]] | IS_FIREABLE [timeout_A_1_0_9_29]] | IS_FIREABLE [timeout_A_1_0_10_29]] | IS_FIREABLE [timeout_A_1_0_0_30]] | IS_FIREABLE [timeout_A_1_0_1_30]] | IS_FIREABLE [timeout_A_1_0_2_30]] | IS_FIREABLE [timeout_A_1_0_3_30]] | IS_FIREABLE [timeout_A_1_0_4_30]] | IS_FIREABLE [timeout_A_1_0_5_30]] | IS_FIREABLE [timeout_A_1_0_6_30]] | IS_FIREABLE [timeout_A_1_0_7_30]] | IS_FIREABLE [timeout_A_1_0_8_30]] | IS_FIREABLE [timeout_A_1_0_9_30]] | IS_FIREABLE [timeout_A_1_0_10_30]] | IS_FIREABLE [timeout_A_1_0_0_31]] | IS_FIREABLE [timeout_A_1_0_1_31]] | IS_FIREABLE [timeout_A_1_0_2_31]] | IS_FIREABLE [timeout_A_1_0_3_31]] | IS_FIREABLE [timeout_A_1_0_4_31]] | IS_FIREABLE [timeout_A_1_0_5_31]] | IS_FIREABLE [timeout_A_1_0_6_31]] | IS_FIREABLE [timeout_A_1_0_7_31]] | IS_FIREABLE [timeout_A_1_0_8_31]] | IS_FIREABLE [timeout_A_1_0_9_31]] | IS_FIREABLE [timeout_A_1_0_10_31]] | IS_FIREABLE [timeout_A_1_0_0_32]] | IS_FIREABLE [timeout_A_1_0_1_32]] | IS_FIREABLE [timeout_A_1_0_2_32]] | IS_FIREABLE [timeout_A_1_0_3_32]] | IS_FIREABLE [timeout_A_1_0_4_32]] | IS_FIREABLE [timeout_A_1_0_5_32]] | IS_FIREABLE [timeout_A_1_0_6_32]] | IS_FIREABLE [timeout_A_1_0_7_32]] | IS_FIREABLE [timeout_A_1_0_8_32]] | IS_FIREABLE [timeout_A_1_0_9_32]] | IS_FIREABLE [timeout_A_1_0_10_32]] | IS_FIREABLE [timeout_A_1_0_0_33]] | IS_FIREABLE [timeout_A_1_0_1_33]] | IS_FIREABLE [timeout_A_1_0_2_33]] | IS_FIREABLE [timeout_A_1_0_3_33]] | IS_FIREABLE [timeout_A_1_0_4_33]] | IS_FIREABLE [timeout_A_1_0_5_33]] | IS_FIREABLE [timeout_A_1_0_6_33]] | IS_FIREABLE [timeout_A_1_0_7_33]] | IS_FIREABLE [timeout_A_1_0_8_33]] | IS_FIREABLE [timeout_A_1_0_9_33]] | IS_FIREABLE [timeout_A_1_0_10_33]] | IS_FIREABLE [timeout_A_1_0_0_34]] | IS_FIREABLE [timeout_A_1_0_1_34]] | IS_FIREABLE [timeout_A_1_0_2_34]] | IS_FIREABLE [timeout_A_1_0_3_34]] | IS_FIREABLE [timeout_A_1_0_4_34]] | IS_FIREABLE [timeout_A_1_0_5_34]] | IS_FIREABLE [timeout_A_1_0_6_34]] | IS_FIREABLE [timeout_A_1_0_7_34]] | IS_FIREABLE [timeout_A_1_0_8_34]] | IS_FIREABLE [timeout_A_1_0_9_34]] | IS_FIREABLE [timeout_A_1_0_10_34]] | IS_FIREABLE [timeout_A_1_0_0_35]] | IS_FIREABLE [timeout_A_1_0_1_35]] | IS_FIREABLE [timeout_A_1_0_2_35]] | IS_FIREABLE [timeout_A_1_0_3_35]] | IS_FIREABLE [timeout_A_1_0_4_35]] | IS_FIREABLE [timeout_A_1_0_5_35]] | IS_FIREABLE [timeout_A_1_0_6_35]] | IS_FIREABLE [timeout_A_1_0_7_35]] | IS_FIREABLE [timeout_A_1_0_8_35]] | IS_FIREABLE [timeout_A_1_0_9_35]] | IS_FIREABLE [timeout_A_1_0_10_35]] | IS_FIREABLE [timeout_A_1_0_0_36]] | IS_FIREABLE [timeout_A_1_0_1_36]] | IS_FIREABLE [timeout_A_1_0_2_36]] | IS_FIREABLE [timeout_A_1_0_3_36]] | IS_FIREABLE [timeout_A_1_0_4_36]] | IS_FIREABLE [timeout_A_1_0_5_36]] | IS_FIREABLE [timeout_A_1_0_6_36]] | IS_FIREABLE [timeout_A_1_0_7_36]] | IS_FIREABLE [timeout_A_1_0_8_36]] | IS_FIREABLE [timeout_A_1_0_9_36]] | IS_FIREABLE [timeout_A_1_0_10_36]] | IS_FIREABLE [timeout_A_1_0_0_37]] | IS_FIREABLE [timeout_A_1_0_1_37]] | IS_FIREABLE [timeout_A_1_0_2_37]] | IS_FIREABLE [timeout_A_1_0_3_37]] | IS_FIREABLE [timeout_A_1_0_4_37]] | IS_FIREABLE [timeout_A_1_0_5_37]] | IS_FIREABLE [timeout_A_1_0_6_37]] | IS_FIREABLE [timeout_A_1_0_7_37]] | IS_FIREABLE [timeout_A_1_0_8_37]] | IS_FIREABLE [timeout_A_1_0_9_37]] | IS_FIREABLE [timeout_A_1_0_10_37]] | IS_FIREABLE [timeout_A_1_0_0_38]] | IS_FIREABLE [timeout_A_1_0_1_38]] | IS_FIREABLE [timeout_A_1_0_2_38]] | IS_FIREABLE [timeout_A_1_0_3_38]] | IS_FIREABLE [timeout_A_1_0_4_38]] | IS_FIREABLE [timeout_A_1_0_5_38]] | IS_FIREABLE [timeout_A_1_0_6_38]] | IS_FIREABLE [timeout_A_1_0_7_38]] | IS_FIREABLE [timeout_A_1_0_8_38]] | IS_FIREABLE [timeout_A_1_0_9_38]] | IS_FIREABLE [timeout_A_1_0_10_38]] | IS_FIREABLE [timeout_A_1_0_0_39]] | IS_FIREABLE [timeout_A_1_0_1_39]] | IS_FIREABLE [timeout_A_1_0_2_39]] | IS_FIREABLE [timeout_A_1_0_3_39]] | IS_FIREABLE [timeout_A_1_0_4_39]] | IS_FIREABLE [timeout_A_1_0_5_39]] | IS_FIREABLE [timeout_A_1_0_6_39]] | IS_FIREABLE [timeout_A_1_0_7_39]] | IS_FIREABLE [timeout_A_1_0_8_39]] | IS_FIREABLE [timeout_A_1_0_9_39]] | IS_FIREABLE [timeout_A_1_0_10_39]] | IS_FIREABLE [timeout_A_1_0_0_40]] | IS_FIREABLE [timeout_A_1_0_1_40]] | IS_FIREABLE [timeout_A_1_0_2_40]] | IS_FIREABLE [timeout_A_1_0_3_40]] | IS_FIREABLE [timeout_A_1_0_4_40]] | IS_FIREABLE [timeout_A_1_0_5_40]] | IS_FIREABLE [timeout_A_1_0_6_40]] | IS_FIREABLE [timeout_A_1_0_7_40]] | IS_FIREABLE [timeout_A_1_0_8_40]] | IS_FIREABLE [timeout_A_1_0_9_40]] | IS_FIREABLE [timeout_A_1_0_10_40]] | IS_FIREABLE [timeout_A_1_0_0_41]] | IS_FIREABLE [timeout_A_1_0_1_41]] | IS_FIREABLE [timeout_A_1_0_2_41]] | IS_FIREABLE [timeout_A_1_0_3_41]] | IS_FIREABLE [timeout_A_1_0_4_41]] | IS_FIREABLE [timeout_A_1_0_5_41]] | IS_FIREABLE [timeout_A_1_0_6_41]] | IS_FIREABLE [timeout_A_1_0_7_41]] | IS_FIREABLE [timeout_A_1_0_8_41]] | IS_FIREABLE [timeout_A_1_0_9_41]] | IS_FIREABLE [timeout_A_1_0_10_41]] | IS_FIREABLE [timeout_A_1_0_0_42]] | IS_FIREABLE [timeout_A_1_0_1_42]] | IS_FIREABLE [timeout_A_1_0_2_42]] | IS_FIREABLE [timeout_A_1_0_3_42]] | IS_FIREABLE [timeout_A_1_0_4_42]] | IS_FIREABLE [timeout_A_1_0_5_42]] | IS_FIREABLE [timeout_A_1_0_6_42]] | IS_FIREABLE [timeout_A_1_0_7_42]] | IS_FIREABLE [timeout_A_1_0_8_42]] | IS_FIREABLE [timeout_A_1_0_9_42]] | IS_FIREABLE [timeout_A_1_0_10_42]] | IS_FIREABLE [timeout_A_1_0_0_43]] | IS_FIREABLE [timeout_A_1_0_1_43]] | IS_FIREABLE [timeout_A_1_0_2_43]] | IS_FIREABLE [timeout_A_1_0_3_43]] | IS_FIREABLE [timeout_A_1_0_4_43]] | IS_FIREABLE [timeout_A_1_0_5_43]] | IS_FIREABLE [timeout_A_1_0_6_43]] | IS_FIREABLE [timeout_A_1_0_7_43]] | IS_FIREABLE [timeout_A_1_0_8_43]] | IS_FIREABLE [timeout_A_1_0_9_43]] | IS_FIREABLE [timeout_A_1_0_10_43]] | IS_FIREABLE [timeout_A_1_0_0_44]] | IS_FIREABLE [timeout_A_1_0_1_44]] | IS_FIREABLE [timeout_A_1_0_2_44]] | IS_FIREABLE [timeout_A_1_0_3_44]] | IS_FIREABLE [timeout_A_1_0_4_44]] | IS_FIREABLE [timeout_A_1_0_5_44]] | IS_FIREABLE [timeout_A_1_0_6_44]] | IS_FIREABLE [timeout_A_1_0_7_44]] | IS_FIREABLE [timeout_A_1_0_8_44]] | IS_FIREABLE [timeout_A_1_0_9_44]] | IS_FIREABLE [timeout_A_1_0_10_44]] | IS_FIREABLE [timeout_A_1_0_0_45]] | IS_FIREABLE [timeout_A_1_0_1_45]] | IS_FIREABLE [timeout_A_1_0_2_45]] | IS_FIREABLE [timeout_A_1_0_3_45]] | IS_FIREABLE [timeout_A_1_0_4_45]] | IS_FIREABLE [timeout_A_1_0_5_45]] | IS_FIREABLE [timeout_A_1_0_6_45]] | IS_FIREABLE [timeout_A_1_0_7_45]] | IS_FIREABLE [timeout_A_1_0_8_45]] | IS_FIREABLE [timeout_A_1_0_9_45]] | IS_FIREABLE [timeout_A_1_0_10_45]] | IS_FIREABLE [timeout_A_1_0_0_46]] | IS_FIREABLE [timeout_A_1_0_1_46]] | IS_FIREABLE [timeout_A_1_0_2_46]] | IS_FIREABLE [timeout_A_1_0_3_46]] | IS_FIREABLE [timeout_A_1_0_4_46]] | IS_FIREABLE [timeout_A_1_0_5_46]] | IS_FIREABLE [timeout_A_1_0_6_46]] | IS_FIREABLE [timeout_A_1_0_7_46]] | IS_FIREABLE [timeout_A_1_0_8_46]] | IS_FIREABLE [timeout_A_1_0_9_46]] | IS_FIREABLE [timeout_A_1_0_10_46]] | IS_FIREABLE [timeout_A_1_0_0_47]] | IS_FIREABLE [timeout_A_1_0_1_47]] | IS_FIREABLE [timeout_A_1_0_2_47]] | IS_FIREABLE [timeout_A_1_0_3_47]] | IS_FIREABLE [timeout_A_1_0_4_47]] | IS_FIREABLE [timeout_A_1_0_5_47]] | IS_FIREABLE [timeout_A_1_0_6_47]] | IS_FIREABLE [timeout_A_1_0_7_47]] | IS_FIREABLE [timeout_A_1_0_8_47]] | IS_FIREABLE [timeout_A_1_0_9_47]] | IS_FIREABLE [timeout_A_1_0_10_47]] | IS_FIREABLE [timeout_A_1_0_0_48]] | IS_FIREABLE [timeout_A_1_0_1_48]] | IS_FIREABLE [timeout_A_1_0_2_48]] | IS_FIREABLE [timeout_A_1_0_3_48]] | IS_FIREABLE [timeout_A_1_0_4_48]] | IS_FIREABLE [timeout_A_1_0_5_48]] | IS_FIREABLE [timeout_A_1_0_6_48]] | IS_FIREABLE [timeout_A_1_0_7_48]] | IS_FIREABLE [timeout_A_1_0_8_48]] | IS_FIREABLE [timeout_A_1_0_9_48]] | IS_FIREABLE [timeout_A_1_0_10_48]] | IS_FIREABLE [timeout_A_1_0_0_49]] | IS_FIREABLE [timeout_A_1_0_1_49]] | IS_FIREABLE [timeout_A_1_0_2_49]] | IS_FIREABLE [timeout_A_1_0_3_49]] | IS_FIREABLE [timeout_A_1_0_4_49]] | IS_FIREABLE [timeout_A_1_0_5_49]] | IS_FIREABLE [timeout_A_1_0_6_49]] | IS_FIREABLE [timeout_A_1_0_7_49]] | IS_FIREABLE [timeout_A_1_0_8_49]] | IS_FIREABLE [timeout_A_1_0_9_49]] | IS_FIREABLE [timeout_A_1_0_10_49]] | IS_FIREABLE [timeout_A_1_0_0_50]] | IS_FIREABLE [timeout_A_1_0_1_50]] | IS_FIREABLE [timeout_A_1_0_2_50]] | IS_FIREABLE [timeout_A_1_0_3_50]] | IS_FIREABLE [timeout_A_1_0_4_50]] | IS_FIREABLE [timeout_A_1_0_5_50]] | IS_FIREABLE [timeout_A_1_0_6_50]] | IS_FIREABLE [timeout_A_1_0_7_50]] | IS_FIREABLE [timeout_A_1_0_8_50]] | IS_FIREABLE [timeout_A_1_0_9_50]] | IS_FIREABLE [timeout_A_1_0_10_50]]]]] & ~ [AF [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[IS_FIREABLE [autorisation_A_1_1] | IS_FIREABLE [autorisation_A_1_2]] | IS_FIREABLE [autorisation_A_1_3]] | IS_FIREABLE [autorisation_A_1_4]] | IS_FIREABLE [autorisation_A_1_5]] | IS_FIREABLE [autorisation_A_1_6]] | IS_FIREABLE [autorisation_A_1_7]] | IS_FIREABLE [autorisation_A_1_8]] | IS_FIREABLE [autorisation_A_1_9]] | IS_FIREABLE [autorisation_A_1_10]] | IS_FIREABLE [autorisation_A_1_11]] | IS_FIREABLE [autorisation_A_1_12]] | IS_FIREABLE [autorisation_A_1_13]] | IS_FIREABLE [autorisation_A_1_14]] | IS_FIREABLE [autorisation_A_1_15]] | IS_FIREABLE [autorisation_A_1_16]] | IS_FIREABLE [autorisation_A_1_17]] | IS_FIREABLE [autorisation_A_1_18]] | IS_FIREABLE [autorisation_A_1_19]] | IS_FIREABLE [autorisation_A_1_20]] | IS_FIREABLE [autorisation_A_1_21]] | IS_FIREABLE [autorisation_A_1_22]] | IS_FIREABLE [autorisation_A_1_23]] | IS_FIREABLE [autorisation_A_1_24]] | IS_FIREABLE [autorisation_A_1_25]] | IS_FIREABLE [autorisation_A_1_26]] | IS_FIREABLE [autorisation_A_1_27]] | IS_FIREABLE [autorisation_A_1_28]] | IS_FIREABLE [autorisation_A_1_29]] | IS_FIREABLE [autorisation_A_1_30]] | IS_FIREABLE [autorisation_A_1_31]] | IS_FIREABLE [autorisation_A_1_32]] | IS_FIREABLE [autorisation_A_1_33]] | IS_FIREABLE [autorisation_A_1_34]] | IS_FIREABLE [autorisation_A_1_35]] | IS_FIREABLE [autorisation_A_1_36]] | IS_FIREABLE [autorisation_A_1_37]] | IS_FIREABLE [autorisation_A_1_38]] | IS_FIREABLE [autorisation_A_1_39]] | IS_FIREABLE [autorisation_A_1_40]] | IS_FIREABLE [autorisation_A_1_41]] | IS_FIREABLE [autorisation_A_1_42]] | IS_FIREABLE [autorisation_A_1_43]] | IS_FIREABLE [autorisation_A_1_44]] | IS_FIREABLE [autorisation_A_1_45]] | IS_FIREABLE [autorisation_A_1_46]] | IS_FIREABLE [autorisation_A_1_47]] | IS_FIREABLE [autorisation_A_1_48]] | IS_FIREABLE [autorisation_A_1_49]] | IS_FIREABLE [autorisation_A_1_50]]]]]]]
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 789976 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16179120 kB

BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
check for constant places
ok
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.002sec

1283240 2824344 4425989 5802281 7014813 7897545 8340331 8880219 9146224 9403547 9588629 9539442 9541575 9491917 9454103 9429222 9417767 9376905 9361105 9342012
iterations count:2071115 (1559), effective:30626 (23)

initing FirstDep: 0m 0.003sec

1392069 1460881 1501069 1536478 1574963 1615965 1658716 1722071 1785804 1840633 1896580 1970604 2021879 2074868 2130359 2197508 2239096 2280045 2320767 2374238 2412765 2451808 2491050 2539549
sat_reach.icc:155: Timeout: after 120 sec


net_ddint.h:442: Timeout: after 113 sec


iterations count:1328 (1), effective:0 (0)

sat_reach.icc:155: Timeout: after 90 sec


net_ddint.h:442: Timeout: after 83 sec


net_ddint.h:600: Timeout: after 78 sec


net_ddint.h:600: Timeout: after 73 sec


sat_reach.icc:155: Timeout: after 68 sec

769269 825583 872004 905971 940664 978707
sat_reach.icc:155: Timeout: after 64 sec


sat_reach.icc:155: Timeout: after 60 sec


net_ddint.h:600: Timeout: after 54 sec


sat_reach.icc:155: Timeout: after 41 sec


net_ddint.h:600: Timeout: after 32 sec


net_ddint.h:600: Timeout: after 29 sec

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="BridgeAndVehicles-PT-V50P20N10"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-PT-V50P20N10, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-tajo-167813685700226"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-PT-V50P20N10.tgz
mv BridgeAndVehicles-PT-V50P20N10 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;