Introduction

Execution Chart

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

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.

export BK_INPUT=Philosophers-PT-000200
export BK_EXAMINATION=ReachabilityFireability
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1658
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/Philosophers-PT-000200
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is Philosophers-PT-000200, examination is ReachabilityFireability'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of marcie for Philosophers/000200 (P/T)

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

execution on node 3: quadhexa-2.u-paris10.fr (runId=136968524500067_n_3)
=====================================================================
runnning marcie on Philosophers-PT-000200 (ReachabilityFireability)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool marcie:
Test is Philosophers-PT-000200, examination is ReachabilityFireability
=====================================================================

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

START 1369692919

Marcie rev. 1103M (build: rohrch on 2013-02-17)
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: marcie --net-file=model.pnml --mem=4 --mcc-file=ReachabilityFireability.txt

constant oo registered with value < INFINITY >
parse successfull!


(NrP: 1000 NrTr: 1000)

net check time: 0m0sec

parse mcc successfull!

place and transition orderings generation:0m0sec

init dd package: 0m5sec


RS generation: 0m2sec


-> reachability set: #nodes 5180 (5.2e+03) #states 265,613,988,875,874,769,338,781,322,035,779,626,829,233,452,653,394,495,974,574,961,739,092,490,901,302,182,994,384,699,044,001 (95)



starting CTL model checker
--------------------------

checking: AG [[["Fork_191" \in [1, oo) && "Catch2_192" \in [1, oo) | [["Fork_14" \in [1, oo) && "Catch2_15" \in [1, oo) | ["Catch2_93" \in [1, oo) && "Fork_92" \in [1, oo) | ["Fork_12" \in [1, oo) && "Catch2_13" \in [1, oo) | ["Fork_74" \in [1, oo) && "Catch2_75" \in [1, oo) | [["Fork_86" \in [1, oo) && "Catch2_87" \in [1, oo) | [["Fork_75" \in [1, oo) && "Catch2_76" \in [1, oo) | ["Catch2_85" \in [1, oo) && "Fork_84" \in [1, oo) | ["Fork_150" \in [1, oo) && "Catch2_151" \in [1, oo) | ["Fork_98" \in [1, oo) && "Catch2_99" \in [1, oo) | ["Fork_192" \in [1, oo) && "Catch2_193" \in [1, oo) | ["Fork_167" \in [1, oo) && "Catch2_168" \in [1, oo) | ["Catch2_150" \in [1, oo) && "Fork_149" \in [1, oo) | ["Fork_133" \in [1, oo) && "Catch2_134" \in [1, oo) | ["Catch2_116" \in [1, oo) && "Fork_115" \in [1, oo) | ["Fork_199" \in [1, oo) && "Catch2_200" \in [1, oo) | ["Fork_135" \in [1, oo) && "Catch2_136" \in [1, oo) | ["Fork_38" \in [1, oo) && "Catch2_39" \in [1, oo) | ["Fork_69" \in [1, oo) && "Catch2_70" \in [1, oo) | ["Catch2_189" \in [1, oo) && "Fork_188" \in [1, oo) | ["Fork_100" \in [1, oo) && "Catch2_101" \in [1, oo) | ["Catch2_11" \in [1, oo) && "Fork_10" \in [1, oo) | ["Fork_90" \in [1, oo) && "Catch2_91" \in [1, oo) | ["Fork_104" \in [1, oo) && "Catch2_105" \in [1, oo) | ["Fork_72" \in [1, oo) && "Catch2_73" \in [1, oo) | ["Fork_166" \in [1, oo) && "Catch2_167" \in [1, oo) | ["Catch2_55" \in [1, oo) && "Fork_54" \in [1, oo) | ["Fork_139" \in [1, oo) && "Catch2_140" \in [1, oo) | ["Catch2_194" \in [1, oo) && "Fork_193" \in [1, oo) | ["Fork_68" \in [1, oo) && "Catch2_69" \in [1, oo) | ["Fork_88" \in [1, oo) && "Catch2_89" \in [1, oo) | ["Fork_105" \in [1, oo) && "Catch2_106" \in [1, oo) | ["Fork_178" \in [1, oo) && "Catch2_179" \in [1, oo) | ["Catch2_42" \in [1, oo) && "Fork_41" \in [1, oo) | ["Fork_60" \in [1, oo) && "Catch2_61" \in [1, oo) | ["Catch2_30" \in [1, oo) && "Fork_29" \in [1, oo) | ["Fork_21" \in [1, oo) && "Catch2_22" \in [1, oo) | ["Fork_176" \in [1, oo) && "Catch2_177" \in [1, oo) | ["Fork_196" \in [1, oo) && "Catch2_197" \in [1, oo) | ["Fork_45" \in [1, oo) && "Catch2_46" \in [1, oo) | ["Catch2_18" \in [1, oo) && "Fork_17" \in [1, oo) | [["Fork_9" \in [1, oo) && "Catch2_10" \in [1, oo) | ["Fork_195" \in [1, oo) && "Catch2_196" \in [1, oo) | [[[[[[[[["Fork_161" \in [1, oo) && "Catch2_162" \in [1, oo) | ["Fork_93" \in [1, oo) && "Catch2_94" \in [1, oo) | [["Catch2_169" \in [1, oo) && "Fork_168" \in [1, oo) | [[[[[[[["Fork_143" \in [1, oo) && "Catch2_144" \in [1, oo) | ["Fork_108" \in [1, oo) && "Catch2_109" \in [1, oo) | [[[[[[[[[["Fork_103" \in [1, oo) && "Catch2_104" \in [1, oo) | [["Fork_141" \in [1, oo) && "Catch2_142" \in [1, oo) | ["Fork_148" \in [1, oo) && "Catch2_149" \in [1, oo) | ["Fork_58" \in [1, oo) && "Catch2_59" \in [1, oo) | [["Fork_146" \in [1, oo) && "Catch2_147" \in [1, oo) | ["Catch2_157" \in [1, oo) && "Fork_156" \in [1, oo) | ["Fork_126" \in [1, oo) && "Catch2_127" \in [1, oo) | ["Fork_131" \in [1, oo) && "Catch2_132" \in [1, oo) | ["Fork_15" \in [1, oo) && "Catch2_16" \in [1, oo) | ["Fork_159" \in [1, oo) && "Catch2_160" \in [1, oo) | [[[[["Fork_50" \in [1, oo) && "Catch2_51" \in [1, oo) | ["Fork_77" \in [1, oo) && "Catch2_78" \in [1, oo) | [[["Fork_34" \in [1, oo) && "Catch2_35" \in [1, oo) | ["Fork_40" \in [1, oo) && "Catch2_41" \in [1, oo) | [[[["Catch2_5" \in [1, oo) && "Fork_4" \in [1, oo) | ["Fork_97" \in [1, oo) && "Catch2_98" \in [1, oo) | [[[["Fork_117" \in [1, oo) && "Catch2_118" \in [1, oo) | ["Fork_20" \in [1, oo) && "Catch2_21" \in [1, oo) | ["Fork_110" \in [1, oo) && "Catch2_111" \in [1, oo) | ["Fork_79" \in [1, oo) && "Catch2_80" \in [1, oo) | ["Fork_186" \in [1, oo) && "Catch2_187" \in [1, oo) | [[["Fork_1" \in [1, oo) && "Catch2_2" \in [1, oo) | ["Fork_184" \in [1, oo) && "Catch2_185" \in [1, oo) | ["Fork_136" \in [1, oo) && "Catch2_137" \in [1, oo) | ["Catch2_43" \in [1, oo) && "Fork_42" \in [1, oo) | ["Fork_2" \in [1, oo) && "Catch2_3" \in [1, oo) | [["Fork_124" \in [1, oo) && "Catch2_125" \in [1, oo) | [["Fork_137" \in [1, oo) && "Catch2_138" \in [1, oo) | [[[["Fork_18" \in [1, oo) && "Catch2_19" \in [1, oo) | [["Fork_64" \in [1, oo) && "Catch2_65" \in [1, oo) | ["Fork_5" \in [1, oo) && "Catch2_6" \in [1, oo) | ["Fork_81" \in [1, oo) && "Catch2_82" \in [1, oo) | ["Fork_158" \in [1, oo) && "Catch2_159" \in [1, oo) | ["Catch2_108" \in [1, oo) && "Fork_107" \in [1, oo) | ["Fork_83" \in [1, oo) && "Catch2_84" \in [1, oo) | ["Fork_151" \in [1, oo) && "Catch2_152" \in [1, oo) | [["Fork_80" \in [1, oo) && "Catch2_81" \in [1, oo) | ["Catch2_40" \in [1, oo) && "Fork_39" \in [1, oo) | ["Fork_16" \in [1, oo) && "Catch2_17" \in [1, oo) | ["Fork_37" \in [1, oo) && "Catch2_38" \in [1, oo) | ["Fork_183" \in [1, oo) && "Catch2_184" \in [1, oo) | [["Catch2_153" \in [1, oo) && "Fork_152" \in [1, oo) | [["Fork_11" \in [1, oo) && "Catch2_12" \in [1, oo) | ["Fork_26" \in [1, oo) && "Catch2_27" \in [1, oo) | ["Fork_122" \in [1, oo) && "Catch2_123" \in [1, oo) | [["Fork_163" \in [1, oo) && "Catch2_164" \in [1, oo) | ["Fork_99" \in [1, oo) && "Catch2_100" \in [1, oo) | ["Fork_95" \in [1, oo) && "Catch2_96" \in [1, oo) | ["Fork_181" \in [1, oo) && "Catch2_182" \in [1, oo) | [["Fork_66" \in [1, oo) && "Catch2_67" \in [1, oo) | [["Fork_73" \in [1, oo) && "Catch2_74" \in [1, oo) | [["Fork_177" \in [1, oo) && "Catch2_178" \in [1, oo) | ["Fork_56" \in [1, oo) && "Catch2_57" \in [1, oo) | ["Fork_47" \in [1, oo) && "Catch2_48" \in [1, oo) | [["Fork_157" \in [1, oo) && "Catch2_158" \in [1, oo) | ["Fork_43" \in [1, oo) && "Catch2_44" \in [1, oo) | ["Fork_23" \in [1, oo) && "Catch2_24" \in [1, oo) | ["Fork_123" \in [1, oo) && "Catch2_124" \in [1, oo) | ["Fork_62" \in [1, oo) && "Catch2_63" \in [1, oo) | [["Catch2_128" \in [1, oo) && "Fork_127" \in [1, oo) | ["Fork_164" \in [1, oo) && "Catch2_165" \in [1, oo) | ["Fork_3" \in [1, oo) && "Catch2_4" \in [1, oo) | ["Fork_140" \in [1, oo) && "Catch2_141" \in [1, oo) | ["Fork_32" \in [1, oo) && "Catch2_33" \in [1, oo) | [[[["Fork_170" \in [1, oo) && "Catch2_171" \in [1, oo) | ["Fork_22" \in [1, oo) && "Catch2_23" \in [1, oo) | ["Catch2_83" \in [1, oo) && "Fork_82" \in [1, oo) | [[[[["Fork_160" \in [1, oo) && "Catch2_161" \in [1, oo) | ["Fork_153" \in [1, oo) && "Catch2_154" \in [1, oo) | ["Fork_138" \in [1, oo) && "Catch2_139" \in [1, oo) | [[[[[[[["Fork_142" \in [1, oo) && "Catch2_143" \in [1, oo) | ["Fork_180" \in [1, oo) && "Catch2_181" \in [1, oo) | ["Catch2_29" \in [1, oo) && "Fork_28" \in [1, oo) | ["Fork_111" \in [1, oo) && "Catch2_112" \in [1, oo) | ["Fork_171" \in [1, oo) && "Catch2_172" \in [1, oo) | [["Fork_71" \in [1, oo) && "Catch2_72" \in [1, oo) | "Fork_119" \in [1, oo) && "Catch2_120" \in [1, oo)] | "Fork_96" \in [1, oo) && "Catch2_97" \in [1, oo)]]]]]] | "Fork_125" \in [1, oo) && "Catch2_126" \in [1, oo)] | "Fork_46" \in [1, oo) && "Catch2_47" \in [1, oo)] | "Fork_145" \in [1, oo) && "Catch2_146" \in [1, oo)] | "Fork_187" \in [1, oo) && "Catch2_188" \in [1, oo)] | "Fork_87" \in [1, oo) && "Catch2_88" \in [1, oo)] | "Fork_36" \in [1, oo) && "Catch2_37" \in [1, oo)] | "Fork_30" \in [1, oo) && "Catch2_31" \in [1, oo)]]]] | "Fork_197" \in [1, oo) && "Catch2_198" \in [1, oo)] | "Fork_134" \in [1, oo) && "Catch2_135" \in [1, oo)] | "Fork_174" \in [1, oo) && "Catch2_175" \in [1, oo)] | "Fork_147" \in [1, oo) && "Catch2_148" \in [1, oo)]]]] | "Fork_8" \in [1, oo) && "Catch2_9" \in [1, oo)] | "Fork_19" \in [1, oo) && "Catch2_20" \in [1, oo)] | "Catch2_103" \in [1, oo) && "Fork_102" \in [1, oo)]]]]]] | "Fork_57" \in [1, oo) && "Catch2_58" \in [1, oo)]]]]]] | "Fork_31" \in [1, oo) && "Catch2_32" \in [1, oo)]]]] | "Fork_67" \in [1, oo) && "Catch2_68" \in [1, oo)]] | "Fork_120" \in [1, oo) && "Catch2_121" \in [1, oo)]] | "Fork_132" \in [1, oo) && "Catch2_133" \in [1, oo)]]]]] | "Fork_121" \in [1, oo) && "Catch2_122" \in [1, oo)]]]] | "Fork_33" \in [1, oo) && "Catch2_34" \in [1, oo)]] | "Fork_53" \in [1, oo) && "Catch2_54" \in [1, oo)]]]]]] | "Fork_101" \in [1, oo) && "Catch2_102" \in [1, oo)]]]]]]]] | "Catch2_173" \in [1, oo) && "Fork_172" \in [1, oo)]] | "Fork_70" \in [1, oo) && "Catch2_71" \in [1, oo)] | "Fork_51" \in [1, oo) && "Catch2_52" \in [1, oo)] | "Fork_162" \in [1, oo) && "Catch2_163" \in [1, oo)]] | "Fork_200" \in [1, oo) && "Catch2_1" \in [1, oo)]] | "Fork_173" \in [1, oo) && "Catch2_174" \in [1, oo)]]]]]] | "Fork_169" \in [1, oo) && "Catch2_170" \in [1, oo)] | "Fork_189" \in [1, oo) && "Catch2_190" \in [1, oo)]]]]]] | "Fork_165" \in [1, oo) && "Catch2_166" \in [1, oo)] | "Fork_130" \in [1, oo) && "Catch2_131" \in [1, oo)] | "Fork_25" \in [1, oo) && "Catch2_26" \in [1, oo)]]] | "Fork_194" \in [1, oo) && "Catch2_195" \in [1, oo)] | "Fork_61" \in [1, oo) && "Catch2_62" \in [1, oo)] | "Fork_116" \in [1, oo) && "Catch2_117" \in [1, oo)]]] | "Fork_48" \in [1, oo) && "Catch2_49" \in [1, oo)] | "Fork_35" \in [1, oo) && "Catch2_36" \in [1, oo)]]] | "Fork_55" \in [1, oo) && "Catch2_56" \in [1, oo)] | "Fork_190" \in [1, oo) && "Catch2_191" \in [1, oo)] | "Fork_78" \in [1, oo) && "Catch2_79" \in [1, oo)] | "Fork_113" \in [1, oo) && "Catch2_114" \in [1, oo)]]]]]]] | "Fork_44" \in [1, oo) && "Catch2_45" \in [1, oo)]]]] | "Fork_6" \in [1, oo) && "Catch2_7" \in [1, oo)]] | "Fork_85" \in [1, oo) && "Catch2_86" \in [1, oo)] | "Fork_129" \in [1, oo) && "Catch2_130" \in [1, oo)] | "Fork_94" \in [1, oo) && "Catch2_95" \in [1, oo)] | "Fork_89" \in [1, oo) && "Catch2_90" \in [1, oo)] | "Fork_49" \in [1, oo) && "Catch2_50" \in [1, oo)] | "Fork_59" \in [1, oo) && "Catch2_60" \in [1, oo)] | "Fork_65" \in [1, oo) && "Catch2_66" \in [1, oo)] | "Fork_7" \in [1, oo) && "Catch2_8" \in [1, oo)] | "Fork_112" \in [1, oo) && "Catch2_113" \in [1, oo)]]] | "Fork_27" \in [1, oo) && "Catch2_28" \in [1, oo)] | "Fork_118" \in [1, oo) && "Catch2_119" \in [1, oo)] | "Fork_114" \in [1, oo) && "Catch2_115" \in [1, oo)] | "Fork_198" \in [1, oo) && "Catch2_199" \in [1, oo)] | "Fork_106" \in [1, oo) && "Catch2_107" \in [1, oo)] | "Fork_179" \in [1, oo) && "Catch2_180" \in [1, oo)] | "Fork_128" \in [1, oo) && "Catch2_129" \in [1, oo)]] | "Fork_91" \in [1, oo) && "Catch2_92" \in [1, oo)]]] | "Fork_175" \in [1, oo) && "Catch2_176" \in [1, oo)] | "Fork_185" \in [1, oo) && "Catch2_186" \in [1, oo)] | "Fork_13" \in [1, oo) && "Catch2_14" \in [1, oo)] | "Fork_24" \in [1, oo) && "Catch2_25" \in [1, oo)] | "Fork_154" \in [1, oo) && "Catch2_155" \in [1, oo)] | "Fork_155" \in [1, oo) && "Catch2_156" \in [1, oo)] | "Catch2_145" \in [1, oo) && "Fork_144" \in [1, oo)] | "Fork_52" \in [1, oo) && "Catch2_53" \in [1, oo)]]] | "Fork_182" \in [1, oo) && "Catch2_183" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Fork_63" \in [1, oo) && "Catch2_64" \in [1, oo)]] | "Fork_76" \in [1, oo) && "Catch2_77" \in [1, oo)]]]]] | "Catch2_110" \in [1, oo) && "Fork_109" \in [1, oo)]] & ["Think_139" \in [1, oo) && "Fork_138" \in [1, oo) | ["Think_7" \in [1, oo) && "Fork_6" \in [1, oo) | ["Think_133" \in [1, oo) && "Fork_132" \in [1, oo) | ["Think_72" \in [1, oo) && "Fork_71" \in [1, oo) | [[[[[[["Think_118" \in [1, oo) && "Fork_117" \in [1, oo) | ["Think_153" \in [1, oo) && "Fork_152" \in [1, oo) | [[[[["Think_61" \in [1, oo) && "Fork_60" \in [1, oo) | ["Think_36" \in [1, oo) && "Fork_35" \in [1, oo) | ["Think_37" \in [1, oo) && "Fork_36" \in [1, oo) | ["Think_156" \in [1, oo) && "Fork_155" \in [1, oo) | [[["Think_179" \in [1, oo) && "Fork_178" \in [1, oo) | ["Think_96" \in [1, oo) && "Fork_95" \in [1, oo) | ["Think_197" \in [1, oo) && "Fork_196" \in [1, oo) | [[["Think_65" \in [1, oo) && "Fork_64" \in [1, oo) | [[["Think_117" \in [1, oo) && "Fork_116" \in [1, oo) | ["Think_24" \in [1, oo) && "Fork_23" \in [1, oo) | [["Fork_47" \in [1, oo) && "Think_48" \in [1, oo) | ["Fork_92" \in [1, oo) && "Think_93" \in [1, oo) | [["Think_135" \in [1, oo) && "Fork_134" \in [1, oo) | [[["Think_3" \in [1, oo) && "Fork_2" \in [1, oo) | ["Fork_93" \in [1, oo) && "Think_94" \in [1, oo) | ["Think_172" \in [1, oo) && "Fork_171" \in [1, oo) | [[[["Think_90" \in [1, oo) && "Fork_89" \in [1, oo) | [[["Fork_105" \in [1, oo) && "Think_106" \in [1, oo) | ["Think_112" \in [1, oo) && "Fork_111" \in [1, oo) | ["Think_180" \in [1, oo) && "Fork_179" \in [1, oo) | ["Fork_197" \in [1, oo) && "Think_198" \in [1, oo) | ["Fork_55" \in [1, oo) && "Think_56" \in [1, oo) | ["Think_128" \in [1, oo) && "Fork_127" \in [1, oo) | ["Think_83" \in [1, oo) && "Fork_82" \in [1, oo) | [["Think_58" \in [1, oo) && "Fork_57" \in [1, oo) | [[[[[[[[["Think_26" \in [1, oo) && "Fork_25" \in [1, oo) | [["Think_19" \in [1, oo) && "Fork_18" \in [1, oo) | ["Think_183" \in [1, oo) && "Fork_182" \in [1, oo) | ["Think_182" \in [1, oo) && "Fork_181" \in [1, oo) | ["Think_59" \in [1, oo) && "Fork_58" \in [1, oo) | ["Think_196" \in [1, oo) && "Fork_195" \in [1, oo) | ["Think_52" \in [1, oo) && "Fork_51" \in [1, oo) | ["Think_138" \in [1, oo) && "Fork_137" \in [1, oo) | ["Think_57" \in [1, oo) && "Fork_56" \in [1, oo) | ["Fork_167" \in [1, oo) && "Think_168" \in [1, oo) | [["Think_53" \in [1, oo) && "Fork_52" \in [1, oo) | ["Fork_13" \in [1, oo) && "Think_14" \in [1, oo) | ["Think_35" \in [1, oo) && "Fork_34" \in [1, oo) | ["Fork_42" \in [1, oo) && "Think_43" \in [1, oo) | [[["Think_169" \in [1, oo) && "Fork_168" \in [1, oo) | [["Think_162" \in [1, oo) && "Fork_161" \in [1, oo) | ["Think_10" \in [1, oo) && "Fork_9" \in [1, oo) | ["Fork_157" \in [1, oo) && "Think_158" \in [1, oo) | ["Think_55" \in [1, oo) && "Fork_54" \in [1, oo) | [["Think_195" \in [1, oo) && "Fork_194" \in [1, oo) | ["Think_45" \in [1, oo) && "Fork_44" \in [1, oo) | ["Fork_177" \in [1, oo) && "Think_178" \in [1, oo) | [["Think_192" \in [1, oo) && "Fork_191" \in [1, oo) | ["Think_120" \in [1, oo) && "Fork_119" \in [1, oo) | [[[["Think_63" \in [1, oo) && "Fork_62" \in [1, oo) | ["Think_108" \in [1, oo) && "Fork_107" \in [1, oo) | [["Think_76" \in [1, oo) && "Fork_75" \in [1, oo) | [[["Think_40" \in [1, oo) && "Fork_39" \in [1, oo) | ["Think_105" \in [1, oo) && "Fork_104" \in [1, oo) | ["Fork_183" \in [1, oo) && "Think_184" \in [1, oo) | ["Fork_141" \in [1, oo) && "Think_142" \in [1, oo) | [[["Think_22" \in [1, oo) && "Fork_21" \in [1, oo) | ["Fork_140" \in [1, oo) && "Think_141" \in [1, oo) | [[["Think_77" \in [1, oo) && "Fork_76" \in [1, oo) | ["Fork_113" \in [1, oo) && "Think_114" \in [1, oo) | ["Fork_10" \in [1, oo) && "Think_11" \in [1, oo) | ["Fork_17" \in [1, oo) && "Think_18" \in [1, oo) | ["Think_99" \in [1, oo) && "Fork_98" \in [1, oo) | [[[["Fork_78" \in [1, oo) && "Think_79" \in [1, oo) | [[["Think_111" \in [1, oo) && "Fork_110" \in [1, oo) | [[["Fork_173" \in [1, oo) && "Think_174" \in [1, oo) | ["Think_116" \in [1, oo) && "Fork_115" \in [1, oo) | ["Think_70" \in [1, oo) && "Fork_69" \in [1, oo) | [["Fork_22" \in [1, oo) && "Think_23" \in [1, oo) | ["Think_98" \in [1, oo) && "Fork_97" \in [1, oo) | ["Think_188" \in [1, oo) && "Fork_187" \in [1, oo) | [[["Think_27" \in [1, oo) && "Fork_26" \in [1, oo) | ["Think_81" \in [1, oo) && "Fork_80" \in [1, oo) | ["Fork_159" \in [1, oo) && "Think_160" \in [1, oo) | ["Think_146" \in [1, oo) && "Fork_145" \in [1, oo) | ["Fork_136" \in [1, oo) && "Think_137" \in [1, oo) | [[["Fork_1" \in [1, oo) && "Think_2" \in [1, oo) | [[[["Think_73" \in [1, oo) && "Fork_72" \in [1, oo) | [["Fork_144" \in [1, oo) && "Think_145" \in [1, oo) | [["Think_31" \in [1, oo) && "Fork_30" \in [1, oo) | [[["Fork_120" \in [1, oo) && "Think_121" \in [1, oo) | [[["Think_149" \in [1, oo) && "Fork_148" \in [1, oo) | [["Think_170" \in [1, oo) && "Fork_169" \in [1, oo) | ["Think_157" \in [1, oo) && "Fork_156" \in [1, oo) | [["Fork_165" \in [1, oo) && "Think_166" \in [1, oo) | [[[[["Think_107" \in [1, oo) && "Fork_106" \in [1, oo) | ["Think_136" \in [1, oo) && "Fork_135" \in [1, oo) | [[[[[[["Fork_5" \in [1, oo) && "Think_6" \in [1, oo) | ["Fork_61" \in [1, oo) && "Think_62" \in [1, oo) | [[[["Fork_8" \in [1, oo) && "Think_9" \in [1, oo) | ["Think_68" \in [1, oo) && "Fork_67" \in [1, oo) | ["Fork_68" \in [1, oo) && "Think_69" \in [1, oo) | ["Think_124" \in [1, oo) && "Fork_123" \in [1, oo) | ["Fork_11" \in [1, oo) && "Think_12" \in [1, oo) | ["Think_165" \in [1, oo) && "Fork_164" \in [1, oo) | [[[[["Think_103" \in [1, oo) && "Fork_102" \in [1, oo) | [["Fork_114" \in [1, oo) && "Think_115" \in [1, oo) | ["Fork_85" \in [1, oo) && "Think_86" \in [1, oo) | [[["Think_151" \in [1, oo) && "Fork_150" \in [1, oo) | "Think_185" \in [1, oo) && "Fork_184" \in [1, oo)] | "Think_46" \in [1, oo) && "Fork_45" \in [1, oo)] | "Fork_154" \in [1, oo) && "Think_155" \in [1, oo)]]] | "Think_92" \in [1, oo) && "Fork_91" \in [1, oo)]] | "Think_123" \in [1, oo) && "Fork_122" \in [1, oo)] | "Fork_193" \in [1, oo) && "Think_194" \in [1, oo)] | "Think_66" \in [1, oo) && "Fork_65" \in [1, oo)] | "Think_21" \in [1, oo) && "Fork_20" \in [1, oo)]]]]]]] | "Think_119" \in [1, oo) && "Fork_118" \in [1, oo)] | "Fork_81" \in [1, oo) && "Think_82" \in [1, oo)] | "Think_177" \in [1, oo) && "Fork_176" \in [1, oo)]]] | "Think_193" \in [1, oo) && "Fork_192" \in [1, oo)] | "Think_20" \in [1, oo) && "Fork_19" \in [1, oo)] | "Think_80" \in [1, oo) && "Fork_79" \in [1, oo)] | "Think_67" \in [1, oo) && "Fork_66" \in [1, oo)] | "Fork_162" \in [1, oo) && "Think_163" \in [1, oo)] | "Think_148" \in [1, oo) && "Fork_147" \in [1, oo)]]] | "Fork_186" \in [1, oo) && "Think_187" \in [1, oo)] | "Think_132" \in [1, oo) && "Fork_131" \in [1, oo)] | "Think_39" \in [1, oo) && "Fork_38" \in [1, oo)] | "Fork_160" \in [1, oo) && "Think_161" \in [1, oo)]] | "Fork_103" \in [1, oo) && "Think_104" \in [1, oo)]]] | "Think_127" \in [1, oo) && "Fork_126" \in [1, oo)]] | "Think_44" \in [1, oo) && "Fork_43" \in [1, oo)] | "Think_125" \in [1, oo) && "Fork_124" \in [1, oo)]] | "Think_143" \in [1, oo) && "Fork_142" \in [1, oo)] | "Think_191" \in [1, oo) && "Fork_190" \in [1, oo)]] | "Think_50" \in [1, oo) && "Fork_49" \in [1, oo)]] | "Think_1" \in [1, oo) && "Fork_200" \in [1, oo)]] | "Think_186" \in [1, oo) && "Fork_185" \in [1, oo)] | "Think_102" \in [1, oo) && "Fork_101" \in [1, oo)] | "Think_33" \in [1, oo) && "Fork_32" \in [1, oo)]] | "Think_95" \in [1, oo) && "Fork_94" \in [1, oo)] | "Fork_108" \in [1, oo) && "Think_109" \in [1, oo)]]]]]] | "Think_129" \in [1, oo) && "Fork_128" \in [1, oo)] | "Think_8" \in [1, oo) && "Fork_7" \in [1, oo)]]]] | "Fork_90" \in [1, oo) && "Think_91" \in [1, oo)]]]] | "Think_29" \in [1, oo) && "Fork_28" \in [1, oo)] | "Think_51" \in [1, oo) && "Fork_50" \in [1, oo)]] | "Think_5" \in [1, oo) && "Fork_4" \in [1, oo)] | "Think_200" \in [1, oo) && "Fork_199" \in [1, oo)]] | "Think_17" \in [1, oo) && "Fork_16" \in [1, oo)] | "Think_147" \in [1, oo) && "Fork_146" \in [1, oo)] | "Think_164" \in [1, oo) && "Fork_163" \in [1, oo)]]]]]] | "Think_28" \in [1, oo) && "Fork_27" \in [1, oo)] | "Think_75" \in [1, oo) && "Fork_74" \in [1, oo)]]] | "Think_54" \in [1, oo) && "Fork_53" \in [1, oo)] | "Think_88" \in [1, oo) && "Fork_87" \in [1, oo)]]]]] | "Think_176" \in [1, oo) && "Fork_175" \in [1, oo)] | "Fork_153" \in [1, oo) && "Think_154" \in [1, oo)]] | "Think_84" \in [1, oo) && "Fork_83" \in [1, oo)]]] | "Think_34" \in [1, oo) && "Fork_33" \in [1, oo)] | "Think_13" \in [1, oo) && "Fork_12" \in [1, oo)] | "Think_190" \in [1, oo) && "Fork_189" \in [1, oo)]]] | "Think_47" \in [1, oo) && "Fork_46" \in [1, oo)]]]] | "Think_32" \in [1, oo) && "Fork_31" \in [1, oo)]]]]] | "Think_60" \in [1, oo) && "Fork_59" \in [1, oo)]] | "Think_167" \in [1, oo) && "Fork_166" \in [1, oo)] | "Think_181" \in [1, oo) && "Fork_180" \in [1, oo)]]]]] | "Think_25" \in [1, oo) && "Fork_24" \in [1, oo)]]]]]]]]]] | "Think_38" \in [1, oo) && "Fork_37" \in [1, oo)]] | "Think_42" \in [1, oo) && "Fork_41" \in [1, oo)] | "Think_131" \in [1, oo) && "Fork_130" \in [1, oo)] | "Think_101" \in [1, oo) && "Fork_100" \in [1, oo)] | "Think_110" \in [1, oo) && "Fork_109" \in [1, oo)] | "Think_15" \in [1, oo) && "Fork_14" \in [1, oo)] | "Think_113" \in [1, oo) && "Fork_112" \in [1, oo)] | "Think_144" \in [1, oo) && "Fork_143" \in [1, oo)] | "Think_30" \in [1, oo) && "Fork_29" \in [1, oo)]] | "Think_4" \in [1, oo) && "Fork_3" \in [1, oo)]]]]]]]] | "Fork_174" \in [1, oo) && "Think_175" \in [1, oo)] | "Think_64" \in [1, oo) && "Fork_63" \in [1, oo)]] | "Think_134" \in [1, oo) && "Fork_133" \in [1, oo)] | "Think_41" \in [1, oo) && "Fork_40" \in [1, oo)] | "Think_78" \in [1, oo) && "Fork_77" \in [1, oo)]]]] | "Think_152" \in [1, oo) && "Fork_151" \in [1, oo)] | "Think_140" \in [1, oo) && "Fork_139" \in [1, oo)]] | "Think_71" \in [1, oo) && "Fork_70" \in [1, oo)]]] | "Think_122" \in [1, oo) && "Fork_121" \in [1, oo)]]] | "Think_130" \in [1, oo) && "Fork_129" \in [1, oo)] | "Think_126" \in [1, oo) && "Fork_125" \in [1, oo)]] | "Think_171" \in [1, oo) && "Fork_170" \in [1, oo)] | "Think_159" \in [1, oo) && "Fork_158" \in [1, oo)]]]] | "Think_85" \in [1, oo) && "Fork_84" \in [1, oo)] | "Think_199" \in [1, oo) && "Fork_198" \in [1, oo)]]]]] | "Think_89" \in [1, oo) && "Fork_88" \in [1, oo)] | "Think_97" \in [1, oo) && "Fork_96" \in [1, oo)] | "Think_74" \in [1, oo) && "Fork_73" \in [1, oo)] | "Think_87" \in [1, oo) && "Fork_86" \in [1, oo)]]] | "Think_16" \in [1, oo) && "Fork_15" \in [1, oo)] | "Think_150" \in [1, oo) && "Fork_149" \in [1, oo)] | "Think_189" \in [1, oo) && "Fork_188" \in [1, oo)] | "Think_49" \in [1, oo) && "Fork_48" \in [1, oo)] | "Think_100" \in [1, oo) && "Fork_99" \in [1, oo)] | "Think_173" \in [1, oo) && "Fork_172" \in [1, oo)]]]]]]]
normalized: ~ [E [true U ~ [[["Think_139" \in [1, oo) && "Fork_138" \in [1, oo) | ["Think_7" \in [1, oo) && "Fork_6" \in [1, oo) | ["Think_133" \in [1, oo) && "Fork_132" \in [1, oo) | ["Think_72" \in [1, oo) && "Fork_71" \in [1, oo) | [[[[[[["Think_118" \in [1, oo) && "Fork_117" \in [1, oo) | ["Think_153" \in [1, oo) && "Fork_152" \in [1, oo) | [[[[["Think_61" \in [1, oo) && "Fork_60" \in [1, oo) | ["Think_36" \in [1, oo) && "Fork_35" \in [1, oo) | ["Think_37" \in [1, oo) && "Fork_36" \in [1, oo) | ["Think_156" \in [1, oo) && "Fork_155" \in [1, oo) | [[["Think_179" \in [1, oo) && "Fork_178" \in [1, oo) | ["Think_96" \in [1, oo) && "Fork_95" \in [1, oo) | ["Think_197" \in [1, oo) && "Fork_196" \in [1, oo) | [[["Think_65" \in [1, oo) && "Fork_64" \in [1, oo) | [[["Think_117" \in [1, oo) && "Fork_116" \in [1, oo) | ["Think_24" \in [1, oo) && "Fork_23" \in [1, oo) | [["Fork_47" \in [1, oo) && "Think_48" \in [1, oo) | ["Fork_92" \in [1, oo) && "Think_93" \in [1, oo) | [["Think_135" \in [1, oo) && "Fork_134" \in [1, oo) | [[["Think_3" \in [1, oo) && "Fork_2" \in [1, oo) | ["Fork_93" \in [1, oo) && "Think_94" \in [1, oo) | ["Think_172" \in [1, oo) && "Fork_171" \in [1, oo) | [[[["Think_90" \in [1, oo) && "Fork_89" \in [1, oo) | [[["Fork_105" \in [1, oo) && "Think_106" \in [1, oo) | ["Think_112" \in [1, oo) && "Fork_111" \in [1, oo) | ["Think_180" \in [1, oo) && "Fork_179" \in [1, oo) | ["Fork_197" \in [1, oo) && "Think_198" \in [1, oo) | ["Fork_55" \in [1, oo) && "Think_56" \in [1, oo) | ["Think_128" \in [1, oo) && "Fork_127" \in [1, oo) | ["Think_83" \in [1, oo) && "Fork_82" \in [1, oo) | [["Think_58" \in [1, oo) && "Fork_57" \in [1, oo) | [[[[[[[[["Think_26" \in [1, oo) && "Fork_25" \in [1, oo) | [["Think_19" \in [1, oo) && "Fork_18" \in [1, oo) | ["Think_183" \in [1, oo) && "Fork_182" \in [1, oo) | ["Think_182" \in [1, oo) && "Fork_181" \in [1, oo) | ["Think_59" \in [1, oo) && "Fork_58" \in [1, oo) | ["Think_196" \in [1, oo) && "Fork_195" \in [1, oo) | ["Think_52" \in [1, oo) && "Fork_51" \in [1, oo) | ["Think_138" \in [1, oo) && "Fork_137" \in [1, oo) | ["Think_57" \in [1, oo) && "Fork_56" \in [1, oo) | ["Fork_167" \in [1, oo) && "Think_168" \in [1, oo) | [["Think_53" \in [1, oo) && "Fork_52" \in [1, oo) | ["Fork_13" \in [1, oo) && "Think_14" \in [1, oo) | ["Think_35" \in [1, oo) && "Fork_34" \in [1, oo) | ["Fork_42" \in [1, oo) && "Think_43" \in [1, oo) | [[["Think_169" \in [1, oo) && "Fork_168" \in [1, oo) | [["Think_162" \in [1, oo) && "Fork_161" \in [1, oo) | ["Think_10" \in [1, oo) && "Fork_9" \in [1, oo) | ["Fork_157" \in [1, oo) && "Think_158" \in [1, oo) | ["Think_55" \in [1, oo) && "Fork_54" \in [1, oo) | [["Think_195" \in [1, oo) && "Fork_194" \in [1, oo) | ["Think_45" \in [1, oo) && "Fork_44" \in [1, oo) | ["Fork_177" \in [1, oo) && "Think_178" \in [1, oo) | [["Think_192" \in [1, oo) && "Fork_191" \in [1, oo) | ["Think_120" \in [1, oo) && "Fork_119" \in [1, oo) | [[[["Think_63" \in [1, oo) && "Fork_62" \in [1, oo) | ["Think_108" \in [1, oo) && "Fork_107" \in [1, oo) | [["Think_76" \in [1, oo) && "Fork_75" \in [1, oo) | [[["Think_40" \in [1, oo) && "Fork_39" \in [1, oo) | ["Think_105" \in [1, oo) && "Fork_104" \in [1, oo) | ["Fork_183" \in [1, oo) && "Think_184" \in [1, oo) | ["Fork_141" \in [1, oo) && "Think_142" \in [1, oo) | [[["Think_22" \in [1, oo) && "Fork_21" \in [1, oo) | ["Fork_140" \in [1, oo) && "Think_141" \in [1, oo) | [[["Think_77" \in [1, oo) && "Fork_76" \in [1, oo) | ["Fork_113" \in [1, oo) && "Think_114" \in [1, oo) | ["Fork_10" \in [1, oo) && "Think_11" \in [1, oo) | ["Fork_17" \in [1, oo) && "Think_18" \in [1, oo) | ["Think_99" \in [1, oo) && "Fork_98" \in [1, oo) | [[[["Fork_78" \in [1, oo) && "Think_79" \in [1, oo) | [[["Think_111" \in [1, oo) && "Fork_110" \in [1, oo) | [[["Fork_173" \in [1, oo) && "Think_174" \in [1, oo) | ["Think_116" \in [1, oo) && "Fork_115" \in [1, oo) | ["Think_70" \in [1, oo) && "Fork_69" \in [1, oo) | [["Fork_22" \in [1, oo) && "Think_23" \in [1, oo) | ["Think_98" \in [1, oo) && "Fork_97" \in [1, oo) | ["Think_188" \in [1, oo) && "Fork_187" \in [1, oo) | [[["Think_27" \in [1, oo) && "Fork_26" \in [1, oo) | ["Think_81" \in [1, oo) && "Fork_80" \in [1, oo) | ["Fork_159" \in [1, oo) && "Think_160" \in [1, oo) | ["Think_146" \in [1, oo) && "Fork_145" \in [1, oo) | ["Fork_136" \in [1, oo) && "Think_137" \in [1, oo) | [[["Fork_1" \in [1, oo) && "Think_2" \in [1, oo) | [[[["Think_73" \in [1, oo) && "Fork_72" \in [1, oo) | [["Fork_144" \in [1, oo) && "Think_145" \in [1, oo) | [["Think_31" \in [1, oo) && "Fork_30" \in [1, oo) | [[["Fork_120" \in [1, oo) && "Think_121" \in [1, oo) | [[["Think_149" \in [1, oo) && "Fork_148" \in [1, oo) | [["Think_170" \in [1, oo) && "Fork_169" \in [1, oo) | ["Think_157" \in [1, oo) && "Fork_156" \in [1, oo) | [["Fork_165" \in [1, oo) && "Think_166" \in [1, oo) | [[[[["Think_107" \in [1, oo) && "Fork_106" \in [1, oo) | ["Think_136" \in [1, oo) && "Fork_135" \in [1, oo) | [[[[[[["Fork_5" \in [1, oo) && "Think_6" \in [1, oo) | ["Fork_61" \in [1, oo) && "Think_62" \in [1, oo) | [[[["Fork_8" \in [1, oo) && "Think_9" \in [1, oo) | ["Think_68" \in [1, oo) && "Fork_67" \in [1, oo) | ["Fork_68" \in [1, oo) && "Think_69" \in [1, oo) | ["Think_124" \in [1, oo) && "Fork_123" \in [1, oo) | ["Fork_11" \in [1, oo) && "Think_12" \in [1, oo) | ["Think_165" \in [1, oo) && "Fork_164" \in [1, oo) | [[[[["Think_103" \in [1, oo) && "Fork_102" \in [1, oo) | [["Fork_114" \in [1, oo) && "Think_115" \in [1, oo) | ["Fork_85" \in [1, oo) && "Think_86" \in [1, oo) | [[["Think_151" \in [1, oo) && "Fork_150" \in [1, oo) | "Think_185" \in [1, oo) && "Fork_184" \in [1, oo)] | "Think_46" \in [1, oo) && "Fork_45" \in [1, oo)] | "Fork_154" \in [1, oo) && "Think_155" \in [1, oo)]]] | "Think_92" \in [1, oo) && "Fork_91" \in [1, oo)]] | "Think_123" \in [1, oo) && "Fork_122" \in [1, oo)] | "Fork_193" \in [1, oo) && "Think_194" \in [1, oo)] | "Think_66" \in [1, oo) && "Fork_65" \in [1, oo)] | "Think_21" \in [1, oo) && "Fork_20" \in [1, oo)]]]]]]] | "Think_119" \in [1, oo) && "Fork_118" \in [1, oo)] | "Fork_81" \in [1, oo) && "Think_82" \in [1, oo)] | "Think_177" \in [1, oo) && "Fork_176" \in [1, oo)]]] | "Think_193" \in [1, oo) && "Fork_192" \in [1, oo)] | "Think_20" \in [1, oo) && "Fork_19" \in [1, oo)] | "Think_80" \in [1, oo) && "Fork_79" \in [1, oo)] | "Think_67" \in [1, oo) && "Fork_66" \in [1, oo)] | "Fork_162" \in [1, oo) && "Think_163" \in [1, oo)] | "Think_148" \in [1, oo) && "Fork_147" \in [1, oo)]]] | "Fork_186" \in [1, oo) && "Think_187" \in [1, oo)] | "Think_132" \in [1, oo) && "Fork_131" \in [1, oo)] | "Think_39" \in [1, oo) && "Fork_38" \in [1, oo)] | "Fork_160" \in [1, oo) && "Think_161" \in [1, oo)]] | "Fork_103" \in [1, oo) && "Think_104" \in [1, oo)]]] | "Think_127" \in [1, oo) && "Fork_126" \in [1, oo)]] | "Think_44" \in [1, oo) && "Fork_43" \in [1, oo)] | "Think_125" \in [1, oo) && "Fork_124" \in [1, oo)]] | "Think_143" \in [1, oo) && "Fork_142" \in [1, oo)] | "Think_191" \in [1, oo) && "Fork_190" \in [1, oo)]] | "Think_50" \in [1, oo) && "Fork_49" \in [1, oo)]] | "Think_1" \in [1, oo) && "Fork_200" \in [1, oo)]] | "Think_186" \in [1, oo) && "Fork_185" \in [1, oo)] | "Think_102" \in [1, oo) && "Fork_101" \in [1, oo)] | "Think_33" \in [1, oo) && "Fork_32" \in [1, oo)]] | "Think_95" \in [1, oo) && "Fork_94" \in [1, oo)] | "Fork_108" \in [1, oo) && "Think_109" \in [1, oo)]]]]]] | "Think_129" \in [1, oo) && "Fork_128" \in [1, oo)] | "Think_8" \in [1, oo) && "Fork_7" \in [1, oo)]]]] | "Fork_90" \in [1, oo) && "Think_91" \in [1, oo)]]]] | "Think_29" \in [1, oo) && "Fork_28" \in [1, oo)] | "Think_51" \in [1, oo) && "Fork_50" \in [1, oo)]] | "Think_5" \in [1, oo) && "Fork_4" \in [1, oo)] | "Think_200" \in [1, oo) && "Fork_199" \in [1, oo)]] | "Think_17" \in [1, oo) && "Fork_16" \in [1, oo)] | "Think_147" \in [1, oo) && "Fork_146" \in [1, oo)] | "Think_164" \in [1, oo) && "Fork_163" \in [1, oo)]]]]]] | "Think_28" \in [1, oo) && "Fork_27" \in [1, oo)] | "Think_75" \in [1, oo) && "Fork_74" \in [1, oo)]]] | "Think_54" \in [1, oo) && "Fork_53" \in [1, oo)] | "Think_88" \in [1, oo) && "Fork_87" \in [1, oo)]]]]] | "Think_176" \in [1, oo) && "Fork_175" \in [1, oo)] | "Fork_153" \in [1, oo) && "Think_154" \in [1, oo)]] | "Think_84" \in [1, oo) && "Fork_83" \in [1, oo)]]] | "Think_34" \in [1, oo) && "Fork_33" \in [1, oo)] | "Think_13" \in [1, oo) && "Fork_12" \in [1, oo)] | "Think_190" \in [1, oo) && "Fork_189" \in [1, oo)]]] | "Think_47" \in [1, oo) && "Fork_46" \in [1, oo)]]]] | "Think_32" \in [1, oo) && "Fork_31" \in [1, oo)]]]]] | "Think_60" \in [1, oo) && "Fork_59" \in [1, oo)]] | "Think_167" \in [1, oo) && "Fork_166" \in [1, oo)] | "Think_181" \in [1, oo) && "Fork_180" \in [1, oo)]]]]] | "Think_25" \in [1, oo) && "Fork_24" \in [1, oo)]]]]]]]]]] | "Think_38" \in [1, oo) && "Fork_37" \in [1, oo)]] | "Think_42" \in [1, oo) && "Fork_41" \in [1, oo)] | "Think_131" \in [1, oo) && "Fork_130" \in [1, oo)] | "Think_101" \in [1, oo) && "Fork_100" \in [1, oo)] | "Think_110" \in [1, oo) && "Fork_109" \in [1, oo)] | "Think_15" \in [1, oo) && "Fork_14" \in [1, oo)] | "Think_113" \in [1, oo) && "Fork_112" \in [1, oo)] | "Think_144" \in [1, oo) && "Fork_143" \in [1, oo)] | "Think_30" \in [1, oo) && "Fork_29" \in [1, oo)]] | "Think_4" \in [1, oo) && "Fork_3" \in [1, oo)]]]]]]]] | "Fork_174" \in [1, oo) && "Think_175" \in [1, oo)] | "Think_64" \in [1, oo) && "Fork_63" \in [1, oo)]] | "Think_134" \in [1, oo) && "Fork_133" \in [1, oo)] | "Think_41" \in [1, oo) && "Fork_40" \in [1, oo)] | "Think_78" \in [1, oo) && "Fork_77" \in [1, oo)]]]] | "Think_152" \in [1, oo) && "Fork_151" \in [1, oo)] | "Think_140" \in [1, oo) && "Fork_139" \in [1, oo)]] | "Think_71" \in [1, oo) && "Fork_70" \in [1, oo)]]] | "Think_122" \in [1, oo) && "Fork_121" \in [1, oo)]]] | "Think_130" \in [1, oo) && "Fork_129" \in [1, oo)] | "Think_126" \in [1, oo) && "Fork_125" \in [1, oo)]] | "Think_171" \in [1, oo) && "Fork_170" \in [1, oo)] | "Think_159" \in [1, oo) && "Fork_158" \in [1, oo)]]]] | "Think_85" \in [1, oo) && "Fork_84" \in [1, oo)] | "Think_199" \in [1, oo) && "Fork_198" \in [1, oo)]]]]] | "Think_89" \in [1, oo) && "Fork_88" \in [1, oo)] | "Think_97" \in [1, oo) && "Fork_96" \in [1, oo)] | "Think_74" \in [1, oo) && "Fork_73" \in [1, oo)] | "Think_87" \in [1, oo) && "Fork_86" \in [1, oo)]]] | "Think_16" \in [1, oo) && "Fork_15" \in [1, oo)] | "Think_150" \in [1, oo) && "Fork_149" \in [1, oo)] | "Think_189" \in [1, oo) && "Fork_188" \in [1, oo)] | "Think_49" \in [1, oo) && "Fork_48" \in [1, oo)] | "Think_100" \in [1, oo) && "Fork_99" \in [1, oo)] | "Think_173" \in [1, oo) && "Fork_172" \in [1, oo)]]]]] & [["Catch2_110" \in [1, oo) && "Fork_109" \in [1, oo) | [[[[["Fork_76" \in [1, oo) && "Catch2_77" \in [1, oo) | [["Fork_63" \in [1, oo) && "Catch2_64" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[["Fork_182" \in [1, oo) && "Catch2_183" \in [1, oo) | [[["Fork_52" \in [1, oo) && "Catch2_53" \in [1, oo) | ["Catch2_145" \in [1, oo) && "Fork_144" \in [1, oo) | ["Fork_155" \in [1, oo) && "Catch2_156" \in [1, oo) | ["Fork_154" \in [1, oo) && "Catch2_155" \in [1, oo) | ["Fork_24" \in [1, oo) && "Catch2_25" \in [1, oo) | ["Fork_13" \in [1, oo) && "Catch2_14" \in [1, oo) | ["Fork_185" \in [1, oo) && "Catch2_186" \in [1, oo) | ["Fork_175" \in [1, oo) && "Catch2_176" \in [1, oo) | [[["Fork_91" \in [1, oo) && "Catch2_92" \in [1, oo) | [["Fork_128" \in [1, oo) && "Catch2_129" \in [1, oo) | ["Fork_179" \in [1, oo) && "Catch2_180" \in [1, oo) | ["Fork_106" \in [1, oo) && "Catch2_107" \in [1, oo) | ["Fork_198" \in [1, oo) && "Catch2_199" \in [1, oo) | ["Fork_114" \in [1, oo) && "Catch2_115" \in [1, oo) | ["Fork_118" \in [1, oo) && "Catch2_119" \in [1, oo) | ["Fork_27" \in [1, oo) && "Catch2_28" \in [1, oo) | [[["Fork_112" \in [1, oo) && "Catch2_113" \in [1, oo) | ["Fork_7" \in [1, oo) && "Catch2_8" \in [1, oo) | ["Fork_65" \in [1, oo) && "Catch2_66" \in [1, oo) | ["Fork_59" \in [1, oo) && "Catch2_60" \in [1, oo) | ["Fork_49" \in [1, oo) && "Catch2_50" \in [1, oo) | ["Fork_89" \in [1, oo) && "Catch2_90" \in [1, oo) | ["Fork_94" \in [1, oo) && "Catch2_95" \in [1, oo) | ["Fork_129" \in [1, oo) && "Catch2_130" \in [1, oo) | ["Fork_85" \in [1, oo) && "Catch2_86" \in [1, oo) | [["Fork_6" \in [1, oo) && "Catch2_7" \in [1, oo) | [[[["Fork_44" \in [1, oo) && "Catch2_45" \in [1, oo) | [[[[[["Fork_159" \in [1, oo) && "Catch2_160" \in [1, oo) | [[[[["Fork_50" \in [1, oo) && "Catch2_51" \in [1, oo) | ["Fork_77" \in [1, oo) && "Catch2_78" \in [1, oo) | [[["Fork_34" \in [1, oo) && "Catch2_35" \in [1, oo) | ["Fork_40" \in [1, oo) && "Catch2_41" \in [1, oo) | [[[["Catch2_5" \in [1, oo) && "Fork_4" \in [1, oo) | ["Fork_97" \in [1, oo) && "Catch2_98" \in [1, oo) | [[[["Fork_117" \in [1, oo) && "Catch2_118" \in [1, oo) | ["Fork_20" \in [1, oo) && "Catch2_21" \in [1, oo) | ["Fork_110" \in [1, oo) && "Catch2_111" \in [1, oo) | ["Fork_79" \in [1, oo) && "Catch2_80" \in [1, oo) | ["Fork_186" \in [1, oo) && "Catch2_187" \in [1, oo) | [[["Fork_1" \in [1, oo) && "Catch2_2" \in [1, oo) | ["Fork_184" \in [1, oo) && "Catch2_185" \in [1, oo) | ["Fork_136" \in [1, oo) && "Catch2_137" \in [1, oo) | ["Catch2_43" \in [1, oo) && "Fork_42" \in [1, oo) | ["Fork_2" \in [1, oo) && "Catch2_3" \in [1, oo) | [["Fork_124" \in [1, oo) && "Catch2_125" \in [1, oo) | [["Fork_137" \in [1, oo) && "Catch2_138" \in [1, oo) | [[[["Fork_18" \in [1, oo) && "Catch2_19" \in [1, oo) | [["Fork_64" \in [1, oo) && "Catch2_65" \in [1, oo) | ["Fork_5" \in [1, oo) && "Catch2_6" \in [1, oo) | ["Fork_81" \in [1, oo) && "Catch2_82" \in [1, oo) | ["Fork_158" \in [1, oo) && "Catch2_159" \in [1, oo) | ["Catch2_108" \in [1, oo) && "Fork_107" \in [1, oo) | ["Fork_83" \in [1, oo) && "Catch2_84" \in [1, oo) | ["Fork_151" \in [1, oo) && "Catch2_152" \in [1, oo) | [["Fork_80" \in [1, oo) && "Catch2_81" \in [1, oo) | ["Catch2_40" \in [1, oo) && "Fork_39" \in [1, oo) | ["Fork_16" \in [1, oo) && "Catch2_17" \in [1, oo) | ["Fork_37" \in [1, oo) && "Catch2_38" \in [1, oo) | ["Fork_183" \in [1, oo) && "Catch2_184" \in [1, oo) | [["Catch2_153" \in [1, oo) && "Fork_152" \in [1, oo) | [["Fork_11" \in [1, oo) && "Catch2_12" \in [1, oo) | ["Fork_26" \in [1, oo) && "Catch2_27" \in [1, oo) | ["Fork_122" \in [1, oo) && "Catch2_123" \in [1, oo) | [["Fork_163" \in [1, oo) && "Catch2_164" \in [1, oo) | ["Fork_99" \in [1, oo) && "Catch2_100" \in [1, oo) | ["Fork_95" \in [1, oo) && "Catch2_96" \in [1, oo) | ["Fork_181" \in [1, oo) && "Catch2_182" \in [1, oo) | [["Fork_66" \in [1, oo) && "Catch2_67" \in [1, oo) | [["Fork_73" \in [1, oo) && "Catch2_74" \in [1, oo) | [["Fork_177" \in [1, oo) && "Catch2_178" \in [1, oo) | ["Fork_56" \in [1, oo) && "Catch2_57" \in [1, oo) | ["Fork_47" \in [1, oo) && "Catch2_48" \in [1, oo) | [["Fork_157" \in [1, oo) && "Catch2_158" \in [1, oo) | ["Fork_43" \in [1, oo) && "Catch2_44" \in [1, oo) | ["Fork_23" \in [1, oo) && "Catch2_24" \in [1, oo) | ["Fork_123" \in [1, oo) && "Catch2_124" \in [1, oo) | ["Fork_62" \in [1, oo) && "Catch2_63" \in [1, oo) | [["Catch2_128" \in [1, oo) && "Fork_127" \in [1, oo) | ["Fork_164" \in [1, oo) && "Catch2_165" \in [1, oo) | ["Fork_3" \in [1, oo) && "Catch2_4" \in [1, oo) | ["Fork_140" \in [1, oo) && "Catch2_141" \in [1, oo) | ["Fork_32" \in [1, oo) && "Catch2_33" \in [1, oo) | [[[["Fork_170" \in [1, oo) && "Catch2_171" \in [1, oo) | ["Fork_22" \in [1, oo) && "Catch2_23" \in [1, oo) | ["Catch2_83" \in [1, oo) && "Fork_82" \in [1, oo) | [[[[["Fork_160" \in [1, oo) && "Catch2_161" \in [1, oo) | ["Fork_153" \in [1, oo) && "Catch2_154" \in [1, oo) | ["Fork_138" \in [1, oo) && "Catch2_139" \in [1, oo) | [[[[[[[["Fork_142" \in [1, oo) && "Catch2_143" \in [1, oo) | ["Fork_180" \in [1, oo) && "Catch2_181" \in [1, oo) | ["Catch2_29" \in [1, oo) && "Fork_28" \in [1, oo) | ["Fork_111" \in [1, oo) && "Catch2_112" \in [1, oo) | ["Fork_171" \in [1, oo) && "Catch2_172" \in [1, oo) | [["Fork_71" \in [1, oo) && "Catch2_72" \in [1, oo) | "Fork_119" \in [1, oo) && "Catch2_120" \in [1, oo)] | "Fork_96" \in [1, oo) && "Catch2_97" \in [1, oo)]]]]]] | "Fork_125" \in [1, oo) && "Catch2_126" \in [1, oo)] | "Fork_46" \in [1, oo) && "Catch2_47" \in [1, oo)] | "Fork_145" \in [1, oo) && "Catch2_146" \in [1, oo)] | "Fork_187" \in [1, oo) && "Catch2_188" \in [1, oo)] | "Fork_87" \in [1, oo) && "Catch2_88" \in [1, oo)] | "Fork_36" \in [1, oo) && "Catch2_37" \in [1, oo)] | "Fork_30" \in [1, oo) && "Catch2_31" \in [1, oo)]]]] | "Fork_197" \in [1, oo) && "Catch2_198" \in [1, oo)] | "Fork_134" \in [1, oo) && "Catch2_135" \in [1, oo)] | "Fork_174" \in [1, oo) && "Catch2_175" \in [1, oo)] | "Fork_147" \in [1, oo) && "Catch2_148" \in [1, oo)]]]] | "Fork_8" \in [1, oo) && "Catch2_9" \in [1, oo)] | "Fork_19" \in [1, oo) && "Catch2_20" \in [1, oo)] | "Catch2_103" \in [1, oo) && "Fork_102" \in [1, oo)]]]]]] | "Fork_57" \in [1, oo) && "Catch2_58" \in [1, oo)]]]]]] | "Fork_31" \in [1, oo) && "Catch2_32" \in [1, oo)]]]] | "Fork_67" \in [1, oo) && "Catch2_68" \in [1, oo)]] | "Fork_120" \in [1, oo) && "Catch2_121" \in [1, oo)]] | "Fork_132" \in [1, oo) && "Catch2_133" \in [1, oo)]]]]] | "Fork_121" \in [1, oo) && "Catch2_122" \in [1, oo)]]]] | "Fork_33" \in [1, oo) && "Catch2_34" \in [1, oo)]] | "Fork_53" \in [1, oo) && "Catch2_54" \in [1, oo)]]]]]] | "Fork_101" \in [1, oo) && "Catch2_102" \in [1, oo)]]]]]]]] | "Catch2_173" \in [1, oo) && "Fork_172" \in [1, oo)]] | "Fork_70" \in [1, oo) && "Catch2_71" \in [1, oo)] | "Fork_51" \in [1, oo) && "Catch2_52" \in [1, oo)] | "Fork_162" \in [1, oo) && "Catch2_163" \in [1, oo)]] | "Fork_200" \in [1, oo) && "Catch2_1" \in [1, oo)]] | "Fork_173" \in [1, oo) && "Catch2_174" \in [1, oo)]]]]]] | "Fork_169" \in [1, oo) && "Catch2_170" \in [1, oo)] | "Fork_189" \in [1, oo) && "Catch2_190" \in [1, oo)]]]]]] | "Fork_165" \in [1, oo) && "Catch2_166" \in [1, oo)] | "Fork_130" \in [1, oo) && "Catch2_131" \in [1, oo)] | "Fork_25" \in [1, oo) && "Catch2_26" \in [1, oo)]]] | "Fork_194" \in [1, oo) && "Catch2_195" \in [1, oo)] | "Fork_61" \in [1, oo) && "Catch2_62" \in [1, oo)] | "Fork_116" \in [1, oo) && "Catch2_117" \in [1, oo)]]] | "Fork_48" \in [1, oo) && "Catch2_49" \in [1, oo)] | "Fork_35" \in [1, oo) && "Catch2_36" \in [1, oo)]]] | "Fork_55" \in [1, oo) && "Catch2_56" \in [1, oo)] | "Fork_190" \in [1, oo) && "Catch2_191" \in [1, oo)] | "Fork_78" \in [1, oo) && "Catch2_79" \in [1, oo)] | "Fork_113" \in [1, oo) && "Catch2_114" \in [1, oo)]] | "Fork_15" \in [1, oo) && "Catch2_16" \in [1, oo)] | "Fork_131" \in [1, oo) && "Catch2_132" \in [1, oo)] | "Fork_126" \in [1, oo) && "Catch2_127" \in [1, oo)] | "Catch2_157" \in [1, oo) && "Fork_156" \in [1, oo)] | "Fork_146" \in [1, oo) && "Catch2_147" \in [1, oo)]] | "Fork_58" \in [1, oo) && "Catch2_59" \in [1, oo)] | "Fork_148" \in [1, oo) && "Catch2_149" \in [1, oo)] | "Fork_141" \in [1, oo) && "Catch2_142" \in [1, oo)]] | "Fork_103" \in [1, oo) && "Catch2_104" \in [1, oo)]]]]]]]]]] | "Fork_108" \in [1, oo) && "Catch2_109" \in [1, oo)] | "Fork_143" \in [1, oo) && "Catch2_144" \in [1, oo)]]]]]]]] | "Catch2_169" \in [1, oo) && "Fork_168" \in [1, oo)]] | "Fork_93" \in [1, oo) && "Catch2_94" \in [1, oo)] | "Fork_161" \in [1, oo) && "Catch2_162" \in [1, oo)]]]]]]]]] | "Fork_195" \in [1, oo) && "Catch2_196" \in [1, oo)] | "Fork_9" \in [1, oo) && "Catch2_10" \in [1, oo)]] | "Catch2_18" \in [1, oo) && "Fork_17" \in [1, oo)] | "Fork_45" \in [1, oo) && "Catch2_46" \in [1, oo)] | "Fork_196" \in [1, oo) && "Catch2_197" \in [1, oo)] | "Fork_176" \in [1, oo) && "Catch2_177" \in [1, oo)] | "Fork_21" \in [1, oo) && "Catch2_22" \in [1, oo)] | "Catch2_30" \in [1, oo) && "Fork_29" \in [1, oo)] | "Fork_60" \in [1, oo) && "Catch2_61" \in [1, oo)] | "Catch2_42" \in [1, oo) && "Fork_41" \in [1, oo)] | "Fork_178" \in [1, oo) && "Catch2_179" \in [1, oo)] | "Fork_105" \in [1, oo) && "Catch2_106" \in [1, oo)] | "Fork_88" \in [1, oo) && "Catch2_89" \in [1, oo)] | "Fork_68" \in [1, oo) && "Catch2_69" \in [1, oo)] | "Catch2_194" \in [1, oo) && "Fork_193" \in [1, oo)] | "Fork_139" \in [1, oo) && "Catch2_140" \in [1, oo)] | "Catch2_55" \in [1, oo) && "Fork_54" \in [1, oo)] | "Fork_166" \in [1, oo) && "Catch2_167" \in [1, oo)] | "Fork_72" \in [1, oo) && "Catch2_73" \in [1, oo)] | "Fork_104" \in [1, oo) && "Catch2_105" \in [1, oo)] | "Fork_90" \in [1, oo) && "Catch2_91" \in [1, oo)] | "Catch2_11" \in [1, oo) && "Fork_10" \in [1, oo)] | "Fork_100" \in [1, oo) && "Catch2_101" \in [1, oo)] | "Catch2_189" \in [1, oo) && "Fork_188" \in [1, oo)] | "Fork_69" \in [1, oo) && "Catch2_70" \in [1, oo)] | "Fork_38" \in [1, oo) && "Catch2_39" \in [1, oo)] | "Fork_135" \in [1, oo) && "Catch2_136" \in [1, oo)] | "Fork_199" \in [1, oo) && "Catch2_200" \in [1, oo)] | "Catch2_116" \in [1, oo) && "Fork_115" \in [1, oo)] | "Fork_133" \in [1, oo) && "Catch2_134" \in [1, oo)] | "Catch2_150" \in [1, oo) && "Fork_149" \in [1, oo)] | "Fork_167" \in [1, oo) && "Catch2_168" \in [1, oo)] | "Fork_192" \in [1, oo) && "Catch2_193" \in [1, oo)] | "Fork_98" \in [1, oo) && "Catch2_99" \in [1, oo)] | "Fork_150" \in [1, oo) && "Catch2_151" \in [1, oo)] | "Catch2_85" \in [1, oo) && "Fork_84" \in [1, oo)] | "Fork_75" \in [1, oo) && "Catch2_76" \in [1, oo)]] | "Fork_86" \in [1, oo) && "Catch2_87" \in [1, oo)]] | "Fork_74" \in [1, oo) && "Catch2_75" \in [1, oo)] | "Fork_12" \in [1, oo) && "Catch2_13" \in [1, oo)] | "Catch2_93" \in [1, oo) && "Fork_92" \in [1, oo)] | "Fork_14" \in [1, oo) && "Catch2_15" \in [1, oo)]] | "Fork_191" \in [1, oo) && "Catch2_192" \in [1, oo)]]]]]


before gc: list nodes free: 1557982

after gc: idd nodes used:46495, unused:15953505; list nodes free:71089147

before gc: list nodes free: 1743613

after gc: idd nodes used:45381, unused:15954619; list nodes free:71093959

before gc: list nodes free: 1728201

after gc: idd nodes used:44478, unused:15955522; list nodes free:71097859

before gc: list nodes free: 1713133

after gc: idd nodes used:43363, unused:15956637; list nodes free:71102703

before gc: list nodes free: 1697945

after gc: idd nodes used:42369, unused:15957631; list nodes free:71107016

before gc: list nodes free: 1682165

after gc: idd nodes used:41763, unused:15958237; list nodes free:71109635

before gc: list nodes free: 1665166

after gc: idd nodes used:40883, unused:15959117; list nodes free:71113452

before gc: list nodes free: 1646889

after gc: idd nodes used:40763, unused:15959237; list nodes free:71113939

before gc: list nodes free: 1626316

after gc: idd nodes used:39503, unused:15960497; list nodes free:71119431

before gc: list nodes free: 1603791

after gc: idd nodes used:39243, unused:15960757; list nodes free:71120531

before gc: list nodes free: 1577786

after gc: idd nodes used:37805, unused:15962195; list nodes free:71126807

before gc: list nodes free: 1547842

after gc: idd nodes used:37691, unused:15962309; list nodes free:71127260

before gc: list nodes free: 1512183

after gc: idd nodes used:36453, unused:15963547; list nodes free:71132659

before gc: list nodes free: 1468628

after gc: idd nodes used:36986, unused:15963014; list nodes free:71130270

before gc: list nodes free: 1412987

after gc: idd nodes used:35117, unused:15964883; list nodes free:71138435

before gc: list nodes free: 1338783

after gc: idd nodes used:34046, unused:15965954; list nodes free:71143089