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-000500
export BK_EXAMINATION=ReachabilityFireability
export BK_TOOL=marcie
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1657
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/Philosophers-PT-000500
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool marcie:'
echo ' Test is Philosophers-PT-000500, examination is ReachabilityFireability'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

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

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

execution on node 4: quadhexa-2.u-paris10.fr (runId=136968524500068_n_4)
=====================================================================
runnning marcie on Philosophers-PT-000500 (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-000500, examination is ReachabilityFireability
=====================================================================

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

START 1369693053

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: 2500 NrTr: 2500)

net check time: 0m0sec

parse mcc successfull!

place and transition orderings generation:0m4sec

init dd package: 0m5sec


RS generation: 0m18sec


-> reachability set: #nodes 12980 (1.3e+04) #states 36,360,291,795,869,936,842,385,267,079,543,319,118,023,385,026,001,623,040,346,035,832,580,600,191,583,895,484,198,508,262,979,388,783,308,179,702,534,403,855,752,855,931,517,013,066,142,992,430,916,562,025,780,021,771,247,847,643,450,125,342,836,565,813,209,972,590,371,590,152,578,728,008,385,990,139,795,377,610,001 (238)



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

checking: AG [[["Fork_16" \in [1, oo) && "Think_17" \in [1, oo) | ["Fork_384" \in [1, oo) && "Think_385" \in [1, oo) | ["Fork_260" \in [1, oo) && "Think_261" \in [1, oo) | ["Fork_248" \in [1, oo) && "Think_249" \in [1, oo) | ["Fork_151" \in [1, oo) && "Think_152" \in [1, oo) | ["Fork_482" \in [1, oo) && "Think_483" \in [1, oo) | ["Fork_247" \in [1, oo) && "Think_248" \in [1, oo) | ["Fork_68" \in [1, oo) && "Think_69" \in [1, oo) | ["Fork_441" \in [1, oo) && "Think_442" \in [1, oo) | ["Fork_106" \in [1, oo) && "Think_107" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[["Think_403" \in [1, oo) && "Fork_402" \in [1, oo) | [[["Think_325" \in [1, oo) && "Fork_324" \in [1, oo) | [[[[["Think_109" \in [1, oo) && "Fork_108" \in [1, oo) | ["Fork_85" \in [1, oo) && "Think_86" \in [1, oo) | [[[[[[[[[[[[["Fork_437" \in [1, oo) && "Think_438" \in [1, oo) | ["Fork_337" \in [1, oo) && "Think_338" \in [1, oo) | [[[[[[[[[[["Fork_207" \in [1, oo) && "Think_208" \in [1, oo) | [[["Think_23" \in [1, oo) && "Fork_22" \in [1, oo) | ["Fork_302" \in [1, oo) && "Think_303" \in [1, oo) | ["Think_45" \in [1, oo) && "Fork_44" \in [1, oo) | ["Fork_442" \in [1, oo) && "Think_443" \in [1, oo) | ["Fork_35" \in [1, oo) && "Think_36" \in [1, oo) | ["Fork_357" \in [1, oo) && "Think_358" \in [1, oo) | ["Fork_52" \in [1, oo) && "Think_53" \in [1, oo) | ["Fork_413" \in [1, oo) && "Think_414" \in [1, oo) | ["Think_87" \in [1, oo) && "Fork_86" \in [1, oo) | ["Think_29" \in [1, oo) && "Fork_28" \in [1, oo) | ["Fork_339" \in [1, oo) && "Think_340" \in [1, oo) | ["Fork_467" \in [1, oo) && "Think_468" \in [1, oo) | ["Fork_319" \in [1, oo) && "Think_320" \in [1, oo) | ["Think_453" \in [1, oo) && "Fork_452" \in [1, oo) | ["Fork_343" \in [1, oo) && "Think_344" \in [1, oo) | ["Think_369" \in [1, oo) && "Fork_368" \in [1, oo) | ["Fork_121" \in [1, oo) && "Think_122" \in [1, oo) | [[["Fork_272" \in [1, oo) && "Think_273" \in [1, oo) | ["Think_37" \in [1, oo) && "Fork_36" \in [1, oo) | ["Fork_139" \in [1, oo) && "Think_140" \in [1, oo) | ["Fork_25" \in [1, oo) && "Think_26" \in [1, oo) | ["Fork_64" \in [1, oo) && "Think_65" \in [1, oo) | ["Think_500" \in [1, oo) && "Fork_499" \in [1, oo) | ["Fork_74" \in [1, oo) && "Think_75" \in [1, oo) | [["Think_376" \in [1, oo) && "Fork_375" \in [1, oo) | ["Fork_453" \in [1, oo) && "Think_454" \in [1, oo) | ["Fork_477" \in [1, oo) && "Think_478" \in [1, oo) | ["Think_479" \in [1, oo) && "Fork_478" \in [1, oo) | ["Fork_124" \in [1, oo) && "Think_125" \in [1, oo) | ["Think_455" \in [1, oo) && "Fork_454" \in [1, oo) | ["Fork_492" \in [1, oo) && "Think_493" \in [1, oo) | [[[["Fork_240" \in [1, oo) && "Think_241" \in [1, oo) | ["Think_232" \in [1, oo) && "Fork_231" \in [1, oo) | ["Fork_169" \in [1, oo) && "Think_170" \in [1, oo) | ["Think_165" \in [1, oo) && "Fork_164" \in [1, oo) | [[[[[[[[["Think_321" \in [1, oo) && "Fork_320" \in [1, oo) | [[["Think_496" \in [1, oo) && "Fork_495" \in [1, oo) | [[[["Fork_409" \in [1, oo) && "Think_410" \in [1, oo) | ["Fork_177" \in [1, oo) && "Think_178" \in [1, oo) | ["Fork_3" \in [1, oo) && "Think_4" \in [1, oo) | [[[[["Think_474" \in [1, oo) && "Fork_473" \in [1, oo) | [[["Think_281" \in [1, oo) && "Fork_280" \in [1, oo) | ["Fork_289" \in [1, oo) && "Think_290" \in [1, oo) | ["Fork_432" \in [1, oo) && "Think_433" \in [1, oo) | ["Fork_294" \in [1, oo) && "Think_295" \in [1, oo) | ["Fork_407" \in [1, oo) && "Think_408" \in [1, oo) | ["Fork_79" \in [1, oo) && "Think_80" \in [1, oo) | ["Fork_418" \in [1, oo) && "Think_419" \in [1, oo) | ["Fork_82" \in [1, oo) && "Think_83" \in [1, oo) | ["Fork_463" \in [1, oo) && "Think_464" \in [1, oo) | ["Fork_204" \in [1, oo) && "Think_205" \in [1, oo) | ["Fork_332" \in [1, oo) && "Think_333" \in [1, oo) | ["Fork_210" \in [1, oo) && "Think_211" \in [1, oo) | ["Fork_490" \in [1, oo) && "Think_491" \in [1, oo) | ["Fork_19" \in [1, oo) && "Think_20" \in [1, oo) | ["Fork_444" \in [1, oo) && "Think_445" \in [1, oo) | ["Fork_438" \in [1, oo) && "Think_439" \in [1, oo) | ["Fork_276" \in [1, oo) && "Think_277" \in [1, oo) | ["Fork_218" \in [1, oo) && "Think_219" \in [1, oo) | ["Fork_45" \in [1, oo) && "Think_46" \in [1, oo) | ["Fork_214" \in [1, oo) && "Think_215" \in [1, oo) | ["Fork_391" \in [1, oo) && "Think_392" \in [1, oo) | ["Fork_233" \in [1, oo) && "Think_234" \in [1, oo) | ["Fork_349" \in [1, oo) && "Think_350" \in [1, oo) | ["Fork_410" \in [1, oo) && "Think_411" \in [1, oo) | ["Fork_81" \in [1, oo) && "Think_82" \in [1, oo) | ["Fork_291" \in [1, oo) && "Think_292" \in [1, oo) | ["Fork_440" \in [1, oo) && "Think_441" \in [1, oo) | [[[["Fork_224" \in [1, oo) && "Think_225" \in [1, oo) | [["Fork_401" \in [1, oo) && "Think_402" \in [1, oo) | ["Think_490" \in [1, oo) && "Fork_489" \in [1, oo) | [[[["Think_275" \in [1, oo) && "Fork_274" \in [1, oo) | [[["Think_243" \in [1, oo) && "Fork_242" \in [1, oo) | [[[["Think_51" \in [1, oo) && "Fork_50" \in [1, oo) | ["Fork_290" \in [1, oo) && "Think_291" \in [1, oo) | [[[[[[[[[[[[[[[[["Think_186" \in [1, oo) && "Fork_185" \in [1, oo) | ["Fork_305" \in [1, oo) && "Think_306" \in [1, oo) | ["Fork_487" \in [1, oo) && "Think_488" \in [1, oo) | ["Fork_56" \in [1, oo) && "Think_57" \in [1, oo) | ["Fork_254" \in [1, oo) && "Think_255" \in [1, oo) | ["Fork_406" \in [1, oo) && "Think_407" \in [1, oo) | ["Fork_262" \in [1, oo) && "Think_263" \in [1, oo) | ["Fork_126" \in [1, oo) && "Think_127" \in [1, oo) | ["Fork_92" \in [1, oo) && "Think_93" \in [1, oo) | ["Think_58" \in [1, oo) && "Fork_57" \in [1, oo) | ["Fork_436" \in [1, oo) && "Think_437" \in [1, oo) | ["Fork_143" \in [1, oo) && "Think_144" \in [1, oo) | ["Fork_11" \in [1, oo) && "Think_12" \in [1, oo) | ["Think_294" \in [1, oo) && "Fork_293" \in [1, oo) | ["Think_72" \in [1, oo) && "Fork_71" \in [1, oo) | ["Think_465" \in [1, oo) && "Fork_464" \in [1, oo) | [["Think_111" \in [1, oo) && "Fork_110" \in [1, oo) | ["Fork_219" \in [1, oo) && "Think_220" \in [1, oo) | ["Fork_66" \in [1, oo) && "Think_67" \in [1, oo) | ["Fork_486" \in [1, oo) && "Think_487" \in [1, oo) | ["Think_308" \in [1, oo) && "Fork_307" \in [1, oo) | ["Fork_97" \in [1, oo) && "Think_98" \in [1, oo) | ["Think_221" \in [1, oo) && "Fork_220" \in [1, oo) | ["Fork_24" \in [1, oo) && "Think_25" \in [1, oo) | ["Fork_405" \in [1, oo) && "Think_406" \in [1, oo) | ["Think_382" \in [1, oo) && "Fork_381" \in [1, oo) | ["Fork_152" \in [1, oo) && "Think_153" \in [1, oo) | ["Fork_27" \in [1, oo) && "Think_28" \in [1, oo) | ["Think_422" \in [1, oo) && "Fork_421" \in [1, oo) | [[["Fork_250" \in [1, oo) && "Think_251" \in [1, oo) | [[["Fork_180" \in [1, oo) && "Think_181" \in [1, oo) | [["Fork_67" \in [1, oo) && "Think_68" \in [1, oo) | ["Think_352" \in [1, oo) && "Fork_351" \in [1, oo) | [[["Think_476" \in [1, oo) && "Fork_475" \in [1, oo) | [[[[["Think_435" \in [1, oo) && "Fork_434" \in [1, oo) | ["Fork_450" \in [1, oo) && "Think_451" \in [1, oo) | ["Fork_394" \in [1, oo) && "Think_395" \in [1, oo) | [[["Fork_15" \in [1, oo) && "Think_16" \in [1, oo) | ["Fork_43" \in [1, oo) && "Think_44" \in [1, oo) | [[[[[[[[[[["Think_317" \in [1, oo) && "Fork_316" \in [1, oo) | [[[[[[[[[[[[["Think_100" \in [1, oo) && "Fork_99" \in [1, oo) | [[[[[[[[[[[[[[[[[["Fork_127" \in [1, oo) && "Think_128" \in [1, oo) | ["Fork_288" \in [1, oo) && "Think_289" \in [1, oo) | ["Fork_298" \in [1, oo) && "Think_299" \in [1, oo) | ["Fork_446" \in [1, oo) && "Think_447" \in [1, oo) | ["Fork_390" \in [1, oo) && "Think_391" \in [1, oo) | ["Fork_34" \in [1, oo) && "Think_35" \in [1, oo) | ["Fork_266" \in [1, oo) && "Think_267" \in [1, oo) | ["Fork_20" \in [1, oo) && "Think_21" \in [1, oo) | ["Fork_163" \in [1, oo) && "Think_164" \in [1, oo) | ["Fork_228" \in [1, oo) && "Think_229" \in [1, oo) | ["Fork_297" \in [1, oo) && "Think_298" \in [1, oo) | ["Fork_451" \in [1, oo) && "Think_452" \in [1, oo) | ["Fork_199" \in [1, oo) && "Think_200" \in [1, oo) | ["Fork_206" \in [1, oo) && "Think_207" \in [1, oo) | ["Fork_456" \in [1, oo) && "Think_457" \in [1, oo) | ["Fork_347" \in [1, oo) && "Think_348" \in [1, oo) | ["Fork_335" \in [1, oo) && "Think_336" \in [1, oo) | ["Fork_496" \in [1, oo) && "Think_497" \in [1, oo) | ["Fork_112" \in [1, oo) && "Think_113" \in [1, oo) | ["Fork_162" \in [1, oo) && "Think_163" \in [1, oo) | ["Fork_213" \in [1, oo) && "Think_214" \in [1, oo) | ["Fork_138" \in [1, oo) && "Think_139" \in [1, oo) | ["Fork_103" \in [1, oo) && "Think_104" \in [1, oo) | ["Fork_109" \in [1, oo) && "Think_110" \in [1, oo) | ["Fork_215" \in [1, oo) && "Think_216" \in [1, oo) | ["Fork_184" \in [1, oo) && "Think_185" \in [1, oo) | ["Fork_310" \in [1, oo) && "Think_311" \in [1, oo) | ["Fork_314" \in [1, oo) && "Think_315" \in [1, oo) | ["Fork_48" \in [1, oo) && "Think_49" \in [1, oo) | ["Fork_38" \in [1, oo) && "Think_39" \in [1, oo) | ["Fork_29" \in [1, oo) && "Think_30" \in [1, oo) | ["Fork_458" \in [1, oo) && "Think_459" \in [1, oo) | ["Fork_374" \in [1, oo) && "Think_375" \in [1, oo) | ["Fork_202" \in [1, oo) && "Think_203" \in [1, oo) | ["Fork_98" \in [1, oo) && "Think_99" \in [1, oo) | ["Fork_359" \in [1, oo) && "Think_360" \in [1, oo) | ["Fork_37" \in [1, oo) && "Think_38" \in [1, oo) | ["Fork_315" \in [1, oo) && "Think_316" \in [1, oo) | ["Fork_469" \in [1, oo) && "Think_470" \in [1, oo) | ["Fork_383" \in [1, oo) && "Think_384" \in [1, oo) | ["Fork_252" \in [1, oo) && "Think_253" \in [1, oo) | ["Fork_363" \in [1, oo) && "Think_364" \in [1, oo) | ["Fork_408" \in [1, oo) && "Think_409" \in [1, oo) | ["Fork_361" \in [1, oo) && "Think_362" \in [1, oo) | ["Fork_481" \in [1, oo) && "Think_482" \in [1, oo) | ["Fork_303" \in [1, oo) && "Think_304" \in [1, oo) | ["Fork_236" \in [1, oo) && "Think_237" \in [1, oo) | ["Fork_102" \in [1, oo) && "Think_103" \in [1, oo) | ["Fork_118" \in [1, oo) && "Think_119" \in [1, oo) | ["Fork_387" \in [1, oo) && "Think_388" \in [1, oo) | ["Fork_348" \in [1, oo) && "Think_349" \in [1, oo) | ["Fork_362" \in [1, oo) && "Think_363" \in [1, oo) | ["Fork_465" \in [1, oo) && "Think_466" \in [1, oo) | ["Fork_148" \in [1, oo) && "Think_149" \in [1, oo) | ["Fork_459" \in [1, oo) && "Think_460" \in [1, oo) | ["Fork_258" \in [1, oo) && "Think_259" \in [1, oo) | ["Fork_321" \in [1, oo) && "Think_322" \in [1, oo) | ["Fork_58" \in [1, oo) && "Think_59" \in [1, oo) | ["Fork_53" \in [1, oo) && "Think_54" \in [1, oo) | ["Fork_78" \in [1, oo) && "Think_79" \in [1, oo) | ["Fork_400" \in [1, oo) && "Think_401" \in [1, oo) | ["Fork_346" \in [1, oo) && "Think_347" \in [1, oo) | ["Fork_156" \in [1, oo) && "Think_157" \in [1, oo) | ["Fork_6" \in [1, oo) && "Think_7" \in [1, oo) | ["Fork_256" \in [1, oo) && "Think_257" \in [1, oo) | ["Fork_91" \in [1, oo) && "Think_92" \in [1, oo) | ["Fork_200" \in [1, oo) && "Think_201" \in [1, oo) | ["Fork_283" \in [1, oo) && "Think_284" \in [1, oo) | ["Fork_445" \in [1, oo) && "Think_446" \in [1, oo) | ["Fork_105" \in [1, oo) && "Think_106" \in [1, oo) | ["Fork_230" \in [1, oo) && "Think_231" \in [1, oo) | ["Fork_344" \in [1, oo) && "Think_345" \in [1, oo) | ["Fork_140" \in [1, oo) && "Think_141" \in [1, oo) | ["Fork_331" \in [1, oo) && "Think_332" \in [1, oo) | ["Fork_270" \in [1, oo) && "Think_271" \in [1, oo) | ["Fork_356" \in [1, oo) && "Think_357" \in [1, oo) | ["Fork_191" \in [1, oo) && "Think_192" \in [1, oo) | ["Fork_275" \in [1, oo) && "Think_276" \in [1, oo) | ["Fork_309" \in [1, oo) && "Think_310" \in [1, oo) | ["Fork_393" \in [1, oo) && "Think_394" \in [1, oo) | ["Fork_455" \in [1, oo) && "Think_456" \in [1, oo) | ["Fork_135" \in [1, oo) && "Think_136" \in [1, oo) | ["Fork_404" \in [1, oo) && "Think_405" \in [1, oo) | ["Fork_312" \in [1, oo) && "Think_313" \in [1, oo) | ["Fork_54" \in [1, oo) && "Think_55" \in [1, oo) | ["Fork_182" \in [1, oo) && "Think_183" \in [1, oo) | ["Fork_217" \in [1, oo) && "Think_218" \in [1, oo) | ["Fork_201" \in [1, oo) && "Think_202" \in [1, oo) | ["Fork_435" \in [1, oo) && "Think_436" \in [1, oo) | ["Fork_113" \in [1, oo) && "Think_114" \in [1, oo) | ["Fork_330" \in [1, oo) && "Think_331" \in [1, oo) | ["Fork_245" \in [1, oo) && "Think_246" \in [1, oo) | ["Fork_336" \in [1, oo) && "Think_337" \in [1, oo) | ["Fork_311" \in [1, oo) && "Think_312" \in [1, oo) | ["Fork_87" \in [1, oo) && "Think_88" \in [1, oo) | ["Fork_101" \in [1, oo) && "Think_102" \in [1, oo) | ["Fork_470" \in [1, oo) && "Think_471" \in [1, oo) | ["Fork_136" \in [1, oo) && "Think_137" \in [1, oo) | ["Fork_264" \in [1, oo) && "Think_265" \in [1, oo) | ["Fork_149" \in [1, oo) && "Think_150" \in [1, oo) | ["Fork_128" \in [1, oo) && "Think_129" \in [1, oo) | ["Fork_141" \in [1, oo) && "Think_142" \in [1, oo) | ["Fork_271" \in [1, oo) && "Think_272" \in [1, oo) | ["Fork_355" \in [1, oo) && "Think_356" \in [1, oo) | ["Fork_161" \in [1, oo) && "Think_162" \in [1, oo) | ["Fork_334" \in [1, oo) && "Think_335" \in [1, oo) | ["Fork_333" \in [1, oo) && "Think_334" \in [1, oo) | ["Fork_73" \in [1, oo) && "Think_74" \in [1, oo) | ["Fork_403" \in [1, oo) && "Think_404" \in [1, oo) | ["Fork_216" \in [1, oo) && "Think_217" \in [1, oo) | ["Fork_193" \in [1, oo) && "Think_194" \in [1, oo) | ["Fork_269" \in [1, oo) && "Think_270" \in [1, oo) | ["Fork_345" \in [1, oo) && "Think_346" \in [1, oo) | ["Fork_480" \in [1, oo) && "Think_481" \in [1, oo) | ["Fork_278" \in [1, oo) && "Think_279" \in [1, oo) | ["Fork_241" \in [1, oo) && "Think_242" \in [1, oo) | ["Fork_419" \in [1, oo) && "Think_420" \in [1, oo) | ["Fork_160" \in [1, oo) && "Think_161" \in [1, oo) | ["Fork_209" \in [1, oo) && "Think_210" \in [1, oo) | ["Fork_483" \in [1, oo) && "Think_484" \in [1, oo) | ["Fork_88" \in [1, oo) && "Think_89" \in [1, oo) | ["Fork_417" \in [1, oo) && "Think_418" \in [1, oo) | ["Fork_223" \in [1, oo) && "Think_224" \in [1, oo) | ["Fork_380" \in [1, oo) && "Think_381" \in [1, oo) | ["Fork_268" \in [1, oo) && "Think_269" \in [1, oo) | ["Fork_386" \in [1, oo) && "Think_387" \in [1, oo) | ["Fork_195" \in [1, oo) && "Think_196" \in [1, oo) | ["Fork_253" \in [1, oo) && "Think_254" \in [1, oo) | ["Fork_229" \in [1, oo) && "Think_230" \in [1, oo) | ["Fork_325" \in [1, oo) && "Think_326" \in [1, oo) | ["Fork_326" \in [1, oo) && "Think_327" \in [1, oo) | ["Fork_389" \in [1, oo) && "Think_390" \in [1, oo) | ["Fork_439" \in [1, oo) && "Think_440" \in [1, oo) | ["Fork_119" \in [1, oo) && "Think_120" \in [1, oo) | ["Fork_41" \in [1, oo) && "Think_42" \in [1, oo) | ["Fork_364" \in [1, oo) && "Think_365" \in [1, oo) | ["Fork_238" \in [1, oo) && "Think_239" \in [1, oo) | ["Fork_59" \in [1, oo) && "Think_60" \in [1, oo) | ["Fork_212" \in [1, oo) && "Think_213" \in [1, oo) | ["Fork_222" \in [1, oo) && "Think_223" \in [1, oo) | ["Fork_373" \in [1, oo) && "Think_374" \in [1, oo) | ["Fork_83" \in [1, oo) && "Think_84" \in [1, oo) | ["Fork_277" \in [1, oo) && "Think_278" \in [1, oo) | ["Fork_488" \in [1, oo) && "Think_489" \in [1, oo) | ["Fork_360" \in [1, oo) && "Think_361" \in [1, oo) | ["Fork_296" \in [1, oo) && "Think_297" \in [1, oo) | ["Fork_188" \in [1, oo) && "Think_189" \in [1, oo) | ["Fork_259" \in [1, oo) && "Think_260" \in [1, oo) | ["Fork_354" \in [1, oo) && "Think_355" \in [1, oo) | ["Fork_2" \in [1, oo) && "Think_3" \in [1, oo) | ["Fork_371" \in [1, oo) && "Think_372" \in [1, oo) | ["Fork_431" \in [1, oo) && "Think_432" \in [1, oo) | ["Fork_466" \in [1, oo) && "Think_467" \in [1, oo) | ["Fork_411" \in [1, oo) && "Think_412" \in [1, oo) | ["Fork_21" \in [1, oo) && "Think_22" \in [1, oo) | ["Fork_376" \in [1, oo) && "Think_377" \in [1, oo) | ["Fork_462" \in [1, oo) && "Think_463" \in [1, oo) | ["Fork_257" \in [1, oo) && "Think_258" \in [1, oo) | ["Fork_471" \in [1, oo) && "Think_472" \in [1, oo) | ["Fork_308" \in [1, oo) && "Think_309" \in [1, oo) | ["Fork_51" \in [1, oo) && "Think_52" \in [1, oo) | [[["Fork_122" \in [1, oo) && "Think_123" \in [1, oo) | ["Fork_18" \in [1, oo) && "Think_19" \in [1, oo) | ["Fork_295" \in [1, oo) && "Think_296" \in [1, oo) | ["Fork_132" \in [1, oo) && "Think_133" \in [1, oo) | ["Fork_327" \in [1, oo) && "Think_328" \in [1, oo) | ["Fork_244" \in [1, oo) && "Think_245" \in [1, oo) | ["Fork_369" \in [1, oo) && "Think_370" \in [1, oo) | ["Fork_114" \in [1, oo) && "Think_115" \in [1, oo) | ["Fork_263" \in [1, oo) && "Think_264" \in [1, oo) | ["Fork_479" \in [1, oo) && "Think_480" \in [1, oo) | ["Fork_115" \in [1, oo) && "Think_116" \in [1, oo) | ["Fork_84" \in [1, oo) && "Think_85" \in [1, oo) | ["Fork_159" \in [1, oo) && "Think_160" \in [1, oo) | ["Fork_497" \in [1, oo) && "Think_498" \in [1, oo) | ["Fork_227" \in [1, oo) && "Think_228" \in [1, oo) | ["Fork_186" \in [1, oo) && "Think_187" \in [1, oo) | ["Fork_75" \in [1, oo) && "Think_76" \in [1, oo) | ["Fork_395" \in [1, oo) && "Think_396" \in [1, oo) | ["Fork_430" \in [1, oo) && "Think_431" \in [1, oo) | ["Fork_49" \in [1, oo) && "Think_50" \in [1, oo) | ["Fork_235" \in [1, oo) && "Think_236" \in [1, oo) | ["Fork_416" \in [1, oo) && "Think_417" \in [1, oo) | ["Fork_237" \in [1, oo) && "Think_238" \in [1, oo) | ["Fork_323" \in [1, oo) && "Think_324" \in [1, oo) | ["Fork_7" \in [1, oo) && "Think_8" \in [1, oo) | ["Fork_366" \in [1, oo) && "Think_367" \in [1, oo) | ["Fork_4" \in [1, oo) && "Think_5" \in [1, oo) | ["Fork_370" \in [1, oo) && "Think_371" \in [1, oo) | ["Fork_47" \in [1, oo) && "Think_48" \in [1, oo) | ["Fork_388" \in [1, oo) && "Think_389" \in [1, oo) | ["Fork_166" \in [1, oo) && "Think_167" \in [1, oo) | ["Fork_221" \in [1, oo) && "Think_222" \in [1, oo) | ["Fork_329" \in [1, oo) && "Think_330" \in [1, oo) | ["Fork_171" \in [1, oo) && "Think_172" \in [1, oo) | ["Fork_318" \in [1, oo) && "Think_319" \in [1, oo) | ["Fork_232" \in [1, oo) && "Think_233" \in [1, oo) | ["Fork_460" \in [1, oo) && "Think_461" \in [1, oo) | ["Fork_5" \in [1, oo) && "Think_6" \in [1, oo) | ["Fork_111" \in [1, oo) && "Think_112" \in [1, oo) | ["Fork_267" \in [1, oo) && "Think_268" \in [1, oo) | ["Fork_179" \in [1, oo) && "Think_180" \in [1, oo) | ["Fork_31" \in [1, oo) && "Think_32" \in [1, oo) | ["Fork_426" \in [1, oo) && "Think_427" \in [1, oo) | ["Fork_137" \in [1, oo) && "Think_138" \in [1, oo) | "Fork_63" \in [1, oo) && "Think_64" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Think_146" \in [1, oo) && "Fork_145" \in [1, oo)] | "Fork_69" \in [1, oo) && "Think_70" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Think_77" \in [1, oo) && "Fork_76" \in [1, oo)] | "Think_145" \in [1, oo) && "Fork_144" \in [1, oo)] | "Think_176" \in [1, oo) && "Fork_175" \in [1, oo)] | "Think_56" \in [1, oo) && "Fork_55" \in [1, oo)] | "Think_302" \in [1, oo) && "Fork_301" \in [1, oo)] | "Think_380" \in [1, oo) && "Fork_379" \in [1, oo)] | "Think_15" \in [1, oo) && "Fork_14" \in [1, oo)] | "Think_368" \in [1, oo) && "Fork_367" \in [1, oo)] | "Think_386" \in [1, oo) && "Fork_385" \in [1, oo)] | "Think_47" \in [1, oo) && "Fork_46" \in [1, oo)] | "Think_307" \in [1, oo) && "Fork_306" \in [1, oo)] | "Think_198" \in [1, oo) && "Fork_197" \in [1, oo)] | "Think_91" \in [1, oo) && "Fork_90" \in [1, oo)] | "Think_24" \in [1, oo) && "Fork_23" \in [1, oo)] | "Think_190" \in [1, oo) && "Fork_189" \in [1, oo)] | "Think_329" \in [1, oo) && "Fork_328" \in [1, oo)] | "Think_14" \in [1, oo) && "Fork_13" \in [1, oo)]] | "Think_450" \in [1, oo) && "Fork_449" \in [1, oo)] | "Think_274" \in [1, oo) && "Fork_273" \in [1, oo)] | "Think_318" \in [1, oo) && "Fork_317" \in [1, oo)] | "Think_62" \in [1, oo) && "Fork_61" \in [1, oo)] | "Think_43" \in [1, oo) && "Fork_42" \in [1, oo)] | "Think_473" \in [1, oo) && "Fork_472" \in [1, oo)] | "Think_182" \in [1, oo) && "Fork_181" \in [1, oo)] | "Think_73" \in [1, oo) && "Fork_72" \in [1, oo)] | "Think_283" \in [1, oo) && "Fork_282" \in [1, oo)] | "Think_173" \in [1, oo) && "Fork_172" \in [1, oo)] | "Think_288" \in [1, oo) && "Fork_287" \in [1, oo)] | "Think_18" \in [1, oo) && "Fork_17" \in [1, oo)]] | "Think_61" \in [1, oo) && "Fork_60" \in [1, oo)] | "Think_351" \in [1, oo) && "Fork_350" \in [1, oo)] | "Think_475" \in [1, oo) && "Fork_474" \in [1, oo)] | "Think_339" \in [1, oo) && "Fork_338" \in [1, oo)] | "Think_397" \in [1, oo) && "Fork_396" \in [1, oo)] | "Think_398" \in [1, oo) && "Fork_397" \in [1, oo)] | "Think_423" \in [1, oo) && "Fork_422" \in [1, oo)] | "Think_9" \in [1, oo) && "Fork_8" \in [1, oo)] | "Think_244" \in [1, oo) && "Fork_243" \in [1, oo)] | "Fork_372" \in [1, oo) && "Think_373" \in [1, oo)]]] | "Think_11" \in [1, oo) && "Fork_10" \in [1, oo)] | "Fork_62" \in [1, oo) && "Think_63" \in [1, oo)]]]] | "Think_158" \in [1, oo) && "Fork_157" \in [1, oo)] | "Think_2" \in [1, oo) && "Fork_1" \in [1, oo)] | "Think_428" \in [1, oo) && "Fork_427" \in [1, oo)] | "Think_416" \in [1, oo) && "Fork_415" \in [1, oo)]] | "Fork_234" \in [1, oo) && "Think_235" \in [1, oo)] | "Think_343" \in [1, oo) && "Fork_342" \in [1, oo)]]] | "Fork_425" \in [1, oo) && "Think_426" \in [1, oo)]] | "Think_171" \in [1, oo) && "Fork_170" \in [1, oo)] | "Think_209" \in [1, oo) && "Fork_208" \in [1, oo)]] | "Think_286" \in [1, oo) && "Fork_285" \in [1, oo)] | "Fork_500" \in [1, oo) && "Think_1" \in [1, oo)]]]]]]]]]]]]]] | "Fork_9" \in [1, oo) && "Think_10" \in [1, oo)]]]]]]]]]]]]]]]]] | "Think_121" \in [1, oo) && "Fork_120" \in [1, oo)] | "Think_174" \in [1, oo) && "Fork_173" \in [1, oo)] | "Fork_167" \in [1, oo) && "Think_168" \in [1, oo)] | "Think_226" \in [1, oo) && "Fork_225" \in [1, oo)] | "Fork_211" \in [1, oo) && "Think_212" \in [1, oo)] | "Fork_246" \in [1, oo) && "Think_247" \in [1, oo)] | "Think_78" \in [1, oo) && "Fork_77" \in [1, oo)] | "Think_393" \in [1, oo) && "Fork_392" \in [1, oo)] | "Think_143" \in [1, oo) && "Fork_142" \in [1, oo)] | "Think_31" \in [1, oo) && "Fork_30" \in [1, oo)] | "Think_359" \in [1, oo) && "Fork_358" \in [1, oo)] | "Fork_174" \in [1, oo) && "Think_175" \in [1, oo)] | "Fork_116" \in [1, oo) && "Think_117" \in [1, oo)] | "Fork_147" \in [1, oo) && "Think_148" \in [1, oo)] | "Fork_196" \in [1, oo) && "Think_197" \in [1, oo)] | "Fork_89" \in [1, oo) && "Think_90" \in [1, oo)]]] | "Think_41" \in [1, oo) && "Fork_40" \in [1, oo)] | "Think_40" \in [1, oo) && "Fork_39" \in [1, oo)] | "Think_134" \in [1, oo) && "Fork_133" \in [1, oo)]] | "Think_341" \in [1, oo) && "Fork_340" \in [1, oo)] | "Think_469" \in [1, oo) && "Fork_468" \in [1, oo)]] | "Think_188" \in [1, oo) && "Fork_187" \in [1, oo)] | "Think_449" \in [1, oo) && "Fork_448" \in [1, oo)] | "Think_177" \in [1, oo) && "Fork_176" \in [1, oo)]]] | "Fork_32" \in [1, oo) && "Think_33" \in [1, oo)]] | "Fork_100" \in [1, oo) && "Think_101" \in [1, oo)] | "Fork_443" \in [1, oo) && "Think_444" \in [1, oo)] | "Fork_279" \in [1, oo) && "Think_280" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Think_199" \in [1, oo) && "Fork_198" \in [1, oo)] | "Think_495" \in [1, oo) && "Fork_494" \in [1, oo)]] | "Fork_493" \in [1, oo) && "Think_494" \in [1, oo)] | "Fork_304" \in [1, oo) && "Think_305" \in [1, oo)] | "Think_462" \in [1, oo) && "Fork_461" \in [1, oo)] | "Fork_429" \in [1, oo) && "Think_430" \in [1, oo)]]]] | "Think_262" \in [1, oo) && "Fork_261" \in [1, oo)] | "Think_81" \in [1, oo) && "Fork_80" \in [1, oo)] | "Think_448" \in [1, oo) && "Fork_447" \in [1, oo)]] | "Think_301" \in [1, oo) && "Fork_300" \in [1, oo)] | "Think_147" \in [1, oo) && "Fork_146" \in [1, oo)]] | "Think_179" \in [1, oo) && "Fork_178" \in [1, oo)] | "Think_195" \in [1, oo) && "Fork_194" \in [1, oo)] | "Think_71" \in [1, oo) && "Fork_70" \in [1, oo)] | "Think_434" \in [1, oo) && "Fork_433" \in [1, oo)] | "Think_240" \in [1, oo) && "Fork_239" \in [1, oo)] | "Think_486" \in [1, oo) && "Fork_485" \in [1, oo)] | "Think_353" \in [1, oo) && "Fork_352" \in [1, oo)] | "Think_293" \in [1, oo) && "Fork_292" \in [1, oo)]]]]] | "Think_105" \in [1, oo) && "Fork_104" \in [1, oo)] | "Think_204" \in [1, oo) && "Fork_203" \in [1, oo)] | "Fork_205" \in [1, oo) && "Think_206" \in [1, oo)]]]]]]]] | "Think_95" \in [1, oo) && "Fork_94" \in [1, oo)]]]]]]]] | "Think_399" \in [1, oo) && "Fork_398" \in [1, oo)] | "Fork_491" \in [1, oo) && "Think_492" \in [1, oo)]]]]]]]]]]]]]]]]]] | "Think_421" \in [1, oo) && "Fork_420" \in [1, oo)] | "Fork_226" \in [1, oo) && "Think_227" \in [1, oo)]] | "Think_13" \in [1, oo) && "Fork_12" \in [1, oo)] | "Think_108" \in [1, oo) && "Fork_107" \in [1, oo)] | "Fork_95" \in [1, oo) && "Think_96" \in [1, oo)] | "Fork_322" \in [1, oo) && "Think_323" \in [1, oo)] | "Fork_150" \in [1, oo) && "Think_151" \in [1, oo)] | "Think_126" \in [1, oo) && "Fork_125" \in [1, oo)] | "Fork_365" \in [1, oo) && "Think_366" \in [1, oo)] | "Think_131" \in [1, oo) && "Fork_130" \in [1, oo)] | "Fork_484" \in [1, oo) && "Think_485" \in [1, oo)] | "Fork_134" \in [1, oo) && "Think_135" \in [1, oo)]]] | "Fork_249" \in [1, oo) && "Think_250" \in [1, oo)] | "Fork_190" \in [1, oo) && "Think_191" \in [1, oo)] | "Think_383" \in [1, oo) && "Fork_382" \in [1, oo)] | "Fork_153" \in [1, oo) && "Think_154" \in [1, oo)] | "Think_477" \in [1, oo) && "Fork_476" \in [1, oo)] | "Think_458" \in [1, oo) && "Fork_457" \in [1, oo)] | "Think_300" \in [1, oo) && "Fork_299" \in [1, oo)] | "Think_66" \in [1, oo) && "Fork_65" \in [1, oo)] | "Think_285" \in [1, oo) && "Fork_284" \in [1, oo)] | "Fork_378" \in [1, oo) && "Think_379" \in [1, oo)] | "Think_97" \in [1, oo) && "Fork_96" \in [1, oo)] | "Think_166" \in [1, oo) && "Fork_165" \in [1, oo)]]] | "Think_425" \in [1, oo) && "Fork_424" \in [1, oo)] | "Think_130" \in [1, oo) && "Fork_129" \in [1, oo)] | "Think_413" \in [1, oo) && "Fork_412" \in [1, oo)] | "Think_34" \in [1, oo) && "Fork_33" \in [1, oo)]] | "Think_400" \in [1, oo) && "Fork_399" \in [1, oo)] | "Think_287" \in [1, oo) && "Fork_286" \in [1, oo)]] | "Think_118" \in [1, oo) && "Fork_117" \in [1, oo)] | "Think_124" \in [1, oo) && "Fork_123" \in [1, oo)] | "Fork_428" \in [1, oo) && "Think_429" \in [1, oo)] | "Think_499" \in [1, oo) && "Fork_498" \in [1, oo)] | "Think_354" \in [1, oo) && "Fork_353" \in [1, oo)] | "Fork_281" \in [1, oo) && "Think_282" \in [1, oo)] | "Think_27" \in [1, oo) && "Fork_26" \in [1, oo)] | "Think_378" \in [1, oo) && "Fork_377" \in [1, oo)] | "Think_159" \in [1, oo) && "Fork_158" \in [1, oo)] | "Think_156" \in [1, oo) && "Fork_155" \in [1, oo)] | "Fork_265" \in [1, oo) && "Think_266" \in [1, oo)] | "Think_342" \in [1, oo) && "Fork_341" \in [1, oo)] | "Think_132" \in [1, oo) && "Fork_131" \in [1, oo)] | "Think_256" \in [1, oo) && "Fork_255" \in [1, oo)] | "Fork_154" \in [1, oo) && "Think_155" \in [1, oo)] | "Think_184" \in [1, oo) && "Fork_183" \in [1, oo)] | "Think_252" \in [1, oo) && "Fork_251" \in [1, oo)] | "Think_415" \in [1, oo) && "Fork_414" \in [1, oo)] | "Think_169" \in [1, oo) && "Fork_168" \in [1, oo)] | "Think_193" \in [1, oo) && "Fork_192" \in [1, oo)] | "Think_314" \in [1, oo) && "Fork_313" \in [1, oo)] | "Think_424" \in [1, oo) && "Fork_423" \in [1, oo)] | "Fork_93" \in [1, oo) && "Think_94" \in [1, oo)]]]]]]]]]]] & ["Eat_199" \in [1, oo) | ["Eat_157" \in [1, oo) | ["Eat_14" \in [1, oo) | ["Eat_268" \in [1, oo) | ["Eat_297" \in [1, oo) | ["Eat_464" \in [1, oo) | ["Eat_202" \in [1, oo) | ["Eat_145" \in [1, oo) | ["Eat_465" \in [1, oo) | [[[["Eat_400" \in [1, oo) | [[[["Eat_500" \in [1, oo) | ["Eat_96" \in [1, oo) | ["Eat_365" \in [1, oo) | [[[["Eat_108" \in [1, oo) | ["Eat_483" \in [1, oo) | ["Eat_303" \in [1, oo) | ["Eat_37" \in [1, oo) | ["Eat_109" \in [1, oo) | ["Eat_28" \in [1, oo) | ["Eat_486" \in [1, oo) | ["Eat_219" \in [1, oo) | ["Eat_162" \in [1, oo) | ["Eat_161" \in [1, oo) | ["Eat_333" \in [1, oo) | [["Eat_324" \in [1, oo) | ["Eat_38" \in [1, oo) | ["Eat_111" \in [1, oo) | [["Eat_140" \in [1, oo) | ["Eat_163" \in [1, oo) | ["Eat_371" \in [1, oo) | [[[["Eat_472" \in [1, oo) | [[[[[[["Eat_248" \in [1, oo) | ["Eat_462" \in [1, oo) | ["Eat_200" \in [1, oo) | [["Eat_346" \in [1, oo) | ["Eat_228" \in [1, oo) | ["Eat_471" \in [1, oo) | [[[[[[[[[[[[[[["Eat_279" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[["Eat_67" \in [1, oo) | [[[[[[[[[[[[[[[["Eat_220" \in [1, oo) | ["Eat_477" \in [1, oo) | ["Eat_126" \in [1, oo) | ["Eat_245" \in [1, oo) | ["Eat_173" \in [1, oo) | ["Eat_442" \in [1, oo) | ["Eat_450" \in [1, oo) | ["Eat_61" \in [1, oo) | [["Eat_178" \in [1, oo) | ["Eat_60" \in [1, oo) | ["Eat_454" \in [1, oo) | ["Eat_491" \in [1, oo) | ["Eat_416" \in [1, oo) | ["Eat_379" \in [1, oo) | ["Eat_152" \in [1, oo) | ["Eat_389" \in [1, oo) | [[["Eat_114" \in [1, oo) | ["Eat_128" \in [1, oo) | ["Eat_301" \in [1, oo) | [[[["Eat_136" \in [1, oo) | [["Eat_117" \in [1, oo) | [["Eat_261" \in [1, oo) | [[["Eat_325" \in [1, oo) | [["Eat_170" \in [1, oo) | ["Eat_74" \in [1, oo) | ["Eat_59" \in [1, oo) | ["Eat_195" \in [1, oo) | [[["Eat_441" \in [1, oo) | ["Eat_48" \in [1, oo) | [[[[["Eat_262" \in [1, oo) | [[["Eat_185" \in [1, oo) | ["Eat_353" \in [1, oo) | [["Eat_312" \in [1, oo) | [[["Eat_10" \in [1, oo) | [[["Eat_273" \in [1, oo) | ["Eat_164" \in [1, oo) | [["Eat_410" \in [1, oo) | [[["Eat_44" \in [1, oo) | [[["Eat_432" \in [1, oo) | [["Eat_94" \in [1, oo) | [[[[[[[[[[[[["Eat_83" \in [1, oo) | [[[[[[[[[[[[[[[["Eat_341" \in [1, oo) | [[[[[[[[[[[[[[[[[["Eat_380" \in [1, oo) | [[[[[[[[[[[[[[[[[[[["Eat_2" \in [1, oo) | [[[[[[[[["Eat_180" \in [1, oo) | [[[[[[["Eat_29" \in [1, oo) | [["Eat_226" \in [1, oo) | [[[[[[[[[[[[[[[[[[["Eat_211" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[["Eat_255" \in [1, oo) | [[[["Eat_131" \in [1, oo) | [[[[["Eat_362" \in [1, oo) | ["Eat_194" \in [1, oo) | [["Eat_166" \in [1, oo) | ["Eat_284" \in [1, oo) | ["Eat_490" \in [1, oo) | [[[[[["Eat_139" \in [1, oo) | [[["Eat_290" \in [1, oo) | ["Eat_110" \in [1, oo) | [["Eat_405" \in [1, oo) | [[[[[[["Eat_223" \in [1, oo) | [["Eat_440" \in [1, oo) | [[[[["Eat_43" \in [1, oo) | ["Eat_482" \in [1, oo) | ["Eat_287" \in [1, oo) | ["Eat_283" \in [1, oo) | [["Eat_192" \in [1, oo) | ["Eat_363" \in [1, oo) | ["Eat_3" \in [1, oo) | [["Eat_298" \in [1, oo) | ["Eat_149" \in [1, oo) | [["Eat_496" \in [1, oo) | ["Eat_75" \in [1, oo) | ["Eat_414" \in [1, oo) | [[[[[["Eat_439" \in [1, oo) | [["Eat_78" \in [1, oo) | [[["Eat_241" \in [1, oo) | ["Eat_266" \in [1, oo) | [[[[["Eat_274" \in [1, oo) | ["Eat_401" \in [1, oo) | ["Eat_46" \in [1, oo) | ["Eat_84" \in [1, oo) | ["Eat_20" \in [1, oo) | ["Eat_395" \in [1, oo) | ["Eat_338" \in [1, oo) | ["Eat_12" \in [1, oo) | ["Eat_160" \in [1, oo) | ["Eat_172" \in [1, oo) | [[["Eat_473" \in [1, oo) | ["Eat_306" \in [1, oo) | ["Eat_57" \in [1, oo) | ["Eat_143" \in [1, oo) | ["Eat_125" \in [1, oo) | [[["Eat_260" \in [1, oo) | [["Eat_243" \in [1, oo) | ["Eat_88" \in [1, oo) | ["Eat_165" \in [1, oo) | ["Eat_72" \in [1, oo) | [[[[[[[["Eat_328" \in [1, oo) | ["Eat_356" \in [1, oo) | ["Eat_361" \in [1, oo) | ["Eat_430" \in [1, oo) | ["Eat_424" \in [1, oo) | ["Eat_374" \in [1, oo) | [[["Eat_129" \in [1, oo) | [[[[[[[[[[[[[[[["Eat_250" \in [1, oo) | ["Eat_417" \in [1, oo) | [[["Eat_467" \in [1, oo) | [["Eat_392" \in [1, oo) | [["Eat_458" \in [1, oo) | ["Eat_215" \in [1, oo) | [["Eat_334" \in [1, oo) | ["Eat_415" \in [1, oo) | ["Eat_198" \in [1, oo) | ["Eat_375" \in [1, oo) | ["Eat_137" \in [1, oo) | ["Eat_360" \in [1, oo) | ["Eat_193" \in [1, oo) | ["Eat_231" \in [1, oo) | ["Eat_422" \in [1, oo) | ["Eat_103" \in [1, oo) | ["Eat_87" \in [1, oo) | ["Eat_188" \in [1, oo) | "Eat_242" \in [1, oo)]]]]]]]]]]]] | "Eat_305" \in [1, oo)]]] | "Eat_350" \in [1, oo)]] | "Eat_203" \in [1, oo)]] | "Eat_56" \in [1, oo)] | "Eat_359" \in [1, oo)]]] | "Eat_259" \in [1, oo)] | "Eat_222" \in [1, oo)] | "Eat_300" \in [1, oo)] | "Eat_349" \in [1, oo)] | "Eat_478" \in [1, oo)] | "Eat_252" \in [1, oo)] | "Eat_191" \in [1, oo)] | "Eat_244" \in [1, oo)] | "Eat_232" \in [1, oo)] | "Eat_183" \in [1, oo)] | "Eat_186" \in [1, oo)] | "Eat_22" \in [1, oo)] | "Eat_102" \in [1, oo)] | "Eat_476" \in [1, oo)] | "Eat_308" \in [1, oo)]] | "Eat_406" \in [1, oo)] | "Eat_51" \in [1, oo)]]]]]]] | "Eat_100" \in [1, oo)] | "Eat_487" \in [1, oo)] | "Eat_119" \in [1, oo)] | "Eat_307" \in [1, oo)] | "Eat_182" \in [1, oo)] | "Eat_481" \in [1, oo)] | "Eat_107" \in [1, oo)]]]]] | "Eat_50" \in [1, oo)]] | "Eat_468" \in [1, oo)] | "Eat_351" \in [1, oo)]]]]]] | "Eat_382" \in [1, oo)] | "Eat_292" \in [1, oo)]]]]]]]]]]] | "Eat_207" \in [1, oo)] | "Eat_97" \in [1, oo)] | "Eat_304" \in [1, oo)] | "Eat_174" \in [1, oo)]]] | "Eat_492" \in [1, oo)] | "Eat_451" \in [1, oo)]] | "Eat_130" \in [1, oo)]] | "Eat_453" \in [1, oo)] | "Eat_428" \in [1, oo)] | "Eat_234" \in [1, oo)] | "Eat_270" \in [1, oo)] | "Eat_225" \in [1, oo)]]]] | "Eat_275" \in [1, oo)]]] | "Eat_474" \in [1, oo)]]]] | "Eat_239" \in [1, oo)]]]]] | "Eat_276" \in [1, oo)] | "Eat_323" \in [1, oo)] | "Eat_23" \in [1, oo)] | "Eat_372" \in [1, oo)]] | "Eat_370" \in [1, oo)]] | "Eat_329" \in [1, oo)] | "Eat_55" \in [1, oo)] | "Eat_385" \in [1, oo)] | "Eat_133" \in [1, oo)] | "Eat_106" \in [1, oo)] | "Eat_426" \in [1, oo)]] | "Eat_397" \in [1, oo)]]] | "Eat_42" \in [1, oo)] | "Eat_316" \in [1, oo)]] | "Eat_79" \in [1, oo)] | "Eat_132" \in [1, oo)] | "Eat_118" \in [1, oo)] | "Eat_253" \in [1, oo)] | "Eat_237" \in [1, oo)]]]] | "Eat_387" \in [1, oo)]]] | "Eat_90" \in [1, oo)] | "Eat_295" \in [1, oo)] | "Eat_175" \in [1, oo)] | "Eat_378" \in [1, oo)]] | "Eat_217" \in [1, oo)] | "Eat_25" \in [1, oo)] | "Eat_45" \in [1, oo)]] | "Eat_124" \in [1, oo)] | "Eat_150" \in [1, oo)] | "Eat_449" \in [1, oo)] | "Eat_176" \in [1, oo)] | "Eat_47" \in [1, oo)] | "Eat_402" \in [1, oo)] | "Eat_377" \in [1, oo)] | "Eat_230" \in [1, oo)] | "Eat_52" \in [1, oo)] | "Eat_494" \in [1, oo)] | "Eat_167" \in [1, oo)] | "Eat_355" \in [1, oo)] | "Eat_197" \in [1, oo)] | "Eat_475" \in [1, oo)] | "Eat_403" \in [1, oo)] | "Eat_347" \in [1, oo)] | "Eat_214" \in [1, oo)] | "Eat_488" \in [1, oo)] | "Eat_267" \in [1, oo)] | "Eat_331" \in [1, oo)] | "Eat_288" \in [1, oo)] | "Eat_310" \in [1, oo)] | "Eat_314" \in [1, oo)] | "Eat_489" \in [1, oo)] | "Eat_445" \in [1, oo)] | "Eat_144" \in [1, oo)] | "Eat_299" \in [1, oo)] | "Eat_135" \in [1, oo)] | "Eat_271" \in [1, oo)] | "Eat_147" \in [1, oo)] | "Eat_369" \in [1, oo)] | "Eat_357" \in [1, oo)] | "Eat_366" \in [1, oo)] | "Eat_68" \in [1, oo)] | "Eat_8" \in [1, oo)] | "Eat_240" \in [1, oo)] | "Eat_168" \in [1, oo)] | "Eat_9" \in [1, oo)] | "Eat_209" \in [1, oo)] | "Eat_497" \in [1, oo)] | "Eat_463" \in [1, oo)] | "Eat_480" \in [1, oo)] | "Eat_373" \in [1, oo)]] | "Eat_470" \in [1, oo)] | "Eat_281" \in [1, oo)] | "Eat_311" \in [1, oo)] | "Eat_218" \in [1, oo)] | "Eat_53" \in [1, oo)] | "Eat_499" \in [1, oo)] | "Eat_321" \in [1, oo)] | "Eat_431" \in [1, oo)] | "Eat_39" \in [1, oo)] | "Eat_326" \in [1, oo)] | "Eat_224" \in [1, oo)] | "Eat_327" \in [1, oo)] | "Eat_159" \in [1, oo)] | "Eat_336" \in [1, oo)] | "Eat_263" \in [1, oo)] | "Eat_229" \in [1, oo)] | "Eat_313" \in [1, oo)] | "Eat_280" \in [1, oo)]] | "Eat_493" \in [1, oo)]] | "Eat_17" \in [1, oo)] | "Eat_446" \in [1, oo)] | "Eat_436" \in [1, oo)] | "Eat_221" \in [1, oo)] | "Eat_413" \in [1, oo)] | "Eat_121" \in [1, oo)]] | "Eat_269" \in [1, oo)] | "Eat_91" \in [1, oo)] | "Eat_184" \in [1, oo)] | "Eat_16" \in [1, oo)] | "Eat_98" \in [1, oo)] | "Eat_419" \in [1, oo)] | "Eat_404" \in [1, oo)] | "Eat_189" \in [1, oo)]] | "Eat_148" \in [1, oo)] | "Eat_398" \in [1, oo)] | "Eat_93" \in [1, oo)] | "Eat_122" \in [1, oo)] | "Eat_433" \in [1, oo)] | "Eat_461" \in [1, oo)] | "Eat_30" \in [1, oo)] | "Eat_344" \in [1, oo)] | "Eat_49" \in [1, oo)] | "Eat_15" \in [1, oo)] | "Eat_155" \in [1, oo)] | "Eat_418" \in [1, oo)] | "Eat_34" \in [1, oo)] | "Eat_399" \in [1, oo)] | "Eat_151" \in [1, oo)] | "Eat_396" \in [1, oo)] | "Eat_320" \in [1, oo)] | "Eat_169" \in [1, oo)] | "Eat_322" \in [1, oo)]] | "Eat_32" \in [1, oo)] | "Eat_265" \in [1, oo)] | "Eat_85" \in [1, oo)] | "Eat_386" \in [1, oo)] | "Eat_452" \in [1, oo)] | "Eat_437" \in [1, oo)] | "Eat_294" \in [1, oo)] | "Eat_391" \in [1, oo)] | "Eat_120" \in [1, oo)] | "Eat_315" \in [1, oo)] | "Eat_69" \in [1, oo)] | "Eat_407" \in [1, oo)] | "Eat_24" \in [1, oo)] | "Eat_71" \in [1, oo)] | "Eat_210" \in [1, oo)] | "Eat_65" \in [1, oo)] | "Eat_254" \in [1, oo)]] | "Eat_256" \in [1, oo)] | "Eat_421" \in [1, oo)] | "Eat_187" \in [1, oo)] | "Eat_358" \in [1, oo)] | "Eat_435" \in [1, oo)] | "Eat_36" \in [1, oo)] | "Eat_291" \in [1, oo)] | "Eat_62" \in [1, oo)] | "Eat_26" \in [1, oo)] | "Eat_233" \in [1, oo)] | "Eat_40" \in [1, oo)] | "Eat_394" \in [1, oo)] | "Eat_104" \in [1, oo)] | "Eat_448" \in [1, oo)] | "Eat_86" \in [1, oo)]] | "Eat_196" \in [1, oo)] | "Eat_293" \in [1, oo)] | "Eat_249" \in [1, oo)] | "Eat_460" \in [1, oo)] | "Eat_138" \in [1, oo)] | "Eat_154" \in [1, oo)] | "Eat_443" \in [1, oo)] | "Eat_33" \in [1, oo)] | "Eat_156" \in [1, oo)] | "Eat_236" \in [1, oo)] | "Eat_70" \in [1, oo)] | "Eat_257" \in [1, oo)]] | "Eat_171" \in [1, oo)]] | "Eat_153" \in [1, oo)] | "Eat_388" \in [1, oo)]] | "Eat_332" \in [1, oo)] | "Eat_282" \in [1, oo)]] | "Eat_95" \in [1, oo)]]] | "Eat_116" \in [1, oo)] | "Eat_141" \in [1, oo)]] | "Eat_335" \in [1, oo)] | "Eat_264" \in [1, oo)]] | "Eat_112" \in [1, oo)]]] | "Eat_317" \in [1, oo)] | "Eat_408" \in [1, oo)]] | "Eat_208" \in [1, oo)] | "Eat_354" \in [1, oo)] | "Eat_158" \in [1, oo)] | "Eat_7" \in [1, oo)]]] | "Eat_251" \in [1, oo)] | "Eat_427" \in [1, oo)]]]]] | "Eat_134" \in [1, oo)]] | "Eat_337" \in [1, oo)] | "Eat_434" \in [1, oo)]] | "Eat_41" \in [1, oo)]] | "Eat_205" \in [1, oo)]] | "Eat_190" \in [1, oo)] | "Eat_411" \in [1, oo)] | "Eat_99" \in [1, oo)]]]] | "Eat_18" \in [1, oo)] | "Eat_80" \in [1, oo)]]]]]]]]] | "Eat_340" \in [1, oo)]]]]]]]]] | "Eat_425" \in [1, oo)] | "Eat_201" \in [1, oo)] | "Eat_66" \in [1, oo)] | "Eat_21" \in [1, oo)] | "Eat_19" \in [1, oo)] | "Eat_383" \in [1, oo)] | "Eat_319" \in [1, oo)] | "Eat_235" \in [1, oo)] | "Eat_495" \in [1, oo)] | "Eat_113" \in [1, oo)] | "Eat_420" \in [1, oo)] | "Eat_181" \in [1, oo)] | "Eat_409" \in [1, oo)] | "Eat_89" \in [1, oo)] | "Eat_342" \in [1, oo)]] | "Eat_212" \in [1, oo)] | "Eat_31" \in [1, oo)] | "Eat_1" \in [1, oo)] | "Eat_277" \in [1, oo)] | "Eat_485" \in [1, oo)] | "Eat_272" \in [1, oo)] | "Eat_4" \in [1, oo)] | "Eat_367" \in [1, oo)] | "Eat_216" \in [1, oo)] | "Eat_64" \in [1, oo)] | "Eat_348" \in [1, oo)] | "Eat_309" \in [1, oo)] | "Eat_54" \in [1, oo)] | "Eat_258" \in [1, oo)] | "Eat_35" \in [1, oo)] | "Eat_444" \in [1, oo)] | "Eat_368" \in [1, oo)] | "Eat_456" \in [1, oo)] | "Eat_286" \in [1, oo)] | "Eat_115" \in [1, oo)] | "Eat_390" \in [1, oo)] | "Eat_142" \in [1, oo)] | "Eat_447" \in [1, oo)] | "Eat_27" \in [1, oo)] | "Eat_247" \in [1, oo)] | "Eat_77" \in [1, oo)] | "Eat_285" \in [1, oo)] | "Eat_6" \in [1, oo)] | "Eat_469" \in [1, oo)] | "Eat_479" \in [1, oo)] | "Eat_101" \in [1, oo)] | "Eat_179" \in [1, oo)] | "Eat_364" \in [1, oo)] | "Eat_343" \in [1, oo)] | "Eat_466" \in [1, oo)] | "Eat_302" \in [1, oo)] | "Eat_177" \in [1, oo)] | "Eat_345" \in [1, oo)] | "Eat_146" \in [1, oo)] | "Eat_393" \in [1, oo)] | "Eat_376" \in [1, oo)] | "Eat_123" \in [1, oo)] | "Eat_82" \in [1, oo)]] | "Eat_384" \in [1, oo)] | "Eat_318" \in [1, oo)] | "Eat_63" \in [1, oo)] | "Eat_457" \in [1, oo)] | "Eat_76" \in [1, oo)] | "Eat_459" \in [1, oo)] | "Eat_423" \in [1, oo)] | "Eat_92" \in [1, oo)] | "Eat_455" \in [1, oo)] | "Eat_204" \in [1, oo)] | "Eat_73" \in [1, oo)] | "Eat_339" \in [1, oo)] | "Eat_381" \in [1, oo)] | "Eat_206" \in [1, oo)]]]] | "Eat_296" \in [1, oo)]]]] | "Eat_289" \in [1, oo)] | "Eat_246" \in [1, oo)] | "Eat_238" \in [1, oo)] | "Eat_11" \in [1, oo)] | "Eat_58" \in [1, oo)] | "Eat_81" \in [1, oo)]] | "Eat_438" \in [1, oo)] | "Eat_429" \in [1, oo)] | "Eat_227" \in [1, oo)]]]] | "Eat_278" \in [1, oo)]]]] | "Eat_330" \in [1, oo)]]]]]]]]]]]] | "Eat_412" \in [1, oo)] | "Eat_498" \in [1, oo)] | "Eat_484" \in [1, oo)]]]] | "Eat_127" \in [1, oo)] | "Eat_105" \in [1, oo)] | "Eat_13" \in [1, oo)]] | "Eat_5" \in [1, oo)] | "Eat_213" \in [1, oo)] | "Eat_352" \in [1, oo)]]]]]]]]]]]]
normalized: ~ [E [true U ~ [[["Fork_16" \in [1, oo) && "Think_17" \in [1, oo) | ["Fork_384" \in [1, oo) && "Think_385" \in [1, oo) | ["Fork_260" \in [1, oo) && "Think_261" \in [1, oo) | ["Fork_248" \in [1, oo) && "Think_249" \in [1, oo) | ["Fork_151" \in [1, oo) && "Think_152" \in [1, oo) | ["Fork_482" \in [1, oo) && "Think_483" \in [1, oo) | ["Fork_247" \in [1, oo) && "Think_248" \in [1, oo) | ["Fork_68" \in [1, oo) && "Think_69" \in [1, oo) | ["Fork_441" \in [1, oo) && "Think_442" \in [1, oo) | ["Fork_106" \in [1, oo) && "Think_107" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[["Think_403" \in [1, oo) && "Fork_402" \in [1, oo) | [[["Think_325" \in [1, oo) && "Fork_324" \in [1, oo) | [[[[["Think_109" \in [1, oo) && "Fork_108" \in [1, oo) | ["Fork_85" \in [1, oo) && "Think_86" \in [1, oo) | [[[[[[[[[[[[["Fork_437" \in [1, oo) && "Think_438" \in [1, oo) | ["Fork_337" \in [1, oo) && "Think_338" \in [1, oo) | [[[[[[[[[[["Fork_207" \in [1, oo) && "Think_208" \in [1, oo) | [[["Think_23" \in [1, oo) && "Fork_22" \in [1, oo) | ["Fork_302" \in [1, oo) && "Think_303" \in [1, oo) | ["Think_45" \in [1, oo) && "Fork_44" \in [1, oo) | ["Fork_442" \in [1, oo) && "Think_443" \in [1, oo) | ["Fork_35" \in [1, oo) && "Think_36" \in [1, oo) | ["Fork_357" \in [1, oo) && "Think_358" \in [1, oo) | ["Fork_52" \in [1, oo) && "Think_53" \in [1, oo) | ["Fork_413" \in [1, oo) && "Think_414" \in [1, oo) | ["Think_87" \in [1, oo) && "Fork_86" \in [1, oo) | ["Think_29" \in [1, oo) && "Fork_28" \in [1, oo) | ["Fork_339" \in [1, oo) && "Think_340" \in [1, oo) | ["Fork_467" \in [1, oo) && "Think_468" \in [1, oo) | ["Fork_319" \in [1, oo) && "Think_320" \in [1, oo) | ["Think_453" \in [1, oo) && "Fork_452" \in [1, oo) | ["Fork_343" \in [1, oo) && "Think_344" \in [1, oo) | ["Think_369" \in [1, oo) && "Fork_368" \in [1, oo) | ["Fork_121" \in [1, oo) && "Think_122" \in [1, oo) | [[["Fork_272" \in [1, oo) && "Think_273" \in [1, oo) | ["Think_37" \in [1, oo) && "Fork_36" \in [1, oo) | ["Fork_139" \in [1, oo) && "Think_140" \in [1, oo) | ["Fork_25" \in [1, oo) && "Think_26" \in [1, oo) | ["Fork_64" \in [1, oo) && "Think_65" \in [1, oo) | ["Think_500" \in [1, oo) && "Fork_499" \in [1, oo) | ["Fork_74" \in [1, oo) && "Think_75" \in [1, oo) | [["Think_376" \in [1, oo) && "Fork_375" \in [1, oo) | ["Fork_453" \in [1, oo) && "Think_454" \in [1, oo) | ["Fork_477" \in [1, oo) && "Think_478" \in [1, oo) | ["Think_479" \in [1, oo) && "Fork_478" \in [1, oo) | ["Fork_124" \in [1, oo) && "Think_125" \in [1, oo) | ["Think_455" \in [1, oo) && "Fork_454" \in [1, oo) | ["Fork_492" \in [1, oo) && "Think_493" \in [1, oo) | [[[["Fork_240" \in [1, oo) && "Think_241" \in [1, oo) | ["Think_232" \in [1, oo) && "Fork_231" \in [1, oo) | ["Fork_169" \in [1, oo) && "Think_170" \in [1, oo) | ["Think_165" \in [1, oo) && "Fork_164" \in [1, oo) | [[[[[[[[["Think_321" \in [1, oo) && "Fork_320" \in [1, oo) | [[["Think_496" \in [1, oo) && "Fork_495" \in [1, oo) | [[[["Fork_409" \in [1, oo) && "Think_410" \in [1, oo) | ["Fork_177" \in [1, oo) && "Think_178" \in [1, oo) | ["Fork_3" \in [1, oo) && "Think_4" \in [1, oo) | [[[[["Think_474" \in [1, oo) && "Fork_473" \in [1, oo) | [[["Think_281" \in [1, oo) && "Fork_280" \in [1, oo) | ["Fork_289" \in [1, oo) && "Think_290" \in [1, oo) | ["Fork_432" \in [1, oo) && "Think_433" \in [1, oo) | ["Fork_294" \in [1, oo) && "Think_295" \in [1, oo) | ["Fork_407" \in [1, oo) && "Think_408" \in [1, oo) | ["Fork_79" \in [1, oo) && "Think_80" \in [1, oo) | ["Fork_418" \in [1, oo) && "Think_419" \in [1, oo) | ["Fork_82" \in [1, oo) && "Think_83" \in [1, oo) | ["Fork_463" \in [1, oo) && "Think_464" \in [1, oo) | ["Fork_204" \in [1, oo) && "Think_205" \in [1, oo) | ["Fork_332" \in [1, oo) && "Think_333" \in [1, oo) | ["Fork_210" \in [1, oo) && "Think_211" \in [1, oo) | ["Fork_490" \in [1, oo) && "Think_491" \in [1, oo) | ["Fork_19" \in [1, oo) && "Think_20" \in [1, oo) | ["Fork_444" \in [1, oo) && "Think_445" \in [1, oo) | ["Fork_438" \in [1, oo) && "Think_439" \in [1, oo) | ["Fork_276" \in [1, oo) && "Think_277" \in [1, oo) | ["Fork_218" \in [1, oo) && "Think_219" \in [1, oo) | ["Fork_45" \in [1, oo) && "Think_46" \in [1, oo) | ["Fork_214" \in [1, oo) && "Think_215" \in [1, oo) | ["Fork_391" \in [1, oo) && "Think_392" \in [1, oo) | ["Fork_233" \in [1, oo) && "Think_234" \in [1, oo) | ["Fork_349" \in [1, oo) && "Think_350" \in [1, oo) | ["Fork_410" \in [1, oo) && "Think_411" \in [1, oo) | ["Fork_81" \in [1, oo) && "Think_82" \in [1, oo) | ["Fork_291" \in [1, oo) && "Think_292" \in [1, oo) | ["Fork_440" \in [1, oo) && "Think_441" \in [1, oo) | [[[["Fork_224" \in [1, oo) && "Think_225" \in [1, oo) | [["Fork_401" \in [1, oo) && "Think_402" \in [1, oo) | ["Think_490" \in [1, oo) && "Fork_489" \in [1, oo) | [[[["Think_275" \in [1, oo) && "Fork_274" \in [1, oo) | [[["Think_243" \in [1, oo) && "Fork_242" \in [1, oo) | [[[["Think_51" \in [1, oo) && "Fork_50" \in [1, oo) | ["Fork_290" \in [1, oo) && "Think_291" \in [1, oo) | [[[[[[[[[[[[[[[[["Think_186" \in [1, oo) && "Fork_185" \in [1, oo) | ["Fork_305" \in [1, oo) && "Think_306" \in [1, oo) | ["Fork_487" \in [1, oo) && "Think_488" \in [1, oo) | ["Fork_56" \in [1, oo) && "Think_57" \in [1, oo) | ["Fork_254" \in [1, oo) && "Think_255" \in [1, oo) | ["Fork_406" \in [1, oo) && "Think_407" \in [1, oo) | ["Fork_262" \in [1, oo) && "Think_263" \in [1, oo) | ["Fork_126" \in [1, oo) && "Think_127" \in [1, oo) | ["Fork_92" \in [1, oo) && "Think_93" \in [1, oo) | ["Think_58" \in [1, oo) && "Fork_57" \in [1, oo) | ["Fork_436" \in [1, oo) && "Think_437" \in [1, oo) | ["Fork_143" \in [1, oo) && "Think_144" \in [1, oo) | ["Fork_11" \in [1, oo) && "Think_12" \in [1, oo) | ["Think_294" \in [1, oo) && "Fork_293" \in [1, oo) | ["Think_72" \in [1, oo) && "Fork_71" \in [1, oo) | ["Think_465" \in [1, oo) && "Fork_464" \in [1, oo) | [["Think_111" \in [1, oo) && "Fork_110" \in [1, oo) | ["Fork_219" \in [1, oo) && "Think_220" \in [1, oo) | ["Fork_66" \in [1, oo) && "Think_67" \in [1, oo) | ["Fork_486" \in [1, oo) && "Think_487" \in [1, oo) | ["Think_308" \in [1, oo) && "Fork_307" \in [1, oo) | ["Fork_97" \in [1, oo) && "Think_98" \in [1, oo) | ["Think_221" \in [1, oo) && "Fork_220" \in [1, oo) | ["Fork_24" \in [1, oo) && "Think_25" \in [1, oo) | ["Fork_405" \in [1, oo) && "Think_406" \in [1, oo) | ["Think_382" \in [1, oo) && "Fork_381" \in [1, oo) | ["Fork_152" \in [1, oo) && "Think_153" \in [1, oo) | ["Fork_27" \in [1, oo) && "Think_28" \in [1, oo) | ["Think_422" \in [1, oo) && "Fork_421" \in [1, oo) | [[["Fork_250" \in [1, oo) && "Think_251" \in [1, oo) | [[["Fork_180" \in [1, oo) && "Think_181" \in [1, oo) | [["Fork_67" \in [1, oo) && "Think_68" \in [1, oo) | ["Think_352" \in [1, oo) && "Fork_351" \in [1, oo) | [[["Think_476" \in [1, oo) && "Fork_475" \in [1, oo) | [[[[["Think_435" \in [1, oo) && "Fork_434" \in [1, oo) | ["Fork_450" \in [1, oo) && "Think_451" \in [1, oo) | ["Fork_394" \in [1, oo) && "Think_395" \in [1, oo) | [[["Fork_15" \in [1, oo) && "Think_16" \in [1, oo) | ["Fork_43" \in [1, oo) && "Think_44" \in [1, oo) | [[[[[[[[[[["Think_317" \in [1, oo) && "Fork_316" \in [1, oo) | [[[[[[[[[[[[["Think_100" \in [1, oo) && "Fork_99" \in [1, oo) | [[[[[[[[[[[[[[[[[["Fork_127" \in [1, oo) && "Think_128" \in [1, oo) | ["Fork_288" \in [1, oo) && "Think_289" \in [1, oo) | ["Fork_298" \in [1, oo) && "Think_299" \in [1, oo) | ["Fork_446" \in [1, oo) && "Think_447" \in [1, oo) | ["Fork_390" \in [1, oo) && "Think_391" \in [1, oo) | ["Fork_34" \in [1, oo) && "Think_35" \in [1, oo) | ["Fork_266" \in [1, oo) && "Think_267" \in [1, oo) | ["Fork_20" \in [1, oo) && "Think_21" \in [1, oo) | ["Fork_163" \in [1, oo) && "Think_164" \in [1, oo) | ["Fork_228" \in [1, oo) && "Think_229" \in [1, oo) | ["Fork_297" \in [1, oo) && "Think_298" \in [1, oo) | ["Fork_451" \in [1, oo) && "Think_452" \in [1, oo) | ["Fork_199" \in [1, oo) && "Think_200" \in [1, oo) | ["Fork_206" \in [1, oo) && "Think_207" \in [1, oo) | ["Fork_456" \in [1, oo) && "Think_457" \in [1, oo) | ["Fork_347" \in [1, oo) && "Think_348" \in [1, oo) | ["Fork_335" \in [1, oo) && "Think_336" \in [1, oo) | ["Fork_496" \in [1, oo) && "Think_497" \in [1, oo) | ["Fork_112" \in [1, oo) && "Think_113" \in [1, oo) | ["Fork_162" \in [1, oo) && "Think_163" \in [1, oo) | ["Fork_213" \in [1, oo) && "Think_214" \in [1, oo) | ["Fork_138" \in [1, oo) && "Think_139" \in [1, oo) | ["Fork_103" \in [1, oo) && "Think_104" \in [1, oo) | ["Fork_109" \in [1, oo) && "Think_110" \in [1, oo) | ["Fork_215" \in [1, oo) && "Think_216" \in [1, oo) | ["Fork_184" \in [1, oo) && "Think_185" \in [1, oo) | ["Fork_310" \in [1, oo) && "Think_311" \in [1, oo) | ["Fork_314" \in [1, oo) && "Think_315" \in [1, oo) | ["Fork_48" \in [1, oo) && "Think_49" \in [1, oo) | ["Fork_38" \in [1, oo) && "Think_39" \in [1, oo) | ["Fork_29" \in [1, oo) && "Think_30" \in [1, oo) | ["Fork_458" \in [1, oo) && "Think_459" \in [1, oo) | ["Fork_374" \in [1, oo) && "Think_375" \in [1, oo) | ["Fork_202" \in [1, oo) && "Think_203" \in [1, oo) | ["Fork_98" \in [1, oo) && "Think_99" \in [1, oo) | ["Fork_359" \in [1, oo) && "Think_360" \in [1, oo) | ["Fork_37" \in [1, oo) && "Think_38" \in [1, oo) | ["Fork_315" \in [1, oo) && "Think_316" \in [1, oo) | ["Fork_469" \in [1, oo) && "Think_470" \in [1, oo) | ["Fork_383" \in [1, oo) && "Think_384" \in [1, oo) | ["Fork_252" \in [1, oo) && "Think_253" \in [1, oo) | ["Fork_363" \in [1, oo) && "Think_364" \in [1, oo) | ["Fork_408" \in [1, oo) && "Think_409" \in [1, oo) | ["Fork_361" \in [1, oo) && "Think_362" \in [1, oo) | ["Fork_481" \in [1, oo) && "Think_482" \in [1, oo) | ["Fork_303" \in [1, oo) && "Think_304" \in [1, oo) | ["Fork_236" \in [1, oo) && "Think_237" \in [1, oo) | ["Fork_102" \in [1, oo) && "Think_103" \in [1, oo) | ["Fork_118" \in [1, oo) && "Think_119" \in [1, oo) | ["Fork_387" \in [1, oo) && "Think_388" \in [1, oo) | ["Fork_348" \in [1, oo) && "Think_349" \in [1, oo) | ["Fork_362" \in [1, oo) && "Think_363" \in [1, oo) | ["Fork_465" \in [1, oo) && "Think_466" \in [1, oo) | ["Fork_148" \in [1, oo) && "Think_149" \in [1, oo) | ["Fork_459" \in [1, oo) && "Think_460" \in [1, oo) | ["Fork_258" \in [1, oo) && "Think_259" \in [1, oo) | ["Fork_321" \in [1, oo) && "Think_322" \in [1, oo) | ["Fork_58" \in [1, oo) && "Think_59" \in [1, oo) | ["Fork_53" \in [1, oo) && "Think_54" \in [1, oo) | ["Fork_78" \in [1, oo) && "Think_79" \in [1, oo) | ["Fork_400" \in [1, oo) && "Think_401" \in [1, oo) | ["Fork_346" \in [1, oo) && "Think_347" \in [1, oo) | ["Fork_156" \in [1, oo) && "Think_157" \in [1, oo) | ["Fork_6" \in [1, oo) && "Think_7" \in [1, oo) | ["Fork_256" \in [1, oo) && "Think_257" \in [1, oo) | ["Fork_91" \in [1, oo) && "Think_92" \in [1, oo) | ["Fork_200" \in [1, oo) && "Think_201" \in [1, oo) | ["Fork_283" \in [1, oo) && "Think_284" \in [1, oo) | ["Fork_445" \in [1, oo) && "Think_446" \in [1, oo) | ["Fork_105" \in [1, oo) && "Think_106" \in [1, oo) | ["Fork_230" \in [1, oo) && "Think_231" \in [1, oo) | ["Fork_344" \in [1, oo) && "Think_345" \in [1, oo) | ["Fork_140" \in [1, oo) && "Think_141" \in [1, oo) | ["Fork_331" \in [1, oo) && "Think_332" \in [1, oo) | ["Fork_270" \in [1, oo) && "Think_271" \in [1, oo) | ["Fork_356" \in [1, oo) && "Think_357" \in [1, oo) | ["Fork_191" \in [1, oo) && "Think_192" \in [1, oo) | ["Fork_275" \in [1, oo) && "Think_276" \in [1, oo) | ["Fork_309" \in [1, oo) && "Think_310" \in [1, oo) | ["Fork_393" \in [1, oo) && "Think_394" \in [1, oo) | ["Fork_455" \in [1, oo) && "Think_456" \in [1, oo) | ["Fork_135" \in [1, oo) && "Think_136" \in [1, oo) | ["Fork_404" \in [1, oo) && "Think_405" \in [1, oo) | ["Fork_312" \in [1, oo) && "Think_313" \in [1, oo) | ["Fork_54" \in [1, oo) && "Think_55" \in [1, oo) | ["Fork_182" \in [1, oo) && "Think_183" \in [1, oo) | ["Fork_217" \in [1, oo) && "Think_218" \in [1, oo) | ["Fork_201" \in [1, oo) && "Think_202" \in [1, oo) | ["Fork_435" \in [1, oo) && "Think_436" \in [1, oo) | ["Fork_113" \in [1, oo) && "Think_114" \in [1, oo) | ["Fork_330" \in [1, oo) && "Think_331" \in [1, oo) | ["Fork_245" \in [1, oo) && "Think_246" \in [1, oo) | ["Fork_336" \in [1, oo) && "Think_337" \in [1, oo) | ["Fork_311" \in [1, oo) && "Think_312" \in [1, oo) | ["Fork_87" \in [1, oo) && "Think_88" \in [1, oo) | ["Fork_101" \in [1, oo) && "Think_102" \in [1, oo) | ["Fork_470" \in [1, oo) && "Think_471" \in [1, oo) | ["Fork_136" \in [1, oo) && "Think_137" \in [1, oo) | ["Fork_264" \in [1, oo) && "Think_265" \in [1, oo) | ["Fork_149" \in [1, oo) && "Think_150" \in [1, oo) | ["Fork_128" \in [1, oo) && "Think_129" \in [1, oo) | ["Fork_141" \in [1, oo) && "Think_142" \in [1, oo) | ["Fork_271" \in [1, oo) && "Think_272" \in [1, oo) | ["Fork_355" \in [1, oo) && "Think_356" \in [1, oo) | ["Fork_161" \in [1, oo) && "Think_162" \in [1, oo) | ["Fork_334" \in [1, oo) && "Think_335" \in [1, oo) | ["Fork_333" \in [1, oo) && "Think_334" \in [1, oo) | ["Fork_73" \in [1, oo) && "Think_74" \in [1, oo) | ["Fork_403" \in [1, oo) && "Think_404" \in [1, oo) | ["Fork_216" \in [1, oo) && "Think_217" \in [1, oo) | ["Fork_193" \in [1, oo) && "Think_194" \in [1, oo) | ["Fork_269" \in [1, oo) && "Think_270" \in [1, oo) | ["Fork_345" \in [1, oo) && "Think_346" \in [1, oo) | ["Fork_480" \in [1, oo) && "Think_481" \in [1, oo) | ["Fork_278" \in [1, oo) && "Think_279" \in [1, oo) | ["Fork_241" \in [1, oo) && "Think_242" \in [1, oo) | ["Fork_419" \in [1, oo) && "Think_420" \in [1, oo) | ["Fork_160" \in [1, oo) && "Think_161" \in [1, oo) | ["Fork_209" \in [1, oo) && "Think_210" \in [1, oo) | ["Fork_483" \in [1, oo) && "Think_484" \in [1, oo) | ["Fork_88" \in [1, oo) && "Think_89" \in [1, oo) | ["Fork_417" \in [1, oo) && "Think_418" \in [1, oo) | ["Fork_223" \in [1, oo) && "Think_224" \in [1, oo) | ["Fork_380" \in [1, oo) && "Think_381" \in [1, oo) | ["Fork_268" \in [1, oo) && "Think_269" \in [1, oo) | ["Fork_386" \in [1, oo) && "Think_387" \in [1, oo) | ["Fork_195" \in [1, oo) && "Think_196" \in [1, oo) | ["Fork_253" \in [1, oo) && "Think_254" \in [1, oo) | ["Fork_229" \in [1, oo) && "Think_230" \in [1, oo) | ["Fork_325" \in [1, oo) && "Think_326" \in [1, oo) | ["Fork_326" \in [1, oo) && "Think_327" \in [1, oo) | ["Fork_389" \in [1, oo) && "Think_390" \in [1, oo) | ["Fork_439" \in [1, oo) && "Think_440" \in [1, oo) | ["Fork_119" \in [1, oo) && "Think_120" \in [1, oo) | ["Fork_41" \in [1, oo) && "Think_42" \in [1, oo) | ["Fork_364" \in [1, oo) && "Think_365" \in [1, oo) | ["Fork_238" \in [1, oo) && "Think_239" \in [1, oo) | ["Fork_59" \in [1, oo) && "Think_60" \in [1, oo) | ["Fork_212" \in [1, oo) && "Think_213" \in [1, oo) | ["Fork_222" \in [1, oo) && "Think_223" \in [1, oo) | ["Fork_373" \in [1, oo) && "Think_374" \in [1, oo) | ["Fork_83" \in [1, oo) && "Think_84" \in [1, oo) | ["Fork_277" \in [1, oo) && "Think_278" \in [1, oo) | ["Fork_488" \in [1, oo) && "Think_489" \in [1, oo) | ["Fork_360" \in [1, oo) && "Think_361" \in [1, oo) | ["Fork_296" \in [1, oo) && "Think_297" \in [1, oo) | ["Fork_188" \in [1, oo) && "Think_189" \in [1, oo) | ["Fork_259" \in [1, oo) && "Think_260" \in [1, oo) | ["Fork_354" \in [1, oo) && "Think_355" \in [1, oo) | ["Fork_2" \in [1, oo) && "Think_3" \in [1, oo) | ["Fork_371" \in [1, oo) && "Think_372" \in [1, oo) | ["Fork_431" \in [1, oo) && "Think_432" \in [1, oo) | ["Fork_466" \in [1, oo) && "Think_467" \in [1, oo) | ["Fork_411" \in [1, oo) && "Think_412" \in [1, oo) | ["Fork_21" \in [1, oo) && "Think_22" \in [1, oo) | ["Fork_376" \in [1, oo) && "Think_377" \in [1, oo) | ["Fork_462" \in [1, oo) && "Think_463" \in [1, oo) | ["Fork_257" \in [1, oo) && "Think_258" \in [1, oo) | ["Fork_471" \in [1, oo) && "Think_472" \in [1, oo) | ["Fork_308" \in [1, oo) && "Think_309" \in [1, oo) | ["Fork_51" \in [1, oo) && "Think_52" \in [1, oo) | [[["Fork_122" \in [1, oo) && "Think_123" \in [1, oo) | ["Fork_18" \in [1, oo) && "Think_19" \in [1, oo) | ["Fork_295" \in [1, oo) && "Think_296" \in [1, oo) | ["Fork_132" \in [1, oo) && "Think_133" \in [1, oo) | ["Fork_327" \in [1, oo) && "Think_328" \in [1, oo) | ["Fork_244" \in [1, oo) && "Think_245" \in [1, oo) | ["Fork_369" \in [1, oo) && "Think_370" \in [1, oo) | ["Fork_114" \in [1, oo) && "Think_115" \in [1, oo) | ["Fork_263" \in [1, oo) && "Think_264" \in [1, oo) | ["Fork_479" \in [1, oo) && "Think_480" \in [1, oo) | ["Fork_115" \in [1, oo) && "Think_116" \in [1, oo) | ["Fork_84" \in [1, oo) && "Think_85" \in [1, oo) | ["Fork_159" \in [1, oo) && "Think_160" \in [1, oo) | ["Fork_497" \in [1, oo) && "Think_498" \in [1, oo) | ["Fork_227" \in [1, oo) && "Think_228" \in [1, oo) | ["Fork_186" \in [1, oo) && "Think_187" \in [1, oo) | ["Fork_75" \in [1, oo) && "Think_76" \in [1, oo) | ["Fork_395" \in [1, oo) && "Think_396" \in [1, oo) | ["Fork_430" \in [1, oo) && "Think_431" \in [1, oo) | ["Fork_49" \in [1, oo) && "Think_50" \in [1, oo) | ["Fork_235" \in [1, oo) && "Think_236" \in [1, oo) | ["Fork_416" \in [1, oo) && "Think_417" \in [1, oo) | ["Fork_237" \in [1, oo) && "Think_238" \in [1, oo) | ["Fork_323" \in [1, oo) && "Think_324" \in [1, oo) | ["Fork_7" \in [1, oo) && "Think_8" \in [1, oo) | ["Fork_366" \in [1, oo) && "Think_367" \in [1, oo) | ["Fork_4" \in [1, oo) && "Think_5" \in [1, oo) | ["Fork_370" \in [1, oo) && "Think_371" \in [1, oo) | ["Fork_47" \in [1, oo) && "Think_48" \in [1, oo) | ["Fork_388" \in [1, oo) && "Think_389" \in [1, oo) | ["Fork_166" \in [1, oo) && "Think_167" \in [1, oo) | ["Fork_221" \in [1, oo) && "Think_222" \in [1, oo) | ["Fork_329" \in [1, oo) && "Think_330" \in [1, oo) | ["Fork_171" \in [1, oo) && "Think_172" \in [1, oo) | ["Fork_318" \in [1, oo) && "Think_319" \in [1, oo) | ["Fork_232" \in [1, oo) && "Think_233" \in [1, oo) | ["Fork_460" \in [1, oo) && "Think_461" \in [1, oo) | ["Fork_5" \in [1, oo) && "Think_6" \in [1, oo) | ["Fork_111" \in [1, oo) && "Think_112" \in [1, oo) | ["Fork_267" \in [1, oo) && "Think_268" \in [1, oo) | ["Fork_179" \in [1, oo) && "Think_180" \in [1, oo) | ["Fork_31" \in [1, oo) && "Think_32" \in [1, oo) | ["Fork_426" \in [1, oo) && "Think_427" \in [1, oo) | ["Fork_137" \in [1, oo) && "Think_138" \in [1, oo) | "Fork_63" \in [1, oo) && "Think_64" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Think_146" \in [1, oo) && "Fork_145" \in [1, oo)] | "Fork_69" \in [1, oo) && "Think_70" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Think_77" \in [1, oo) && "Fork_76" \in [1, oo)] | "Think_145" \in [1, oo) && "Fork_144" \in [1, oo)] | "Think_176" \in [1, oo) && "Fork_175" \in [1, oo)] | "Think_56" \in [1, oo) && "Fork_55" \in [1, oo)] | "Think_302" \in [1, oo) && "Fork_301" \in [1, oo)] | "Think_380" \in [1, oo) && "Fork_379" \in [1, oo)] | "Think_15" \in [1, oo) && "Fork_14" \in [1, oo)] | "Think_368" \in [1, oo) && "Fork_367" \in [1, oo)] | "Think_386" \in [1, oo) && "Fork_385" \in [1, oo)] | "Think_47" \in [1, oo) && "Fork_46" \in [1, oo)] | "Think_307" \in [1, oo) && "Fork_306" \in [1, oo)] | "Think_198" \in [1, oo) && "Fork_197" \in [1, oo)] | "Think_91" \in [1, oo) && "Fork_90" \in [1, oo)] | "Think_24" \in [1, oo) && "Fork_23" \in [1, oo)] | "Think_190" \in [1, oo) && "Fork_189" \in [1, oo)] | "Think_329" \in [1, oo) && "Fork_328" \in [1, oo)] | "Think_14" \in [1, oo) && "Fork_13" \in [1, oo)]] | "Think_450" \in [1, oo) && "Fork_449" \in [1, oo)] | "Think_274" \in [1, oo) && "Fork_273" \in [1, oo)] | "Think_318" \in [1, oo) && "Fork_317" \in [1, oo)] | "Think_62" \in [1, oo) && "Fork_61" \in [1, oo)] | "Think_43" \in [1, oo) && "Fork_42" \in [1, oo)] | "Think_473" \in [1, oo) && "Fork_472" \in [1, oo)] | "Think_182" \in [1, oo) && "Fork_181" \in [1, oo)] | "Think_73" \in [1, oo) && "Fork_72" \in [1, oo)] | "Think_283" \in [1, oo) && "Fork_282" \in [1, oo)] | "Think_173" \in [1, oo) && "Fork_172" \in [1, oo)] | "Think_288" \in [1, oo) && "Fork_287" \in [1, oo)] | "Think_18" \in [1, oo) && "Fork_17" \in [1, oo)]] | "Think_61" \in [1, oo) && "Fork_60" \in [1, oo)] | "Think_351" \in [1, oo) && "Fork_350" \in [1, oo)] | "Think_475" \in [1, oo) && "Fork_474" \in [1, oo)] | "Think_339" \in [1, oo) && "Fork_338" \in [1, oo)] | "Think_397" \in [1, oo) && "Fork_396" \in [1, oo)] | "Think_398" \in [1, oo) && "Fork_397" \in [1, oo)] | "Think_423" \in [1, oo) && "Fork_422" \in [1, oo)] | "Think_9" \in [1, oo) && "Fork_8" \in [1, oo)] | "Think_244" \in [1, oo) && "Fork_243" \in [1, oo)] | "Fork_372" \in [1, oo) && "Think_373" \in [1, oo)]]] | "Think_11" \in [1, oo) && "Fork_10" \in [1, oo)] | "Fork_62" \in [1, oo) && "Think_63" \in [1, oo)]]]] | "Think_158" \in [1, oo) && "Fork_157" \in [1, oo)] | "Think_2" \in [1, oo) && "Fork_1" \in [1, oo)] | "Think_428" \in [1, oo) && "Fork_427" \in [1, oo)] | "Think_416" \in [1, oo) && "Fork_415" \in [1, oo)]] | "Fork_234" \in [1, oo) && "Think_235" \in [1, oo)] | "Think_343" \in [1, oo) && "Fork_342" \in [1, oo)]]] | "Fork_425" \in [1, oo) && "Think_426" \in [1, oo)]] | "Think_171" \in [1, oo) && "Fork_170" \in [1, oo)] | "Think_209" \in [1, oo) && "Fork_208" \in [1, oo)]] | "Think_286" \in [1, oo) && "Fork_285" \in [1, oo)] | "Fork_500" \in [1, oo) && "Think_1" \in [1, oo)]]]]]]]]]]]]]] | "Fork_9" \in [1, oo) && "Think_10" \in [1, oo)]]]]]]]]]]]]]]]]] | "Think_121" \in [1, oo) && "Fork_120" \in [1, oo)] | "Think_174" \in [1, oo) && "Fork_173" \in [1, oo)] | "Fork_167" \in [1, oo) && "Think_168" \in [1, oo)] | "Think_226" \in [1, oo) && "Fork_225" \in [1, oo)] | "Fork_211" \in [1, oo) && "Think_212" \in [1, oo)] | "Fork_246" \in [1, oo) && "Think_247" \in [1, oo)] | "Think_78" \in [1, oo) && "Fork_77" \in [1, oo)] | "Think_393" \in [1, oo) && "Fork_392" \in [1, oo)] | "Think_143" \in [1, oo) && "Fork_142" \in [1, oo)] | "Think_31" \in [1, oo) && "Fork_30" \in [1, oo)] | "Think_359" \in [1, oo) && "Fork_358" \in [1, oo)] | "Fork_174" \in [1, oo) && "Think_175" \in [1, oo)] | "Fork_116" \in [1, oo) && "Think_117" \in [1, oo)] | "Fork_147" \in [1, oo) && "Think_148" \in [1, oo)] | "Fork_196" \in [1, oo) && "Think_197" \in [1, oo)] | "Fork_89" \in [1, oo) && "Think_90" \in [1, oo)]]] | "Think_41" \in [1, oo) && "Fork_40" \in [1, oo)] | "Think_40" \in [1, oo) && "Fork_39" \in [1, oo)] | "Think_134" \in [1, oo) && "Fork_133" \in [1, oo)]] | "Think_341" \in [1, oo) && "Fork_340" \in [1, oo)] | "Think_469" \in [1, oo) && "Fork_468" \in [1, oo)]] | "Think_188" \in [1, oo) && "Fork_187" \in [1, oo)] | "Think_449" \in [1, oo) && "Fork_448" \in [1, oo)] | "Think_177" \in [1, oo) && "Fork_176" \in [1, oo)]]] | "Fork_32" \in [1, oo) && "Think_33" \in [1, oo)]] | "Fork_100" \in [1, oo) && "Think_101" \in [1, oo)] | "Fork_443" \in [1, oo) && "Think_444" \in [1, oo)] | "Fork_279" \in [1, oo) && "Think_280" \in [1, oo)]]]]]]]]]]]]]]]]]]]]]]]]]]]] | "Think_199" \in [1, oo) && "Fork_198" \in [1, oo)] | "Think_495" \in [1, oo) && "Fork_494" \in [1, oo)]] | "Fork_493" \in [1, oo) && "Think_494" \in [1, oo)] | "Fork_304" \in [1, oo) && "Think_305" \in [1, oo)] | "Think_462" \in [1, oo) && "Fork_461" \in [1, oo)] | "Fork_429" \in [1, oo) && "Think_430" \in [1, oo)]]]] | "Think_262" \in [1, oo) && "Fork_261" \in [1, oo)] | "Think_81" \in [1, oo) && "Fork_80" \in [1, oo)] | "Think_448" \in [1, oo) && "Fork_447" \in [1, oo)]] | "Think_301" \in [1, oo) && "Fork_300" \in [1, oo)] | "Think_147" \in [1, oo) && "Fork_146" \in [1, oo)]] | "Think_179" \in [1, oo) && "Fork_178" \in [1, oo)] | "Think_195" \in [1, oo) && "Fork_194" \in [1, oo)] | "Think_71" \in [1, oo) && "Fork_70" \in [1, oo)] | "Think_434" \in [1, oo) && "Fork_433" \in [1, oo)] | "Think_240" \in [1, oo) && "Fork_239" \in [1, oo)] | "Think_486" \in [1, oo) && "Fork_485" \in [1, oo)] | "Think_353" \in [1, oo) && "Fork_352" \in [1, oo)] | "Think_293" \in [1, oo) && "Fork_292" \in [1, oo)]]]]] | "Think_105" \in [1, oo) && "Fork_104" \in [1, oo)] | "Think_204" \in [1, oo) && "Fork_203" \in [1, oo)] | "Fork_205" \in [1, oo) && "Think_206" \in [1, oo)]]]]]]]] | "Think_95" \in [1, oo) && "Fork_94" \in [1, oo)]]]]]]]] | "Think_399" \in [1, oo) && "Fork_398" \in [1, oo)] | "Fork_491" \in [1, oo) && "Think_492" \in [1, oo)]]]]]]]]]]]]]]]]]] | "Think_421" \in [1, oo) && "Fork_420" \in [1, oo)] | "Fork_226" \in [1, oo) && "Think_227" \in [1, oo)]] | "Think_13" \in [1, oo) && "Fork_12" \in [1, oo)] | "Think_108" \in [1, oo) && "Fork_107" \in [1, oo)] | "Fork_95" \in [1, oo) && "Think_96" \in [1, oo)] | "Fork_322" \in [1, oo) && "Think_323" \in [1, oo)] | "Fork_150" \in [1, oo) && "Think_151" \in [1, oo)] | "Think_126" \in [1, oo) && "Fork_125" \in [1, oo)] | "Fork_365" \in [1, oo) && "Think_366" \in [1, oo)] | "Think_131" \in [1, oo) && "Fork_130" \in [1, oo)] | "Fork_484" \in [1, oo) && "Think_485" \in [1, oo)] | "Fork_134" \in [1, oo) && "Think_135" \in [1, oo)]]] | "Fork_249" \in [1, oo) && "Think_250" \in [1, oo)] | "Fork_190" \in [1, oo) && "Think_191" \in [1, oo)] | "Think_383" \in [1, oo) && "Fork_382" \in [1, oo)] | "Fork_153" \in [1, oo) && "Think_154" \in [1, oo)] | "Think_477" \in [1, oo) && "Fork_476" \in [1, oo)] | "Think_458" \in [1, oo) && "Fork_457" \in [1, oo)] | "Think_300" \in [1, oo) && "Fork_299" \in [1, oo)] | "Think_66" \in [1, oo) && "Fork_65" \in [1, oo)] | "Think_285" \in [1, oo) && "Fork_284" \in [1, oo)] | "Fork_378" \in [1, oo) && "Think_379" \in [1, oo)] | "Think_97" \in [1, oo) && "Fork_96" \in [1, oo)] | "Think_166" \in [1, oo) && "Fork_165" \in [1, oo)]]] | "Think_425" \in [1, oo) && "Fork_424" \in [1, oo)] | "Think_130" \in [1, oo) && "Fork_129" \in [1, oo)] | "Think_413" \in [1, oo) && "Fork_412" \in [1, oo)] | "Think_34" \in [1, oo) && "Fork_33" \in [1, oo)]] | "Think_400" \in [1, oo) && "Fork_399" \in [1, oo)] | "Think_287" \in [1, oo) && "Fork_286" \in [1, oo)]] | "Think_118" \in [1, oo) && "Fork_117" \in [1, oo)] | "Think_124" \in [1, oo) && "Fork_123" \in [1, oo)] | "Fork_428" \in [1, oo) && "Think_429" \in [1, oo)] | "Think_499" \in [1, oo) && "Fork_498" \in [1, oo)] | "Think_354" \in [1, oo) && "Fork_353" \in [1, oo)] | "Fork_281" \in [1, oo) && "Think_282" \in [1, oo)] | "Think_27" \in [1, oo) && "Fork_26" \in [1, oo)] | "Think_378" \in [1, oo) && "Fork_377" \in [1, oo)] | "Think_159" \in [1, oo) && "Fork_158" \in [1, oo)] | "Think_156" \in [1, oo) && "Fork_155" \in [1, oo)] | "Fork_265" \in [1, oo) && "Think_266" \in [1, oo)] | "Think_342" \in [1, oo) && "Fork_341" \in [1, oo)] | "Think_132" \in [1, oo) && "Fork_131" \in [1, oo)] | "Think_256" \in [1, oo) && "Fork_255" \in [1, oo)] | "Fork_154" \in [1, oo) && "Think_155" \in [1, oo)] | "Think_184" \in [1, oo) && "Fork_183" \in [1, oo)] | "Think_252" \in [1, oo) && "Fork_251" \in [1, oo)] | "Think_415" \in [1, oo) && "Fork_414" \in [1, oo)] | "Think_169" \in [1, oo) && "Fork_168" \in [1, oo)] | "Think_193" \in [1, oo) && "Fork_192" \in [1, oo)] | "Think_314" \in [1, oo) && "Fork_313" \in [1, oo)] | "Think_424" \in [1, oo) && "Fork_423" \in [1, oo)] | "Fork_93" \in [1, oo) && "Think_94" \in [1, oo)]]]]]]]]]]] & ["Eat_199" \in [1, oo) | ["Eat_157" \in [1, oo) | ["Eat_14" \in [1, oo) | ["Eat_268" \in [1, oo) | ["Eat_297" \in [1, oo) | ["Eat_464" \in [1, oo) | ["Eat_202" \in [1, oo) | ["Eat_145" \in [1, oo) | ["Eat_465" \in [1, oo) | [[[["Eat_400" \in [1, oo) | [[[["Eat_500" \in [1, oo) | ["Eat_96" \in [1, oo) | ["Eat_365" \in [1, oo) | [[[["Eat_108" \in [1, oo) | ["Eat_483" \in [1, oo) | ["Eat_303" \in [1, oo) | ["Eat_37" \in [1, oo) | ["Eat_109" \in [1, oo) | ["Eat_28" \in [1, oo) | ["Eat_486" \in [1, oo) | ["Eat_219" \in [1, oo) | ["Eat_162" \in [1, oo) | ["Eat_161" \in [1, oo) | ["Eat_333" \in [1, oo) | [["Eat_324" \in [1, oo) | ["Eat_38" \in [1, oo) | ["Eat_111" \in [1, oo) | [["Eat_140" \in [1, oo) | ["Eat_163" \in [1, oo) | ["Eat_371" \in [1, oo) | [[[["Eat_472" \in [1, oo) | [[[[[[["Eat_248" \in [1, oo) | ["Eat_462" \in [1, oo) | ["Eat_200" \in [1, oo) | [["Eat_346" \in [1, oo) | ["Eat_228" \in [1, oo) | ["Eat_471" \in [1, oo) | [[[[[[[[[[[[[[["Eat_279" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[["Eat_67" \in [1, oo) | [[[[[[[[[[[[[[[["Eat_220" \in [1, oo) | ["Eat_477" \in [1, oo) | ["Eat_126" \in [1, oo) | ["Eat_245" \in [1, oo) | ["Eat_173" \in [1, oo) | ["Eat_442" \in [1, oo) | ["Eat_450" \in [1, oo) | ["Eat_61" \in [1, oo) | [["Eat_178" \in [1, oo) | ["Eat_60" \in [1, oo) | ["Eat_454" \in [1, oo) | ["Eat_491" \in [1, oo) | ["Eat_416" \in [1, oo) | ["Eat_379" \in [1, oo) | ["Eat_152" \in [1, oo) | ["Eat_389" \in [1, oo) | [[["Eat_114" \in [1, oo) | ["Eat_128" \in [1, oo) | ["Eat_301" \in [1, oo) | [[[["Eat_136" \in [1, oo) | [["Eat_117" \in [1, oo) | [["Eat_261" \in [1, oo) | [[["Eat_325" \in [1, oo) | [["Eat_170" \in [1, oo) | ["Eat_74" \in [1, oo) | ["Eat_59" \in [1, oo) | ["Eat_195" \in [1, oo) | [[["Eat_441" \in [1, oo) | ["Eat_48" \in [1, oo) | [[[[["Eat_262" \in [1, oo) | [[["Eat_185" \in [1, oo) | ["Eat_353" \in [1, oo) | [["Eat_312" \in [1, oo) | [[["Eat_10" \in [1, oo) | [[["Eat_273" \in [1, oo) | ["Eat_164" \in [1, oo) | [["Eat_410" \in [1, oo) | [[["Eat_44" \in [1, oo) | [[["Eat_432" \in [1, oo) | [["Eat_94" \in [1, oo) | [[[[[[[[[[[[["Eat_83" \in [1, oo) | [[[[[[[[[[[[[[[["Eat_341" \in [1, oo) | [[[[[[[[[[[[[[[[[["Eat_380" \in [1, oo) | [[[[[[[[[[[[[[[[[[[["Eat_2" \in [1, oo) | [[[[[[[[["Eat_180" \in [1, oo) | [[[[[[["Eat_29" \in [1, oo) | [["Eat_226" \in [1, oo) | [[[[[[[[[[[[[[[[[[["Eat_211" \in [1, oo) | [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[["Eat_255" \in [1, oo) | [[[["Eat_131" \in [1, oo) | [[[[["Eat_362" \in [1, oo) | ["Eat_194" \in [1, oo) | [["Eat_166" \in [1, oo) | ["Eat_284" \in [1, oo) | ["Eat_490" \in [1, oo) | [[[[[["Eat_139" \in [1, oo) | [[["Eat_290" \in [1, oo) | ["Eat_110" \in [1, oo) | [["Eat_405" \in [1, oo) | [[[[[[["Eat_223" \in [1, oo) | [["Eat_440" \in [1, oo) | [[[[["Eat_43" \in [1, oo) | ["Eat_482" \in [1, oo) | ["Eat_287" \in [1, oo) | ["Eat_283" \in [1, oo) | [["Eat_192" \in [1, oo) | ["Eat_363" \in [1, oo) | ["Eat_3" \in [1, oo) | [["Eat_298" \in [1, oo) | ["Eat_149" \in [1, oo) | [["Eat_496" \in [1, oo) | ["Eat_75" \in [1, oo) | ["Eat_414" \in [1, oo) | [[[[[["Eat_439" \in [1, oo) | [["Eat_78" \in [1, oo) | [[["Eat_241" \in [1, oo) | ["Eat_266" \in [1, oo) | [[[[["Eat_274" \in [1, oo) | ["Eat_401" \in [1, oo) | ["Eat_46" \in [1, oo) | ["Eat_84" \in [1, oo) | ["Eat_20" \in [1, oo) | ["Eat_395" \in [1, oo) | ["Eat_338" \in [1, oo) | ["Eat_12" \in [1, oo) | ["Eat_160" \in [1, oo) | ["Eat_172" \in [1, oo) | [[["Eat_473" \in [1, oo) | ["Eat_306" \in [1, oo) | ["Eat_57" \in [1, oo) | ["Eat_143" \in [1, oo) | ["Eat_125" \in [1, oo) | [[["Eat_260" \in [1, oo) | [["Eat_243" \in [1, oo) | ["Eat_88" \in [1, oo) | ["Eat_165" \in [1, oo) | ["Eat_72" \in [1, oo) | [[[[[[[["Eat_328" \in [1, oo) | ["Eat_356" \in [1, oo) | ["Eat_361" \in [1, oo) | ["Eat_430" \in [1, oo) | ["Eat_424" \in [1, oo) | ["Eat_374" \in [1, oo) | [[["Eat_129" \in [1, oo) | [[[[[[[[[[[[[[[["Eat_250" \in [1, oo) | ["Eat_417" \in [1, oo) | [[["Eat_467" \in [1, oo) | [["Eat_392" \in [1, oo) | [["Eat_458" \in [1, oo) | ["Eat_215" \in [1, oo) | [["Eat_334" \in [1, oo) | ["Eat_415" \in [1, oo) | ["Eat_198" \in [1, oo) | ["Eat_375" \in [1, oo) | ["Eat_137" \in [1, oo) | ["Eat_360" \in [1, oo) | ["Eat_193" \in [1, oo) | ["Eat_231" \in [1, oo) | ["Eat_422" \in [1, oo) | ["Eat_103" \in [1, oo) | ["Eat_87" \in [1, oo) | ["Eat_188" \in [1, oo) | "Eat_242" \in [1, oo)]]]]]]]]]]]] | "Eat_305" \in [1, oo)]]] | "Eat_350" \in [1, oo)]] | "Eat_203" \in [1, oo)]] | "Eat_56" \in [1, oo)] | "Eat_359" \in [1, oo)]]] | "Eat_259" \in [1, oo)] | "Eat_222" \in [1, oo)] | "Eat_300" \in [1, oo)] | "Eat_349" \in [1, oo)] | "Eat_478" \in [1, oo)] | "Eat_252" \in [1, oo)] | "Eat_191" \in [1, oo)] | "Eat_244" \in [1, oo)] | "Eat_232" \in [1, oo)] | "Eat_183" \in [1, oo)] | "Eat_186" \in [1, oo)] | "Eat_22" \in [1, oo)] | "Eat_102" \in [1, oo)] | "Eat_476" \in [1, oo)] | "Eat_308" \in [1, oo)]] | "Eat_406" \in [1, oo)] | "Eat_51" \in [1, oo)]]]]]]] | "Eat_100" \in [1, oo)] | "Eat_487" \in [1, oo)] | "Eat_119" \in [1, oo)] | "Eat_307" \in [1, oo)] | "Eat_182" \in [1, oo)] | "Eat_481" \in [1, oo)] | "Eat_107" \in [1, oo)]]]]] | "Eat_50" \in [1, oo)]] | "Eat_468" \in [1, oo)] | "Eat_351" \in [1, oo)]]]]]] | "Eat_382" \in [1, oo)] | "Eat_292" \in [1, oo)]]]]]]]]]]] | "Eat_207" \in [1, oo)] | "Eat_97" \in [1, oo)] | "Eat_304" \in [1, oo)] | "Eat_174" \in [1, oo)]]] | "Eat_492" \in [1, oo)] | "Eat_451" \in [1, oo)]] | "Eat_130" \in [1, oo)]] | "Eat_453" \in [1, oo)] | "Eat_428" \in [1, oo)] | "Eat_234" \in [1, oo)] | "Eat_270" \in [1, oo)] | "Eat_225" \in [1, oo)]]]] | "Eat_275" \in [1, oo)]]] | "Eat_474" \in [1, oo)]]]] | "Eat_239" \in [1, oo)]]]]] | "Eat_276" \in [1, oo)] | "Eat_323" \in [1, oo)] | "Eat_23" \in [1, oo)] | "Eat_372" \in [1, oo)]] | "Eat_370" \in [1, oo)]] | "Eat_329" \in [1, oo)] | "Eat_55" \in [1, oo)] | "Eat_385" \in [1, oo)] | "Eat_133" \in [1, oo)] | "Eat_106" \in [1, oo)] | "Eat_426" \in [1, oo)]] | "Eat_397" \in [1, oo)]]] | "Eat_42" \in [1, oo)] | "Eat_316" \in [1, oo)]] | "Eat_79" \in [1, oo)] | "Eat_132" \in [1, oo)] | "Eat_118" \in [1, oo)] | "Eat_253" \in [1, oo)] | "Eat_237" \in [1, oo)]]]] | "Eat_387" \in [1, oo)]]] | "Eat_90" \in [1, oo)] | "Eat_295" \in [1, oo)] | "Eat_175" \in [1, oo)] | "Eat_378" \in [1, oo)]] | "Eat_217" \in [1, oo)] | "Eat_25" \in [1, oo)] | "Eat_45" \in [1, oo)]] | "Eat_124" \in [1, oo)] | "Eat_150" \in [1, oo)] | "Eat_449" \in [1, oo)] | "Eat_176" \in [1, oo)] | "Eat_47" \in [1, oo)] | "Eat_402" \in [1, oo)] | "Eat_377" \in [1, oo)] | "Eat_230" \in [1, oo)] | "Eat_52" \in [1, oo)] | "Eat_494" \in [1, oo)] | "Eat_167" \in [1, oo)] | "Eat_355" \in [1, oo)] | "Eat_197" \in [1, oo)] | "Eat_475" \in [1, oo)] | "Eat_403" \in [1, oo)] | "Eat_347" \in [1, oo)] | "Eat_214" \in [1, oo)] | "Eat_488" \in [1, oo)] | "Eat_267" \in [1, oo)] | "Eat_331" \in [1, oo)] | "Eat_288" \in [1, oo)] | "Eat_310" \in [1, oo)] | "Eat_314" \in [1, oo)] | "Eat_489" \in [1, oo)] | "Eat_445" \in [1, oo)] | "Eat_144" \in [1, oo)] | "Eat_299" \in [1, oo)] | "Eat_135" \in [1, oo)] | "Eat_271" \in [1, oo)] | "Eat_147" \in [1, oo)] | "Eat_369" \in [1, oo)] | "Eat_357" \in [1, oo)] | "Eat_366" \in [1, oo)] | "Eat_68" \in [1, oo)] | "Eat_8" \in [1, oo)] | "Eat_240" \in [1, oo)] | "Eat_168" \in [1, oo)] | "Eat_9" \in [1, oo)] | "Eat_209" \in [1, oo)] | "Eat_497" \in [1, oo)] | "Eat_463" \in [1, oo)] | "Eat_480" \in [1, oo)] | "Eat_373" \in [1, oo)]] | "Eat_470" \in [1, oo)] | "Eat_281" \in [1, oo)] | "Eat_311" \in [1, oo)] | "Eat_218" \in [1, oo)] | "Eat_53" \in [1, oo)] | "Eat_499" \in [1, oo)] | "Eat_321" \in [1, oo)] | "Eat_431" \in [1, oo)] | "Eat_39" \in [1, oo)] | "Eat_326" \in [1, oo)] | "Eat_224" \in [1, oo)] | "Eat_327" \in [1, oo)] | "Eat_159" \in [1, oo)] | "Eat_336" \in [1, oo)] | "Eat_263" \in [1, oo)] | "Eat_229" \in [1, oo)] | "Eat_313" \in [1, oo)] | "Eat_280" \in [1, oo)]] | "Eat_493" \in [1, oo)]] | "Eat_17" \in [1, oo)] | "Eat_446" \in [1, oo)] | "Eat_436" \in [1, oo)] | "Eat_221" \in [1, oo)] | "Eat_413" \in [1, oo)] | "Eat_121" \in [1, oo)]] | "Eat_269" \in [1, oo)] | "Eat_91" \in [1, oo)] | "Eat_184" \in [1, oo)] | "Eat_16" \in [1, oo)] | "Eat_98" \in [1, oo)] | "Eat_419" \in [1, oo)] | "Eat_404" \in [1, oo)] | "Eat_189" \in [1, oo)]] | "Eat_148" \in [1, oo)] | "Eat_398" \in [1, oo)] | "Eat_93" \in [1, oo)] | "Eat_122" \in [1, oo)] | "Eat_433" \in [1, oo)] | "Eat_461" \in [1, oo)] | "Eat_30" \in [1, oo)] | "Eat_344" \in [1, oo)] | "Eat_49" \in [1, oo)] | "Eat_15" \in [1, oo)] | "Eat_155" \in [1, oo)] | "Eat_418" \in [1, oo)] | "Eat_34" \in [1, oo)] | "Eat_399" \in [1, oo)] | "Eat_151" \in [1, oo)] | "Eat_396" \in [1, oo)] | "Eat_320" \in [1, oo)] | "Eat_169" \in [1, oo)] | "Eat_322" \in [1, oo)]] | "Eat_32" \in [1, oo)] | "Eat_265" \in [1, oo)] | "Eat_85" \in [1, oo)] | "Eat_386" \in [1, oo)] | "Eat_452" \in [1, oo)] | "Eat_437" \in [1, oo)] | "Eat_294" \in [1, oo)] | "Eat_391" \in [1, oo)] | "Eat_120" \in [1, oo)] | "Eat_315" \in [1, oo)] | "Eat_69" \in [1, oo)] | "Eat_407" \in [1, oo)] | "Eat_24" \in [1, oo)] | "Eat_71" \in [1, oo)] | "Eat_210" \in [1, oo)] | "Eat_65" \in [1, oo)] | "Eat_254" \in [1, oo)]] | "Eat_256" \in [1, oo)] | "Eat_421" \in [1, oo)] | "Eat_187" \in [1, oo)] | "Eat_358" \in [1, oo)] | "Eat_435" \in [1, oo)] | "Eat_36" \in [1, oo)] | "Eat_291" \in [1, oo)] | "Eat_62" \in [1, oo)] | "Eat_26" \in [1, oo)] | "Eat_233" \in [1, oo)] | "Eat_40" \in [1, oo)] | "Eat_394" \in [1, oo)] | "Eat_104" \in [1, oo)] | "Eat_448" \in [1, oo)] | "Eat_86" \in [1, oo)]] | "Eat_196" \in [1, oo)] | "Eat_293" \in [1, oo)] | "Eat_249" \in [1, oo)] | "Eat_460" \in [1, oo)] | "Eat_138" \in [1, oo)] | "Eat_154" \in [1, oo)] | "Eat_443" \in [1, oo)] | "Eat_33" \in [1, oo)] | "Eat_156" \in [1, oo)] | "Eat_236" \in [1, oo)] | "Eat_70" \in [1, oo)] | "Eat_257" \in [1, oo)]] | "Eat_171" \in [1, oo)]] | "Eat_153" \in [1, oo)] | "Eat_388" \in [1, oo)]] | "Eat_332" \in [1, oo)] | "Eat_282" \in [1, oo)]] | "Eat_95" \in [1, oo)]]] | "Eat_116" \in [1, oo)] | "Eat_141" \in [1, oo)]] | "Eat_335" \in [1, oo)] | "Eat_264" \in [1, oo)]] | "Eat_112" \in [1, oo)]]] | "Eat_317" \in [1, oo)] | "Eat_408" \in [1, oo)]] | "Eat_208" \in [1, oo)] | "Eat_354" \in [1, oo)] | "Eat_158" \in [1, oo)] | "Eat_7" \in [1, oo)]]] | "Eat_251" \in [1, oo)] | "Eat_427" \in [1, oo)]]]]] | "Eat_134" \in [1, oo)]] | "Eat_337" \in [1, oo)] | "Eat_434" \in [1, oo)]] | "Eat_41" \in [1, oo)]] | "Eat_205" \in [1, oo)]] | "Eat_190" \in [1, oo)] | "Eat_411" \in [1, oo)] | "Eat_99" \in [1, oo)]]]] | "Eat_18" \in [1, oo)] | "Eat_80" \in [1, oo)]]]]]]]]] | "Eat_340" \in [1, oo)]]]]]]]]] | "Eat_425" \in [1, oo)] | "Eat_201" \in [1, oo)] | "Eat_66" \in [1, oo)] | "Eat_21" \in [1, oo)] | "Eat_19" \in [1, oo)] | "Eat_383" \in [1, oo)] | "Eat_319" \in [1, oo)] | "Eat_235" \in [1, oo)] | "Eat_495" \in [1, oo)] | "Eat_113" \in [1, oo)] | "Eat_420" \in [1, oo)] | "Eat_181" \in [1, oo)] | "Eat_409" \in [1, oo)] | "Eat_89" \in [1, oo)] | "Eat_342" \in [1, oo)]] | "Eat_212" \in [1, oo)] | "Eat_31" \in [1, oo)] | "Eat_1" \in [1, oo)] | "Eat_277" \in [1, oo)] | "Eat_485" \in [1, oo)] | "Eat_272" \in [1, oo)] | "Eat_4" \in [1, oo)] | "Eat_367" \in [1, oo)] | "Eat_216" \in [1, oo)] | "Eat_64" \in [1, oo)] | "Eat_348" \in [1, oo)] | "Eat_309" \in [1, oo)] | "Eat_54" \in [1, oo)] | "Eat_258" \in [1, oo)] | "Eat_35" \in [1, oo)] | "Eat_444" \in [1, oo)] | "Eat_368" \in [1, oo)] | "Eat_456" \in [1, oo)] | "Eat_286" \in [1, oo)] | "Eat_115" \in [1, oo)] | "Eat_390" \in [1, oo)] | "Eat_142" \in [1, oo)] | "Eat_447" \in [1, oo)] | "Eat_27" \in [1, oo)] | "Eat_247" \in [1, oo)] | "Eat_77" \in [1, oo)] | "Eat_285" \in [1, oo)] | "Eat_6" \in [1, oo)] | "Eat_469" \in [1, oo)] | "Eat_479" \in [1, oo)] | "Eat_101" \in [1, oo)] | "Eat_179" \in [1, oo)] | "Eat_364" \in [1, oo)] | "Eat_343" \in [1, oo)] | "Eat_466" \in [1, oo)] | "Eat_302" \in [1, oo)] | "Eat_177" \in [1, oo)] | "Eat_345" \in [1, oo)] | "Eat_146" \in [1, oo)] | "Eat_393" \in [1, oo)] | "Eat_376" \in [1, oo)] | "Eat_123" \in [1, oo)] | "Eat_82" \in [1, oo)]] | "Eat_384" \in [1, oo)] | "Eat_318" \in [1, oo)] | "Eat_63" \in [1, oo)] | "Eat_457" \in [1, oo)] | "Eat_76" \in [1, oo)] | "Eat_459" \in [1, oo)] | "Eat_423" \in [1, oo)] | "Eat_92" \in [1, oo)] | "Eat_455" \in [1, oo)] | "Eat_204" \in [1, oo)] | "Eat_73" \in [1, oo)] | "Eat_339" \in [1, oo)] | "Eat_381" \in [1, oo)] | "Eat_206" \in [1, oo)]]]] | "Eat_296" \in [1, oo)]]]] | "Eat_289" \in [1, oo)] | "Eat_246" \in [1, oo)] | "Eat_238" \in [1, oo)] | "Eat_11" \in [1, oo)] | "Eat_58" \in [1, oo)] | "Eat_81" \in [1, oo)]] | "Eat_438" \in [1, oo)] | "Eat_429" \in [1, oo)] | "Eat_227" \in [1, oo)]]]] | "Eat_278" \in [1, oo)]]]] | "Eat_330" \in [1, oo)]]]]]]]]]]]] | "Eat_412" \in [1, oo)] | "Eat_498" \in [1, oo)] | "Eat_484" \in [1, oo)]]]] | "Eat_127" \in [1, oo)] | "Eat_105" \in [1, oo)] | "Eat_13" \in [1, oo)]] | "Eat_5" \in [1, oo)] | "Eat_213" \in [1, oo)] | "Eat_352" \in [1, oo)]]]]]]]]]]]]]]


before gc: list nodes free: 1030366

after gc: idd nodes used:1991588, unused:14008412; list nodes free:62544907

before gc: list nodes free: 1172435

after gc: idd nodes used:100879, unused:15899121; list nodes free:70835829

before gc: list nodes free: 1652049

after gc: idd nodes used:99672, unused:15900328; list nodes free:70841088

before gc: list nodes free: 1657843

after gc: idd nodes used:99062, unused:15900938; list nodes free:70843744

before gc: list nodes free: 1658749

after gc: idd nodes used:98686, unused:15901314; list nodes free:70845376

before gc: list nodes free: 1657384

after gc: idd nodes used:97860, unused:15902140; list nodes free:70848988

before gc: list nodes free: 1658068

after gc: idd nodes used:97818, unused:15902182; list nodes free:70849156

before gc: list nodes free: 1657061

after gc: idd nodes used:97550, unused:15902450; list nodes free:70850320

before gc: list nodes free: 1655817

after gc: idd nodes used:97068, unused:15902932; list nodes free:70852424

before gc: list nodes free: 1654332

after gc: idd nodes used:96360, unused:15903640; list nodes free:70855524

before gc: list nodes free: 1654607

after gc: idd nodes used:96236, unused:15903764; list nodes free:70856056