Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r126-tajo-158961389800057.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is Philosophers-COL-001000, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r126-tajo-158961389800057
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 4.4K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_pt
-rw-r--r-- 1 mcc users 7 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 52K Apr 27 15:14 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Philosophers-COL-001000-00
FORMULA_NAME Philosophers-COL-001000-01
FORMULA_NAME Philosophers-COL-001000-02
FORMULA_NAME Philosophers-COL-001000-03
FORMULA_NAME Philosophers-COL-001000-04
FORMULA_NAME Philosophers-COL-001000-05
FORMULA_NAME Philosophers-COL-001000-06
FORMULA_NAME Philosophers-COL-001000-07
FORMULA_NAME Philosophers-COL-001000-08
FORMULA_NAME Philosophers-COL-001000-09
FORMULA_NAME Philosophers-COL-001000-10
FORMULA_NAME Philosophers-COL-001000-11
FORMULA_NAME Philosophers-COL-001000-12
FORMULA_NAME Philosophers-COL-001000-13
FORMULA_NAME Philosophers-COL-001000-14
FORMULA_NAME Philosophers-COL-001000-15

=== Now, execution of the tool begins

BK_START 1589780523390

[2020-05-18 05:42:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-18 05:42:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-18 05:42:04] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-05-18 05:42:05] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 573 ms
[2020-05-18 05:42:05] [INFO ] sort/places :
Philo->think,fork,catch1,catch2,eat,

[2020-05-18 05:42:05] [INFO ] Imported 5 HL places and 5 HL transitions for a total of 5000 PT places and 5000.0 transition bindings in 26 ms.
[2020-05-18 05:42:05] [INFO ] Computed order based on color domains.
[2020-05-18 05:42:05] [INFO ] Unfolded HLPN to a Petri net with 5000 places and 5000 transitions in 57 ms.
[2020-05-18 05:42:05] [INFO ] Unfolded HLPN properties in 7 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 176 ms.
Working with output stream class java.io.PrintStream
Interrupted random walk after 79296 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen :[0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0]
// Phase 1: matrix 5000 rows 5000 cols
[2020-05-18 05:42:35] [INFO ] Computed 2000 place invariants in 112 ms
[2020-05-18 05:42:42] [INFO ] [Real]Absence check using 2000 positive place invariants in 5795 ms returned sat
[2020-05-18 05:42:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 05:42:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 05:42:55] [INFO ] [Real]Absence check using state equation in 13626 ms returned (error "Failed to check-sat")
[2020-05-18 05:42:56] [INFO ] [Real]Absence check using 2000 positive place invariants in 113 ms returned unsat
[2020-05-18 05:42:57] [INFO ] [Real]Absence check using 2000 positive place invariants in 113 ms returned unsat
[2020-05-18 05:43:02] [INFO ] [Real]Absence check using 2000 positive place invariants in 4892 ms returned sat
[2020-05-18 05:43:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 05:43:17] [INFO ] [Real]Absence check using state equation in 14561 ms returned (error "Solver has unexpectedly terminated")
[2020-05-18 05:43:22] [INFO ] [Real]Absence check using 2000 positive place invariants in 4516 ms returned sat
[2020-05-18 05:43:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-18 05:43:37] [INFO ] SMT solver returned unknown. Retrying;
[2020-05-18 05:43:37] [INFO ] [Real]Absence check using state equation in 14970 ms returned (error "Failed to check-sat")
[2020-05-18 05:43:37] [INFO ] [Real]Absence check using 2000 positive place invariants in 109 ms returned unsat
[2020-05-18 05:43:38] [INFO ] [Real]Absence check using 2000 positive place invariants in 113 ms returned unsat
Successfully simplified 4 atomic propositions for a total of 8 simplifications.
[2020-05-18 05:43:39] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-05-18 05:43:39] [INFO ] Flatten gal took : 523 ms
FORMULA Philosophers-COL-001000-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-COL-001000-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-COL-001000-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Philosophers-COL-001000-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-18 05:43:39] [INFO ] Flatten gal took : 228 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-18 05:43:40] [INFO ] Applying decomposition
[2020-05-18 05:43:40] [INFO ] Flatten gal took : 246 ms
[2020-05-18 05:43:40] [INFO ] Input system was already deterministic with 5000 transitions.
[2020-05-18 05:43:40] [INFO ] Too many transitions (5000) to apply POR reductions. Disabling POR matrices.
[2020-05-18 05:43:41] [INFO ] Built C files in 1133ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
[2020-05-18 05:44:07] [WARNING] Could not apply decomposition. Using flat GAL structure.
java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph491272581442519957.txt, -o, /tmp/graph491272581442519957.bin, -w, /tmp/graph491272581442519957.weights], workingDir=null] killed by timeout after 10 SECONDS
at fr.lip6.move.gal.process.Runner.waitForOrTimeout(Runner.java:76)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:47)
at fr.lip6.move.gal.process.Runner.runTool(Runner.java:27)
at fr.lip6.move.gal.louvain.GraphBuilder.convertGraphToBin(GraphBuilder.java:258)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:189)
at fr.lip6.move.gal.louvain.GraphBuilder.computeLouvain(GraphBuilder.java:157)
at fr.lip6.move.gal.application.MccTranslator.applyOrder(MccTranslator.java:215)
at fr.lip6.move.gal.application.MccTranslator.flattenSpec(MccTranslator.java:266)
at fr.lip6.move.gal.application.Application.runMultiITS(Application.java:1135)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:523)
at fr.lip6.move.gal.application.Application.start(Application.java:154)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:43)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:137)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:107)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:400)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:660)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:597)
at org.eclipse.equinox.launcher.Main.run(Main.java:1468)
at org.eclipse.equinox.launcher.Main.main(Main.java:1441)
[2020-05-18 05:44:07] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 52 ms
[2020-05-18 05:44:07] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 36 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 12 LTL properties
Checking formula 0 : !((F(X(G(F("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((eat_0+eat_1)+eat_2)+eat_3)+eat_4)+eat_5)+eat_6)+eat_7)+eat_8)+eat_9)+eat_10)+eat_11)+eat_12)+eat_13)+eat_14)+eat_15)+eat_16)+eat_17)+eat_18)+eat_19)+eat_20)+eat_21)+eat_22)+eat_23)+eat_24)+eat_25)+eat_26)+eat_27)+eat_28)+eat_29)+eat_30)+eat_31)+eat_32)+eat_33)+eat_34)+eat_35)+eat_36)+eat_37)+eat_38)+eat_39)+eat_40)+eat_41)+eat_42)+eat_43)+eat_44)+eat_45)+eat_46)+eat_47)+eat_48)+eat_49)+eat_50)+eat_51)+eat_52)+eat_53)+eat_54)+eat_55)+eat_56)+eat_57)+eat_58)+eat_59)+eat_60)+eat_61)+eat_62)+eat_63)+eat_64)+eat_65)+eat_66)+eat_67)+eat_68)+eat_69)+eat_70)+eat_71)+eat_72)+eat_73)+eat_74)+eat_75)+eat_76)+eat_77)+eat_78)+eat_79)+eat_80)+eat_81)+eat_82)+eat_83)+eat_84)+eat_85)+eat_86)+eat_87)+eat_88)+eat_89)+eat_90)+eat_91)+eat_92)+eat_93)+eat_94)+eat_95)+eat_96)+eat_97)+eat_98)+eat_99)+eat_100)+eat_101)+eat_102)+eat_103)+eat_104)+eat_105)+eat_106)+eat_107)+eat_108)+eat_109)+eat_110)+eat_111)+eat_112)+eat_113)+eat_114)+eat_115)+eat_116)+eat_117)+eat_118)+eat_119)+eat_120)+eat_121)+eat_122)+eat_123)+eat_124)+eat_125)+eat_126)+eat_127)+eat_128)+eat_129)+eat_130)+eat_131)+eat_132)+eat_133)+eat_134)+eat_135)+eat_136)+eat_137)+eat_138)+eat_139)+eat_140)+eat_141)+eat_142)+eat_143)+eat_144)+eat_145)+eat_146)+eat_147)+eat_148)+eat_149)+eat_150)+eat_151)+eat_152)+eat_153)+eat_154)+eat_155)+eat_156)+eat_157)+eat_158)+eat_159)+eat_160)+eat_161)+eat_162)+eat_163)+eat_164)+eat_165)+eat_166)+eat_167)+eat_168)+eat_169)+eat_170)+eat_171)+eat_172)+eat_173)+eat_174)+eat_175)+eat_176)+eat_177)+eat_178)+eat_179)+eat_180)+eat_181)+eat_182)+eat_183)+eat_184)+eat_185)+eat_186)+eat_187)+eat_188)+eat_189)+eat_190)+eat_191)+eat_192)+eat_193)+eat_194)+eat_195)+eat_196)+eat_197)+eat_198)+eat_199)+eat_200)+eat_201)+eat_202)+eat_203)+eat_204)+eat_205)+eat_206)+eat_207)+eat_208)+eat_209)+eat_210)+eat_211)+eat_212)+eat_213)+eat_214)+eat_215)+eat_216)+eat_217)+eat_218)+eat_219)+eat_220)+eat_221)+eat_222)+eat_223)+eat_224)+eat_225)+eat_226)+eat_227)+eat_228)+eat_229)+eat_230)+eat_231)+eat_232)+eat_233)+eat_234)+eat_235)+eat_236)+eat_237)+eat_238)+eat_239)+eat_240)+eat_241)+eat_242)+eat_243)+eat_244)+eat_245)+eat_246)+eat_247)+eat_248)+eat_249)+eat_250)+eat_251)+eat_252)+eat_253)+eat_254)+eat_255)+eat_256)+eat_257)+eat_258)+eat_259)+eat_260)+eat_261)+eat_262)+eat_263)+eat_264)+eat_265)+eat_266)+eat_267)+eat_268)+eat_269)+eat_270)+eat_271)+eat_272)+eat_273)+eat_274)+eat_275)+eat_276)+eat_277)+eat_278)+eat_279)+eat_280)+eat_281)+eat_282)+eat_283)+eat_284)+eat_285)+eat_286)+eat_287)+eat_288)+eat_289)+eat_290)+eat_291)+eat_292)+eat_293)+eat_294)+eat_295)+eat_296)+eat_297)+eat_298)+eat_299)+eat_300)+eat_301)+eat_302)+eat_303)+eat_304)+eat_305)+eat_306)+eat_307)+eat_308)+eat_309)+eat_310)+eat_311)+eat_312)+eat_313)+eat_314)+eat_315)+eat_316)+eat_317)+eat_318)+eat_319)+eat_320)+eat_321)+eat_322)+eat_323)+eat_324)+eat_325)+eat_326)+eat_327)+eat_328)+eat_329)+eat_330)+eat_331)+eat_332)+eat_333)+eat_334)+eat_335)+eat_336)+eat_337)+eat_338)+eat_339)+eat_340)+eat_341)+eat_342)+eat_343)+eat_344)+eat_345)+eat_346)+eat_347)+eat_348)+eat_349)+eat_350)+eat_351)+eat_352)+eat_353)+eat_354)+eat_355)+eat_356)+eat_357)+eat_358)+eat_359)+eat_360)+eat_361)+eat_362)+eat_363)+eat_364)+eat_365)+eat_366)+eat_367)+eat_368)+eat_369)+eat_370)+eat_371)+eat_372)+eat_373)+eat_374)+eat_375)+eat_376)+eat_377)+eat_378)+eat_379)+eat_380)+eat_381)+eat_382)+eat_383)+eat_384)+eat_385)+eat_386)+eat_387)+eat_388)+eat_389)+eat_390)+eat_391)+eat_392)+eat_393)+eat_394)+eat_395)+eat_396)+eat_397)+eat_398)+eat_399)+eat_400)+eat_401)+eat_402)+eat_403)+eat_404)+eat_405)+eat_406)+eat_407)+eat_408)+eat_409)+eat_410)+eat_411)+eat_412)+eat_413)+eat_414)+eat_415)+eat_416)+eat_417)+eat_418)+eat_419)+eat_420)+eat_421)+eat_422)+eat_423)+eat_424)+eat_425)+eat_426)+eat_427)+eat_428)+eat_429)+eat_430)+eat_431)+eat_432)+eat_433)+eat_434)+eat_435)+eat_436)+eat_437)+eat_438)+eat_439)+eat_440)+eat_441)+eat_442)+eat_443)+eat_444)+eat_445)+eat_446)+eat_447)+eat_448)+eat_449)+eat_450)+eat_451)+eat_452)+eat_453)+eat_454)+eat_455)+eat_456)+eat_457)+eat_458)+eat_459)+eat_460)+eat_461)+eat_462)+eat_463)+eat_464)+eat_465)+eat_466)+eat_467)+eat_468)+eat_469)+eat_470)+eat_471)+eat_472)+eat_473)+eat_474)+eat_475)+eat_476)+eat_477)+eat_478)+eat_479)+eat_480)+eat_481)+eat_482)+eat_483)+eat_484)+eat_485)+eat_486)+eat_487)+eat_488)+eat_489)+eat_490)+eat_491)+eat_492)+eat_493)+eat_494)+eat_495)+eat_496)+eat_497)+eat_498)+eat_499)+eat_500)+eat_501)+eat_502)+eat_503)+eat_504)+eat_505)+eat_506)+eat_507)+eat_508)+eat_509)+eat_510)+eat_511)+eat_512)+eat_513)+eat_514)+eat_515)+eat_516)+eat_517)+eat_518)+eat_519)+eat_520)+eat_521)+eat_522)+eat_523)+eat_524)+eat_525)+eat_526)+eat_527)+eat_528)+eat_529)+eat_530)+eat_531)+eat_532)+eat_533)+eat_534)+eat_535)+eat_536)+eat_537)+eat_538)+eat_539)+eat_540)+eat_541)+eat_542)+eat_543)+eat_544)+eat_545)+eat_546)+eat_547)+eat_548)+eat_549)+eat_550)+eat_551)+eat_552)+eat_553)+eat_554)+eat_555)+eat_556)+eat_557)+eat_558)+eat_559)+eat_560)+eat_561)+eat_562)+eat_563)+eat_564)+eat_565)+eat_566)+eat_567)+eat_568)+eat_569)+eat_570)+eat_571)+eat_572)+eat_573)+eat_574)+eat_575)+eat_576)+eat_577)+eat_578)+eat_579)+eat_580)+eat_581)+eat_582)+eat_583)+eat_584)+eat_585)+eat_586)+eat_587)+eat_588)+eat_589)+eat_590)+eat_591)+eat_592)+eat_593)+eat_594)+eat_595)+eat_596)+eat_597)+eat_598)+eat_599)+eat_600)+eat_601)+eat_602)+eat_603)+eat_604)+eat_605)+eat_606)+eat_607)+eat_608)+eat_609)+eat_610)+eat_611)+eat_612)+eat_613)+eat_614)+eat_615)+eat_616)+eat_617)+eat_618)+eat_619)+eat_620)+eat_621)+eat_622)+eat_623)+eat_624)+eat_625)+eat_626)+eat_627)+eat_628)+eat_629)+eat_630)+eat_631)+eat_632)+eat_633)+eat_634)+eat_635)+eat_636)+eat_637)+eat_638)+eat_639)+eat_640)+eat_641)+eat_642)+eat_643)+eat_644)+eat_645)+eat_646)+eat_647)+eat_648)+eat_649)+eat_650)+eat_651)+eat_652)+eat_653)+eat_654)+eat_655)+eat_656)+eat_657)+eat_658)+eat_659)+eat_660)+eat_661)+eat_662)+eat_663)+eat_664)+eat_665)+eat_666)+eat_667)+eat_668)+eat_669)+eat_670)+eat_671)+eat_672)+eat_673)+eat_674)+eat_675)+eat_676)+eat_677)+eat_678)+eat_679)+eat_680)+eat_681)+eat_682)+eat_683)+eat_684)+eat_685)+eat_686)+eat_687)+eat_688)+eat_689)+eat_690)+eat_691)+eat_692)+eat_693)+eat_694)+eat_695)+eat_696)+eat_697)+eat_698)+eat_699)+eat_700)+eat_701)+eat_702)+eat_703)+eat_704)+eat_705)+eat_706)+eat_707)+eat_708)+eat_709)+eat_710)+eat_711)+eat_712)+eat_713)+eat_714)+eat_715)+eat_716)+eat_717)+eat_718)+eat_719)+eat_720)+eat_721)+eat_722)+eat_723)+eat_724)+eat_725)+eat_726)+eat_727)+eat_728)+eat_729)+eat_730)+eat_731)+eat_732)+eat_733)+eat_734)+eat_735)+eat_736)+eat_737)+eat_738)+eat_739)+eat_740)+eat_741)+eat_742)+eat_743)+eat_744)+eat_745)+eat_746)+eat_747)+eat_748)+eat_749)+eat_750)+eat_751)+eat_752)+eat_753)+eat_754)+eat_755)+eat_756)+eat_757)+eat_758)+eat_759)+eat_760)+eat_761)+eat_762)+eat_763)+eat_764)+eat_765)+eat_766)+eat_767)+eat_768)+eat_769)+eat_770)+eat_771)+eat_772)+eat_773)+eat_774)+eat_775)+eat_776)+eat_777)+eat_778)+eat_779)+eat_780)+eat_781)+eat_782)+eat_783)+eat_784)+eat_785)+eat_786)+eat_787)+eat_788)+eat_789)+eat_790)+eat_791)+eat_792)+eat_793)+eat_794)+eat_795)+eat_796)+eat_797)+eat_798)+eat_799)+eat_800)+eat_801)+eat_802)+eat_803)+eat_804)+eat_805)+eat_806)+eat_807)+eat_808)+eat_809)+eat_810)+eat_811)+eat_812)+eat_813)+eat_814)+eat_815)+eat_816)+eat_817)+eat_818)+eat_819)+eat_820)+eat_821)+eat_822)+eat_823)+eat_824)+eat_825)+eat_826)+eat_827)+eat_828)+eat_829)+eat_830)+eat_831)+eat_832)+eat_833)+eat_834)+eat_835)+eat_836)+eat_837)+eat_838)+eat_839)+eat_840)+eat_841)+eat_842)+eat_843)+eat_844)+eat_845)+eat_846)+eat_847)+eat_848)+eat_849)+eat_850)+eat_851)+eat_852)+eat_853)+eat_854)+eat_855)+eat_856)+eat_857)+eat_858)+eat_859)+eat_860)+eat_861)+eat_862)+eat_863)+eat_864)+eat_865)+eat_866)+eat_867)+eat_868)+eat_869)+eat_870)+eat_871)+eat_872)+eat_873)+eat_874)+eat_875)+eat_876)+eat_877)+eat_878)+eat_879)+eat_880)+eat_881)+eat_882)+eat_883)+eat_884)+eat_885)+eat_886)+eat_887)+eat_888)+eat_889)+eat_890)+eat_891)+eat_892)+eat_893)+eat_894)+eat_895)+eat_896)+eat_897)+eat_898)+eat_899)+eat_900)+eat_901)+eat_902)+eat_903)+eat_904)+eat_905)+eat_906)+eat_907)+eat_908)+eat_909)+eat_910)+eat_911)+eat_912)+eat_913)+eat_914)+eat_915)+eat_916)+eat_917)+eat_918)+eat_919)+eat_920)+eat_921)+eat_922)+eat_923)+eat_924)+eat_925)+eat_926)+eat_927)+eat_928)+eat_929)+eat_930)+eat_931)+eat_932)+eat_933)+eat_934)+eat_935)+eat_936)+eat_937)+eat_938)+eat_939)+eat_940)+eat_941)+eat_942)+eat_943)+eat_944)+eat_945)+eat_946)+eat_947)+eat_948)+eat_949)+eat_950)+eat_951)+eat_952)+eat_953)+eat_954)+eat_955)+eat_956)+eat_957)+eat_958)+eat_959)+eat_960)+eat_961)+eat_962)+eat_963)+eat_964)+eat_965)+eat_966)+eat_967)+eat_968)+eat_969)+eat_970)+eat_971)+eat_972)+eat_973)+eat_974)+eat_975)+eat_976)+eat_977)+eat_978)+eat_979)+eat_980)+eat_981)+eat_982)+eat_983)+eat_984)+eat_985)+eat_986)+eat_987)+eat_988)+eat_989)+eat_990)+eat_991)+eat_992)+eat_993)+eat_994)+eat_995)+eat_996)+eat_997)+eat_998)+eat_999)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((catch2_0+catch2_1)+catch2_2)+catch2_3)+catch2_4)+catch2_5)+catch2_6)+catch2_7)+catch2_8)+catch2_9)+catch2_10)+catch2_11)+catch2_12)+catch2_13)+catch2_14)+catch2_15)+catch2_16)+catch2_17)+catch2_18)+catch2_19)+catch2_20)+catch2_21)+catch2_22)+catch2_23)+catch2_24)+catch2_25)+catch2_26)+catch2_27)+catch2_28)+catch2_29)+catch2_30)+catch2_31)+catch2_32)+catch2_33)+catch2_34)+catch2_35)+catch2_36)+catch2_37)+catch2_38)+catch2_39)+catch2_40)+catch2_41)+catch2_42)+catch2_43)+catch2_44)+catch2_45)+catch2_46)+catch2_47)+catch2_48)+catch2_49)+catch2_50)+catch2_51)+catch2_52)+catch2_53)+catch2_54)+catch2_55)+catch2_56)+catch2_57)+catch2_58)+catch2_59)+catch2_60)+catch2_61)+catch2_62)+catch2_63)+catch2_64)+catch2_65)+catch2_66)+catch2_67)+catch2_68)+catch2_69)+catch2_70)+catch2_71)+catch2_72)+catch2_73)+catch2_74)+catch2_75)+catch2_76)+catch2_77)+catch2_78)+catch2_79)+catch2_80)+catch2_81)+catch2_82)+catch2_83)+catch2_84)+catch2_85)+catch2_86)+catch2_87)+catch2_88)+catch2_89)+catch2_90)+catch2_91)+catch2_92)+catch2_93)+catch2_94)+catch2_95)+catch2_96)+catch2_97)+catch2_98)+catch2_99)+catch2_100)+catch2_101)+catch2_102)+catch2_103)+catch2_104)+catch2_105)+catch2_106)+catch2_107)+catch2_108)+catch2_109)+catch2_110)+catch2_111)+catch2_112)+catch2_113)+catch2_114)+catch2_115)+catch2_116)+catch2_117)+catch2_118)+catch2_119)+catch2_120)+catch2_121)+catch2_122)+catch2_123)+catch2_124)+catch2_125)+catch2_126)+catch2_127)+catch2_128)+catch2_129)+catch2_130)+catch2_131)+catch2_132)+catch2_133)+catch2_134)+catch2_135)+catch2_136)+catch2_137)+catch2_138)+catch2_139)+catch2_140)+catch2_141)+catch2_142)+catch2_143)+catch2_144)+catch2_145)+catch2_146)+catch2_147)+catch2_148)+catch2_149)+catch2_150)+catch2_151)+catch2_152)+catch2_153)+catch2_154)+catch2_155)+catch2_156)+catch2_157)+catch2_158)+catch2_159)+catch2_160)+catch2_161)+catch2_162)+catch2_163)+catch2_164)+catch2_165)+catch2_166)+catch2_167)+catch2_168)+catch2_169)+catch2_170)+catch2_171)+catch2_172)+catch2_173)+catch2_174)+catch2_175)+catch2_176)+catch2_177)+catch2_178)+catch2_179)+catch2_180)+catch2_181)+catch2_182)+catch2_183)+catch2_184)+catch2_185)+catch2_186)+catch2_187)+catch2_188)+catch2_189)+catch2_190)+catch2_191)+catch2_192)+catch2_193)+catch2_194)+catch2_195)+catch2_196)+catch2_197)+catch2_198)+catch2_199)+catch2_200)+catch2_201)+catch2_202)+catch2_203)+catch2_204)+catch2_205)+catch2_206)+catch2_207)+catch2_208)+catch2_209)+catch2_210)+catch2_211)+catch2_212)+catch2_213)+catch2_214)+catch2_215)+catch2_216)+catch2_217)+catch2_218)+catch2_219)+catch2_220)+catch2_221)+catch2_222)+catch2_223)+catch2_224)+catch2_225)+catch2_226)+catch2_227)+catch2_228)+catch2_229)+catch2_230)+catch2_231)+catch2_232)+catch2_233)+catch2_234)+catch2_235)+catch2_236)+catch2_237)+catch2_238)+catch2_239)+catch2_240)+catch2_241)+catch2_242)+catch2_243)+catch2_244)+catch2_245)+catch2_246)+catch2_247)+catch2_248)+catch2_249)+catch2_250)+catch2_251)+catch2_252)+catch2_253)+catch2_254)+catch2_255)+catch2_256)+catch2_257)+catch2_258)+catch2_259)+catch2_260)+catch2_261)+catch2_262)+catch2_263)+catch2_264)+catch2_265)+catch2_266)+catch2_267)+catch2_268)+catch2_269)+catch2_270)+catch2_271)+catch2_272)+catch2_273)+catch2_274)+catch2_275)+catch2_276)+catch2_277)+catch2_278)+catch2_279)+catch2_280)+catch2_281)+catch2_282)+catch2_283)+catch2_284)+catch2_285)+catch2_286)+catch2_287)+catch2_288)+catch2_289)+catch2_290)+catch2_291)+catch2_292)+catch2_293)+catch2_294)+catch2_295)+catch2_296)+catch2_297)+catch2_298)+catch2_299)+catch2_300)+catch2_301)+catch2_302)+catch2_303)+catch2_304)+catch2_305)+catch2_306)+catch2_307)+catch2_308)+catch2_309)+catch2_310)+catch2_311)+catch2_312)+catch2_313)+catch2_314)+catch2_315)+catch2_316)+catch2_317)+catch2_318)+catch2_319)+catch2_320)+catch2_321)+catch2_322)+catch2_323)+catch2_324)+catch2_325)+catch2_326)+catch2_327)+catch2_328)+catch2_329)+catch2_330)+catch2_331)+catch2_332)+catch2_333)+catch2_334)+catch2_335)+catch2_336)+catch2_337)+catch2_338)+catch2_339)+catch2_340)+catch2_341)+catch2_342)+catch2_343)+catch2_344)+catch2_345)+catch2_346)+catch2_347)+catch2_348)+catch2_349)+catch2_350)+catch2_351)+catch2_352)+catch2_353)+catch2_354)+catch2_355)+catch2_356)+catch2_357)+catch2_358)+catch2_359)+catch2_360)+catch2_361)+catch2_362)+catch2_363)+catch2_364)+catch2_365)+catch2_366)+catch2_367)+catch2_368)+catch2_369)+catch2_370)+catch2_371)+catch2_372)+catch2_373)+catch2_374)+catch2_375)+catch2_376)+catch2_377)+catch2_378)+catch2_379)+catch2_380)+catch2_381)+catch2_382)+catch2_383)+catch2_384)+catch2_385)+catch2_386)+catch2_387)+catch2_388)+catch2_389)+catch2_390)+catch2_391)+catch2_392)+catch2_393)+catch2_394)+catch2_395)+catch2_396)+catch2_397)+catch2_398)+catch2_399)+catch2_400)+catch2_401)+catch2_402)+catch2_403)+catch2_404)+catch2_405)+catch2_406)+catch2_407)+catch2_408)+catch2_409)+catch2_410)+catch2_411)+catch2_412)+catch2_413)+catch2_414)+catch2_415)+catch2_416)+catch2_417)+catch2_418)+catch2_419)+catch2_420)+catch2_421)+catch2_422)+catch2_423)+catch2_424)+catch2_425)+catch2_426)+catch2_427)+catch2_428)+catch2_429)+catch2_430)+catch2_431)+catch2_432)+catch2_433)+catch2_434)+catch2_435)+catch2_436)+catch2_437)+catch2_438)+catch2_439)+catch2_440)+catch2_441)+catch2_442)+catch2_443)+catch2_444)+catch2_445)+catch2_446)+catch2_447)+catch2_448)+catch2_449)+catch2_450)+catch2_451)+catch2_452)+catch2_453)+catch2_454)+catch2_455)+catch2_456)+catch2_457)+catch2_458)+catch2_459)+catch2_460)+catch2_461)+catch2_462)+catch2_463)+catch2_464)+catch2_465)+catch2_466)+catch2_467)+catch2_468)+catch2_469)+catch2_470)+catch2_471)+catch2_472)+catch2_473)+catch2_474)+catch2_475)+catch2_476)+catch2_477)+catch2_478)+catch2_479)+catch2_480)+catch2_481)+catch2_482)+catch2_483)+catch2_484)+catch2_485)+catch2_486)+catch2_487)+catch2_488)+catch2_489)+catch2_490)+catch2_491)+catch2_492)+catch2_493)+catch2_494)+catch2_495)+catch2_496)+catch2_497)+catch2_498)+catch2_499)+catch2_500)+catch2_501)+catch2_502)+catch2_503)+catch2_504)+catch2_505)+catch2_506)+catch2_507)+catch2_508)+catch2_509)+catch2_510)+catch2_511)+catch2_512)+catch2_513)+catch2_514)+catch2_515)+catch2_516)+catch2_517)+catch2_518)+catch2_519)+catch2_520)+catch2_521)+catch2_522)+catch2_523)+catch2_524)+catch2_525)+catch2_526)+catch2_527)+catch2_528)+catch2_529)+catch2_530)+catch2_531)+catch2_532)+catch2_533)+catch2_534)+catch2_535)+catch2_536)+catch2_537)+catch2_538)+catch2_539)+catch2_540)+catch2_541)+catch2_542)+catch2_543)+catch2_544)+catch2_545)+catch2_546)+catch2_547)+catch2_548)+catch2_549)+catch2_550)+catch2_551)+catch2_552)+catch2_553)+catch2_554)+catch2_555)+catch2_556)+catch2_557)+catch2_558)+catch2_559)+catch2_560)+catch2_561)+catch2_562)+catch2_563)+catch2_564)+catch2_565)+catch2_566)+catch2_567)+catch2_568)+catch2_569)+catch2_570)+catch2_571)+catch2_572)+catch2_573)+catch2_574)+catch2_575)+catch2_576)+catch2_577)+catch2_578)+catch2_579)+catch2_580)+catch2_581)+catch2_582)+catch2_583)+catch2_584)+catch2_585)+catch2_586)+catch2_587)+catch2_588)+catch2_589)+catch2_590)+catch2_591)+catch2_592)+catch2_593)+catch2_594)+catch2_595)+catch2_596)+catch2_597)+catch2_598)+catch2_599)+catch2_600)+catch2_601)+catch2_602)+catch2_603)+catch2_604)+catch2_605)+catch2_606)+catch2_607)+catch2_608)+catch2_609)+catch2_610)+catch2_611)+catch2_612)+catch2_613)+catch2_614)+catch2_615)+catch2_616)+catch2_617)+catch2_618)+catch2_619)+catch2_620)+catch2_621)+catch2_622)+catch2_623)+catch2_624)+catch2_625)+catch2_626)+catch2_627)+catch2_628)+catch2_629)+catch2_630)+catch2_631)+catch2_632)+catch2_633)+catch2_634)+catch2_635)+catch2_636)+catch2_637)+catch2_638)+catch2_639)+catch2_640)+catch2_641)+catch2_642)+catch2_643)+catch2_644)+catch2_645)+catch2_646)+catch2_647)+catch2_648)+catch2_649)+catch2_650)+catch2_651)+catch2_652)+catch2_653)+catch2_654)+catch2_655)+catch2_656)+catch2_657)+catch2_658)+catch2_659)+catch2_660)+catch2_661)+catch2_662)+catch2_663)+catch2_664)+catch2_665)+catch2_666)+catch2_667)+catch2_668)+catch2_669)+catch2_670)+catch2_671)+catch2_672)+catch2_673)+catch2_674)+catch2_675)+catch2_676)+catch2_677)+catch2_678)+catch2_679)+catch2_680)+catch2_681)+catch2_682)+catch2_683)+catch2_684)+catch2_685)+catch2_686)+catch2_687)+catch2_688)+catch2_689)+catch2_690)+catch2_691)+catch2_692)+catch2_693)+catch2_694)+catch2_695)+catch2_696)+catch2_697)+catch2_698)+catch2_699)+catch2_700)+catch2_701)+catch2_702)+catch2_703)+catch2_704)+catch2_705)+catch2_706)+catch2_707)+catch2_708)+catch2_709)+catch2_710)+catch2_711)+catch2_712)+catch2_713)+catch2_714)+catch2_715)+catch2_716)+catch2_717)+catch2_718)+catch2_719)+catch2_720)+catch2_721)+catch2_722)+catch2_723)+catch2_724)+catch2_725)+catch2_726)+catch2_727)+catch2_728)+catch2_729)+catch2_730)+catch2_731)+catch2_732)+catch2_733)+catch2_734)+catch2_735)+catch2_736)+catch2_737)+catch2_738)+catch2_739)+catch2_740)+catch2_741)+catch2_742)+catch2_743)+catch2_744)+catch2_745)+catch2_746)+catch2_747)+catch2_748)+catch2_749)+catch2_750)+catch2_751)+catch2_752)+catch2_753)+catch2_754)+catch2_755)+catch2_756)+catch2_757)+catch2_758)+catch2_759)+catch2_760)+catch2_761)+catch2_762)+catch2_763)+catch2_764)+catch2_765)+catch2_766)+catch2_767)+catch2_768)+catch2_769)+catch2_770)+catch2_771)+catch2_772)+catch2_773)+catch2_774)+catch2_775)+catch2_776)+catch2_777)+catch2_778)+catch2_779)+catch2_780)+catch2_781)+catch2_782)+catch2_783)+catch2_784)+catch2_785)+catch2_786)+catch2_787)+catch2_788)+catch2_789)+catch2_790)+catch2_791)+catch2_792)+catch2_793)+catch2_794)+catch2_795)+catch2_796)+catch2_797)+catch2_798)+catch2_799)+catch2_800)+catch2_801)+catch2_802)+catch2_803)+catch2_804)+catch2_805)+catch2_806)+catch2_807)+catch2_808)+catch2_809)+catch2_810)+catch2_811)+catch2_812)+catch2_813)+catch2_814)+catch2_815)+catch2_816)+catch2_817)+catch2_818)+catch2_819)+catch2_820)+catch2_821)+catch2_822)+catch2_823)+catch2_824)+catch2_825)+catch2_826)+catch2_827)+catch2_828)+catch2_829)+catch2_830)+catch2_831)+catch2_832)+catch2_833)+catch2_834)+catch2_835)+catch2_836)+catch2_837)+catch2_838)+catch2_839)+catch2_840)+catch2_841)+catch2_842)+catch2_843)+catch2_844)+catch2_845)+catch2_846)+catch2_847)+catch2_848)+catch2_849)+catch2_850)+catch2_851)+catch2_852)+catch2_853)+catch2_854)+catch2_855)+catch2_856)+catch2_857)+catch2_858)+catch2_859)+catch2_860)+catch2_861)+catch2_862)+catch2_863)+catch2_864)+catch2_865)+catch2_866)+catch2_867)+catch2_868)+catch2_869)+catch2_870)+catch2_871)+catch2_872)+catch2_873)+catch2_874)+catch2_875)+catch2_876)+catch2_877)+catch2_878)+catch2_879)+catch2_880)+catch2_881)+catch2_882)+catch2_883)+catch2_884)+catch2_885)+catch2_886)+catch2_887)+catch2_888)+catch2_889)+catch2_890)+catch2_891)+catch2_892)+catch2_893)+catch2_894)+catch2_895)+catch2_896)+catch2_897)+catch2_898)+catch2_899)+catch2_900)+catch2_901)+catch2_902)+catch2_903)+catch2_904)+catch2_905)+catch2_906)+catch2_907)+catch2_908)+catch2_909)+catch2_910)+catch2_911)+catch2_912)+catch2_913)+catch2_914)+catch2_915)+catch2_916)+catch2_917)+catch2_918)+catch2_919)+catch2_920)+catch2_921)+catch2_922)+catch2_923)+catch2_924)+catch2_925)+catch2_926)+catch2_927)+catch2_928)+catch2_929)+catch2_930)+catch2_931)+catch2_932)+catch2_933)+catch2_934)+catch2_935)+catch2_936)+catch2_937)+catch2_938)+catch2_939)+catch2_940)+catch2_941)+catch2_942)+catch2_943)+catch2_944)+catch2_945)+catch2_946)+catch2_947)+catch2_948)+catch2_949)+catch2_950)+catch2_951)+catch2_952)+catch2_953)+catch2_954)+catch2_955)+catch2_956)+catch2_957)+catch2_958)+catch2_959)+catch2_960)+catch2_961)+catch2_962)+catch2_963)+catch2_964)+catch2_965)+catch2_966)+catch2_967)+catch2_968)+catch2_969)+catch2_970)+catch2_971)+catch2_972)+catch2_973)+catch2_974)+catch2_975)+catch2_976)+catch2_977)+catch2_978)+catch2_979)+catch2_980)+catch2_981)+catch2_982)+catch2_983)+catch2_984)+catch2_985)+catch2_986)+catch2_987)+catch2_988)+catch2_989)+catch2_990)+catch2_991)+catch2_992)+catch2_993)+catch2_994)+catch2_995)+catch2_996)+catch2_997)+catch2_998)+catch2_999))"))))))
Formula 0 simplified : !FXGF"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((eat_0+eat_1)+eat_2)+eat_3)+eat_4)+eat_5)+eat_6)+eat_7)+eat_8)+eat_9)+eat_10)+eat_11)+eat_12)+eat_13)+eat_14)+eat_15)+eat_16)+eat_17)+eat_18)+eat_19)+eat_20)+eat_21)+eat_22)+eat_23)+eat_24)+eat_25)+eat_26)+eat_27)+eat_28)+eat_29)+eat_30)+eat_31)+eat_32)+eat_33)+eat_34)+eat_35)+eat_36)+eat_37)+eat_38)+eat_39)+eat_40)+eat_41)+eat_42)+eat_43)+eat_44)+eat_45)+eat_46)+eat_47)+eat_48)+eat_49)+eat_50)+eat_51)+eat_52)+eat_53)+eat_54)+eat_55)+eat_56)+eat_57)+eat_58)+eat_59)+eat_60)+eat_61)+eat_62)+eat_63)+eat_64)+eat_65)+eat_66)+eat_67)+eat_68)+eat_69)+eat_70)+eat_71)+eat_72)+eat_73)+eat_74)+eat_75)+eat_76)+eat_77)+eat_78)+eat_79)+eat_80)+eat_81)+eat_82)+eat_83)+eat_84)+eat_85)+eat_86)+eat_87)+eat_88)+eat_89)+eat_90)+eat_91)+eat_92)+eat_93)+eat_94)+eat_95)+eat_96)+eat_97)+eat_98)+eat_99)+eat_100)+eat_101)+eat_102)+eat_103)+eat_104)+eat_105)+eat_106)+eat_107)+eat_108)+eat_109)+eat_110)+eat_111)+eat_112)+eat_113)+eat_114)+eat_115)+eat_116)+eat_117)+eat_118)+eat_119)+eat_120)+eat_121)+eat_122)+eat_123)+eat_124)+eat_125)+eat_126)+eat_127)+eat_128)+eat_129)+eat_130)+eat_131)+eat_132)+eat_133)+eat_134)+eat_135)+eat_136)+eat_137)+eat_138)+eat_139)+eat_140)+eat_141)+eat_142)+eat_143)+eat_144)+eat_145)+eat_146)+eat_147)+eat_148)+eat_149)+eat_150)+eat_151)+eat_152)+eat_153)+eat_154)+eat_155)+eat_156)+eat_157)+eat_158)+eat_159)+eat_160)+eat_161)+eat_162)+eat_163)+eat_164)+eat_165)+eat_166)+eat_167)+eat_168)+eat_169)+eat_170)+eat_171)+eat_172)+eat_173)+eat_174)+eat_175)+eat_176)+eat_177)+eat_178)+eat_179)+eat_180)+eat_181)+eat_182)+eat_183)+eat_184)+eat_185)+eat_186)+eat_187)+eat_188)+eat_189)+eat_190)+eat_191)+eat_192)+eat_193)+eat_194)+eat_195)+eat_196)+eat_197)+eat_198)+eat_199)+eat_200)+eat_201)+eat_202)+eat_203)+eat_204)+eat_205)+eat_206)+eat_207)+eat_208)+eat_209)+eat_210)+eat_211)+eat_212)+eat_213)+eat_214)+eat_215)+eat_216)+eat_217)+eat_218)+eat_219)+eat_220)+eat_221)+eat_222)+eat_223)+eat_224)+eat_225)+eat_226)+eat_227)+eat_228)+eat_229)+eat_230)+eat_231)+eat_232)+eat_233)+eat_234)+eat_235)+eat_236)+eat_237)+eat_238)+eat_239)+eat_240)+eat_241)+eat_242)+eat_243)+eat_244)+eat_245)+eat_246)+eat_247)+eat_248)+eat_249)+eat_250)+eat_251)+eat_252)+eat_253)+eat_254)+eat_255)+eat_256)+eat_257)+eat_258)+eat_259)+eat_260)+eat_261)+eat_262)+eat_263)+eat_264)+eat_265)+eat_266)+eat_267)+eat_268)+eat_269)+eat_270)+eat_271)+eat_272)+eat_273)+eat_274)+eat_275)+eat_276)+eat_277)+eat_278)+eat_279)+eat_280)+eat_281)+eat_282)+eat_283)+eat_284)+eat_285)+eat_286)+eat_287)+eat_288)+eat_289)+eat_290)+eat_291)+eat_292)+eat_293)+eat_294)+eat_295)+eat_296)+eat_297)+eat_298)+eat_299)+eat_300)+eat_301)+eat_302)+eat_303)+eat_304)+eat_305)+eat_306)+eat_307)+eat_308)+eat_309)+eat_310)+eat_311)+eat_312)+eat_313)+eat_314)+eat_315)+eat_316)+eat_317)+eat_318)+eat_319)+eat_320)+eat_321)+eat_322)+eat_323)+eat_324)+eat_325)+eat_326)+eat_327)+eat_328)+eat_329)+eat_330)+eat_331)+eat_332)+eat_333)+eat_334)+eat_335)+eat_336)+eat_337)+eat_338)+eat_339)+eat_340)+eat_341)+eat_342)+eat_343)+eat_344)+eat_345)+eat_346)+eat_347)+eat_348)+eat_349)+eat_350)+eat_351)+eat_352)+eat_353)+eat_354)+eat_355)+eat_356)+eat_357)+eat_358)+eat_359)+eat_360)+eat_361)+eat_362)+eat_363)+eat_364)+eat_365)+eat_366)+eat_367)+eat_368)+eat_369)+eat_370)+eat_371)+eat_372)+eat_373)+eat_374)+eat_375)+eat_376)+eat_377)+eat_378)+eat_379)+eat_380)+eat_381)+eat_382)+eat_383)+eat_384)+eat_385)+eat_386)+eat_387)+eat_388)+eat_389)+eat_390)+eat_391)+eat_392)+eat_393)+eat_394)+eat_395)+eat_396)+eat_397)+eat_398)+eat_399)+eat_400)+eat_401)+eat_402)+eat_403)+eat_404)+eat_405)+eat_406)+eat_407)+eat_408)+eat_409)+eat_410)+eat_411)+eat_412)+eat_413)+eat_414)+eat_415)+eat_416)+eat_417)+eat_418)+eat_419)+eat_420)+eat_421)+eat_422)+eat_423)+eat_424)+eat_425)+eat_426)+eat_427)+eat_428)+eat_429)+eat_430)+eat_431)+eat_432)+eat_433)+eat_434)+eat_435)+eat_436)+eat_437)+eat_438)+eat_439)+eat_440)+eat_441)+eat_442)+eat_443)+eat_444)+eat_445)+eat_446)+eat_447)+eat_448)+eat_449)+eat_450)+eat_451)+eat_452)+eat_453)+eat_454)+eat_455)+eat_456)+eat_457)+eat_458)+eat_459)+eat_460)+eat_461)+eat_462)+eat_463)+eat_464)+eat_465)+eat_466)+eat_467)+eat_468)+eat_469)+eat_470)+eat_471)+eat_472)+eat_473)+eat_474)+eat_475)+eat_476)+eat_477)+eat_478)+eat_479)+eat_480)+eat_481)+eat_482)+eat_483)+eat_484)+eat_485)+eat_486)+eat_487)+eat_488)+eat_489)+eat_490)+eat_491)+eat_492)+eat_493)+eat_494)+eat_495)+eat_496)+eat_497)+eat_498)+eat_499)+eat_500)+eat_501)+eat_502)+eat_503)+eat_504)+eat_505)+eat_506)+eat_507)+eat_508)+eat_509)+eat_510)+eat_511)+eat_512)+eat_513)+eat_514)+eat_515)+eat_516)+eat_517)+eat_518)+eat_519)+eat_520)+eat_521)+eat_522)+eat_523)+eat_524)+eat_525)+eat_526)+eat_527)+eat_528)+eat_529)+eat_530)+eat_531)+eat_532)+eat_533)+eat_534)+eat_535)+eat_536)+eat_537)+eat_538)+eat_539)+eat_540)+eat_541)+eat_542)+eat_543)+eat_544)+eat_545)+eat_546)+eat_547)+eat_548)+eat_549)+eat_550)+eat_551)+eat_552)+eat_553)+eat_554)+eat_555)+eat_556)+eat_557)+eat_558)+eat_559)+eat_560)+eat_561)+eat_562)+eat_563)+eat_564)+eat_565)+eat_566)+eat_567)+eat_568)+eat_569)+eat_570)+eat_571)+eat_572)+eat_573)+eat_574)+eat_575)+eat_576)+eat_577)+eat_578)+eat_579)+eat_580)+eat_581)+eat_582)+eat_583)+eat_584)+eat_585)+eat_586)+eat_587)+eat_588)+eat_589)+eat_590)+eat_591)+eat_592)+eat_593)+eat_594)+eat_595)+eat_596)+eat_597)+eat_598)+eat_599)+eat_600)+eat_601)+eat_602)+eat_603)+eat_604)+eat_605)+eat_606)+eat_607)+eat_608)+eat_609)+eat_610)+eat_611)+eat_612)+eat_613)+eat_614)+eat_615)+eat_616)+eat_617)+eat_618)+eat_619)+eat_620)+eat_621)+eat_622)+eat_623)+eat_624)+eat_625)+eat_626)+eat_627)+eat_628)+eat_629)+eat_630)+eat_631)+eat_632)+eat_633)+eat_634)+eat_635)+eat_636)+eat_637)+eat_638)+eat_639)+eat_640)+eat_641)+eat_642)+eat_643)+eat_644)+eat_645)+eat_646)+eat_647)+eat_648)+eat_649)+eat_650)+eat_651)+eat_652)+eat_653)+eat_654)+eat_655)+eat_656)+eat_657)+eat_658)+eat_659)+eat_660)+eat_661)+eat_662)+eat_663)+eat_664)+eat_665)+eat_666)+eat_667)+eat_668)+eat_669)+eat_670)+eat_671)+eat_672)+eat_673)+eat_674)+eat_675)+eat_676)+eat_677)+eat_678)+eat_679)+eat_680)+eat_681)+eat_682)+eat_683)+eat_684)+eat_685)+eat_686)+eat_687)+eat_688)+eat_689)+eat_690)+eat_691)+eat_692)+eat_693)+eat_694)+eat_695)+eat_696)+eat_697)+eat_698)+eat_699)+eat_700)+eat_701)+eat_702)+eat_703)+eat_704)+eat_705)+eat_706)+eat_707)+eat_708)+eat_709)+eat_710)+eat_711)+eat_712)+eat_713)+eat_714)+eat_715)+eat_716)+eat_717)+eat_718)+eat_719)+eat_720)+eat_721)+eat_722)+eat_723)+eat_724)+eat_725)+eat_726)+eat_727)+eat_728)+eat_729)+eat_730)+eat_731)+eat_732)+eat_733)+eat_734)+eat_735)+eat_736)+eat_737)+eat_738)+eat_739)+eat_740)+eat_741)+eat_742)+eat_743)+eat_744)+eat_745)+eat_746)+eat_747)+eat_748)+eat_749)+eat_750)+eat_751)+eat_752)+eat_753)+eat_754)+eat_755)+eat_756)+eat_757)+eat_758)+eat_759)+eat_760)+eat_761)+eat_762)+eat_763)+eat_764)+eat_765)+eat_766)+eat_767)+eat_768)+eat_769)+eat_770)+eat_771)+eat_772)+eat_773)+eat_774)+eat_775)+eat_776)+eat_777)+eat_778)+eat_779)+eat_780)+eat_781)+eat_782)+eat_783)+eat_784)+eat_785)+eat_786)+eat_787)+eat_788)+eat_789)+eat_790)+eat_791)+eat_792)+eat_793)+eat_794)+eat_795)+eat_796)+eat_797)+eat_798)+eat_799)+eat_800)+eat_801)+eat_802)+eat_803)+eat_804)+eat_805)+eat_806)+eat_807)+eat_808)+eat_809)+eat_810)+eat_811)+eat_812)+eat_813)+eat_814)+eat_815)+eat_816)+eat_817)+eat_818)+eat_819)+eat_820)+eat_821)+eat_822)+eat_823)+eat_824)+eat_825)+eat_826)+eat_827)+eat_828)+eat_829)+eat_830)+eat_831)+eat_832)+eat_833)+eat_834)+eat_835)+eat_836)+eat_837)+eat_838)+eat_839)+eat_840)+eat_841)+eat_842)+eat_843)+eat_844)+eat_845)+eat_846)+eat_847)+eat_848)+eat_849)+eat_850)+eat_851)+eat_852)+eat_853)+eat_854)+eat_855)+eat_856)+eat_857)+eat_858)+eat_859)+eat_860)+eat_861)+eat_862)+eat_863)+eat_864)+eat_865)+eat_866)+eat_867)+eat_868)+eat_869)+eat_870)+eat_871)+eat_872)+eat_873)+eat_874)+eat_875)+eat_876)+eat_877)+eat_878)+eat_879)+eat_880)+eat_881)+eat_882)+eat_883)+eat_884)+eat_885)+eat_886)+eat_887)+eat_888)+eat_889)+eat_890)+eat_891)+eat_892)+eat_893)+eat_894)+eat_895)+eat_896)+eat_897)+eat_898)+eat_899)+eat_900)+eat_901)+eat_902)+eat_903)+eat_904)+eat_905)+eat_906)+eat_907)+eat_908)+eat_909)+eat_910)+eat_911)+eat_912)+eat_913)+eat_914)+eat_915)+eat_916)+eat_917)+eat_918)+eat_919)+eat_920)+eat_921)+eat_922)+eat_923)+eat_924)+eat_925)+eat_926)+eat_927)+eat_928)+eat_929)+eat_930)+eat_931)+eat_932)+eat_933)+eat_934)+eat_935)+eat_936)+eat_937)+eat_938)+eat_939)+eat_940)+eat_941)+eat_942)+eat_943)+eat_944)+eat_945)+eat_946)+eat_947)+eat_948)+eat_949)+eat_950)+eat_951)+eat_952)+eat_953)+eat_954)+eat_955)+eat_956)+eat_957)+eat_958)+eat_959)+eat_960)+eat_961)+eat_962)+eat_963)+eat_964)+eat_965)+eat_966)+eat_967)+eat_968)+eat_969)+eat_970)+eat_971)+eat_972)+eat_973)+eat_974)+eat_975)+eat_976)+eat_977)+eat_978)+eat_979)+eat_980)+eat_981)+eat_982)+eat_983)+eat_984)+eat_985)+eat_986)+eat_987)+eat_988)+eat_989)+eat_990)+eat_991)+eat_992)+eat_993)+eat_994)+eat_995)+eat_996)+eat_997)+eat_998)+eat_999)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((catch2_0+catch2_1)+catch2_2)+catch2_3)+catch2_4)+catch2_5)+catch2_6)+catch2_7)+catch2_8)+catch2_9)+catch2_10)+catch2_11)+catch2_12)+catch2_13)+catch2_14)+catch2_15)+catch2_16)+catch2_17)+catch2_18)+catch2_19)+catch2_20)+catch2_21)+catch2_22)+catch2_23)+catch2_24)+catch2_25)+catch2_26)+catch2_27)+catch2_28)+catch2_29)+catch2_30)+catch2_31)+catch2_32)+catch2_33)+catch2_34)+catch2_35)+catch2_36)+catch2_37)+catch2_38)+catch2_39)+catch2_40)+catch2_41)+catch2_42)+catch2_43)+catch2_44)+catch2_45)+catch2_46)+catch2_47)+catch2_48)+catch2_49)+catch2_50)+catch2_51)+catch2_52)+catch2_53)+catch2_54)+catch2_55)+catch2_56)+catch2_57)+catch2_58)+catch2_59)+catch2_60)+catch2_61)+catch2_62)+catch2_63)+catch2_64)+catch2_65)+catch2_66)+catch2_67)+catch2_68)+catch2_69)+catch2_70)+catch2_71)+catch2_72)+catch2_73)+catch2_74)+catch2_75)+catch2_76)+catch2_77)+catch2_78)+catch2_79)+catch2_80)+catch2_81)+catch2_82)+catch2_83)+catch2_84)+catch2_85)+catch2_86)+catch2_87)+catch2_88)+catch2_89)+catch2_90)+catch2_91)+catch2_92)+catch2_93)+catch2_94)+catch2_95)+catch2_96)+catch2_97)+catch2_98)+catch2_99)+catch2_100)+catch2_101)+catch2_102)+catch2_103)+catch2_104)+catch2_105)+catch2_106)+catch2_107)+catch2_108)+catch2_109)+catch2_110)+catch2_111)+catch2_112)+catch2_113)+catch2_114)+catch2_115)+catch2_116)+catch2_117)+catch2_118)+catch2_119)+catch2_120)+catch2_121)+catch2_122)+catch2_123)+catch2_124)+catch2_125)+catch2_126)+catch2_127)+catch2_128)+catch2_129)+catch2_130)+catch2_131)+catch2_132)+catch2_133)+catch2_134)+catch2_135)+catch2_136)+catch2_137)+catch2_138)+catch2_139)+catch2_140)+catch2_141)+catch2_142)+catch2_143)+catch2_144)+catch2_145)+catch2_146)+catch2_147)+catch2_148)+catch2_149)+catch2_150)+catch2_151)+catch2_152)+catch2_153)+catch2_154)+catch2_155)+catch2_156)+catch2_157)+catch2_158)+catch2_159)+catch2_160)+catch2_161)+catch2_162)+catch2_163)+catch2_164)+catch2_165)+catch2_166)+catch2_167)+catch2_168)+catch2_169)+catch2_170)+catch2_171)+catch2_172)+catch2_173)+catch2_174)+catch2_175)+catch2_176)+catch2_177)+catch2_178)+catch2_179)+catch2_180)+catch2_181)+catch2_182)+catch2_183)+catch2_184)+catch2_185)+catch2_186)+catch2_187)+catch2_188)+catch2_189)+catch2_190)+catch2_191)+catch2_192)+catch2_193)+catch2_194)+catch2_195)+catch2_196)+catch2_197)+catch2_198)+catch2_199)+catch2_200)+catch2_201)+catch2_202)+catch2_203)+catch2_204)+catch2_205)+catch2_206)+catch2_207)+catch2_208)+catch2_209)+catch2_210)+catch2_211)+catch2_212)+catch2_213)+catch2_214)+catch2_215)+catch2_216)+catch2_217)+catch2_218)+catch2_219)+catch2_220)+catch2_221)+catch2_222)+catch2_223)+catch2_224)+catch2_225)+catch2_226)+catch2_227)+catch2_228)+catch2_229)+catch2_230)+catch2_231)+catch2_232)+catch2_233)+catch2_234)+catch2_235)+catch2_236)+catch2_237)+catch2_238)+catch2_239)+catch2_240)+catch2_241)+catch2_242)+catch2_243)+catch2_244)+catch2_245)+catch2_246)+catch2_247)+catch2_248)+catch2_249)+catch2_250)+catch2_251)+catch2_252)+catch2_253)+catch2_254)+catch2_255)+catch2_256)+catch2_257)+catch2_258)+catch2_259)+catch2_260)+catch2_261)+catch2_262)+catch2_263)+catch2_264)+catch2_265)+catch2_266)+catch2_267)+catch2_268)+catch2_269)+catch2_270)+catch2_271)+catch2_272)+catch2_273)+catch2_274)+catch2_275)+catch2_276)+catch2_277)+catch2_278)+catch2_279)+catch2_280)+catch2_281)+catch2_282)+catch2_283)+catch2_284)+catch2_285)+catch2_286)+catch2_287)+catch2_288)+catch2_289)+catch2_290)+catch2_291)+catch2_292)+catch2_293)+catch2_294)+catch2_295)+catch2_296)+catch2_297)+catch2_298)+catch2_299)+catch2_300)+catch2_301)+catch2_302)+catch2_303)+catch2_304)+catch2_305)+catch2_306)+catch2_307)+catch2_308)+catch2_309)+catch2_310)+catch2_311)+catch2_312)+catch2_313)+catch2_314)+catch2_315)+catch2_316)+catch2_317)+catch2_318)+catch2_319)+catch2_320)+catch2_321)+catch2_322)+catch2_323)+catch2_324)+catch2_325)+catch2_326)+catch2_327)+catch2_328)+catch2_329)+catch2_330)+catch2_331)+catch2_332)+catch2_333)+catch2_334)+catch2_335)+catch2_336)+catch2_337)+catch2_338)+catch2_339)+catch2_340)+catch2_341)+catch2_342)+catch2_343)+catch2_344)+catch2_345)+catch2_346)+catch2_347)+catch2_348)+catch2_349)+catch2_350)+catch2_351)+catch2_352)+catch2_353)+catch2_354)+catch2_355)+catch2_356)+catch2_357)+catch2_358)+catch2_359)+catch2_360)+catch2_361)+catch2_362)+catch2_363)+catch2_364)+catch2_365)+catch2_366)+catch2_367)+catch2_368)+catch2_369)+catch2_370)+catch2_371)+catch2_372)+catch2_373)+catch2_374)+catch2_375)+catch2_376)+catch2_377)+catch2_378)+catch2_379)+catch2_380)+catch2_381)+catch2_382)+catch2_383)+catch2_384)+catch2_385)+catch2_386)+catch2_387)+catch2_388)+catch2_389)+catch2_390)+catch2_391)+catch2_392)+catch2_393)+catch2_394)+catch2_395)+catch2_396)+catch2_397)+catch2_398)+catch2_399)+catch2_400)+catch2_401)+catch2_402)+catch2_403)+catch2_404)+catch2_405)+catch2_406)+catch2_407)+catch2_408)+catch2_409)+catch2_410)+catch2_411)+catch2_412)+catch2_413)+catch2_414)+catch2_415)+catch2_416)+catch2_417)+catch2_418)+catch2_419)+catch2_420)+catch2_421)+catch2_422)+catch2_423)+catch2_424)+catch2_425)+catch2_426)+catch2_427)+catch2_428)+catch2_429)+catch2_430)+catch2_431)+catch2_432)+catch2_433)+catch2_434)+catch2_435)+catch2_436)+catch2_437)+catch2_438)+catch2_439)+catch2_440)+catch2_441)+catch2_442)+catch2_443)+catch2_444)+catch2_445)+catch2_446)+catch2_447)+catch2_448)+catch2_449)+catch2_450)+catch2_451)+catch2_452)+catch2_453)+catch2_454)+catch2_455)+catch2_456)+catch2_457)+catch2_458)+catch2_459)+catch2_460)+catch2_461)+catch2_462)+catch2_463)+catch2_464)+catch2_465)+catch2_466)+catch2_467)+catch2_468)+catch2_469)+catch2_470)+catch2_471)+catch2_472)+catch2_473)+catch2_474)+catch2_475)+catch2_476)+catch2_477)+catch2_478)+catch2_479)+catch2_480)+catch2_481)+catch2_482)+catch2_483)+catch2_484)+catch2_485)+catch2_486)+catch2_487)+catch2_488)+catch2_489)+catch2_490)+catch2_491)+catch2_492)+catch2_493)+catch2_494)+catch2_495)+catch2_496)+catch2_497)+catch2_498)+catch2_499)+catch2_500)+catch2_501)+catch2_502)+catch2_503)+catch2_504)+catch2_505)+catch2_506)+catch2_507)+catch2_508)+catch2_509)+catch2_510)+catch2_511)+catch2_512)+catch2_513)+catch2_514)+catch2_515)+catch2_516)+catch2_517)+catch2_518)+catch2_519)+catch2_520)+catch2_521)+catch2_522)+catch2_523)+catch2_524)+catch2_525)+catch2_526)+catch2_527)+catch2_528)+catch2_529)+catch2_530)+catch2_531)+catch2_532)+catch2_533)+catch2_534)+catch2_535)+catch2_536)+catch2_537)+catch2_538)+catch2_539)+catch2_540)+catch2_541)+catch2_542)+catch2_543)+catch2_544)+catch2_545)+catch2_546)+catch2_547)+catch2_548)+catch2_549)+catch2_550)+catch2_551)+catch2_552)+catch2_553)+catch2_554)+catch2_555)+catch2_556)+catch2_557)+catch2_558)+catch2_559)+catch2_560)+catch2_561)+catch2_562)+catch2_563)+catch2_564)+catch2_565)+catch2_566)+catch2_567)+catch2_568)+catch2_569)+catch2_570)+catch2_571)+catch2_572)+catch2_573)+catch2_574)+catch2_575)+catch2_576)+catch2_577)+catch2_578)+catch2_579)+catch2_580)+catch2_581)+catch2_582)+catch2_583)+catch2_584)+catch2_585)+catch2_586)+catch2_587)+catch2_588)+catch2_589)+catch2_590)+catch2_591)+catch2_592)+catch2_593)+catch2_594)+catch2_595)+catch2_596)+catch2_597)+catch2_598)+catch2_599)+catch2_600)+catch2_601)+catch2_602)+catch2_603)+catch2_604)+catch2_605)+catch2_606)+catch2_607)+catch2_608)+catch2_609)+catch2_610)+catch2_611)+catch2_612)+catch2_613)+catch2_614)+catch2_615)+catch2_616)+catch2_617)+catch2_618)+catch2_619)+catch2_620)+catch2_621)+catch2_622)+catch2_623)+catch2_624)+catch2_625)+catch2_626)+catch2_627)+catch2_628)+catch2_629)+catch2_630)+catch2_631)+catch2_632)+catch2_633)+catch2_634)+catch2_635)+catch2_636)+catch2_637)+catch2_638)+catch2_639)+catch2_640)+catch2_641)+catch2_642)+catch2_643)+catch2_644)+catch2_645)+catch2_646)+catch2_647)+catch2_648)+catch2_649)+catch2_650)+catch2_651)+catch2_652)+catch2_653)+catch2_654)+catch2_655)+catch2_656)+catch2_657)+catch2_658)+catch2_659)+catch2_660)+catch2_661)+catch2_662)+catch2_663)+catch2_664)+catch2_665)+catch2_666)+catch2_667)+catch2_668)+catch2_669)+catch2_670)+catch2_671)+catch2_672)+catch2_673)+catch2_674)+catch2_675)+catch2_676)+catch2_677)+catch2_678)+catch2_679)+catch2_680)+catch2_681)+catch2_682)+catch2_683)+catch2_684)+catch2_685)+catch2_686)+catch2_687)+catch2_688)+catch2_689)+catch2_690)+catch2_691)+catch2_692)+catch2_693)+catch2_694)+catch2_695)+catch2_696)+catch2_697)+catch2_698)+catch2_699)+catch2_700)+catch2_701)+catch2_702)+catch2_703)+catch2_704)+catch2_705)+catch2_706)+catch2_707)+catch2_708)+catch2_709)+catch2_710)+catch2_711)+catch2_712)+catch2_713)+catch2_714)+catch2_715)+catch2_716)+catch2_717)+catch2_718)+catch2_719)+catch2_720)+catch2_721)+catch2_722)+catch2_723)+catch2_724)+catch2_725)+catch2_726)+catch2_727)+catch2_728)+catch2_729)+catch2_730)+catch2_731)+catch2_732)+catch2_733)+catch2_734)+catch2_735)+catch2_736)+catch2_737)+catch2_738)+catch2_739)+catch2_740)+catch2_741)+catch2_742)+catch2_743)+catch2_744)+catch2_745)+catch2_746)+catch2_747)+catch2_748)+catch2_749)+catch2_750)+catch2_751)+catch2_752)+catch2_753)+catch2_754)+catch2_755)+catch2_756)+catch2_757)+catch2_758)+catch2_759)+catch2_760)+catch2_761)+catch2_762)+catch2_763)+catch2_764)+catch2_765)+catch2_766)+catch2_767)+catch2_768)+catch2_769)+catch2_770)+catch2_771)+catch2_772)+catch2_773)+catch2_774)+catch2_775)+catch2_776)+catch2_777)+catch2_778)+catch2_779)+catch2_780)+catch2_781)+catch2_782)+catch2_783)+catch2_784)+catch2_785)+catch2_786)+catch2_787)+catch2_788)+catch2_789)+catch2_790)+catch2_791)+catch2_792)+catch2_793)+catch2_794)+catch2_795)+catch2_796)+catch2_797)+catch2_798)+catch2_799)+catch2_800)+catch2_801)+catch2_802)+catch2_803)+catch2_804)+catch2_805)+catch2_806)+catch2_807)+catch2_808)+catch2_809)+catch2_810)+catch2_811)+catch2_812)+catch2_813)+catch2_814)+catch2_815)+catch2_816)+catch2_817)+catch2_818)+catch2_819)+catch2_820)+catch2_821)+catch2_822)+catch2_823)+catch2_824)+catch2_825)+catch2_826)+catch2_827)+catch2_828)+catch2_829)+catch2_830)+catch2_831)+catch2_832)+catch2_833)+catch2_834)+catch2_835)+catch2_836)+catch2_837)+catch2_838)+catch2_839)+catch2_840)+catch2_841)+catch2_842)+catch2_843)+catch2_844)+catch2_845)+catch2_846)+catch2_847)+catch2_848)+catch2_849)+catch2_850)+catch2_851)+catch2_852)+catch2_853)+catch2_854)+catch2_855)+catch2_856)+catch2_857)+catch2_858)+catch2_859)+catch2_860)+catch2_861)+catch2_862)+catch2_863)+catch2_864)+catch2_865)+catch2_866)+catch2_867)+catch2_868)+catch2_869)+catch2_870)+catch2_871)+catch2_872)+catch2_873)+catch2_874)+catch2_875)+catch2_876)+catch2_877)+catch2_878)+catch2_879)+catch2_880)+catch2_881)+catch2_882)+catch2_883)+catch2_884)+catch2_885)+catch2_886)+catch2_887)+catch2_888)+catch2_889)+catch2_890)+catch2_891)+catch2_892)+catch2_893)+catch2_894)+catch2_895)+catch2_896)+catch2_897)+catch2_898)+catch2_899)+catch2_900)+catch2_901)+catch2_902)+catch2_903)+catch2_904)+catch2_905)+catch2_906)+catch2_907)+catch2_908)+catch2_909)+catch2_910)+catch2_911)+catch2_912)+catch2_913)+catch2_914)+catch2_915)+catch2_916)+catch2_917)+catch2_918)+catch2_919)+catch2_920)+catch2_921)+catch2_922)+catch2_923)+catch2_924)+catch2_925)+catch2_926)+catch2_927)+catch2_928)+catch2_929)+catch2_930)+catch2_931)+catch2_932)+catch2_933)+catch2_934)+catch2_935)+catch2_936)+catch2_937)+catch2_938)+catch2_939)+catch2_940)+catch2_941)+catch2_942)+catch2_943)+catch2_944)+catch2_945)+catch2_946)+catch2_947)+catch2_948)+catch2_949)+catch2_950)+catch2_951)+catch2_952)+catch2_953)+catch2_954)+catch2_955)+catch2_956)+catch2_957)+catch2_958)+catch2_959)+catch2_960)+catch2_961)+catch2_962)+catch2_963)+catch2_964)+catch2_965)+catch2_966)+catch2_967)+catch2_968)+catch2_969)+catch2_970)+catch2_971)+catch2_972)+catch2_973)+catch2_974)+catch2_975)+catch2_976)+catch2_977)+catch2_978)+catch2_979)+catch2_980)+catch2_981)+catch2_982)+catch2_983)+catch2_984)+catch2_985)+catch2_986)+catch2_987)+catch2_988)+catch2_989)+catch2_990)+catch2_991)+catch2_992)+catch2_993)+catch2_994)+catch2_995)+catch2_996)+catch2_997)+catch2_998)+catch2_999))"
Compilation finished in 98644 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 198 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>(X([](<>((LTLAP0==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc: error while loading shared libraries: libltdl.so.7: cannot open shared object file: No such file or directory
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>(X([](<>((LTLAP0==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
127
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, <>(X([](<>((LTLAP0==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
127
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:170)
at fr.lip6.move.gal.application.LTSminRunner.access$10(LTSminRunner.java:124)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:834)
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Computing Next relation with stutter on 2 deadlock states
Detected timeout of ITS tools.
[2020-05-18 06:04:39] [INFO ] Applying decomposition
[2020-05-18 06:04:40] [INFO ] Flatten gal took : 551 ms
[2020-05-18 06:04:40] [INFO ] Decomposing Gal with order
[2020-05-18 06:04:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-18 06:04:44] [INFO ] Removed a total of 1000 redundant transitions.
[2020-05-18 06:04:44] [INFO ] Flatten gal took : 844 ms
[2020-05-18 06:04:44] [INFO ] Fuse similar labels procedure discarded/fused a total of 2000 labels/synchronizations in 249 ms.
[2020-05-18 06:04:48] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 69 ms
[2020-05-18 06:04:48] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 81 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 12 LTL properties
Checking formula 0 : !((F(X(G(F("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gPhilo0.eat_0+gPhilo1.eat_1)+gPhilo2.eat_2)+gPhilo3.eat_3)+gPhilo4.eat_4)+gPhilo5.eat_5)+gPhilo6.eat_6)+gPhilo7.eat_7)+gPhilo8.eat_8)+gPhilo9.eat_9)+gPhilo10.eat_10)+gPhilo11.eat_11)+gPhilo12.eat_12)+gPhilo13.eat_13)+gPhilo14.eat_14)+gPhilo15.eat_15)+gPhilo16.eat_16)+gPhilo17.eat_17)+gPhilo18.eat_18)+gPhilo19.eat_19)+gPhilo20.eat_20)+gPhilo21.eat_21)+gPhilo22.eat_22)+gPhilo23.eat_23)+gPhilo24.eat_24)+gPhilo25.eat_25)+gPhilo26.eat_26)+gPhilo27.eat_27)+gPhilo28.eat_28)+gPhilo29.eat_29)+gPhilo30.eat_30)+gPhilo31.eat_31)+gPhilo32.eat_32)+gPhilo33.eat_33)+gPhilo34.eat_34)+gPhilo35.eat_35)+gPhilo36.eat_36)+gPhilo37.eat_37)+gPhilo38.eat_38)+gPhilo39.eat_39)+gPhilo40.eat_40)+gPhilo41.eat_41)+gPhilo42.eat_42)+gPhilo43.eat_43)+gPhilo44.eat_44)+gPhilo45.eat_45)+gPhilo46.eat_46)+gPhilo47.eat_47)+gPhilo48.eat_48)+gPhilo49.eat_49)+gPhilo50.eat_50)+gPhilo51.eat_51)+gPhilo52.eat_52)+gPhilo53.eat_53)+gPhilo54.eat_54)+gPhilo55.eat_55)+gPhilo56.eat_56)+gPhilo57.eat_57)+gPhilo58.eat_58)+gPhilo59.eat_59)+gPhilo60.eat_60)+gPhilo61.eat_61)+gPhilo62.eat_62)+gPhilo63.eat_63)+gPhilo64.eat_64)+gPhilo65.eat_65)+gPhilo66.eat_66)+gPhilo67.eat_67)+gPhilo68.eat_68)+gPhilo69.eat_69)+gPhilo70.eat_70)+gPhilo71.eat_71)+gPhilo72.eat_72)+gPhilo73.eat_73)+gPhilo74.eat_74)+gPhilo75.eat_75)+gPhilo76.eat_76)+gPhilo77.eat_77)+gPhilo78.eat_78)+gPhilo79.eat_79)+gPhilo80.eat_80)+gPhilo81.eat_81)+gPhilo82.eat_82)+gPhilo83.eat_83)+gPhilo84.eat_84)+gPhilo85.eat_85)+gPhilo86.eat_86)+gPhilo87.eat_87)+gPhilo88.eat_88)+gPhilo89.eat_89)+gPhilo90.eat_90)+gPhilo91.eat_91)+gPhilo92.eat_92)+gPhilo93.eat_93)+gPhilo94.eat_94)+gPhilo95.eat_95)+gPhilo96.eat_96)+gPhilo97.eat_97)+gPhilo98.eat_98)+gPhilo99.eat_99)+gPhilo100.eat_100)+gPhilo101.eat_101)+gPhilo102.eat_102)+gPhilo103.eat_103)+gPhilo104.eat_104)+gPhilo105.eat_105)+gPhilo106.eat_106)+gPhilo107.eat_107)+gPhilo108.eat_108)+gPhilo109.eat_109)+gPhilo110.eat_110)+gPhilo111.eat_111)+gPhilo112.eat_112)+gPhilo113.eat_113)+gPhilo114.eat_114)+gPhilo115.eat_115)+gPhilo116.eat_116)+gPhilo117.eat_117)+gPhilo118.eat_118)+gPhilo119.eat_119)+gPhilo120.eat_120)+gPhilo121.eat_121)+gPhilo122.eat_122)+gPhilo123.eat_123)+gPhilo124.eat_124)+gPhilo125.eat_125)+gPhilo126.eat_126)+gPhilo127.eat_127)+gPhilo128.eat_128)+gPhilo129.eat_129)+gPhilo130.eat_130)+gPhilo131.eat_131)+gPhilo132.eat_132)+gPhilo133.eat_133)+gPhilo134.eat_134)+gPhilo135.eat_135)+gPhilo136.eat_136)+gPhilo137.eat_137)+gPhilo138.eat_138)+gPhilo139.eat_139)+gPhilo140.eat_140)+gPhilo141.eat_141)+gPhilo142.eat_142)+gPhilo143.eat_143)+gPhilo144.eat_144)+gPhilo145.eat_145)+gPhilo146.eat_146)+gPhilo147.eat_147)+gPhilo148.eat_148)+gPhilo149.eat_149)+gPhilo150.eat_150)+gPhilo151.eat_151)+gPhilo152.eat_152)+gPhilo153.eat_153)+gPhilo154.eat_154)+gPhilo155.eat_155)+gPhilo156.eat_156)+gPhilo157.eat_157)+gPhilo158.eat_158)+gPhilo159.eat_159)+gPhilo160.eat_160)+gPhilo161.eat_161)+gPhilo162.eat_162)+gPhilo163.eat_163)+gPhilo164.eat_164)+gPhilo165.eat_165)+gPhilo166.eat_166)+gPhilo167.eat_167)+gPhilo168.eat_168)+gPhilo169.eat_169)+gPhilo170.eat_170)+gPhilo171.eat_171)+gPhilo172.eat_172)+gPhilo173.eat_173)+gPhilo174.eat_174)+gPhilo175.eat_175)+gPhilo176.eat_176)+gPhilo177.eat_177)+gPhilo178.eat_178)+gPhilo179.eat_179)+gPhilo180.eat_180)+gPhilo181.eat_181)+gPhilo182.eat_182)+gPhilo183.eat_183)+gPhilo184.eat_184)+gPhilo185.eat_185)+gPhilo186.eat_186)+gPhilo187.eat_187)+gPhilo188.eat_188)+gPhilo189.eat_189)+gPhilo190.eat_190)+gPhilo191.eat_191)+gPhilo192.eat_192)+gPhilo193.eat_193)+gPhilo194.eat_194)+gPhilo195.eat_195)+gPhilo196.eat_196)+gPhilo197.eat_197)+gPhilo198.eat_198)+gPhilo199.eat_199)+gPhilo200.eat_200)+gPhilo201.eat_201)+gPhilo202.eat_202)+gPhilo203.eat_203)+gPhilo204.eat_204)+gPhilo205.eat_205)+gPhilo206.eat_206)+gPhilo207.eat_207)+gPhilo208.eat_208)+gPhilo209.eat_209)+gPhilo210.eat_210)+gPhilo211.eat_211)+gPhilo212.eat_212)+gPhilo213.eat_213)+gPhilo214.eat_214)+gPhilo215.eat_215)+gPhilo216.eat_216)+gPhilo217.eat_217)+gPhilo218.eat_218)+gPhilo219.eat_219)+gPhilo220.eat_220)+gPhilo221.eat_221)+gPhilo222.eat_222)+gPhilo223.eat_223)+gPhilo224.eat_224)+gPhilo225.eat_225)+gPhilo226.eat_226)+gPhilo227.eat_227)+gPhilo228.eat_228)+gPhilo229.eat_229)+gPhilo230.eat_230)+gPhilo231.eat_231)+gPhilo232.eat_232)+gPhilo233.eat_233)+gPhilo234.eat_234)+gPhilo235.eat_235)+gPhilo236.eat_236)+gPhilo237.eat_237)+gPhilo238.eat_238)+gPhilo239.eat_239)+gPhilo240.eat_240)+gPhilo241.eat_241)+gPhilo242.eat_242)+gPhilo243.eat_243)+gPhilo244.eat_244)+gPhilo245.eat_245)+gPhilo246.eat_246)+gPhilo247.eat_247)+gPhilo248.eat_248)+gPhilo249.eat_249)+gPhilo250.eat_250)+gPhilo251.eat_251)+gPhilo252.eat_252)+gPhilo253.eat_253)+gPhilo254.eat_254)+gPhilo255.eat_255)+gPhilo256.eat_256)+gPhilo257.eat_257)+gPhilo258.eat_258)+gPhilo259.eat_259)+gPhilo260.eat_260)+gPhilo261.eat_261)+gPhilo262.eat_262)+gPhilo263.eat_263)+gPhilo264.eat_264)+gPhilo265.eat_265)+gPhilo266.eat_266)+gPhilo267.eat_267)+gPhilo268.eat_268)+gPhilo269.eat_269)+gPhilo270.eat_270)+gPhilo271.eat_271)+gPhilo272.eat_272)+gPhilo273.eat_273)+gPhilo274.eat_274)+gPhilo275.eat_275)+gPhilo276.eat_276)+gPhilo277.eat_277)+gPhilo278.eat_278)+gPhilo279.eat_279)+gPhilo280.eat_280)+gPhilo281.eat_281)+gPhilo282.eat_282)+gPhilo283.eat_283)+gPhilo284.eat_284)+gPhilo285.eat_285)+gPhilo286.eat_286)+gPhilo287.eat_287)+gPhilo288.eat_288)+gPhilo289.eat_289)+gPhilo290.eat_290)+gPhilo291.eat_291)+gPhilo292.eat_292)+gPhilo293.eat_293)+gPhilo294.eat_294)+gPhilo295.eat_295)+gPhilo296.eat_296)+gPhilo297.eat_297)+gPhilo298.eat_298)+gPhilo299.eat_299)+gPhilo300.eat_300)+gPhilo301.eat_301)+gPhilo302.eat_302)+gPhilo303.eat_303)+gPhilo304.eat_304)+gPhilo305.eat_305)+gPhilo306.eat_306)+gPhilo307.eat_307)+gPhilo308.eat_308)+gPhilo309.eat_309)+gPhilo310.eat_310)+gPhilo311.eat_311)+gPhilo312.eat_312)+gPhilo313.eat_313)+gPhilo314.eat_314)+gPhilo315.eat_315)+gPhilo316.eat_316)+gPhilo317.eat_317)+gPhilo318.eat_318)+gPhilo319.eat_319)+gPhilo320.eat_320)+gPhilo321.eat_321)+gPhilo322.eat_322)+gPhilo323.eat_323)+gPhilo324.eat_324)+gPhilo325.eat_325)+gPhilo326.eat_326)+gPhilo327.eat_327)+gPhilo328.eat_328)+gPhilo329.eat_329)+gPhilo330.eat_330)+gPhilo331.eat_331)+gPhilo332.eat_332)+gPhilo333.eat_333)+gPhilo334.eat_334)+gPhilo335.eat_335)+gPhilo336.eat_336)+gPhilo337.eat_337)+gPhilo338.eat_338)+gPhilo339.eat_339)+gPhilo340.eat_340)+gPhilo341.eat_341)+gPhilo342.eat_342)+gPhilo343.eat_343)+gPhilo344.eat_344)+gPhilo345.eat_345)+gPhilo346.eat_346)+gPhilo347.eat_347)+gPhilo348.eat_348)+gPhilo349.eat_349)+gPhilo350.eat_350)+gPhilo351.eat_351)+gPhilo352.eat_352)+gPhilo353.eat_353)+gPhilo354.eat_354)+gPhilo355.eat_355)+gPhilo356.eat_356)+gPhilo357.eat_357)+gPhilo358.eat_358)+gPhilo359.eat_359)+gPhilo360.eat_360)+gPhilo361.eat_361)+gPhilo362.eat_362)+gPhilo363.eat_363)+gPhilo364.eat_364)+gPhilo365.eat_365)+gPhilo366.eat_366)+gPhilo367.eat_367)+gPhilo368.eat_368)+gPhilo369.eat_369)+gPhilo370.eat_370)+gPhilo371.eat_371)+gPhilo372.eat_372)+gPhilo373.eat_373)+gPhilo374.eat_374)+gPhilo375.eat_375)+gPhilo376.eat_376)+gPhilo377.eat_377)+gPhilo378.eat_378)+gPhilo379.eat_379)+gPhilo380.eat_380)+gPhilo381.eat_381)+gPhilo382.eat_382)+gPhilo383.eat_383)+gPhilo384.eat_384)+gPhilo385.eat_385)+gPhilo386.eat_386)+gPhilo387.eat_387)+gPhilo388.eat_388)+gPhilo389.eat_389)+gPhilo390.eat_390)+gPhilo391.eat_391)+gPhilo392.eat_392)+gPhilo393.eat_393)+gPhilo394.eat_394)+gPhilo395.eat_395)+gPhilo396.eat_396)+gPhilo397.eat_397)+gPhilo398.eat_398)+gPhilo399.eat_399)+gPhilo400.eat_400)+gPhilo401.eat_401)+gPhilo402.eat_402)+gPhilo403.eat_403)+gPhilo404.eat_404)+gPhilo405.eat_405)+gPhilo406.eat_406)+gPhilo407.eat_407)+gPhilo408.eat_408)+gPhilo409.eat_409)+gPhilo410.eat_410)+gPhilo411.eat_411)+gPhilo412.eat_412)+gPhilo413.eat_413)+gPhilo414.eat_414)+gPhilo415.eat_415)+gPhilo416.eat_416)+gPhilo417.eat_417)+gPhilo418.eat_418)+gPhilo419.eat_419)+gPhilo420.eat_420)+gPhilo421.eat_421)+gPhilo422.eat_422)+gPhilo423.eat_423)+gPhilo424.eat_424)+gPhilo425.eat_425)+gPhilo426.eat_426)+gPhilo427.eat_427)+gPhilo428.eat_428)+gPhilo429.eat_429)+gPhilo430.eat_430)+gPhilo431.eat_431)+gPhilo432.eat_432)+gPhilo433.eat_433)+gPhilo434.eat_434)+gPhilo435.eat_435)+gPhilo436.eat_436)+gPhilo437.eat_437)+gPhilo438.eat_438)+gPhilo439.eat_439)+gPhilo440.eat_440)+gPhilo441.eat_441)+gPhilo442.eat_442)+gPhilo443.eat_443)+gPhilo444.eat_444)+gPhilo445.eat_445)+gPhilo446.eat_446)+gPhilo447.eat_447)+gPhilo448.eat_448)+gPhilo449.eat_449)+gPhilo450.eat_450)+gPhilo451.eat_451)+gPhilo452.eat_452)+gPhilo453.eat_453)+gPhilo454.eat_454)+gPhilo455.eat_455)+gPhilo456.eat_456)+gPhilo457.eat_457)+gPhilo458.eat_458)+gPhilo459.eat_459)+gPhilo460.eat_460)+gPhilo461.eat_461)+gPhilo462.eat_462)+gPhilo463.eat_463)+gPhilo464.eat_464)+gPhilo465.eat_465)+gPhilo466.eat_466)+gPhilo467.eat_467)+gPhilo468.eat_468)+gPhilo469.eat_469)+gPhilo470.eat_470)+gPhilo471.eat_471)+gPhilo472.eat_472)+gPhilo473.eat_473)+gPhilo474.eat_474)+gPhilo475.eat_475)+gPhilo476.eat_476)+gPhilo477.eat_477)+gPhilo478.eat_478)+gPhilo479.eat_479)+gPhilo480.eat_480)+gPhilo481.eat_481)+gPhilo482.eat_482)+gPhilo483.eat_483)+gPhilo484.eat_484)+gPhilo485.eat_485)+gPhilo486.eat_486)+gPhilo487.eat_487)+gPhilo488.eat_488)+gPhilo489.eat_489)+gPhilo490.eat_490)+gPhilo491.eat_491)+gPhilo492.eat_492)+gPhilo493.eat_493)+gPhilo494.eat_494)+gPhilo495.eat_495)+gPhilo496.eat_496)+gPhilo497.eat_497)+gPhilo498.eat_498)+gPhilo499.eat_499)+gPhilo500.eat_500)+gPhilo501.eat_501)+gPhilo502.eat_502)+gPhilo503.eat_503)+gPhilo504.eat_504)+gPhilo505.eat_505)+gPhilo506.eat_506)+gPhilo507.eat_507)+gPhilo508.eat_508)+gPhilo509.eat_509)+gPhilo510.eat_510)+gPhilo511.eat_511)+gPhilo512.eat_512)+gPhilo513.eat_513)+gPhilo514.eat_514)+gPhilo515.eat_515)+gPhilo516.eat_516)+gPhilo517.eat_517)+gPhilo518.eat_518)+gPhilo519.eat_519)+gPhilo520.eat_520)+gPhilo521.eat_521)+gPhilo522.eat_522)+gPhilo523.eat_523)+gPhilo524.eat_524)+gPhilo525.eat_525)+gPhilo526.eat_526)+gPhilo527.eat_527)+gPhilo528.eat_528)+gPhilo529.eat_529)+gPhilo530.eat_530)+gPhilo531.eat_531)+gPhilo532.eat_532)+gPhilo533.eat_533)+gPhilo534.eat_534)+gPhilo535.eat_535)+gPhilo536.eat_536)+gPhilo537.eat_537)+gPhilo538.eat_538)+gPhilo539.eat_539)+gPhilo540.eat_540)+gPhilo541.eat_541)+gPhilo542.eat_542)+gPhilo543.eat_543)+gPhilo544.eat_544)+gPhilo545.eat_545)+gPhilo546.eat_546)+gPhilo547.eat_547)+gPhilo548.eat_548)+gPhilo549.eat_549)+gPhilo550.eat_550)+gPhilo551.eat_551)+gPhilo552.eat_552)+gPhilo553.eat_553)+gPhilo554.eat_554)+gPhilo555.eat_555)+gPhilo556.eat_556)+gPhilo557.eat_557)+gPhilo558.eat_558)+gPhilo559.eat_559)+gPhilo560.eat_560)+gPhilo561.eat_561)+gPhilo562.eat_562)+gPhilo563.eat_563)+gPhilo564.eat_564)+gPhilo565.eat_565)+gPhilo566.eat_566)+gPhilo567.eat_567)+gPhilo568.eat_568)+gPhilo569.eat_569)+gPhilo570.eat_570)+gPhilo571.eat_571)+gPhilo572.eat_572)+gPhilo573.eat_573)+gPhilo574.eat_574)+gPhilo575.eat_575)+gPhilo576.eat_576)+gPhilo577.eat_577)+gPhilo578.eat_578)+gPhilo579.eat_579)+gPhilo580.eat_580)+gPhilo581.eat_581)+gPhilo582.eat_582)+gPhilo583.eat_583)+gPhilo584.eat_584)+gPhilo585.eat_585)+gPhilo586.eat_586)+gPhilo587.eat_587)+gPhilo588.eat_588)+gPhilo589.eat_589)+gPhilo590.eat_590)+gPhilo591.eat_591)+gPhilo592.eat_592)+gPhilo593.eat_593)+gPhilo594.eat_594)+gPhilo595.eat_595)+gPhilo596.eat_596)+gPhilo597.eat_597)+gPhilo598.eat_598)+gPhilo599.eat_599)+gPhilo600.eat_600)+gPhilo601.eat_601)+gPhilo602.eat_602)+gPhilo603.eat_603)+gPhilo604.eat_604)+gPhilo605.eat_605)+gPhilo606.eat_606)+gPhilo607.eat_607)+gPhilo608.eat_608)+gPhilo609.eat_609)+gPhilo610.eat_610)+gPhilo611.eat_611)+gPhilo612.eat_612)+gPhilo613.eat_613)+gPhilo614.eat_614)+gPhilo615.eat_615)+gPhilo616.eat_616)+gPhilo617.eat_617)+gPhilo618.eat_618)+gPhilo619.eat_619)+gPhilo620.eat_620)+gPhilo621.eat_621)+gPhilo622.eat_622)+gPhilo623.eat_623)+gPhilo624.eat_624)+gPhilo625.eat_625)+gPhilo626.eat_626)+gPhilo627.eat_627)+gPhilo628.eat_628)+gPhilo629.eat_629)+gPhilo630.eat_630)+gPhilo631.eat_631)+gPhilo632.eat_632)+gPhilo633.eat_633)+gPhilo634.eat_634)+gPhilo635.eat_635)+gPhilo636.eat_636)+gPhilo637.eat_637)+gPhilo638.eat_638)+gPhilo639.eat_639)+gPhilo640.eat_640)+gPhilo641.eat_641)+gPhilo642.eat_642)+gPhilo643.eat_643)+gPhilo644.eat_644)+gPhilo645.eat_645)+gPhilo646.eat_646)+gPhilo647.eat_647)+gPhilo648.eat_648)+gPhilo649.eat_649)+gPhilo650.eat_650)+gPhilo651.eat_651)+gPhilo652.eat_652)+gPhilo653.eat_653)+gPhilo654.eat_654)+gPhilo655.eat_655)+gPhilo656.eat_656)+gPhilo657.eat_657)+gPhilo658.eat_658)+gPhilo659.eat_659)+gPhilo660.eat_660)+gPhilo661.eat_661)+gPhilo662.eat_662)+gPhilo663.eat_663)+gPhilo664.eat_664)+gPhilo665.eat_665)+gPhilo666.eat_666)+gPhilo667.eat_667)+gPhilo668.eat_668)+gPhilo669.eat_669)+gPhilo670.eat_670)+gPhilo671.eat_671)+gPhilo672.eat_672)+gPhilo673.eat_673)+gPhilo674.eat_674)+gPhilo675.eat_675)+gPhilo676.eat_676)+gPhilo677.eat_677)+gPhilo678.eat_678)+gPhilo679.eat_679)+gPhilo680.eat_680)+gPhilo681.eat_681)+gPhilo682.eat_682)+gPhilo683.eat_683)+gPhilo684.eat_684)+gPhilo685.eat_685)+gPhilo686.eat_686)+gPhilo687.eat_687)+gPhilo688.eat_688)+gPhilo689.eat_689)+gPhilo690.eat_690)+gPhilo691.eat_691)+gPhilo692.eat_692)+gPhilo693.eat_693)+gPhilo694.eat_694)+gPhilo695.eat_695)+gPhilo696.eat_696)+gPhilo697.eat_697)+gPhilo698.eat_698)+gPhilo699.eat_699)+gPhilo700.eat_700)+gPhilo701.eat_701)+gPhilo702.eat_702)+gPhilo703.eat_703)+gPhilo704.eat_704)+gPhilo705.eat_705)+gPhilo706.eat_706)+gPhilo707.eat_707)+gPhilo708.eat_708)+gPhilo709.eat_709)+gPhilo710.eat_710)+gPhilo711.eat_711)+gPhilo712.eat_712)+gPhilo713.eat_713)+gPhilo714.eat_714)+gPhilo715.eat_715)+gPhilo716.eat_716)+gPhilo717.eat_717)+gPhilo718.eat_718)+gPhilo719.eat_719)+gPhilo720.eat_720)+gPhilo721.eat_721)+gPhilo722.eat_722)+gPhilo723.eat_723)+gPhilo724.eat_724)+gPhilo725.eat_725)+gPhilo726.eat_726)+gPhilo727.eat_727)+gPhilo728.eat_728)+gPhilo729.eat_729)+gPhilo730.eat_730)+gPhilo731.eat_731)+gPhilo732.eat_732)+gPhilo733.eat_733)+gPhilo734.eat_734)+gPhilo735.eat_735)+gPhilo736.eat_736)+gPhilo737.eat_737)+gPhilo738.eat_738)+gPhilo739.eat_739)+gPhilo740.eat_740)+gPhilo741.eat_741)+gPhilo742.eat_742)+gPhilo743.eat_743)+gPhilo744.eat_744)+gPhilo745.eat_745)+gPhilo746.eat_746)+gPhilo747.eat_747)+gPhilo748.eat_748)+gPhilo749.eat_749)+gPhilo750.eat_750)+gPhilo751.eat_751)+gPhilo752.eat_752)+gPhilo753.eat_753)+gPhilo754.eat_754)+gPhilo755.eat_755)+gPhilo756.eat_756)+gPhilo757.eat_757)+gPhilo758.eat_758)+gPhilo759.eat_759)+gPhilo760.eat_760)+gPhilo761.eat_761)+gPhilo762.eat_762)+gPhilo763.eat_763)+gPhilo764.eat_764)+gPhilo765.eat_765)+gPhilo766.eat_766)+gPhilo767.eat_767)+gPhilo768.eat_768)+gPhilo769.eat_769)+gPhilo770.eat_770)+gPhilo771.eat_771)+gPhilo772.eat_772)+gPhilo773.eat_773)+gPhilo774.eat_774)+gPhilo775.eat_775)+gPhilo776.eat_776)+gPhilo777.eat_777)+gPhilo778.eat_778)+gPhilo779.eat_779)+gPhilo780.eat_780)+gPhilo781.eat_781)+gPhilo782.eat_782)+gPhilo783.eat_783)+gPhilo784.eat_784)+gPhilo785.eat_785)+gPhilo786.eat_786)+gPhilo787.eat_787)+gPhilo788.eat_788)+gPhilo789.eat_789)+gPhilo790.eat_790)+gPhilo791.eat_791)+gPhilo792.eat_792)+gPhilo793.eat_793)+gPhilo794.eat_794)+gPhilo795.eat_795)+gPhilo796.eat_796)+gPhilo797.eat_797)+gPhilo798.eat_798)+gPhilo799.eat_799)+gPhilo800.eat_800)+gPhilo801.eat_801)+gPhilo802.eat_802)+gPhilo803.eat_803)+gPhilo804.eat_804)+gPhilo805.eat_805)+gPhilo806.eat_806)+gPhilo807.eat_807)+gPhilo808.eat_808)+gPhilo809.eat_809)+gPhilo810.eat_810)+gPhilo811.eat_811)+gPhilo812.eat_812)+gPhilo813.eat_813)+gPhilo814.eat_814)+gPhilo815.eat_815)+gPhilo816.eat_816)+gPhilo817.eat_817)+gPhilo818.eat_818)+gPhilo819.eat_819)+gPhilo820.eat_820)+gPhilo821.eat_821)+gPhilo822.eat_822)+gPhilo823.eat_823)+gPhilo824.eat_824)+gPhilo825.eat_825)+gPhilo826.eat_826)+gPhilo827.eat_827)+gPhilo828.eat_828)+gPhilo829.eat_829)+gPhilo830.eat_830)+gPhilo831.eat_831)+gPhilo832.eat_832)+gPhilo833.eat_833)+gPhilo834.eat_834)+gPhilo835.eat_835)+gPhilo836.eat_836)+gPhilo837.eat_837)+gPhilo838.eat_838)+gPhilo839.eat_839)+gPhilo840.eat_840)+gPhilo841.eat_841)+gPhilo842.eat_842)+gPhilo843.eat_843)+gPhilo844.eat_844)+gPhilo845.eat_845)+gPhilo846.eat_846)+gPhilo847.eat_847)+gPhilo848.eat_848)+gPhilo849.eat_849)+gPhilo850.eat_850)+gPhilo851.eat_851)+gPhilo852.eat_852)+gPhilo853.eat_853)+gPhilo854.eat_854)+gPhilo855.eat_855)+gPhilo856.eat_856)+gPhilo857.eat_857)+gPhilo858.eat_858)+gPhilo859.eat_859)+gPhilo860.eat_860)+gPhilo861.eat_861)+gPhilo862.eat_862)+gPhilo863.eat_863)+gPhilo864.eat_864)+gPhilo865.eat_865)+gPhilo866.eat_866)+gPhilo867.eat_867)+gPhilo868.eat_868)+gPhilo869.eat_869)+gPhilo870.eat_870)+gPhilo871.eat_871)+gPhilo872.eat_872)+gPhilo873.eat_873)+gPhilo874.eat_874)+gPhilo875.eat_875)+gPhilo876.eat_876)+gPhilo877.eat_877)+gPhilo878.eat_878)+gPhilo879.eat_879)+gPhilo880.eat_880)+gPhilo881.eat_881)+gPhilo882.eat_882)+gPhilo883.eat_883)+gPhilo884.eat_884)+gPhilo885.eat_885)+gPhilo886.eat_886)+gPhilo887.eat_887)+gPhilo888.eat_888)+gPhilo889.eat_889)+gPhilo890.eat_890)+gPhilo891.eat_891)+gPhilo892.eat_892)+gPhilo893.eat_893)+gPhilo894.eat_894)+gPhilo895.eat_895)+gPhilo896.eat_896)+gPhilo897.eat_897)+gPhilo898.eat_898)+gPhilo899.eat_899)+gPhilo900.eat_900)+gPhilo901.eat_901)+gPhilo902.eat_902)+gPhilo903.eat_903)+gPhilo904.eat_904)+gPhilo905.eat_905)+gPhilo906.eat_906)+gPhilo907.eat_907)+gPhilo908.eat_908)+gPhilo909.eat_909)+gPhilo910.eat_910)+gPhilo911.eat_911)+gPhilo912.eat_912)+gPhilo913.eat_913)+gPhilo914.eat_914)+gPhilo915.eat_915)+gPhilo916.eat_916)+gPhilo917.eat_917)+gPhilo918.eat_918)+gPhilo919.eat_919)+gPhilo920.eat_920)+gPhilo921.eat_921)+gPhilo922.eat_922)+gPhilo923.eat_923)+gPhilo924.eat_924)+gPhilo925.eat_925)+gPhilo926.eat_926)+gPhilo927.eat_927)+gPhilo928.eat_928)+gPhilo929.eat_929)+gPhilo930.eat_930)+gPhilo931.eat_931)+gPhilo932.eat_932)+gPhilo933.eat_933)+gPhilo934.eat_934)+gPhilo935.eat_935)+gPhilo936.eat_936)+gPhilo937.eat_937)+gPhilo938.eat_938)+gPhilo939.eat_939)+gPhilo940.eat_940)+gPhilo941.eat_941)+gPhilo942.eat_942)+gPhilo943.eat_943)+gPhilo944.eat_944)+gPhilo945.eat_945)+gPhilo946.eat_946)+gPhilo947.eat_947)+gPhilo948.eat_948)+gPhilo949.eat_949)+gPhilo950.eat_950)+gPhilo951.eat_951)+gPhilo952.eat_952)+gPhilo953.eat_953)+gPhilo954.eat_954)+gPhilo955.eat_955)+gPhilo956.eat_956)+gPhilo957.eat_957)+gPhilo958.eat_958)+gPhilo959.eat_959)+gPhilo960.eat_960)+gPhilo961.eat_961)+gPhilo962.eat_962)+gPhilo963.eat_963)+gPhilo964.eat_964)+gPhilo965.eat_965)+gPhilo966.eat_966)+gPhilo967.eat_967)+gPhilo968.eat_968)+gPhilo969.eat_969)+gPhilo970.eat_970)+gPhilo971.eat_971)+gPhilo972.eat_972)+gPhilo973.eat_973)+gPhilo974.eat_974)+gPhilo975.eat_975)+gPhilo976.eat_976)+gPhilo977.eat_977)+gPhilo978.eat_978)+gPhilo979.eat_979)+gPhilo980.eat_980)+gPhilo981.eat_981)+gPhilo982.eat_982)+gPhilo983.eat_983)+gPhilo984.eat_984)+gPhilo985.eat_985)+gPhilo986.eat_986)+gPhilo987.eat_987)+gPhilo988.eat_988)+gPhilo989.eat_989)+gPhilo990.eat_990)+gPhilo991.eat_991)+gPhilo992.eat_992)+gPhilo993.eat_993)+gPhilo994.eat_994)+gPhilo995.eat_995)+gPhilo996.eat_996)+gPhilo997.eat_997)+gPhilo998.eat_998)+gPhilo999.eat_999)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gPhilo0.catch2_0+gPhilo1.catch2_1)+gPhilo2.catch2_2)+gPhilo3.catch2_3)+gPhilo4.catch2_4)+gPhilo5.catch2_5)+gPhilo6.catch2_6)+gPhilo7.catch2_7)+gPhilo8.catch2_8)+gPhilo9.catch2_9)+gPhilo10.catch2_10)+gPhilo11.catch2_11)+gPhilo12.catch2_12)+gPhilo13.catch2_13)+gPhilo14.catch2_14)+gPhilo15.catch2_15)+gPhilo16.catch2_16)+gPhilo17.catch2_17)+gPhilo18.catch2_18)+gPhilo19.catch2_19)+gPhilo20.catch2_20)+gPhilo21.catch2_21)+gPhilo22.catch2_22)+gPhilo23.catch2_23)+gPhilo24.catch2_24)+gPhilo25.catch2_25)+gPhilo26.catch2_26)+gPhilo27.catch2_27)+gPhilo28.catch2_28)+gPhilo29.catch2_29)+gPhilo30.catch2_30)+gPhilo31.catch2_31)+gPhilo32.catch2_32)+gPhilo33.catch2_33)+gPhilo34.catch2_34)+gPhilo35.catch2_35)+gPhilo36.catch2_36)+gPhilo37.catch2_37)+gPhilo38.catch2_38)+gPhilo39.catch2_39)+gPhilo40.catch2_40)+gPhilo41.catch2_41)+gPhilo42.catch2_42)+gPhilo43.catch2_43)+gPhilo44.catch2_44)+gPhilo45.catch2_45)+gPhilo46.catch2_46)+gPhilo47.catch2_47)+gPhilo48.catch2_48)+gPhilo49.catch2_49)+gPhilo50.catch2_50)+gPhilo51.catch2_51)+gPhilo52.catch2_52)+gPhilo53.catch2_53)+gPhilo54.catch2_54)+gPhilo55.catch2_55)+gPhilo56.catch2_56)+gPhilo57.catch2_57)+gPhilo58.catch2_58)+gPhilo59.catch2_59)+gPhilo60.catch2_60)+gPhilo61.catch2_61)+gPhilo62.catch2_62)+gPhilo63.catch2_63)+gPhilo64.catch2_64)+gPhilo65.catch2_65)+gPhilo66.catch2_66)+gPhilo67.catch2_67)+gPhilo68.catch2_68)+gPhilo69.catch2_69)+gPhilo70.catch2_70)+gPhilo71.catch2_71)+gPhilo72.catch2_72)+gPhilo73.catch2_73)+gPhilo74.catch2_74)+gPhilo75.catch2_75)+gPhilo76.catch2_76)+gPhilo77.catch2_77)+gPhilo78.catch2_78)+gPhilo79.catch2_79)+gPhilo80.catch2_80)+gPhilo81.catch2_81)+gPhilo82.catch2_82)+gPhilo83.catch2_83)+gPhilo84.catch2_84)+gPhilo85.catch2_85)+gPhilo86.catch2_86)+gPhilo87.catch2_87)+gPhilo88.catch2_88)+gPhilo89.catch2_89)+gPhilo90.catch2_90)+gPhilo91.catch2_91)+gPhilo92.catch2_92)+gPhilo93.catch2_93)+gPhilo94.catch2_94)+gPhilo95.catch2_95)+gPhilo96.catch2_96)+gPhilo97.catch2_97)+gPhilo98.catch2_98)+gPhilo99.catch2_99)+gPhilo100.catch2_100)+gPhilo101.catch2_101)+gPhilo102.catch2_102)+gPhilo103.catch2_103)+gPhilo104.catch2_104)+gPhilo105.catch2_105)+gPhilo106.catch2_106)+gPhilo107.catch2_107)+gPhilo108.catch2_108)+gPhilo109.catch2_109)+gPhilo110.catch2_110)+gPhilo111.catch2_111)+gPhilo112.catch2_112)+gPhilo113.catch2_113)+gPhilo114.catch2_114)+gPhilo115.catch2_115)+gPhilo116.catch2_116)+gPhilo117.catch2_117)+gPhilo118.catch2_118)+gPhilo119.catch2_119)+gPhilo120.catch2_120)+gPhilo121.catch2_121)+gPhilo122.catch2_122)+gPhilo123.catch2_123)+gPhilo124.catch2_124)+gPhilo125.catch2_125)+gPhilo126.catch2_126)+gPhilo127.catch2_127)+gPhilo128.catch2_128)+gPhilo129.catch2_129)+gPhilo130.catch2_130)+gPhilo131.catch2_131)+gPhilo132.catch2_132)+gPhilo133.catch2_133)+gPhilo134.catch2_134)+gPhilo135.catch2_135)+gPhilo136.catch2_136)+gPhilo137.catch2_137)+gPhilo138.catch2_138)+gPhilo139.catch2_139)+gPhilo140.catch2_140)+gPhilo141.catch2_141)+gPhilo142.catch2_142)+gPhilo143.catch2_143)+gPhilo144.catch2_144)+gPhilo145.catch2_145)+gPhilo146.catch2_146)+gPhilo147.catch2_147)+gPhilo148.catch2_148)+gPhilo149.catch2_149)+gPhilo150.catch2_150)+gPhilo151.catch2_151)+gPhilo152.catch2_152)+gPhilo153.catch2_153)+gPhilo154.catch2_154)+gPhilo155.catch2_155)+gPhilo156.catch2_156)+gPhilo157.catch2_157)+gPhilo158.catch2_158)+gPhilo159.catch2_159)+gPhilo160.catch2_160)+gPhilo161.catch2_161)+gPhilo162.catch2_162)+gPhilo163.catch2_163)+gPhilo164.catch2_164)+gPhilo165.catch2_165)+gPhilo166.catch2_166)+gPhilo167.catch2_167)+gPhilo168.catch2_168)+gPhilo169.catch2_169)+gPhilo170.catch2_170)+gPhilo171.catch2_171)+gPhilo172.catch2_172)+gPhilo173.catch2_173)+gPhilo174.catch2_174)+gPhilo175.catch2_175)+gPhilo176.catch2_176)+gPhilo177.catch2_177)+gPhilo178.catch2_178)+gPhilo179.catch2_179)+gPhilo180.catch2_180)+gPhilo181.catch2_181)+gPhilo182.catch2_182)+gPhilo183.catch2_183)+gPhilo184.catch2_184)+gPhilo185.catch2_185)+gPhilo186.catch2_186)+gPhilo187.catch2_187)+gPhilo188.catch2_188)+gPhilo189.catch2_189)+gPhilo190.catch2_190)+gPhilo191.catch2_191)+gPhilo192.catch2_192)+gPhilo193.catch2_193)+gPhilo194.catch2_194)+gPhilo195.catch2_195)+gPhilo196.catch2_196)+gPhilo197.catch2_197)+gPhilo198.catch2_198)+gPhilo199.catch2_199)+gPhilo200.catch2_200)+gPhilo201.catch2_201)+gPhilo202.catch2_202)+gPhilo203.catch2_203)+gPhilo204.catch2_204)+gPhilo205.catch2_205)+gPhilo206.catch2_206)+gPhilo207.catch2_207)+gPhilo208.catch2_208)+gPhilo209.catch2_209)+gPhilo210.catch2_210)+gPhilo211.catch2_211)+gPhilo212.catch2_212)+gPhilo213.catch2_213)+gPhilo214.catch2_214)+gPhilo215.catch2_215)+gPhilo216.catch2_216)+gPhilo217.catch2_217)+gPhilo218.catch2_218)+gPhilo219.catch2_219)+gPhilo220.catch2_220)+gPhilo221.catch2_221)+gPhilo222.catch2_222)+gPhilo223.catch2_223)+gPhilo224.catch2_224)+gPhilo225.catch2_225)+gPhilo226.catch2_226)+gPhilo227.catch2_227)+gPhilo228.catch2_228)+gPhilo229.catch2_229)+gPhilo230.catch2_230)+gPhilo231.catch2_231)+gPhilo232.catch2_232)+gPhilo233.catch2_233)+gPhilo234.catch2_234)+gPhilo235.catch2_235)+gPhilo236.catch2_236)+gPhilo237.catch2_237)+gPhilo238.catch2_238)+gPhilo239.catch2_239)+gPhilo240.catch2_240)+gPhilo241.catch2_241)+gPhilo242.catch2_242)+gPhilo243.catch2_243)+gPhilo244.catch2_244)+gPhilo245.catch2_245)+gPhilo246.catch2_246)+gPhilo247.catch2_247)+gPhilo248.catch2_248)+gPhilo249.catch2_249)+gPhilo250.catch2_250)+gPhilo251.catch2_251)+gPhilo252.catch2_252)+gPhilo253.catch2_253)+gPhilo254.catch2_254)+gPhilo255.catch2_255)+gPhilo256.catch2_256)+gPhilo257.catch2_257)+gPhilo258.catch2_258)+gPhilo259.catch2_259)+gPhilo260.catch2_260)+gPhilo261.catch2_261)+gPhilo262.catch2_262)+gPhilo263.catch2_263)+gPhilo264.catch2_264)+gPhilo265.catch2_265)+gPhilo266.catch2_266)+gPhilo267.catch2_267)+gPhilo268.catch2_268)+gPhilo269.catch2_269)+gPhilo270.catch2_270)+gPhilo271.catch2_271)+gPhilo272.catch2_272)+gPhilo273.catch2_273)+gPhilo274.catch2_274)+gPhilo275.catch2_275)+gPhilo276.catch2_276)+gPhilo277.catch2_277)+gPhilo278.catch2_278)+gPhilo279.catch2_279)+gPhilo280.catch2_280)+gPhilo281.catch2_281)+gPhilo282.catch2_282)+gPhilo283.catch2_283)+gPhilo284.catch2_284)+gPhilo285.catch2_285)+gPhilo286.catch2_286)+gPhilo287.catch2_287)+gPhilo288.catch2_288)+gPhilo289.catch2_289)+gPhilo290.catch2_290)+gPhilo291.catch2_291)+gPhilo292.catch2_292)+gPhilo293.catch2_293)+gPhilo294.catch2_294)+gPhilo295.catch2_295)+gPhilo296.catch2_296)+gPhilo297.catch2_297)+gPhilo298.catch2_298)+gPhilo299.catch2_299)+gPhilo300.catch2_300)+gPhilo301.catch2_301)+gPhilo302.catch2_302)+gPhilo303.catch2_303)+gPhilo304.catch2_304)+gPhilo305.catch2_305)+gPhilo306.catch2_306)+gPhilo307.catch2_307)+gPhilo308.catch2_308)+gPhilo309.catch2_309)+gPhilo310.catch2_310)+gPhilo311.catch2_311)+gPhilo312.catch2_312)+gPhilo313.catch2_313)+gPhilo314.catch2_314)+gPhilo315.catch2_315)+gPhilo316.catch2_316)+gPhilo317.catch2_317)+gPhilo318.catch2_318)+gPhilo319.catch2_319)+gPhilo320.catch2_320)+gPhilo321.catch2_321)+gPhilo322.catch2_322)+gPhilo323.catch2_323)+gPhilo324.catch2_324)+gPhilo325.catch2_325)+gPhilo326.catch2_326)+gPhilo327.catch2_327)+gPhilo328.catch2_328)+gPhilo329.catch2_329)+gPhilo330.catch2_330)+gPhilo331.catch2_331)+gPhilo332.catch2_332)+gPhilo333.catch2_333)+gPhilo334.catch2_334)+gPhilo335.catch2_335)+gPhilo336.catch2_336)+gPhilo337.catch2_337)+gPhilo338.catch2_338)+gPhilo339.catch2_339)+gPhilo340.catch2_340)+gPhilo341.catch2_341)+gPhilo342.catch2_342)+gPhilo343.catch2_343)+gPhilo344.catch2_344)+gPhilo345.catch2_345)+gPhilo346.catch2_346)+gPhilo347.catch2_347)+gPhilo348.catch2_348)+gPhilo349.catch2_349)+gPhilo350.catch2_350)+gPhilo351.catch2_351)+gPhilo352.catch2_352)+gPhilo353.catch2_353)+gPhilo354.catch2_354)+gPhilo355.catch2_355)+gPhilo356.catch2_356)+gPhilo357.catch2_357)+gPhilo358.catch2_358)+gPhilo359.catch2_359)+gPhilo360.catch2_360)+gPhilo361.catch2_361)+gPhilo362.catch2_362)+gPhilo363.catch2_363)+gPhilo364.catch2_364)+gPhilo365.catch2_365)+gPhilo366.catch2_366)+gPhilo367.catch2_367)+gPhilo368.catch2_368)+gPhilo369.catch2_369)+gPhilo370.catch2_370)+gPhilo371.catch2_371)+gPhilo372.catch2_372)+gPhilo373.catch2_373)+gPhilo374.catch2_374)+gPhilo375.catch2_375)+gPhilo376.catch2_376)+gPhilo377.catch2_377)+gPhilo378.catch2_378)+gPhilo379.catch2_379)+gPhilo380.catch2_380)+gPhilo381.catch2_381)+gPhilo382.catch2_382)+gPhilo383.catch2_383)+gPhilo384.catch2_384)+gPhilo385.catch2_385)+gPhilo386.catch2_386)+gPhilo387.catch2_387)+gPhilo388.catch2_388)+gPhilo389.catch2_389)+gPhilo390.catch2_390)+gPhilo391.catch2_391)+gPhilo392.catch2_392)+gPhilo393.catch2_393)+gPhilo394.catch2_394)+gPhilo395.catch2_395)+gPhilo396.catch2_396)+gPhilo397.catch2_397)+gPhilo398.catch2_398)+gPhilo399.catch2_399)+gPhilo400.catch2_400)+gPhilo401.catch2_401)+gPhilo402.catch2_402)+gPhilo403.catch2_403)+gPhilo404.catch2_404)+gPhilo405.catch2_405)+gPhilo406.catch2_406)+gPhilo407.catch2_407)+gPhilo408.catch2_408)+gPhilo409.catch2_409)+gPhilo410.catch2_410)+gPhilo411.catch2_411)+gPhilo412.catch2_412)+gPhilo413.catch2_413)+gPhilo414.catch2_414)+gPhilo415.catch2_415)+gPhilo416.catch2_416)+gPhilo417.catch2_417)+gPhilo418.catch2_418)+gPhilo419.catch2_419)+gPhilo420.catch2_420)+gPhilo421.catch2_421)+gPhilo422.catch2_422)+gPhilo423.catch2_423)+gPhilo424.catch2_424)+gPhilo425.catch2_425)+gPhilo426.catch2_426)+gPhilo427.catch2_427)+gPhilo428.catch2_428)+gPhilo429.catch2_429)+gPhilo430.catch2_430)+gPhilo431.catch2_431)+gPhilo432.catch2_432)+gPhilo433.catch2_433)+gPhilo434.catch2_434)+gPhilo435.catch2_435)+gPhilo436.catch2_436)+gPhilo437.catch2_437)+gPhilo438.catch2_438)+gPhilo439.catch2_439)+gPhilo440.catch2_440)+gPhilo441.catch2_441)+gPhilo442.catch2_442)+gPhilo443.catch2_443)+gPhilo444.catch2_444)+gPhilo445.catch2_445)+gPhilo446.catch2_446)+gPhilo447.catch2_447)+gPhilo448.catch2_448)+gPhilo449.catch2_449)+gPhilo450.catch2_450)+gPhilo451.catch2_451)+gPhilo452.catch2_452)+gPhilo453.catch2_453)+gPhilo454.catch2_454)+gPhilo455.catch2_455)+gPhilo456.catch2_456)+gPhilo457.catch2_457)+gPhilo458.catch2_458)+gPhilo459.catch2_459)+gPhilo460.catch2_460)+gPhilo461.catch2_461)+gPhilo462.catch2_462)+gPhilo463.catch2_463)+gPhilo464.catch2_464)+gPhilo465.catch2_465)+gPhilo466.catch2_466)+gPhilo467.catch2_467)+gPhilo468.catch2_468)+gPhilo469.catch2_469)+gPhilo470.catch2_470)+gPhilo471.catch2_471)+gPhilo472.catch2_472)+gPhilo473.catch2_473)+gPhilo474.catch2_474)+gPhilo475.catch2_475)+gPhilo476.catch2_476)+gPhilo477.catch2_477)+gPhilo478.catch2_478)+gPhilo479.catch2_479)+gPhilo480.catch2_480)+gPhilo481.catch2_481)+gPhilo482.catch2_482)+gPhilo483.catch2_483)+gPhilo484.catch2_484)+gPhilo485.catch2_485)+gPhilo486.catch2_486)+gPhilo487.catch2_487)+gPhilo488.catch2_488)+gPhilo489.catch2_489)+gPhilo490.catch2_490)+gPhilo491.catch2_491)+gPhilo492.catch2_492)+gPhilo493.catch2_493)+gPhilo494.catch2_494)+gPhilo495.catch2_495)+gPhilo496.catch2_496)+gPhilo497.catch2_497)+gPhilo498.catch2_498)+gPhilo499.catch2_499)+gPhilo500.catch2_500)+gPhilo501.catch2_501)+gPhilo502.catch2_502)+gPhilo503.catch2_503)+gPhilo504.catch2_504)+gPhilo505.catch2_505)+gPhilo506.catch2_506)+gPhilo507.catch2_507)+gPhilo508.catch2_508)+gPhilo509.catch2_509)+gPhilo510.catch2_510)+gPhilo511.catch2_511)+gPhilo512.catch2_512)+gPhilo513.catch2_513)+gPhilo514.catch2_514)+gPhilo515.catch2_515)+gPhilo516.catch2_516)+gPhilo517.catch2_517)+gPhilo518.catch2_518)+gPhilo519.catch2_519)+gPhilo520.catch2_520)+gPhilo521.catch2_521)+gPhilo522.catch2_522)+gPhilo523.catch2_523)+gPhilo524.catch2_524)+gPhilo525.catch2_525)+gPhilo526.catch2_526)+gPhilo527.catch2_527)+gPhilo528.catch2_528)+gPhilo529.catch2_529)+gPhilo530.catch2_530)+gPhilo531.catch2_531)+gPhilo532.catch2_532)+gPhilo533.catch2_533)+gPhilo534.catch2_534)+gPhilo535.catch2_535)+gPhilo536.catch2_536)+gPhilo537.catch2_537)+gPhilo538.catch2_538)+gPhilo539.catch2_539)+gPhilo540.catch2_540)+gPhilo541.catch2_541)+gPhilo542.catch2_542)+gPhilo543.catch2_543)+gPhilo544.catch2_544)+gPhilo545.catch2_545)+gPhilo546.catch2_546)+gPhilo547.catch2_547)+gPhilo548.catch2_548)+gPhilo549.catch2_549)+gPhilo550.catch2_550)+gPhilo551.catch2_551)+gPhilo552.catch2_552)+gPhilo553.catch2_553)+gPhilo554.catch2_554)+gPhilo555.catch2_555)+gPhilo556.catch2_556)+gPhilo557.catch2_557)+gPhilo558.catch2_558)+gPhilo559.catch2_559)+gPhilo560.catch2_560)+gPhilo561.catch2_561)+gPhilo562.catch2_562)+gPhilo563.catch2_563)+gPhilo564.catch2_564)+gPhilo565.catch2_565)+gPhilo566.catch2_566)+gPhilo567.catch2_567)+gPhilo568.catch2_568)+gPhilo569.catch2_569)+gPhilo570.catch2_570)+gPhilo571.catch2_571)+gPhilo572.catch2_572)+gPhilo573.catch2_573)+gPhilo574.catch2_574)+gPhilo575.catch2_575)+gPhilo576.catch2_576)+gPhilo577.catch2_577)+gPhilo578.catch2_578)+gPhilo579.catch2_579)+gPhilo580.catch2_580)+gPhilo581.catch2_581)+gPhilo582.catch2_582)+gPhilo583.catch2_583)+gPhilo584.catch2_584)+gPhilo585.catch2_585)+gPhilo586.catch2_586)+gPhilo587.catch2_587)+gPhilo588.catch2_588)+gPhilo589.catch2_589)+gPhilo590.catch2_590)+gPhilo591.catch2_591)+gPhilo592.catch2_592)+gPhilo593.catch2_593)+gPhilo594.catch2_594)+gPhilo595.catch2_595)+gPhilo596.catch2_596)+gPhilo597.catch2_597)+gPhilo598.catch2_598)+gPhilo599.catch2_599)+gPhilo600.catch2_600)+gPhilo601.catch2_601)+gPhilo602.catch2_602)+gPhilo603.catch2_603)+gPhilo604.catch2_604)+gPhilo605.catch2_605)+gPhilo606.catch2_606)+gPhilo607.catch2_607)+gPhilo608.catch2_608)+gPhilo609.catch2_609)+gPhilo610.catch2_610)+gPhilo611.catch2_611)+gPhilo612.catch2_612)+gPhilo613.catch2_613)+gPhilo614.catch2_614)+gPhilo615.catch2_615)+gPhilo616.catch2_616)+gPhilo617.catch2_617)+gPhilo618.catch2_618)+gPhilo619.catch2_619)+gPhilo620.catch2_620)+gPhilo621.catch2_621)+gPhilo622.catch2_622)+gPhilo623.catch2_623)+gPhilo624.catch2_624)+gPhilo625.catch2_625)+gPhilo626.catch2_626)+gPhilo627.catch2_627)+gPhilo628.catch2_628)+gPhilo629.catch2_629)+gPhilo630.catch2_630)+gPhilo631.catch2_631)+gPhilo632.catch2_632)+gPhilo633.catch2_633)+gPhilo634.catch2_634)+gPhilo635.catch2_635)+gPhilo636.catch2_636)+gPhilo637.catch2_637)+gPhilo638.catch2_638)+gPhilo639.catch2_639)+gPhilo640.catch2_640)+gPhilo641.catch2_641)+gPhilo642.catch2_642)+gPhilo643.catch2_643)+gPhilo644.catch2_644)+gPhilo645.catch2_645)+gPhilo646.catch2_646)+gPhilo647.catch2_647)+gPhilo648.catch2_648)+gPhilo649.catch2_649)+gPhilo650.catch2_650)+gPhilo651.catch2_651)+gPhilo652.catch2_652)+gPhilo653.catch2_653)+gPhilo654.catch2_654)+gPhilo655.catch2_655)+gPhilo656.catch2_656)+gPhilo657.catch2_657)+gPhilo658.catch2_658)+gPhilo659.catch2_659)+gPhilo660.catch2_660)+gPhilo661.catch2_661)+gPhilo662.catch2_662)+gPhilo663.catch2_663)+gPhilo664.catch2_664)+gPhilo665.catch2_665)+gPhilo666.catch2_666)+gPhilo667.catch2_667)+gPhilo668.catch2_668)+gPhilo669.catch2_669)+gPhilo670.catch2_670)+gPhilo671.catch2_671)+gPhilo672.catch2_672)+gPhilo673.catch2_673)+gPhilo674.catch2_674)+gPhilo675.catch2_675)+gPhilo676.catch2_676)+gPhilo677.catch2_677)+gPhilo678.catch2_678)+gPhilo679.catch2_679)+gPhilo680.catch2_680)+gPhilo681.catch2_681)+gPhilo682.catch2_682)+gPhilo683.catch2_683)+gPhilo684.catch2_684)+gPhilo685.catch2_685)+gPhilo686.catch2_686)+gPhilo687.catch2_687)+gPhilo688.catch2_688)+gPhilo689.catch2_689)+gPhilo690.catch2_690)+gPhilo691.catch2_691)+gPhilo692.catch2_692)+gPhilo693.catch2_693)+gPhilo694.catch2_694)+gPhilo695.catch2_695)+gPhilo696.catch2_696)+gPhilo697.catch2_697)+gPhilo698.catch2_698)+gPhilo699.catch2_699)+gPhilo700.catch2_700)+gPhilo701.catch2_701)+gPhilo702.catch2_702)+gPhilo703.catch2_703)+gPhilo704.catch2_704)+gPhilo705.catch2_705)+gPhilo706.catch2_706)+gPhilo707.catch2_707)+gPhilo708.catch2_708)+gPhilo709.catch2_709)+gPhilo710.catch2_710)+gPhilo711.catch2_711)+gPhilo712.catch2_712)+gPhilo713.catch2_713)+gPhilo714.catch2_714)+gPhilo715.catch2_715)+gPhilo716.catch2_716)+gPhilo717.catch2_717)+gPhilo718.catch2_718)+gPhilo719.catch2_719)+gPhilo720.catch2_720)+gPhilo721.catch2_721)+gPhilo722.catch2_722)+gPhilo723.catch2_723)+gPhilo724.catch2_724)+gPhilo725.catch2_725)+gPhilo726.catch2_726)+gPhilo727.catch2_727)+gPhilo728.catch2_728)+gPhilo729.catch2_729)+gPhilo730.catch2_730)+gPhilo731.catch2_731)+gPhilo732.catch2_732)+gPhilo733.catch2_733)+gPhilo734.catch2_734)+gPhilo735.catch2_735)+gPhilo736.catch2_736)+gPhilo737.catch2_737)+gPhilo738.catch2_738)+gPhilo739.catch2_739)+gPhilo740.catch2_740)+gPhilo741.catch2_741)+gPhilo742.catch2_742)+gPhilo743.catch2_743)+gPhilo744.catch2_744)+gPhilo745.catch2_745)+gPhilo746.catch2_746)+gPhilo747.catch2_747)+gPhilo748.catch2_748)+gPhilo749.catch2_749)+gPhilo750.catch2_750)+gPhilo751.catch2_751)+gPhilo752.catch2_752)+gPhilo753.catch2_753)+gPhilo754.catch2_754)+gPhilo755.catch2_755)+gPhilo756.catch2_756)+gPhilo757.catch2_757)+gPhilo758.catch2_758)+gPhilo759.catch2_759)+gPhilo760.catch2_760)+gPhilo761.catch2_761)+gPhilo762.catch2_762)+gPhilo763.catch2_763)+gPhilo764.catch2_764)+gPhilo765.catch2_765)+gPhilo766.catch2_766)+gPhilo767.catch2_767)+gPhilo768.catch2_768)+gPhilo769.catch2_769)+gPhilo770.catch2_770)+gPhilo771.catch2_771)+gPhilo772.catch2_772)+gPhilo773.catch2_773)+gPhilo774.catch2_774)+gPhilo775.catch2_775)+gPhilo776.catch2_776)+gPhilo777.catch2_777)+gPhilo778.catch2_778)+gPhilo779.catch2_779)+gPhilo780.catch2_780)+gPhilo781.catch2_781)+gPhilo782.catch2_782)+gPhilo783.catch2_783)+gPhilo784.catch2_784)+gPhilo785.catch2_785)+gPhilo786.catch2_786)+gPhilo787.catch2_787)+gPhilo788.catch2_788)+gPhilo789.catch2_789)+gPhilo790.catch2_790)+gPhilo791.catch2_791)+gPhilo792.catch2_792)+gPhilo793.catch2_793)+gPhilo794.catch2_794)+gPhilo795.catch2_795)+gPhilo796.catch2_796)+gPhilo797.catch2_797)+gPhilo798.catch2_798)+gPhilo799.catch2_799)+gPhilo800.catch2_800)+gPhilo801.catch2_801)+gPhilo802.catch2_802)+gPhilo803.catch2_803)+gPhilo804.catch2_804)+gPhilo805.catch2_805)+gPhilo806.catch2_806)+gPhilo807.catch2_807)+gPhilo808.catch2_808)+gPhilo809.catch2_809)+gPhilo810.catch2_810)+gPhilo811.catch2_811)+gPhilo812.catch2_812)+gPhilo813.catch2_813)+gPhilo814.catch2_814)+gPhilo815.catch2_815)+gPhilo816.catch2_816)+gPhilo817.catch2_817)+gPhilo818.catch2_818)+gPhilo819.catch2_819)+gPhilo820.catch2_820)+gPhilo821.catch2_821)+gPhilo822.catch2_822)+gPhilo823.catch2_823)+gPhilo824.catch2_824)+gPhilo825.catch2_825)+gPhilo826.catch2_826)+gPhilo827.catch2_827)+gPhilo828.catch2_828)+gPhilo829.catch2_829)+gPhilo830.catch2_830)+gPhilo831.catch2_831)+gPhilo832.catch2_832)+gPhilo833.catch2_833)+gPhilo834.catch2_834)+gPhilo835.catch2_835)+gPhilo836.catch2_836)+gPhilo837.catch2_837)+gPhilo838.catch2_838)+gPhilo839.catch2_839)+gPhilo840.catch2_840)+gPhilo841.catch2_841)+gPhilo842.catch2_842)+gPhilo843.catch2_843)+gPhilo844.catch2_844)+gPhilo845.catch2_845)+gPhilo846.catch2_846)+gPhilo847.catch2_847)+gPhilo848.catch2_848)+gPhilo849.catch2_849)+gPhilo850.catch2_850)+gPhilo851.catch2_851)+gPhilo852.catch2_852)+gPhilo853.catch2_853)+gPhilo854.catch2_854)+gPhilo855.catch2_855)+gPhilo856.catch2_856)+gPhilo857.catch2_857)+gPhilo858.catch2_858)+gPhilo859.catch2_859)+gPhilo860.catch2_860)+gPhilo861.catch2_861)+gPhilo862.catch2_862)+gPhilo863.catch2_863)+gPhilo864.catch2_864)+gPhilo865.catch2_865)+gPhilo866.catch2_866)+gPhilo867.catch2_867)+gPhilo868.catch2_868)+gPhilo869.catch2_869)+gPhilo870.catch2_870)+gPhilo871.catch2_871)+gPhilo872.catch2_872)+gPhilo873.catch2_873)+gPhilo874.catch2_874)+gPhilo875.catch2_875)+gPhilo876.catch2_876)+gPhilo877.catch2_877)+gPhilo878.catch2_878)+gPhilo879.catch2_879)+gPhilo880.catch2_880)+gPhilo881.catch2_881)+gPhilo882.catch2_882)+gPhilo883.catch2_883)+gPhilo884.catch2_884)+gPhilo885.catch2_885)+gPhilo886.catch2_886)+gPhilo887.catch2_887)+gPhilo888.catch2_888)+gPhilo889.catch2_889)+gPhilo890.catch2_890)+gPhilo891.catch2_891)+gPhilo892.catch2_892)+gPhilo893.catch2_893)+gPhilo894.catch2_894)+gPhilo895.catch2_895)+gPhilo896.catch2_896)+gPhilo897.catch2_897)+gPhilo898.catch2_898)+gPhilo899.catch2_899)+gPhilo900.catch2_900)+gPhilo901.catch2_901)+gPhilo902.catch2_902)+gPhilo903.catch2_903)+gPhilo904.catch2_904)+gPhilo905.catch2_905)+gPhilo906.catch2_906)+gPhilo907.catch2_907)+gPhilo908.catch2_908)+gPhilo909.catch2_909)+gPhilo910.catch2_910)+gPhilo911.catch2_911)+gPhilo912.catch2_912)+gPhilo913.catch2_913)+gPhilo914.catch2_914)+gPhilo915.catch2_915)+gPhilo916.catch2_916)+gPhilo917.catch2_917)+gPhilo918.catch2_918)+gPhilo919.catch2_919)+gPhilo920.catch2_920)+gPhilo921.catch2_921)+gPhilo922.catch2_922)+gPhilo923.catch2_923)+gPhilo924.catch2_924)+gPhilo925.catch2_925)+gPhilo926.catch2_926)+gPhilo927.catch2_927)+gPhilo928.catch2_928)+gPhilo929.catch2_929)+gPhilo930.catch2_930)+gPhilo931.catch2_931)+gPhilo932.catch2_932)+gPhilo933.catch2_933)+gPhilo934.catch2_934)+gPhilo935.catch2_935)+gPhilo936.catch2_936)+gPhilo937.catch2_937)+gPhilo938.catch2_938)+gPhilo939.catch2_939)+gPhilo940.catch2_940)+gPhilo941.catch2_941)+gPhilo942.catch2_942)+gPhilo943.catch2_943)+gPhilo944.catch2_944)+gPhilo945.catch2_945)+gPhilo946.catch2_946)+gPhilo947.catch2_947)+gPhilo948.catch2_948)+gPhilo949.catch2_949)+gPhilo950.catch2_950)+gPhilo951.catch2_951)+gPhilo952.catch2_952)+gPhilo953.catch2_953)+gPhilo954.catch2_954)+gPhilo955.catch2_955)+gPhilo956.catch2_956)+gPhilo957.catch2_957)+gPhilo958.catch2_958)+gPhilo959.catch2_959)+gPhilo960.catch2_960)+gPhilo961.catch2_961)+gPhilo962.catch2_962)+gPhilo963.catch2_963)+gPhilo964.catch2_964)+gPhilo965.catch2_965)+gPhilo966.catch2_966)+gPhilo967.catch2_967)+gPhilo968.catch2_968)+gPhilo969.catch2_969)+gPhilo970.catch2_970)+gPhilo971.catch2_971)+gPhilo972.catch2_972)+gPhilo973.catch2_973)+gPhilo974.catch2_974)+gPhilo975.catch2_975)+gPhilo976.catch2_976)+gPhilo977.catch2_977)+gPhilo978.catch2_978)+gPhilo979.catch2_979)+gPhilo980.catch2_980)+gPhilo981.catch2_981)+gPhilo982.catch2_982)+gPhilo983.catch2_983)+gPhilo984.catch2_984)+gPhilo985.catch2_985)+gPhilo986.catch2_986)+gPhilo987.catch2_987)+gPhilo988.catch2_988)+gPhilo989.catch2_989)+gPhilo990.catch2_990)+gPhilo991.catch2_991)+gPhilo992.catch2_992)+gPhilo993.catch2_993)+gPhilo994.catch2_994)+gPhilo995.catch2_995)+gPhilo996.catch2_996)+gPhilo997.catch2_997)+gPhilo998.catch2_998)+gPhilo999.catch2_999))"))))))
Formula 0 simplified : !FXGF"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gPhilo0.eat_0+gPhilo1.eat_1)+gPhilo2.eat_2)+gPhilo3.eat_3)+gPhilo4.eat_4)+gPhilo5.eat_5)+gPhilo6.eat_6)+gPhilo7.eat_7)+gPhilo8.eat_8)+gPhilo9.eat_9)+gPhilo10.eat_10)+gPhilo11.eat_11)+gPhilo12.eat_12)+gPhilo13.eat_13)+gPhilo14.eat_14)+gPhilo15.eat_15)+gPhilo16.eat_16)+gPhilo17.eat_17)+gPhilo18.eat_18)+gPhilo19.eat_19)+gPhilo20.eat_20)+gPhilo21.eat_21)+gPhilo22.eat_22)+gPhilo23.eat_23)+gPhilo24.eat_24)+gPhilo25.eat_25)+gPhilo26.eat_26)+gPhilo27.eat_27)+gPhilo28.eat_28)+gPhilo29.eat_29)+gPhilo30.eat_30)+gPhilo31.eat_31)+gPhilo32.eat_32)+gPhilo33.eat_33)+gPhilo34.eat_34)+gPhilo35.eat_35)+gPhilo36.eat_36)+gPhilo37.eat_37)+gPhilo38.eat_38)+gPhilo39.eat_39)+gPhilo40.eat_40)+gPhilo41.eat_41)+gPhilo42.eat_42)+gPhilo43.eat_43)+gPhilo44.eat_44)+gPhilo45.eat_45)+gPhilo46.eat_46)+gPhilo47.eat_47)+gPhilo48.eat_48)+gPhilo49.eat_49)+gPhilo50.eat_50)+gPhilo51.eat_51)+gPhilo52.eat_52)+gPhilo53.eat_53)+gPhilo54.eat_54)+gPhilo55.eat_55)+gPhilo56.eat_56)+gPhilo57.eat_57)+gPhilo58.eat_58)+gPhilo59.eat_59)+gPhilo60.eat_60)+gPhilo61.eat_61)+gPhilo62.eat_62)+gPhilo63.eat_63)+gPhilo64.eat_64)+gPhilo65.eat_65)+gPhilo66.eat_66)+gPhilo67.eat_67)+gPhilo68.eat_68)+gPhilo69.eat_69)+gPhilo70.eat_70)+gPhilo71.eat_71)+gPhilo72.eat_72)+gPhilo73.eat_73)+gPhilo74.eat_74)+gPhilo75.eat_75)+gPhilo76.eat_76)+gPhilo77.eat_77)+gPhilo78.eat_78)+gPhilo79.eat_79)+gPhilo80.eat_80)+gPhilo81.eat_81)+gPhilo82.eat_82)+gPhilo83.eat_83)+gPhilo84.eat_84)+gPhilo85.eat_85)+gPhilo86.eat_86)+gPhilo87.eat_87)+gPhilo88.eat_88)+gPhilo89.eat_89)+gPhilo90.eat_90)+gPhilo91.eat_91)+gPhilo92.eat_92)+gPhilo93.eat_93)+gPhilo94.eat_94)+gPhilo95.eat_95)+gPhilo96.eat_96)+gPhilo97.eat_97)+gPhilo98.eat_98)+gPhilo99.eat_99)+gPhilo100.eat_100)+gPhilo101.eat_101)+gPhilo102.eat_102)+gPhilo103.eat_103)+gPhilo104.eat_104)+gPhilo105.eat_105)+gPhilo106.eat_106)+gPhilo107.eat_107)+gPhilo108.eat_108)+gPhilo109.eat_109)+gPhilo110.eat_110)+gPhilo111.eat_111)+gPhilo112.eat_112)+gPhilo113.eat_113)+gPhilo114.eat_114)+gPhilo115.eat_115)+gPhilo116.eat_116)+gPhilo117.eat_117)+gPhilo118.eat_118)+gPhilo119.eat_119)+gPhilo120.eat_120)+gPhilo121.eat_121)+gPhilo122.eat_122)+gPhilo123.eat_123)+gPhilo124.eat_124)+gPhilo125.eat_125)+gPhilo126.eat_126)+gPhilo127.eat_127)+gPhilo128.eat_128)+gPhilo129.eat_129)+gPhilo130.eat_130)+gPhilo131.eat_131)+gPhilo132.eat_132)+gPhilo133.eat_133)+gPhilo134.eat_134)+gPhilo135.eat_135)+gPhilo136.eat_136)+gPhilo137.eat_137)+gPhilo138.eat_138)+gPhilo139.eat_139)+gPhilo140.eat_140)+gPhilo141.eat_141)+gPhilo142.eat_142)+gPhilo143.eat_143)+gPhilo144.eat_144)+gPhilo145.eat_145)+gPhilo146.eat_146)+gPhilo147.eat_147)+gPhilo148.eat_148)+gPhilo149.eat_149)+gPhilo150.eat_150)+gPhilo151.eat_151)+gPhilo152.eat_152)+gPhilo153.eat_153)+gPhilo154.eat_154)+gPhilo155.eat_155)+gPhilo156.eat_156)+gPhilo157.eat_157)+gPhilo158.eat_158)+gPhilo159.eat_159)+gPhilo160.eat_160)+gPhilo161.eat_161)+gPhilo162.eat_162)+gPhilo163.eat_163)+gPhilo164.eat_164)+gPhilo165.eat_165)+gPhilo166.eat_166)+gPhilo167.eat_167)+gPhilo168.eat_168)+gPhilo169.eat_169)+gPhilo170.eat_170)+gPhilo171.eat_171)+gPhilo172.eat_172)+gPhilo173.eat_173)+gPhilo174.eat_174)+gPhilo175.eat_175)+gPhilo176.eat_176)+gPhilo177.eat_177)+gPhilo178.eat_178)+gPhilo179.eat_179)+gPhilo180.eat_180)+gPhilo181.eat_181)+gPhilo182.eat_182)+gPhilo183.eat_183)+gPhilo184.eat_184)+gPhilo185.eat_185)+gPhilo186.eat_186)+gPhilo187.eat_187)+gPhilo188.eat_188)+gPhilo189.eat_189)+gPhilo190.eat_190)+gPhilo191.eat_191)+gPhilo192.eat_192)+gPhilo193.eat_193)+gPhilo194.eat_194)+gPhilo195.eat_195)+gPhilo196.eat_196)+gPhilo197.eat_197)+gPhilo198.eat_198)+gPhilo199.eat_199)+gPhilo200.eat_200)+gPhilo201.eat_201)+gPhilo202.eat_202)+gPhilo203.eat_203)+gPhilo204.eat_204)+gPhilo205.eat_205)+gPhilo206.eat_206)+gPhilo207.eat_207)+gPhilo208.eat_208)+gPhilo209.eat_209)+gPhilo210.eat_210)+gPhilo211.eat_211)+gPhilo212.eat_212)+gPhilo213.eat_213)+gPhilo214.eat_214)+gPhilo215.eat_215)+gPhilo216.eat_216)+gPhilo217.eat_217)+gPhilo218.eat_218)+gPhilo219.eat_219)+gPhilo220.eat_220)+gPhilo221.eat_221)+gPhilo222.eat_222)+gPhilo223.eat_223)+gPhilo224.eat_224)+gPhilo225.eat_225)+gPhilo226.eat_226)+gPhilo227.eat_227)+gPhilo228.eat_228)+gPhilo229.eat_229)+gPhilo230.eat_230)+gPhilo231.eat_231)+gPhilo232.eat_232)+gPhilo233.eat_233)+gPhilo234.eat_234)+gPhilo235.eat_235)+gPhilo236.eat_236)+gPhilo237.eat_237)+gPhilo238.eat_238)+gPhilo239.eat_239)+gPhilo240.eat_240)+gPhilo241.eat_241)+gPhilo242.eat_242)+gPhilo243.eat_243)+gPhilo244.eat_244)+gPhilo245.eat_245)+gPhilo246.eat_246)+gPhilo247.eat_247)+gPhilo248.eat_248)+gPhilo249.eat_249)+gPhilo250.eat_250)+gPhilo251.eat_251)+gPhilo252.eat_252)+gPhilo253.eat_253)+gPhilo254.eat_254)+gPhilo255.eat_255)+gPhilo256.eat_256)+gPhilo257.eat_257)+gPhilo258.eat_258)+gPhilo259.eat_259)+gPhilo260.eat_260)+gPhilo261.eat_261)+gPhilo262.eat_262)+gPhilo263.eat_263)+gPhilo264.eat_264)+gPhilo265.eat_265)+gPhilo266.eat_266)+gPhilo267.eat_267)+gPhilo268.eat_268)+gPhilo269.eat_269)+gPhilo270.eat_270)+gPhilo271.eat_271)+gPhilo272.eat_272)+gPhilo273.eat_273)+gPhilo274.eat_274)+gPhilo275.eat_275)+gPhilo276.eat_276)+gPhilo277.eat_277)+gPhilo278.eat_278)+gPhilo279.eat_279)+gPhilo280.eat_280)+gPhilo281.eat_281)+gPhilo282.eat_282)+gPhilo283.eat_283)+gPhilo284.eat_284)+gPhilo285.eat_285)+gPhilo286.eat_286)+gPhilo287.eat_287)+gPhilo288.eat_288)+gPhilo289.eat_289)+gPhilo290.eat_290)+gPhilo291.eat_291)+gPhilo292.eat_292)+gPhilo293.eat_293)+gPhilo294.eat_294)+gPhilo295.eat_295)+gPhilo296.eat_296)+gPhilo297.eat_297)+gPhilo298.eat_298)+gPhilo299.eat_299)+gPhilo300.eat_300)+gPhilo301.eat_301)+gPhilo302.eat_302)+gPhilo303.eat_303)+gPhilo304.eat_304)+gPhilo305.eat_305)+gPhilo306.eat_306)+gPhilo307.eat_307)+gPhilo308.eat_308)+gPhilo309.eat_309)+gPhilo310.eat_310)+gPhilo311.eat_311)+gPhilo312.eat_312)+gPhilo313.eat_313)+gPhilo314.eat_314)+gPhilo315.eat_315)+gPhilo316.eat_316)+gPhilo317.eat_317)+gPhilo318.eat_318)+gPhilo319.eat_319)+gPhilo320.eat_320)+gPhilo321.eat_321)+gPhilo322.eat_322)+gPhilo323.eat_323)+gPhilo324.eat_324)+gPhilo325.eat_325)+gPhilo326.eat_326)+gPhilo327.eat_327)+gPhilo328.eat_328)+gPhilo329.eat_329)+gPhilo330.eat_330)+gPhilo331.eat_331)+gPhilo332.eat_332)+gPhilo333.eat_333)+gPhilo334.eat_334)+gPhilo335.eat_335)+gPhilo336.eat_336)+gPhilo337.eat_337)+gPhilo338.eat_338)+gPhilo339.eat_339)+gPhilo340.eat_340)+gPhilo341.eat_341)+gPhilo342.eat_342)+gPhilo343.eat_343)+gPhilo344.eat_344)+gPhilo345.eat_345)+gPhilo346.eat_346)+gPhilo347.eat_347)+gPhilo348.eat_348)+gPhilo349.eat_349)+gPhilo350.eat_350)+gPhilo351.eat_351)+gPhilo352.eat_352)+gPhilo353.eat_353)+gPhilo354.eat_354)+gPhilo355.eat_355)+gPhilo356.eat_356)+gPhilo357.eat_357)+gPhilo358.eat_358)+gPhilo359.eat_359)+gPhilo360.eat_360)+gPhilo361.eat_361)+gPhilo362.eat_362)+gPhilo363.eat_363)+gPhilo364.eat_364)+gPhilo365.eat_365)+gPhilo366.eat_366)+gPhilo367.eat_367)+gPhilo368.eat_368)+gPhilo369.eat_369)+gPhilo370.eat_370)+gPhilo371.eat_371)+gPhilo372.eat_372)+gPhilo373.eat_373)+gPhilo374.eat_374)+gPhilo375.eat_375)+gPhilo376.eat_376)+gPhilo377.eat_377)+gPhilo378.eat_378)+gPhilo379.eat_379)+gPhilo380.eat_380)+gPhilo381.eat_381)+gPhilo382.eat_382)+gPhilo383.eat_383)+gPhilo384.eat_384)+gPhilo385.eat_385)+gPhilo386.eat_386)+gPhilo387.eat_387)+gPhilo388.eat_388)+gPhilo389.eat_389)+gPhilo390.eat_390)+gPhilo391.eat_391)+gPhilo392.eat_392)+gPhilo393.eat_393)+gPhilo394.eat_394)+gPhilo395.eat_395)+gPhilo396.eat_396)+gPhilo397.eat_397)+gPhilo398.eat_398)+gPhilo399.eat_399)+gPhilo400.eat_400)+gPhilo401.eat_401)+gPhilo402.eat_402)+gPhilo403.eat_403)+gPhilo404.eat_404)+gPhilo405.eat_405)+gPhilo406.eat_406)+gPhilo407.eat_407)+gPhilo408.eat_408)+gPhilo409.eat_409)+gPhilo410.eat_410)+gPhilo411.eat_411)+gPhilo412.eat_412)+gPhilo413.eat_413)+gPhilo414.eat_414)+gPhilo415.eat_415)+gPhilo416.eat_416)+gPhilo417.eat_417)+gPhilo418.eat_418)+gPhilo419.eat_419)+gPhilo420.eat_420)+gPhilo421.eat_421)+gPhilo422.eat_422)+gPhilo423.eat_423)+gPhilo424.eat_424)+gPhilo425.eat_425)+gPhilo426.eat_426)+gPhilo427.eat_427)+gPhilo428.eat_428)+gPhilo429.eat_429)+gPhilo430.eat_430)+gPhilo431.eat_431)+gPhilo432.eat_432)+gPhilo433.eat_433)+gPhilo434.eat_434)+gPhilo435.eat_435)+gPhilo436.eat_436)+gPhilo437.eat_437)+gPhilo438.eat_438)+gPhilo439.eat_439)+gPhilo440.eat_440)+gPhilo441.eat_441)+gPhilo442.eat_442)+gPhilo443.eat_443)+gPhilo444.eat_444)+gPhilo445.eat_445)+gPhilo446.eat_446)+gPhilo447.eat_447)+gPhilo448.eat_448)+gPhilo449.eat_449)+gPhilo450.eat_450)+gPhilo451.eat_451)+gPhilo452.eat_452)+gPhilo453.eat_453)+gPhilo454.eat_454)+gPhilo455.eat_455)+gPhilo456.eat_456)+gPhilo457.eat_457)+gPhilo458.eat_458)+gPhilo459.eat_459)+gPhilo460.eat_460)+gPhilo461.eat_461)+gPhilo462.eat_462)+gPhilo463.eat_463)+gPhilo464.eat_464)+gPhilo465.eat_465)+gPhilo466.eat_466)+gPhilo467.eat_467)+gPhilo468.eat_468)+gPhilo469.eat_469)+gPhilo470.eat_470)+gPhilo471.eat_471)+gPhilo472.eat_472)+gPhilo473.eat_473)+gPhilo474.eat_474)+gPhilo475.eat_475)+gPhilo476.eat_476)+gPhilo477.eat_477)+gPhilo478.eat_478)+gPhilo479.eat_479)+gPhilo480.eat_480)+gPhilo481.eat_481)+gPhilo482.eat_482)+gPhilo483.eat_483)+gPhilo484.eat_484)+gPhilo485.eat_485)+gPhilo486.eat_486)+gPhilo487.eat_487)+gPhilo488.eat_488)+gPhilo489.eat_489)+gPhilo490.eat_490)+gPhilo491.eat_491)+gPhilo492.eat_492)+gPhilo493.eat_493)+gPhilo494.eat_494)+gPhilo495.eat_495)+gPhilo496.eat_496)+gPhilo497.eat_497)+gPhilo498.eat_498)+gPhilo499.eat_499)+gPhilo500.eat_500)+gPhilo501.eat_501)+gPhilo502.eat_502)+gPhilo503.eat_503)+gPhilo504.eat_504)+gPhilo505.eat_505)+gPhilo506.eat_506)+gPhilo507.eat_507)+gPhilo508.eat_508)+gPhilo509.eat_509)+gPhilo510.eat_510)+gPhilo511.eat_511)+gPhilo512.eat_512)+gPhilo513.eat_513)+gPhilo514.eat_514)+gPhilo515.eat_515)+gPhilo516.eat_516)+gPhilo517.eat_517)+gPhilo518.eat_518)+gPhilo519.eat_519)+gPhilo520.eat_520)+gPhilo521.eat_521)+gPhilo522.eat_522)+gPhilo523.eat_523)+gPhilo524.eat_524)+gPhilo525.eat_525)+gPhilo526.eat_526)+gPhilo527.eat_527)+gPhilo528.eat_528)+gPhilo529.eat_529)+gPhilo530.eat_530)+gPhilo531.eat_531)+gPhilo532.eat_532)+gPhilo533.eat_533)+gPhilo534.eat_534)+gPhilo535.eat_535)+gPhilo536.eat_536)+gPhilo537.eat_537)+gPhilo538.eat_538)+gPhilo539.eat_539)+gPhilo540.eat_540)+gPhilo541.eat_541)+gPhilo542.eat_542)+gPhilo543.eat_543)+gPhilo544.eat_544)+gPhilo545.eat_545)+gPhilo546.eat_546)+gPhilo547.eat_547)+gPhilo548.eat_548)+gPhilo549.eat_549)+gPhilo550.eat_550)+gPhilo551.eat_551)+gPhilo552.eat_552)+gPhilo553.eat_553)+gPhilo554.eat_554)+gPhilo555.eat_555)+gPhilo556.eat_556)+gPhilo557.eat_557)+gPhilo558.eat_558)+gPhilo559.eat_559)+gPhilo560.eat_560)+gPhilo561.eat_561)+gPhilo562.eat_562)+gPhilo563.eat_563)+gPhilo564.eat_564)+gPhilo565.eat_565)+gPhilo566.eat_566)+gPhilo567.eat_567)+gPhilo568.eat_568)+gPhilo569.eat_569)+gPhilo570.eat_570)+gPhilo571.eat_571)+gPhilo572.eat_572)+gPhilo573.eat_573)+gPhilo574.eat_574)+gPhilo575.eat_575)+gPhilo576.eat_576)+gPhilo577.eat_577)+gPhilo578.eat_578)+gPhilo579.eat_579)+gPhilo580.eat_580)+gPhilo581.eat_581)+gPhilo582.eat_582)+gPhilo583.eat_583)+gPhilo584.eat_584)+gPhilo585.eat_585)+gPhilo586.eat_586)+gPhilo587.eat_587)+gPhilo588.eat_588)+gPhilo589.eat_589)+gPhilo590.eat_590)+gPhilo591.eat_591)+gPhilo592.eat_592)+gPhilo593.eat_593)+gPhilo594.eat_594)+gPhilo595.eat_595)+gPhilo596.eat_596)+gPhilo597.eat_597)+gPhilo598.eat_598)+gPhilo599.eat_599)+gPhilo600.eat_600)+gPhilo601.eat_601)+gPhilo602.eat_602)+gPhilo603.eat_603)+gPhilo604.eat_604)+gPhilo605.eat_605)+gPhilo606.eat_606)+gPhilo607.eat_607)+gPhilo608.eat_608)+gPhilo609.eat_609)+gPhilo610.eat_610)+gPhilo611.eat_611)+gPhilo612.eat_612)+gPhilo613.eat_613)+gPhilo614.eat_614)+gPhilo615.eat_615)+gPhilo616.eat_616)+gPhilo617.eat_617)+gPhilo618.eat_618)+gPhilo619.eat_619)+gPhilo620.eat_620)+gPhilo621.eat_621)+gPhilo622.eat_622)+gPhilo623.eat_623)+gPhilo624.eat_624)+gPhilo625.eat_625)+gPhilo626.eat_626)+gPhilo627.eat_627)+gPhilo628.eat_628)+gPhilo629.eat_629)+gPhilo630.eat_630)+gPhilo631.eat_631)+gPhilo632.eat_632)+gPhilo633.eat_633)+gPhilo634.eat_634)+gPhilo635.eat_635)+gPhilo636.eat_636)+gPhilo637.eat_637)+gPhilo638.eat_638)+gPhilo639.eat_639)+gPhilo640.eat_640)+gPhilo641.eat_641)+gPhilo642.eat_642)+gPhilo643.eat_643)+gPhilo644.eat_644)+gPhilo645.eat_645)+gPhilo646.eat_646)+gPhilo647.eat_647)+gPhilo648.eat_648)+gPhilo649.eat_649)+gPhilo650.eat_650)+gPhilo651.eat_651)+gPhilo652.eat_652)+gPhilo653.eat_653)+gPhilo654.eat_654)+gPhilo655.eat_655)+gPhilo656.eat_656)+gPhilo657.eat_657)+gPhilo658.eat_658)+gPhilo659.eat_659)+gPhilo660.eat_660)+gPhilo661.eat_661)+gPhilo662.eat_662)+gPhilo663.eat_663)+gPhilo664.eat_664)+gPhilo665.eat_665)+gPhilo666.eat_666)+gPhilo667.eat_667)+gPhilo668.eat_668)+gPhilo669.eat_669)+gPhilo670.eat_670)+gPhilo671.eat_671)+gPhilo672.eat_672)+gPhilo673.eat_673)+gPhilo674.eat_674)+gPhilo675.eat_675)+gPhilo676.eat_676)+gPhilo677.eat_677)+gPhilo678.eat_678)+gPhilo679.eat_679)+gPhilo680.eat_680)+gPhilo681.eat_681)+gPhilo682.eat_682)+gPhilo683.eat_683)+gPhilo684.eat_684)+gPhilo685.eat_685)+gPhilo686.eat_686)+gPhilo687.eat_687)+gPhilo688.eat_688)+gPhilo689.eat_689)+gPhilo690.eat_690)+gPhilo691.eat_691)+gPhilo692.eat_692)+gPhilo693.eat_693)+gPhilo694.eat_694)+gPhilo695.eat_695)+gPhilo696.eat_696)+gPhilo697.eat_697)+gPhilo698.eat_698)+gPhilo699.eat_699)+gPhilo700.eat_700)+gPhilo701.eat_701)+gPhilo702.eat_702)+gPhilo703.eat_703)+gPhilo704.eat_704)+gPhilo705.eat_705)+gPhilo706.eat_706)+gPhilo707.eat_707)+gPhilo708.eat_708)+gPhilo709.eat_709)+gPhilo710.eat_710)+gPhilo711.eat_711)+gPhilo712.eat_712)+gPhilo713.eat_713)+gPhilo714.eat_714)+gPhilo715.eat_715)+gPhilo716.eat_716)+gPhilo717.eat_717)+gPhilo718.eat_718)+gPhilo719.eat_719)+gPhilo720.eat_720)+gPhilo721.eat_721)+gPhilo722.eat_722)+gPhilo723.eat_723)+gPhilo724.eat_724)+gPhilo725.eat_725)+gPhilo726.eat_726)+gPhilo727.eat_727)+gPhilo728.eat_728)+gPhilo729.eat_729)+gPhilo730.eat_730)+gPhilo731.eat_731)+gPhilo732.eat_732)+gPhilo733.eat_733)+gPhilo734.eat_734)+gPhilo735.eat_735)+gPhilo736.eat_736)+gPhilo737.eat_737)+gPhilo738.eat_738)+gPhilo739.eat_739)+gPhilo740.eat_740)+gPhilo741.eat_741)+gPhilo742.eat_742)+gPhilo743.eat_743)+gPhilo744.eat_744)+gPhilo745.eat_745)+gPhilo746.eat_746)+gPhilo747.eat_747)+gPhilo748.eat_748)+gPhilo749.eat_749)+gPhilo750.eat_750)+gPhilo751.eat_751)+gPhilo752.eat_752)+gPhilo753.eat_753)+gPhilo754.eat_754)+gPhilo755.eat_755)+gPhilo756.eat_756)+gPhilo757.eat_757)+gPhilo758.eat_758)+gPhilo759.eat_759)+gPhilo760.eat_760)+gPhilo761.eat_761)+gPhilo762.eat_762)+gPhilo763.eat_763)+gPhilo764.eat_764)+gPhilo765.eat_765)+gPhilo766.eat_766)+gPhilo767.eat_767)+gPhilo768.eat_768)+gPhilo769.eat_769)+gPhilo770.eat_770)+gPhilo771.eat_771)+gPhilo772.eat_772)+gPhilo773.eat_773)+gPhilo774.eat_774)+gPhilo775.eat_775)+gPhilo776.eat_776)+gPhilo777.eat_777)+gPhilo778.eat_778)+gPhilo779.eat_779)+gPhilo780.eat_780)+gPhilo781.eat_781)+gPhilo782.eat_782)+gPhilo783.eat_783)+gPhilo784.eat_784)+gPhilo785.eat_785)+gPhilo786.eat_786)+gPhilo787.eat_787)+gPhilo788.eat_788)+gPhilo789.eat_789)+gPhilo790.eat_790)+gPhilo791.eat_791)+gPhilo792.eat_792)+gPhilo793.eat_793)+gPhilo794.eat_794)+gPhilo795.eat_795)+gPhilo796.eat_796)+gPhilo797.eat_797)+gPhilo798.eat_798)+gPhilo799.eat_799)+gPhilo800.eat_800)+gPhilo801.eat_801)+gPhilo802.eat_802)+gPhilo803.eat_803)+gPhilo804.eat_804)+gPhilo805.eat_805)+gPhilo806.eat_806)+gPhilo807.eat_807)+gPhilo808.eat_808)+gPhilo809.eat_809)+gPhilo810.eat_810)+gPhilo811.eat_811)+gPhilo812.eat_812)+gPhilo813.eat_813)+gPhilo814.eat_814)+gPhilo815.eat_815)+gPhilo816.eat_816)+gPhilo817.eat_817)+gPhilo818.eat_818)+gPhilo819.eat_819)+gPhilo820.eat_820)+gPhilo821.eat_821)+gPhilo822.eat_822)+gPhilo823.eat_823)+gPhilo824.eat_824)+gPhilo825.eat_825)+gPhilo826.eat_826)+gPhilo827.eat_827)+gPhilo828.eat_828)+gPhilo829.eat_829)+gPhilo830.eat_830)+gPhilo831.eat_831)+gPhilo832.eat_832)+gPhilo833.eat_833)+gPhilo834.eat_834)+gPhilo835.eat_835)+gPhilo836.eat_836)+gPhilo837.eat_837)+gPhilo838.eat_838)+gPhilo839.eat_839)+gPhilo840.eat_840)+gPhilo841.eat_841)+gPhilo842.eat_842)+gPhilo843.eat_843)+gPhilo844.eat_844)+gPhilo845.eat_845)+gPhilo846.eat_846)+gPhilo847.eat_847)+gPhilo848.eat_848)+gPhilo849.eat_849)+gPhilo850.eat_850)+gPhilo851.eat_851)+gPhilo852.eat_852)+gPhilo853.eat_853)+gPhilo854.eat_854)+gPhilo855.eat_855)+gPhilo856.eat_856)+gPhilo857.eat_857)+gPhilo858.eat_858)+gPhilo859.eat_859)+gPhilo860.eat_860)+gPhilo861.eat_861)+gPhilo862.eat_862)+gPhilo863.eat_863)+gPhilo864.eat_864)+gPhilo865.eat_865)+gPhilo866.eat_866)+gPhilo867.eat_867)+gPhilo868.eat_868)+gPhilo869.eat_869)+gPhilo870.eat_870)+gPhilo871.eat_871)+gPhilo872.eat_872)+gPhilo873.eat_873)+gPhilo874.eat_874)+gPhilo875.eat_875)+gPhilo876.eat_876)+gPhilo877.eat_877)+gPhilo878.eat_878)+gPhilo879.eat_879)+gPhilo880.eat_880)+gPhilo881.eat_881)+gPhilo882.eat_882)+gPhilo883.eat_883)+gPhilo884.eat_884)+gPhilo885.eat_885)+gPhilo886.eat_886)+gPhilo887.eat_887)+gPhilo888.eat_888)+gPhilo889.eat_889)+gPhilo890.eat_890)+gPhilo891.eat_891)+gPhilo892.eat_892)+gPhilo893.eat_893)+gPhilo894.eat_894)+gPhilo895.eat_895)+gPhilo896.eat_896)+gPhilo897.eat_897)+gPhilo898.eat_898)+gPhilo899.eat_899)+gPhilo900.eat_900)+gPhilo901.eat_901)+gPhilo902.eat_902)+gPhilo903.eat_903)+gPhilo904.eat_904)+gPhilo905.eat_905)+gPhilo906.eat_906)+gPhilo907.eat_907)+gPhilo908.eat_908)+gPhilo909.eat_909)+gPhilo910.eat_910)+gPhilo911.eat_911)+gPhilo912.eat_912)+gPhilo913.eat_913)+gPhilo914.eat_914)+gPhilo915.eat_915)+gPhilo916.eat_916)+gPhilo917.eat_917)+gPhilo918.eat_918)+gPhilo919.eat_919)+gPhilo920.eat_920)+gPhilo921.eat_921)+gPhilo922.eat_922)+gPhilo923.eat_923)+gPhilo924.eat_924)+gPhilo925.eat_925)+gPhilo926.eat_926)+gPhilo927.eat_927)+gPhilo928.eat_928)+gPhilo929.eat_929)+gPhilo930.eat_930)+gPhilo931.eat_931)+gPhilo932.eat_932)+gPhilo933.eat_933)+gPhilo934.eat_934)+gPhilo935.eat_935)+gPhilo936.eat_936)+gPhilo937.eat_937)+gPhilo938.eat_938)+gPhilo939.eat_939)+gPhilo940.eat_940)+gPhilo941.eat_941)+gPhilo942.eat_942)+gPhilo943.eat_943)+gPhilo944.eat_944)+gPhilo945.eat_945)+gPhilo946.eat_946)+gPhilo947.eat_947)+gPhilo948.eat_948)+gPhilo949.eat_949)+gPhilo950.eat_950)+gPhilo951.eat_951)+gPhilo952.eat_952)+gPhilo953.eat_953)+gPhilo954.eat_954)+gPhilo955.eat_955)+gPhilo956.eat_956)+gPhilo957.eat_957)+gPhilo958.eat_958)+gPhilo959.eat_959)+gPhilo960.eat_960)+gPhilo961.eat_961)+gPhilo962.eat_962)+gPhilo963.eat_963)+gPhilo964.eat_964)+gPhilo965.eat_965)+gPhilo966.eat_966)+gPhilo967.eat_967)+gPhilo968.eat_968)+gPhilo969.eat_969)+gPhilo970.eat_970)+gPhilo971.eat_971)+gPhilo972.eat_972)+gPhilo973.eat_973)+gPhilo974.eat_974)+gPhilo975.eat_975)+gPhilo976.eat_976)+gPhilo977.eat_977)+gPhilo978.eat_978)+gPhilo979.eat_979)+gPhilo980.eat_980)+gPhilo981.eat_981)+gPhilo982.eat_982)+gPhilo983.eat_983)+gPhilo984.eat_984)+gPhilo985.eat_985)+gPhilo986.eat_986)+gPhilo987.eat_987)+gPhilo988.eat_988)+gPhilo989.eat_989)+gPhilo990.eat_990)+gPhilo991.eat_991)+gPhilo992.eat_992)+gPhilo993.eat_993)+gPhilo994.eat_994)+gPhilo995.eat_995)+gPhilo996.eat_996)+gPhilo997.eat_997)+gPhilo998.eat_998)+gPhilo999.eat_999)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gPhilo0.catch2_0+gPhilo1.catch2_1)+gPhilo2.catch2_2)+gPhilo3.catch2_3)+gPhilo4.catch2_4)+gPhilo5.catch2_5)+gPhilo6.catch2_6)+gPhilo7.catch2_7)+gPhilo8.catch2_8)+gPhilo9.catch2_9)+gPhilo10.catch2_10)+gPhilo11.catch2_11)+gPhilo12.catch2_12)+gPhilo13.catch2_13)+gPhilo14.catch2_14)+gPhilo15.catch2_15)+gPhilo16.catch2_16)+gPhilo17.catch2_17)+gPhilo18.catch2_18)+gPhilo19.catch2_19)+gPhilo20.catch2_20)+gPhilo21.catch2_21)+gPhilo22.catch2_22)+gPhilo23.catch2_23)+gPhilo24.catch2_24)+gPhilo25.catch2_25)+gPhilo26.catch2_26)+gPhilo27.catch2_27)+gPhilo28.catch2_28)+gPhilo29.catch2_29)+gPhilo30.catch2_30)+gPhilo31.catch2_31)+gPhilo32.catch2_32)+gPhilo33.catch2_33)+gPhilo34.catch2_34)+gPhilo35.catch2_35)+gPhilo36.catch2_36)+gPhilo37.catch2_37)+gPhilo38.catch2_38)+gPhilo39.catch2_39)+gPhilo40.catch2_40)+gPhilo41.catch2_41)+gPhilo42.catch2_42)+gPhilo43.catch2_43)+gPhilo44.catch2_44)+gPhilo45.catch2_45)+gPhilo46.catch2_46)+gPhilo47.catch2_47)+gPhilo48.catch2_48)+gPhilo49.catch2_49)+gPhilo50.catch2_50)+gPhilo51.catch2_51)+gPhilo52.catch2_52)+gPhilo53.catch2_53)+gPhilo54.catch2_54)+gPhilo55.catch2_55)+gPhilo56.catch2_56)+gPhilo57.catch2_57)+gPhilo58.catch2_58)+gPhilo59.catch2_59)+gPhilo60.catch2_60)+gPhilo61.catch2_61)+gPhilo62.catch2_62)+gPhilo63.catch2_63)+gPhilo64.catch2_64)+gPhilo65.catch2_65)+gPhilo66.catch2_66)+gPhilo67.catch2_67)+gPhilo68.catch2_68)+gPhilo69.catch2_69)+gPhilo70.catch2_70)+gPhilo71.catch2_71)+gPhilo72.catch2_72)+gPhilo73.catch2_73)+gPhilo74.catch2_74)+gPhilo75.catch2_75)+gPhilo76.catch2_76)+gPhilo77.catch2_77)+gPhilo78.catch2_78)+gPhilo79.catch2_79)+gPhilo80.catch2_80)+gPhilo81.catch2_81)+gPhilo82.catch2_82)+gPhilo83.catch2_83)+gPhilo84.catch2_84)+gPhilo85.catch2_85)+gPhilo86.catch2_86)+gPhilo87.catch2_87)+gPhilo88.catch2_88)+gPhilo89.catch2_89)+gPhilo90.catch2_90)+gPhilo91.catch2_91)+gPhilo92.catch2_92)+gPhilo93.catch2_93)+gPhilo94.catch2_94)+gPhilo95.catch2_95)+gPhilo96.catch2_96)+gPhilo97.catch2_97)+gPhilo98.catch2_98)+gPhilo99.catch2_99)+gPhilo100.catch2_100)+gPhilo101.catch2_101)+gPhilo102.catch2_102)+gPhilo103.catch2_103)+gPhilo104.catch2_104)+gPhilo105.catch2_105)+gPhilo106.catch2_106)+gPhilo107.catch2_107)+gPhilo108.catch2_108)+gPhilo109.catch2_109)+gPhilo110.catch2_110)+gPhilo111.catch2_111)+gPhilo112.catch2_112)+gPhilo113.catch2_113)+gPhilo114.catch2_114)+gPhilo115.catch2_115)+gPhilo116.catch2_116)+gPhilo117.catch2_117)+gPhilo118.catch2_118)+gPhilo119.catch2_119)+gPhilo120.catch2_120)+gPhilo121.catch2_121)+gPhilo122.catch2_122)+gPhilo123.catch2_123)+gPhilo124.catch2_124)+gPhilo125.catch2_125)+gPhilo126.catch2_126)+gPhilo127.catch2_127)+gPhilo128.catch2_128)+gPhilo129.catch2_129)+gPhilo130.catch2_130)+gPhilo131.catch2_131)+gPhilo132.catch2_132)+gPhilo133.catch2_133)+gPhilo134.catch2_134)+gPhilo135.catch2_135)+gPhilo136.catch2_136)+gPhilo137.catch2_137)+gPhilo138.catch2_138)+gPhilo139.catch2_139)+gPhilo140.catch2_140)+gPhilo141.catch2_141)+gPhilo142.catch2_142)+gPhilo143.catch2_143)+gPhilo144.catch2_144)+gPhilo145.catch2_145)+gPhilo146.catch2_146)+gPhilo147.catch2_147)+gPhilo148.catch2_148)+gPhilo149.catch2_149)+gPhilo150.catch2_150)+gPhilo151.catch2_151)+gPhilo152.catch2_152)+gPhilo153.catch2_153)+gPhilo154.catch2_154)+gPhilo155.catch2_155)+gPhilo156.catch2_156)+gPhilo157.catch2_157)+gPhilo158.catch2_158)+gPhilo159.catch2_159)+gPhilo160.catch2_160)+gPhilo161.catch2_161)+gPhilo162.catch2_162)+gPhilo163.catch2_163)+gPhilo164.catch2_164)+gPhilo165.catch2_165)+gPhilo166.catch2_166)+gPhilo167.catch2_167)+gPhilo168.catch2_168)+gPhilo169.catch2_169)+gPhilo170.catch2_170)+gPhilo171.catch2_171)+gPhilo172.catch2_172)+gPhilo173.catch2_173)+gPhilo174.catch2_174)+gPhilo175.catch2_175)+gPhilo176.catch2_176)+gPhilo177.catch2_177)+gPhilo178.catch2_178)+gPhilo179.catch2_179)+gPhilo180.catch2_180)+gPhilo181.catch2_181)+gPhilo182.catch2_182)+gPhilo183.catch2_183)+gPhilo184.catch2_184)+gPhilo185.catch2_185)+gPhilo186.catch2_186)+gPhilo187.catch2_187)+gPhilo188.catch2_188)+gPhilo189.catch2_189)+gPhilo190.catch2_190)+gPhilo191.catch2_191)+gPhilo192.catch2_192)+gPhilo193.catch2_193)+gPhilo194.catch2_194)+gPhilo195.catch2_195)+gPhilo196.catch2_196)+gPhilo197.catch2_197)+gPhilo198.catch2_198)+gPhilo199.catch2_199)+gPhilo200.catch2_200)+gPhilo201.catch2_201)+gPhilo202.catch2_202)+gPhilo203.catch2_203)+gPhilo204.catch2_204)+gPhilo205.catch2_205)+gPhilo206.catch2_206)+gPhilo207.catch2_207)+gPhilo208.catch2_208)+gPhilo209.catch2_209)+gPhilo210.catch2_210)+gPhilo211.catch2_211)+gPhilo212.catch2_212)+gPhilo213.catch2_213)+gPhilo214.catch2_214)+gPhilo215.catch2_215)+gPhilo216.catch2_216)+gPhilo217.catch2_217)+gPhilo218.catch2_218)+gPhilo219.catch2_219)+gPhilo220.catch2_220)+gPhilo221.catch2_221)+gPhilo222.catch2_222)+gPhilo223.catch2_223)+gPhilo224.catch2_224)+gPhilo225.catch2_225)+gPhilo226.catch2_226)+gPhilo227.catch2_227)+gPhilo228.catch2_228)+gPhilo229.catch2_229)+gPhilo230.catch2_230)+gPhilo231.catch2_231)+gPhilo232.catch2_232)+gPhilo233.catch2_233)+gPhilo234.catch2_234)+gPhilo235.catch2_235)+gPhilo236.catch2_236)+gPhilo237.catch2_237)+gPhilo238.catch2_238)+gPhilo239.catch2_239)+gPhilo240.catch2_240)+gPhilo241.catch2_241)+gPhilo242.catch2_242)+gPhilo243.catch2_243)+gPhilo244.catch2_244)+gPhilo245.catch2_245)+gPhilo246.catch2_246)+gPhilo247.catch2_247)+gPhilo248.catch2_248)+gPhilo249.catch2_249)+gPhilo250.catch2_250)+gPhilo251.catch2_251)+gPhilo252.catch2_252)+gPhilo253.catch2_253)+gPhilo254.catch2_254)+gPhilo255.catch2_255)+gPhilo256.catch2_256)+gPhilo257.catch2_257)+gPhilo258.catch2_258)+gPhilo259.catch2_259)+gPhilo260.catch2_260)+gPhilo261.catch2_261)+gPhilo262.catch2_262)+gPhilo263.catch2_263)+gPhilo264.catch2_264)+gPhilo265.catch2_265)+gPhilo266.catch2_266)+gPhilo267.catch2_267)+gPhilo268.catch2_268)+gPhilo269.catch2_269)+gPhilo270.catch2_270)+gPhilo271.catch2_271)+gPhilo272.catch2_272)+gPhilo273.catch2_273)+gPhilo274.catch2_274)+gPhilo275.catch2_275)+gPhilo276.catch2_276)+gPhilo277.catch2_277)+gPhilo278.catch2_278)+gPhilo279.catch2_279)+gPhilo280.catch2_280)+gPhilo281.catch2_281)+gPhilo282.catch2_282)+gPhilo283.catch2_283)+gPhilo284.catch2_284)+gPhilo285.catch2_285)+gPhilo286.catch2_286)+gPhilo287.catch2_287)+gPhilo288.catch2_288)+gPhilo289.catch2_289)+gPhilo290.catch2_290)+gPhilo291.catch2_291)+gPhilo292.catch2_292)+gPhilo293.catch2_293)+gPhilo294.catch2_294)+gPhilo295.catch2_295)+gPhilo296.catch2_296)+gPhilo297.catch2_297)+gPhilo298.catch2_298)+gPhilo299.catch2_299)+gPhilo300.catch2_300)+gPhilo301.catch2_301)+gPhilo302.catch2_302)+gPhilo303.catch2_303)+gPhilo304.catch2_304)+gPhilo305.catch2_305)+gPhilo306.catch2_306)+gPhilo307.catch2_307)+gPhilo308.catch2_308)+gPhilo309.catch2_309)+gPhilo310.catch2_310)+gPhilo311.catch2_311)+gPhilo312.catch2_312)+gPhilo313.catch2_313)+gPhilo314.catch2_314)+gPhilo315.catch2_315)+gPhilo316.catch2_316)+gPhilo317.catch2_317)+gPhilo318.catch2_318)+gPhilo319.catch2_319)+gPhilo320.catch2_320)+gPhilo321.catch2_321)+gPhilo322.catch2_322)+gPhilo323.catch2_323)+gPhilo324.catch2_324)+gPhilo325.catch2_325)+gPhilo326.catch2_326)+gPhilo327.catch2_327)+gPhilo328.catch2_328)+gPhilo329.catch2_329)+gPhilo330.catch2_330)+gPhilo331.catch2_331)+gPhilo332.catch2_332)+gPhilo333.catch2_333)+gPhilo334.catch2_334)+gPhilo335.catch2_335)+gPhilo336.catch2_336)+gPhilo337.catch2_337)+gPhilo338.catch2_338)+gPhilo339.catch2_339)+gPhilo340.catch2_340)+gPhilo341.catch2_341)+gPhilo342.catch2_342)+gPhilo343.catch2_343)+gPhilo344.catch2_344)+gPhilo345.catch2_345)+gPhilo346.catch2_346)+gPhilo347.catch2_347)+gPhilo348.catch2_348)+gPhilo349.catch2_349)+gPhilo350.catch2_350)+gPhilo351.catch2_351)+gPhilo352.catch2_352)+gPhilo353.catch2_353)+gPhilo354.catch2_354)+gPhilo355.catch2_355)+gPhilo356.catch2_356)+gPhilo357.catch2_357)+gPhilo358.catch2_358)+gPhilo359.catch2_359)+gPhilo360.catch2_360)+gPhilo361.catch2_361)+gPhilo362.catch2_362)+gPhilo363.catch2_363)+gPhilo364.catch2_364)+gPhilo365.catch2_365)+gPhilo366.catch2_366)+gPhilo367.catch2_367)+gPhilo368.catch2_368)+gPhilo369.catch2_369)+gPhilo370.catch2_370)+gPhilo371.catch2_371)+gPhilo372.catch2_372)+gPhilo373.catch2_373)+gPhilo374.catch2_374)+gPhilo375.catch2_375)+gPhilo376.catch2_376)+gPhilo377.catch2_377)+gPhilo378.catch2_378)+gPhilo379.catch2_379)+gPhilo380.catch2_380)+gPhilo381.catch2_381)+gPhilo382.catch2_382)+gPhilo383.catch2_383)+gPhilo384.catch2_384)+gPhilo385.catch2_385)+gPhilo386.catch2_386)+gPhilo387.catch2_387)+gPhilo388.catch2_388)+gPhilo389.catch2_389)+gPhilo390.catch2_390)+gPhilo391.catch2_391)+gPhilo392.catch2_392)+gPhilo393.catch2_393)+gPhilo394.catch2_394)+gPhilo395.catch2_395)+gPhilo396.catch2_396)+gPhilo397.catch2_397)+gPhilo398.catch2_398)+gPhilo399.catch2_399)+gPhilo400.catch2_400)+gPhilo401.catch2_401)+gPhilo402.catch2_402)+gPhilo403.catch2_403)+gPhilo404.catch2_404)+gPhilo405.catch2_405)+gPhilo406.catch2_406)+gPhilo407.catch2_407)+gPhilo408.catch2_408)+gPhilo409.catch2_409)+gPhilo410.catch2_410)+gPhilo411.catch2_411)+gPhilo412.catch2_412)+gPhilo413.catch2_413)+gPhilo414.catch2_414)+gPhilo415.catch2_415)+gPhilo416.catch2_416)+gPhilo417.catch2_417)+gPhilo418.catch2_418)+gPhilo419.catch2_419)+gPhilo420.catch2_420)+gPhilo421.catch2_421)+gPhilo422.catch2_422)+gPhilo423.catch2_423)+gPhilo424.catch2_424)+gPhilo425.catch2_425)+gPhilo426.catch2_426)+gPhilo427.catch2_427)+gPhilo428.catch2_428)+gPhilo429.catch2_429)+gPhilo430.catch2_430)+gPhilo431.catch2_431)+gPhilo432.catch2_432)+gPhilo433.catch2_433)+gPhilo434.catch2_434)+gPhilo435.catch2_435)+gPhilo436.catch2_436)+gPhilo437.catch2_437)+gPhilo438.catch2_438)+gPhilo439.catch2_439)+gPhilo440.catch2_440)+gPhilo441.catch2_441)+gPhilo442.catch2_442)+gPhilo443.catch2_443)+gPhilo444.catch2_444)+gPhilo445.catch2_445)+gPhilo446.catch2_446)+gPhilo447.catch2_447)+gPhilo448.catch2_448)+gPhilo449.catch2_449)+gPhilo450.catch2_450)+gPhilo451.catch2_451)+gPhilo452.catch2_452)+gPhilo453.catch2_453)+gPhilo454.catch2_454)+gPhilo455.catch2_455)+gPhilo456.catch2_456)+gPhilo457.catch2_457)+gPhilo458.catch2_458)+gPhilo459.catch2_459)+gPhilo460.catch2_460)+gPhilo461.catch2_461)+gPhilo462.catch2_462)+gPhilo463.catch2_463)+gPhilo464.catch2_464)+gPhilo465.catch2_465)+gPhilo466.catch2_466)+gPhilo467.catch2_467)+gPhilo468.catch2_468)+gPhilo469.catch2_469)+gPhilo470.catch2_470)+gPhilo471.catch2_471)+gPhilo472.catch2_472)+gPhilo473.catch2_473)+gPhilo474.catch2_474)+gPhilo475.catch2_475)+gPhilo476.catch2_476)+gPhilo477.catch2_477)+gPhilo478.catch2_478)+gPhilo479.catch2_479)+gPhilo480.catch2_480)+gPhilo481.catch2_481)+gPhilo482.catch2_482)+gPhilo483.catch2_483)+gPhilo484.catch2_484)+gPhilo485.catch2_485)+gPhilo486.catch2_486)+gPhilo487.catch2_487)+gPhilo488.catch2_488)+gPhilo489.catch2_489)+gPhilo490.catch2_490)+gPhilo491.catch2_491)+gPhilo492.catch2_492)+gPhilo493.catch2_493)+gPhilo494.catch2_494)+gPhilo495.catch2_495)+gPhilo496.catch2_496)+gPhilo497.catch2_497)+gPhilo498.catch2_498)+gPhilo499.catch2_499)+gPhilo500.catch2_500)+gPhilo501.catch2_501)+gPhilo502.catch2_502)+gPhilo503.catch2_503)+gPhilo504.catch2_504)+gPhilo505.catch2_505)+gPhilo506.catch2_506)+gPhilo507.catch2_507)+gPhilo508.catch2_508)+gPhilo509.catch2_509)+gPhilo510.catch2_510)+gPhilo511.catch2_511)+gPhilo512.catch2_512)+gPhilo513.catch2_513)+gPhilo514.catch2_514)+gPhilo515.catch2_515)+gPhilo516.catch2_516)+gPhilo517.catch2_517)+gPhilo518.catch2_518)+gPhilo519.catch2_519)+gPhilo520.catch2_520)+gPhilo521.catch2_521)+gPhilo522.catch2_522)+gPhilo523.catch2_523)+gPhilo524.catch2_524)+gPhilo525.catch2_525)+gPhilo526.catch2_526)+gPhilo527.catch2_527)+gPhilo528.catch2_528)+gPhilo529.catch2_529)+gPhilo530.catch2_530)+gPhilo531.catch2_531)+gPhilo532.catch2_532)+gPhilo533.catch2_533)+gPhilo534.catch2_534)+gPhilo535.catch2_535)+gPhilo536.catch2_536)+gPhilo537.catch2_537)+gPhilo538.catch2_538)+gPhilo539.catch2_539)+gPhilo540.catch2_540)+gPhilo541.catch2_541)+gPhilo542.catch2_542)+gPhilo543.catch2_543)+gPhilo544.catch2_544)+gPhilo545.catch2_545)+gPhilo546.catch2_546)+gPhilo547.catch2_547)+gPhilo548.catch2_548)+gPhilo549.catch2_549)+gPhilo550.catch2_550)+gPhilo551.catch2_551)+gPhilo552.catch2_552)+gPhilo553.catch2_553)+gPhilo554.catch2_554)+gPhilo555.catch2_555)+gPhilo556.catch2_556)+gPhilo557.catch2_557)+gPhilo558.catch2_558)+gPhilo559.catch2_559)+gPhilo560.catch2_560)+gPhilo561.catch2_561)+gPhilo562.catch2_562)+gPhilo563.catch2_563)+gPhilo564.catch2_564)+gPhilo565.catch2_565)+gPhilo566.catch2_566)+gPhilo567.catch2_567)+gPhilo568.catch2_568)+gPhilo569.catch2_569)+gPhilo570.catch2_570)+gPhilo571.catch2_571)+gPhilo572.catch2_572)+gPhilo573.catch2_573)+gPhilo574.catch2_574)+gPhilo575.catch2_575)+gPhilo576.catch2_576)+gPhilo577.catch2_577)+gPhilo578.catch2_578)+gPhilo579.catch2_579)+gPhilo580.catch2_580)+gPhilo581.catch2_581)+gPhilo582.catch2_582)+gPhilo583.catch2_583)+gPhilo584.catch2_584)+gPhilo585.catch2_585)+gPhilo586.catch2_586)+gPhilo587.catch2_587)+gPhilo588.catch2_588)+gPhilo589.catch2_589)+gPhilo590.catch2_590)+gPhilo591.catch2_591)+gPhilo592.catch2_592)+gPhilo593.catch2_593)+gPhilo594.catch2_594)+gPhilo595.catch2_595)+gPhilo596.catch2_596)+gPhilo597.catch2_597)+gPhilo598.catch2_598)+gPhilo599.catch2_599)+gPhilo600.catch2_600)+gPhilo601.catch2_601)+gPhilo602.catch2_602)+gPhilo603.catch2_603)+gPhilo604.catch2_604)+gPhilo605.catch2_605)+gPhilo606.catch2_606)+gPhilo607.catch2_607)+gPhilo608.catch2_608)+gPhilo609.catch2_609)+gPhilo610.catch2_610)+gPhilo611.catch2_611)+gPhilo612.catch2_612)+gPhilo613.catch2_613)+gPhilo614.catch2_614)+gPhilo615.catch2_615)+gPhilo616.catch2_616)+gPhilo617.catch2_617)+gPhilo618.catch2_618)+gPhilo619.catch2_619)+gPhilo620.catch2_620)+gPhilo621.catch2_621)+gPhilo622.catch2_622)+gPhilo623.catch2_623)+gPhilo624.catch2_624)+gPhilo625.catch2_625)+gPhilo626.catch2_626)+gPhilo627.catch2_627)+gPhilo628.catch2_628)+gPhilo629.catch2_629)+gPhilo630.catch2_630)+gPhilo631.catch2_631)+gPhilo632.catch2_632)+gPhilo633.catch2_633)+gPhilo634.catch2_634)+gPhilo635.catch2_635)+gPhilo636.catch2_636)+gPhilo637.catch2_637)+gPhilo638.catch2_638)+gPhilo639.catch2_639)+gPhilo640.catch2_640)+gPhilo641.catch2_641)+gPhilo642.catch2_642)+gPhilo643.catch2_643)+gPhilo644.catch2_644)+gPhilo645.catch2_645)+gPhilo646.catch2_646)+gPhilo647.catch2_647)+gPhilo648.catch2_648)+gPhilo649.catch2_649)+gPhilo650.catch2_650)+gPhilo651.catch2_651)+gPhilo652.catch2_652)+gPhilo653.catch2_653)+gPhilo654.catch2_654)+gPhilo655.catch2_655)+gPhilo656.catch2_656)+gPhilo657.catch2_657)+gPhilo658.catch2_658)+gPhilo659.catch2_659)+gPhilo660.catch2_660)+gPhilo661.catch2_661)+gPhilo662.catch2_662)+gPhilo663.catch2_663)+gPhilo664.catch2_664)+gPhilo665.catch2_665)+gPhilo666.catch2_666)+gPhilo667.catch2_667)+gPhilo668.catch2_668)+gPhilo669.catch2_669)+gPhilo670.catch2_670)+gPhilo671.catch2_671)+gPhilo672.catch2_672)+gPhilo673.catch2_673)+gPhilo674.catch2_674)+gPhilo675.catch2_675)+gPhilo676.catch2_676)+gPhilo677.catch2_677)+gPhilo678.catch2_678)+gPhilo679.catch2_679)+gPhilo680.catch2_680)+gPhilo681.catch2_681)+gPhilo682.catch2_682)+gPhilo683.catch2_683)+gPhilo684.catch2_684)+gPhilo685.catch2_685)+gPhilo686.catch2_686)+gPhilo687.catch2_687)+gPhilo688.catch2_688)+gPhilo689.catch2_689)+gPhilo690.catch2_690)+gPhilo691.catch2_691)+gPhilo692.catch2_692)+gPhilo693.catch2_693)+gPhilo694.catch2_694)+gPhilo695.catch2_695)+gPhilo696.catch2_696)+gPhilo697.catch2_697)+gPhilo698.catch2_698)+gPhilo699.catch2_699)+gPhilo700.catch2_700)+gPhilo701.catch2_701)+gPhilo702.catch2_702)+gPhilo703.catch2_703)+gPhilo704.catch2_704)+gPhilo705.catch2_705)+gPhilo706.catch2_706)+gPhilo707.catch2_707)+gPhilo708.catch2_708)+gPhilo709.catch2_709)+gPhilo710.catch2_710)+gPhilo711.catch2_711)+gPhilo712.catch2_712)+gPhilo713.catch2_713)+gPhilo714.catch2_714)+gPhilo715.catch2_715)+gPhilo716.catch2_716)+gPhilo717.catch2_717)+gPhilo718.catch2_718)+gPhilo719.catch2_719)+gPhilo720.catch2_720)+gPhilo721.catch2_721)+gPhilo722.catch2_722)+gPhilo723.catch2_723)+gPhilo724.catch2_724)+gPhilo725.catch2_725)+gPhilo726.catch2_726)+gPhilo727.catch2_727)+gPhilo728.catch2_728)+gPhilo729.catch2_729)+gPhilo730.catch2_730)+gPhilo731.catch2_731)+gPhilo732.catch2_732)+gPhilo733.catch2_733)+gPhilo734.catch2_734)+gPhilo735.catch2_735)+gPhilo736.catch2_736)+gPhilo737.catch2_737)+gPhilo738.catch2_738)+gPhilo739.catch2_739)+gPhilo740.catch2_740)+gPhilo741.catch2_741)+gPhilo742.catch2_742)+gPhilo743.catch2_743)+gPhilo744.catch2_744)+gPhilo745.catch2_745)+gPhilo746.catch2_746)+gPhilo747.catch2_747)+gPhilo748.catch2_748)+gPhilo749.catch2_749)+gPhilo750.catch2_750)+gPhilo751.catch2_751)+gPhilo752.catch2_752)+gPhilo753.catch2_753)+gPhilo754.catch2_754)+gPhilo755.catch2_755)+gPhilo756.catch2_756)+gPhilo757.catch2_757)+gPhilo758.catch2_758)+gPhilo759.catch2_759)+gPhilo760.catch2_760)+gPhilo761.catch2_761)+gPhilo762.catch2_762)+gPhilo763.catch2_763)+gPhilo764.catch2_764)+gPhilo765.catch2_765)+gPhilo766.catch2_766)+gPhilo767.catch2_767)+gPhilo768.catch2_768)+gPhilo769.catch2_769)+gPhilo770.catch2_770)+gPhilo771.catch2_771)+gPhilo772.catch2_772)+gPhilo773.catch2_773)+gPhilo774.catch2_774)+gPhilo775.catch2_775)+gPhilo776.catch2_776)+gPhilo777.catch2_777)+gPhilo778.catch2_778)+gPhilo779.catch2_779)+gPhilo780.catch2_780)+gPhilo781.catch2_781)+gPhilo782.catch2_782)+gPhilo783.catch2_783)+gPhilo784.catch2_784)+gPhilo785.catch2_785)+gPhilo786.catch2_786)+gPhilo787.catch2_787)+gPhilo788.catch2_788)+gPhilo789.catch2_789)+gPhilo790.catch2_790)+gPhilo791.catch2_791)+gPhilo792.catch2_792)+gPhilo793.catch2_793)+gPhilo794.catch2_794)+gPhilo795.catch2_795)+gPhilo796.catch2_796)+gPhilo797.catch2_797)+gPhilo798.catch2_798)+gPhilo799.catch2_799)+gPhilo800.catch2_800)+gPhilo801.catch2_801)+gPhilo802.catch2_802)+gPhilo803.catch2_803)+gPhilo804.catch2_804)+gPhilo805.catch2_805)+gPhilo806.catch2_806)+gPhilo807.catch2_807)+gPhilo808.catch2_808)+gPhilo809.catch2_809)+gPhilo810.catch2_810)+gPhilo811.catch2_811)+gPhilo812.catch2_812)+gPhilo813.catch2_813)+gPhilo814.catch2_814)+gPhilo815.catch2_815)+gPhilo816.catch2_816)+gPhilo817.catch2_817)+gPhilo818.catch2_818)+gPhilo819.catch2_819)+gPhilo820.catch2_820)+gPhilo821.catch2_821)+gPhilo822.catch2_822)+gPhilo823.catch2_823)+gPhilo824.catch2_824)+gPhilo825.catch2_825)+gPhilo826.catch2_826)+gPhilo827.catch2_827)+gPhilo828.catch2_828)+gPhilo829.catch2_829)+gPhilo830.catch2_830)+gPhilo831.catch2_831)+gPhilo832.catch2_832)+gPhilo833.catch2_833)+gPhilo834.catch2_834)+gPhilo835.catch2_835)+gPhilo836.catch2_836)+gPhilo837.catch2_837)+gPhilo838.catch2_838)+gPhilo839.catch2_839)+gPhilo840.catch2_840)+gPhilo841.catch2_841)+gPhilo842.catch2_842)+gPhilo843.catch2_843)+gPhilo844.catch2_844)+gPhilo845.catch2_845)+gPhilo846.catch2_846)+gPhilo847.catch2_847)+gPhilo848.catch2_848)+gPhilo849.catch2_849)+gPhilo850.catch2_850)+gPhilo851.catch2_851)+gPhilo852.catch2_852)+gPhilo853.catch2_853)+gPhilo854.catch2_854)+gPhilo855.catch2_855)+gPhilo856.catch2_856)+gPhilo857.catch2_857)+gPhilo858.catch2_858)+gPhilo859.catch2_859)+gPhilo860.catch2_860)+gPhilo861.catch2_861)+gPhilo862.catch2_862)+gPhilo863.catch2_863)+gPhilo864.catch2_864)+gPhilo865.catch2_865)+gPhilo866.catch2_866)+gPhilo867.catch2_867)+gPhilo868.catch2_868)+gPhilo869.catch2_869)+gPhilo870.catch2_870)+gPhilo871.catch2_871)+gPhilo872.catch2_872)+gPhilo873.catch2_873)+gPhilo874.catch2_874)+gPhilo875.catch2_875)+gPhilo876.catch2_876)+gPhilo877.catch2_877)+gPhilo878.catch2_878)+gPhilo879.catch2_879)+gPhilo880.catch2_880)+gPhilo881.catch2_881)+gPhilo882.catch2_882)+gPhilo883.catch2_883)+gPhilo884.catch2_884)+gPhilo885.catch2_885)+gPhilo886.catch2_886)+gPhilo887.catch2_887)+gPhilo888.catch2_888)+gPhilo889.catch2_889)+gPhilo890.catch2_890)+gPhilo891.catch2_891)+gPhilo892.catch2_892)+gPhilo893.catch2_893)+gPhilo894.catch2_894)+gPhilo895.catch2_895)+gPhilo896.catch2_896)+gPhilo897.catch2_897)+gPhilo898.catch2_898)+gPhilo899.catch2_899)+gPhilo900.catch2_900)+gPhilo901.catch2_901)+gPhilo902.catch2_902)+gPhilo903.catch2_903)+gPhilo904.catch2_904)+gPhilo905.catch2_905)+gPhilo906.catch2_906)+gPhilo907.catch2_907)+gPhilo908.catch2_908)+gPhilo909.catch2_909)+gPhilo910.catch2_910)+gPhilo911.catch2_911)+gPhilo912.catch2_912)+gPhilo913.catch2_913)+gPhilo914.catch2_914)+gPhilo915.catch2_915)+gPhilo916.catch2_916)+gPhilo917.catch2_917)+gPhilo918.catch2_918)+gPhilo919.catch2_919)+gPhilo920.catch2_920)+gPhilo921.catch2_921)+gPhilo922.catch2_922)+gPhilo923.catch2_923)+gPhilo924.catch2_924)+gPhilo925.catch2_925)+gPhilo926.catch2_926)+gPhilo927.catch2_927)+gPhilo928.catch2_928)+gPhilo929.catch2_929)+gPhilo930.catch2_930)+gPhilo931.catch2_931)+gPhilo932.catch2_932)+gPhilo933.catch2_933)+gPhilo934.catch2_934)+gPhilo935.catch2_935)+gPhilo936.catch2_936)+gPhilo937.catch2_937)+gPhilo938.catch2_938)+gPhilo939.catch2_939)+gPhilo940.catch2_940)+gPhilo941.catch2_941)+gPhilo942.catch2_942)+gPhilo943.catch2_943)+gPhilo944.catch2_944)+gPhilo945.catch2_945)+gPhilo946.catch2_946)+gPhilo947.catch2_947)+gPhilo948.catch2_948)+gPhilo949.catch2_949)+gPhilo950.catch2_950)+gPhilo951.catch2_951)+gPhilo952.catch2_952)+gPhilo953.catch2_953)+gPhilo954.catch2_954)+gPhilo955.catch2_955)+gPhilo956.catch2_956)+gPhilo957.catch2_957)+gPhilo958.catch2_958)+gPhilo959.catch2_959)+gPhilo960.catch2_960)+gPhilo961.catch2_961)+gPhilo962.catch2_962)+gPhilo963.catch2_963)+gPhilo964.catch2_964)+gPhilo965.catch2_965)+gPhilo966.catch2_966)+gPhilo967.catch2_967)+gPhilo968.catch2_968)+gPhilo969.catch2_969)+gPhilo970.catch2_970)+gPhilo971.catch2_971)+gPhilo972.catch2_972)+gPhilo973.catch2_973)+gPhilo974.catch2_974)+gPhilo975.catch2_975)+gPhilo976.catch2_976)+gPhilo977.catch2_977)+gPhilo978.catch2_978)+gPhilo979.catch2_979)+gPhilo980.catch2_980)+gPhilo981.catch2_981)+gPhilo982.catch2_982)+gPhilo983.catch2_983)+gPhilo984.catch2_984)+gPhilo985.catch2_985)+gPhilo986.catch2_986)+gPhilo987.catch2_987)+gPhilo988.catch2_988)+gPhilo989.catch2_989)+gPhilo990.catch2_990)+gPhilo991.catch2_991)+gPhilo992.catch2_992)+gPhilo993.catch2_993)+gPhilo994.catch2_994)+gPhilo995.catch2_995)+gPhilo996.catch2_996)+gPhilo997.catch2_997)+gPhilo998.catch2_998)+gPhilo999.catch2_999))"
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
ITS-tools command line returned an error code 134
[2020-05-18 06:12:03] [INFO ] Flatten gal took : 478 ms
[2020-05-18 06:12:05] [INFO ] Input system was already deterministic with 5000 transitions.
[2020-05-18 06:12:05] [INFO ] Transformed 5000 places.
[2020-05-18 06:12:05] [INFO ] Transformed 5000 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2020-05-18 06:12:07] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 19 ms
[2020-05-18 06:12:08] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 34 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 12 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((F(X(G(F("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((eat_0+eat_1)+eat_2)+eat_3)+eat_4)+eat_5)+eat_6)+eat_7)+eat_8)+eat_9)+eat_10)+eat_11)+eat_12)+eat_13)+eat_14)+eat_15)+eat_16)+eat_17)+eat_18)+eat_19)+eat_20)+eat_21)+eat_22)+eat_23)+eat_24)+eat_25)+eat_26)+eat_27)+eat_28)+eat_29)+eat_30)+eat_31)+eat_32)+eat_33)+eat_34)+eat_35)+eat_36)+eat_37)+eat_38)+eat_39)+eat_40)+eat_41)+eat_42)+eat_43)+eat_44)+eat_45)+eat_46)+eat_47)+eat_48)+eat_49)+eat_50)+eat_51)+eat_52)+eat_53)+eat_54)+eat_55)+eat_56)+eat_57)+eat_58)+eat_59)+eat_60)+eat_61)+eat_62)+eat_63)+eat_64)+eat_65)+eat_66)+eat_67)+eat_68)+eat_69)+eat_70)+eat_71)+eat_72)+eat_73)+eat_74)+eat_75)+eat_76)+eat_77)+eat_78)+eat_79)+eat_80)+eat_81)+eat_82)+eat_83)+eat_84)+eat_85)+eat_86)+eat_87)+eat_88)+eat_89)+eat_90)+eat_91)+eat_92)+eat_93)+eat_94)+eat_95)+eat_96)+eat_97)+eat_98)+eat_99)+eat_100)+eat_101)+eat_102)+eat_103)+eat_104)+eat_105)+eat_106)+eat_107)+eat_108)+eat_109)+eat_110)+eat_111)+eat_112)+eat_113)+eat_114)+eat_115)+eat_116)+eat_117)+eat_118)+eat_119)+eat_120)+eat_121)+eat_122)+eat_123)+eat_124)+eat_125)+eat_126)+eat_127)+eat_128)+eat_129)+eat_130)+eat_131)+eat_132)+eat_133)+eat_134)+eat_135)+eat_136)+eat_137)+eat_138)+eat_139)+eat_140)+eat_141)+eat_142)+eat_143)+eat_144)+eat_145)+eat_146)+eat_147)+eat_148)+eat_149)+eat_150)+eat_151)+eat_152)+eat_153)+eat_154)+eat_155)+eat_156)+eat_157)+eat_158)+eat_159)+eat_160)+eat_161)+eat_162)+eat_163)+eat_164)+eat_165)+eat_166)+eat_167)+eat_168)+eat_169)+eat_170)+eat_171)+eat_172)+eat_173)+eat_174)+eat_175)+eat_176)+eat_177)+eat_178)+eat_179)+eat_180)+eat_181)+eat_182)+eat_183)+eat_184)+eat_185)+eat_186)+eat_187)+eat_188)+eat_189)+eat_190)+eat_191)+eat_192)+eat_193)+eat_194)+eat_195)+eat_196)+eat_197)+eat_198)+eat_199)+eat_200)+eat_201)+eat_202)+eat_203)+eat_204)+eat_205)+eat_206)+eat_207)+eat_208)+eat_209)+eat_210)+eat_211)+eat_212)+eat_213)+eat_214)+eat_215)+eat_216)+eat_217)+eat_218)+eat_219)+eat_220)+eat_221)+eat_222)+eat_223)+eat_224)+eat_225)+eat_226)+eat_227)+eat_228)+eat_229)+eat_230)+eat_231)+eat_232)+eat_233)+eat_234)+eat_235)+eat_236)+eat_237)+eat_238)+eat_239)+eat_240)+eat_241)+eat_242)+eat_243)+eat_244)+eat_245)+eat_246)+eat_247)+eat_248)+eat_249)+eat_250)+eat_251)+eat_252)+eat_253)+eat_254)+eat_255)+eat_256)+eat_257)+eat_258)+eat_259)+eat_260)+eat_261)+eat_262)+eat_263)+eat_264)+eat_265)+eat_266)+eat_267)+eat_268)+eat_269)+eat_270)+eat_271)+eat_272)+eat_273)+eat_274)+eat_275)+eat_276)+eat_277)+eat_278)+eat_279)+eat_280)+eat_281)+eat_282)+eat_283)+eat_284)+eat_285)+eat_286)+eat_287)+eat_288)+eat_289)+eat_290)+eat_291)+eat_292)+eat_293)+eat_294)+eat_295)+eat_296)+eat_297)+eat_298)+eat_299)+eat_300)+eat_301)+eat_302)+eat_303)+eat_304)+eat_305)+eat_306)+eat_307)+eat_308)+eat_309)+eat_310)+eat_311)+eat_312)+eat_313)+eat_314)+eat_315)+eat_316)+eat_317)+eat_318)+eat_319)+eat_320)+eat_321)+eat_322)+eat_323)+eat_324)+eat_325)+eat_326)+eat_327)+eat_328)+eat_329)+eat_330)+eat_331)+eat_332)+eat_333)+eat_334)+eat_335)+eat_336)+eat_337)+eat_338)+eat_339)+eat_340)+eat_341)+eat_342)+eat_343)+eat_344)+eat_345)+eat_346)+eat_347)+eat_348)+eat_349)+eat_350)+eat_351)+eat_352)+eat_353)+eat_354)+eat_355)+eat_356)+eat_357)+eat_358)+eat_359)+eat_360)+eat_361)+eat_362)+eat_363)+eat_364)+eat_365)+eat_366)+eat_367)+eat_368)+eat_369)+eat_370)+eat_371)+eat_372)+eat_373)+eat_374)+eat_375)+eat_376)+eat_377)+eat_378)+eat_379)+eat_380)+eat_381)+eat_382)+eat_383)+eat_384)+eat_385)+eat_386)+eat_387)+eat_388)+eat_389)+eat_390)+eat_391)+eat_392)+eat_393)+eat_394)+eat_395)+eat_396)+eat_397)+eat_398)+eat_399)+eat_400)+eat_401)+eat_402)+eat_403)+eat_404)+eat_405)+eat_406)+eat_407)+eat_408)+eat_409)+eat_410)+eat_411)+eat_412)+eat_413)+eat_414)+eat_415)+eat_416)+eat_417)+eat_418)+eat_419)+eat_420)+eat_421)+eat_422)+eat_423)+eat_424)+eat_425)+eat_426)+eat_427)+eat_428)+eat_429)+eat_430)+eat_431)+eat_432)+eat_433)+eat_434)+eat_435)+eat_436)+eat_437)+eat_438)+eat_439)+eat_440)+eat_441)+eat_442)+eat_443)+eat_444)+eat_445)+eat_446)+eat_447)+eat_448)+eat_449)+eat_450)+eat_451)+eat_452)+eat_453)+eat_454)+eat_455)+eat_456)+eat_457)+eat_458)+eat_459)+eat_460)+eat_461)+eat_462)+eat_463)+eat_464)+eat_465)+eat_466)+eat_467)+eat_468)+eat_469)+eat_470)+eat_471)+eat_472)+eat_473)+eat_474)+eat_475)+eat_476)+eat_477)+eat_478)+eat_479)+eat_480)+eat_481)+eat_482)+eat_483)+eat_484)+eat_485)+eat_486)+eat_487)+eat_488)+eat_489)+eat_490)+eat_491)+eat_492)+eat_493)+eat_494)+eat_495)+eat_496)+eat_497)+eat_498)+eat_499)+eat_500)+eat_501)+eat_502)+eat_503)+eat_504)+eat_505)+eat_506)+eat_507)+eat_508)+eat_509)+eat_510)+eat_511)+eat_512)+eat_513)+eat_514)+eat_515)+eat_516)+eat_517)+eat_518)+eat_519)+eat_520)+eat_521)+eat_522)+eat_523)+eat_524)+eat_525)+eat_526)+eat_527)+eat_528)+eat_529)+eat_530)+eat_531)+eat_532)+eat_533)+eat_534)+eat_535)+eat_536)+eat_537)+eat_538)+eat_539)+eat_540)+eat_541)+eat_542)+eat_543)+eat_544)+eat_545)+eat_546)+eat_547)+eat_548)+eat_549)+eat_550)+eat_551)+eat_552)+eat_553)+eat_554)+eat_555)+eat_556)+eat_557)+eat_558)+eat_559)+eat_560)+eat_561)+eat_562)+eat_563)+eat_564)+eat_565)+eat_566)+eat_567)+eat_568)+eat_569)+eat_570)+eat_571)+eat_572)+eat_573)+eat_574)+eat_575)+eat_576)+eat_577)+eat_578)+eat_579)+eat_580)+eat_581)+eat_582)+eat_583)+eat_584)+eat_585)+eat_586)+eat_587)+eat_588)+eat_589)+eat_590)+eat_591)+eat_592)+eat_593)+eat_594)+eat_595)+eat_596)+eat_597)+eat_598)+eat_599)+eat_600)+eat_601)+eat_602)+eat_603)+eat_604)+eat_605)+eat_606)+eat_607)+eat_608)+eat_609)+eat_610)+eat_611)+eat_612)+eat_613)+eat_614)+eat_615)+eat_616)+eat_617)+eat_618)+eat_619)+eat_620)+eat_621)+eat_622)+eat_623)+eat_624)+eat_625)+eat_626)+eat_627)+eat_628)+eat_629)+eat_630)+eat_631)+eat_632)+eat_633)+eat_634)+eat_635)+eat_636)+eat_637)+eat_638)+eat_639)+eat_640)+eat_641)+eat_642)+eat_643)+eat_644)+eat_645)+eat_646)+eat_647)+eat_648)+eat_649)+eat_650)+eat_651)+eat_652)+eat_653)+eat_654)+eat_655)+eat_656)+eat_657)+eat_658)+eat_659)+eat_660)+eat_661)+eat_662)+eat_663)+eat_664)+eat_665)+eat_666)+eat_667)+eat_668)+eat_669)+eat_670)+eat_671)+eat_672)+eat_673)+eat_674)+eat_675)+eat_676)+eat_677)+eat_678)+eat_679)+eat_680)+eat_681)+eat_682)+eat_683)+eat_684)+eat_685)+eat_686)+eat_687)+eat_688)+eat_689)+eat_690)+eat_691)+eat_692)+eat_693)+eat_694)+eat_695)+eat_696)+eat_697)+eat_698)+eat_699)+eat_700)+eat_701)+eat_702)+eat_703)+eat_704)+eat_705)+eat_706)+eat_707)+eat_708)+eat_709)+eat_710)+eat_711)+eat_712)+eat_713)+eat_714)+eat_715)+eat_716)+eat_717)+eat_718)+eat_719)+eat_720)+eat_721)+eat_722)+eat_723)+eat_724)+eat_725)+eat_726)+eat_727)+eat_728)+eat_729)+eat_730)+eat_731)+eat_732)+eat_733)+eat_734)+eat_735)+eat_736)+eat_737)+eat_738)+eat_739)+eat_740)+eat_741)+eat_742)+eat_743)+eat_744)+eat_745)+eat_746)+eat_747)+eat_748)+eat_749)+eat_750)+eat_751)+eat_752)+eat_753)+eat_754)+eat_755)+eat_756)+eat_757)+eat_758)+eat_759)+eat_760)+eat_761)+eat_762)+eat_763)+eat_764)+eat_765)+eat_766)+eat_767)+eat_768)+eat_769)+eat_770)+eat_771)+eat_772)+eat_773)+eat_774)+eat_775)+eat_776)+eat_777)+eat_778)+eat_779)+eat_780)+eat_781)+eat_782)+eat_783)+eat_784)+eat_785)+eat_786)+eat_787)+eat_788)+eat_789)+eat_790)+eat_791)+eat_792)+eat_793)+eat_794)+eat_795)+eat_796)+eat_797)+eat_798)+eat_799)+eat_800)+eat_801)+eat_802)+eat_803)+eat_804)+eat_805)+eat_806)+eat_807)+eat_808)+eat_809)+eat_810)+eat_811)+eat_812)+eat_813)+eat_814)+eat_815)+eat_816)+eat_817)+eat_818)+eat_819)+eat_820)+eat_821)+eat_822)+eat_823)+eat_824)+eat_825)+eat_826)+eat_827)+eat_828)+eat_829)+eat_830)+eat_831)+eat_832)+eat_833)+eat_834)+eat_835)+eat_836)+eat_837)+eat_838)+eat_839)+eat_840)+eat_841)+eat_842)+eat_843)+eat_844)+eat_845)+eat_846)+eat_847)+eat_848)+eat_849)+eat_850)+eat_851)+eat_852)+eat_853)+eat_854)+eat_855)+eat_856)+eat_857)+eat_858)+eat_859)+eat_860)+eat_861)+eat_862)+eat_863)+eat_864)+eat_865)+eat_866)+eat_867)+eat_868)+eat_869)+eat_870)+eat_871)+eat_872)+eat_873)+eat_874)+eat_875)+eat_876)+eat_877)+eat_878)+eat_879)+eat_880)+eat_881)+eat_882)+eat_883)+eat_884)+eat_885)+eat_886)+eat_887)+eat_888)+eat_889)+eat_890)+eat_891)+eat_892)+eat_893)+eat_894)+eat_895)+eat_896)+eat_897)+eat_898)+eat_899)+eat_900)+eat_901)+eat_902)+eat_903)+eat_904)+eat_905)+eat_906)+eat_907)+eat_908)+eat_909)+eat_910)+eat_911)+eat_912)+eat_913)+eat_914)+eat_915)+eat_916)+eat_917)+eat_918)+eat_919)+eat_920)+eat_921)+eat_922)+eat_923)+eat_924)+eat_925)+eat_926)+eat_927)+eat_928)+eat_929)+eat_930)+eat_931)+eat_932)+eat_933)+eat_934)+eat_935)+eat_936)+eat_937)+eat_938)+eat_939)+eat_940)+eat_941)+eat_942)+eat_943)+eat_944)+eat_945)+eat_946)+eat_947)+eat_948)+eat_949)+eat_950)+eat_951)+eat_952)+eat_953)+eat_954)+eat_955)+eat_956)+eat_957)+eat_958)+eat_959)+eat_960)+eat_961)+eat_962)+eat_963)+eat_964)+eat_965)+eat_966)+eat_967)+eat_968)+eat_969)+eat_970)+eat_971)+eat_972)+eat_973)+eat_974)+eat_975)+eat_976)+eat_977)+eat_978)+eat_979)+eat_980)+eat_981)+eat_982)+eat_983)+eat_984)+eat_985)+eat_986)+eat_987)+eat_988)+eat_989)+eat_990)+eat_991)+eat_992)+eat_993)+eat_994)+eat_995)+eat_996)+eat_997)+eat_998)+eat_999)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((catch2_0+catch2_1)+catch2_2)+catch2_3)+catch2_4)+catch2_5)+catch2_6)+catch2_7)+catch2_8)+catch2_9)+catch2_10)+catch2_11)+catch2_12)+catch2_13)+catch2_14)+catch2_15)+catch2_16)+catch2_17)+catch2_18)+catch2_19)+catch2_20)+catch2_21)+catch2_22)+catch2_23)+catch2_24)+catch2_25)+catch2_26)+catch2_27)+catch2_28)+catch2_29)+catch2_30)+catch2_31)+catch2_32)+catch2_33)+catch2_34)+catch2_35)+catch2_36)+catch2_37)+catch2_38)+catch2_39)+catch2_40)+catch2_41)+catch2_42)+catch2_43)+catch2_44)+catch2_45)+catch2_46)+catch2_47)+catch2_48)+catch2_49)+catch2_50)+catch2_51)+catch2_52)+catch2_53)+catch2_54)+catch2_55)+catch2_56)+catch2_57)+catch2_58)+catch2_59)+catch2_60)+catch2_61)+catch2_62)+catch2_63)+catch2_64)+catch2_65)+catch2_66)+catch2_67)+catch2_68)+catch2_69)+catch2_70)+catch2_71)+catch2_72)+catch2_73)+catch2_74)+catch2_75)+catch2_76)+catch2_77)+catch2_78)+catch2_79)+catch2_80)+catch2_81)+catch2_82)+catch2_83)+catch2_84)+catch2_85)+catch2_86)+catch2_87)+catch2_88)+catch2_89)+catch2_90)+catch2_91)+catch2_92)+catch2_93)+catch2_94)+catch2_95)+catch2_96)+catch2_97)+catch2_98)+catch2_99)+catch2_100)+catch2_101)+catch2_102)+catch2_103)+catch2_104)+catch2_105)+catch2_106)+catch2_107)+catch2_108)+catch2_109)+catch2_110)+catch2_111)+catch2_112)+catch2_113)+catch2_114)+catch2_115)+catch2_116)+catch2_117)+catch2_118)+catch2_119)+catch2_120)+catch2_121)+catch2_122)+catch2_123)+catch2_124)+catch2_125)+catch2_126)+catch2_127)+catch2_128)+catch2_129)+catch2_130)+catch2_131)+catch2_132)+catch2_133)+catch2_134)+catch2_135)+catch2_136)+catch2_137)+catch2_138)+catch2_139)+catch2_140)+catch2_141)+catch2_142)+catch2_143)+catch2_144)+catch2_145)+catch2_146)+catch2_147)+catch2_148)+catch2_149)+catch2_150)+catch2_151)+catch2_152)+catch2_153)+catch2_154)+catch2_155)+catch2_156)+catch2_157)+catch2_158)+catch2_159)+catch2_160)+catch2_161)+catch2_162)+catch2_163)+catch2_164)+catch2_165)+catch2_166)+catch2_167)+catch2_168)+catch2_169)+catch2_170)+catch2_171)+catch2_172)+catch2_173)+catch2_174)+catch2_175)+catch2_176)+catch2_177)+catch2_178)+catch2_179)+catch2_180)+catch2_181)+catch2_182)+catch2_183)+catch2_184)+catch2_185)+catch2_186)+catch2_187)+catch2_188)+catch2_189)+catch2_190)+catch2_191)+catch2_192)+catch2_193)+catch2_194)+catch2_195)+catch2_196)+catch2_197)+catch2_198)+catch2_199)+catch2_200)+catch2_201)+catch2_202)+catch2_203)+catch2_204)+catch2_205)+catch2_206)+catch2_207)+catch2_208)+catch2_209)+catch2_210)+catch2_211)+catch2_212)+catch2_213)+catch2_214)+catch2_215)+catch2_216)+catch2_217)+catch2_218)+catch2_219)+catch2_220)+catch2_221)+catch2_222)+catch2_223)+catch2_224)+catch2_225)+catch2_226)+catch2_227)+catch2_228)+catch2_229)+catch2_230)+catch2_231)+catch2_232)+catch2_233)+catch2_234)+catch2_235)+catch2_236)+catch2_237)+catch2_238)+catch2_239)+catch2_240)+catch2_241)+catch2_242)+catch2_243)+catch2_244)+catch2_245)+catch2_246)+catch2_247)+catch2_248)+catch2_249)+catch2_250)+catch2_251)+catch2_252)+catch2_253)+catch2_254)+catch2_255)+catch2_256)+catch2_257)+catch2_258)+catch2_259)+catch2_260)+catch2_261)+catch2_262)+catch2_263)+catch2_264)+catch2_265)+catch2_266)+catch2_267)+catch2_268)+catch2_269)+catch2_270)+catch2_271)+catch2_272)+catch2_273)+catch2_274)+catch2_275)+catch2_276)+catch2_277)+catch2_278)+catch2_279)+catch2_280)+catch2_281)+catch2_282)+catch2_283)+catch2_284)+catch2_285)+catch2_286)+catch2_287)+catch2_288)+catch2_289)+catch2_290)+catch2_291)+catch2_292)+catch2_293)+catch2_294)+catch2_295)+catch2_296)+catch2_297)+catch2_298)+catch2_299)+catch2_300)+catch2_301)+catch2_302)+catch2_303)+catch2_304)+catch2_305)+catch2_306)+catch2_307)+catch2_308)+catch2_309)+catch2_310)+catch2_311)+catch2_312)+catch2_313)+catch2_314)+catch2_315)+catch2_316)+catch2_317)+catch2_318)+catch2_319)+catch2_320)+catch2_321)+catch2_322)+catch2_323)+catch2_324)+catch2_325)+catch2_326)+catch2_327)+catch2_328)+catch2_329)+catch2_330)+catch2_331)+catch2_332)+catch2_333)+catch2_334)+catch2_335)+catch2_336)+catch2_337)+catch2_338)+catch2_339)+catch2_340)+catch2_341)+catch2_342)+catch2_343)+catch2_344)+catch2_345)+catch2_346)+catch2_347)+catch2_348)+catch2_349)+catch2_350)+catch2_351)+catch2_352)+catch2_353)+catch2_354)+catch2_355)+catch2_356)+catch2_357)+catch2_358)+catch2_359)+catch2_360)+catch2_361)+catch2_362)+catch2_363)+catch2_364)+catch2_365)+catch2_366)+catch2_367)+catch2_368)+catch2_369)+catch2_370)+catch2_371)+catch2_372)+catch2_373)+catch2_374)+catch2_375)+catch2_376)+catch2_377)+catch2_378)+catch2_379)+catch2_380)+catch2_381)+catch2_382)+catch2_383)+catch2_384)+catch2_385)+catch2_386)+catch2_387)+catch2_388)+catch2_389)+catch2_390)+catch2_391)+catch2_392)+catch2_393)+catch2_394)+catch2_395)+catch2_396)+catch2_397)+catch2_398)+catch2_399)+catch2_400)+catch2_401)+catch2_402)+catch2_403)+catch2_404)+catch2_405)+catch2_406)+catch2_407)+catch2_408)+catch2_409)+catch2_410)+catch2_411)+catch2_412)+catch2_413)+catch2_414)+catch2_415)+catch2_416)+catch2_417)+catch2_418)+catch2_419)+catch2_420)+catch2_421)+catch2_422)+catch2_423)+catch2_424)+catch2_425)+catch2_426)+catch2_427)+catch2_428)+catch2_429)+catch2_430)+catch2_431)+catch2_432)+catch2_433)+catch2_434)+catch2_435)+catch2_436)+catch2_437)+catch2_438)+catch2_439)+catch2_440)+catch2_441)+catch2_442)+catch2_443)+catch2_444)+catch2_445)+catch2_446)+catch2_447)+catch2_448)+catch2_449)+catch2_450)+catch2_451)+catch2_452)+catch2_453)+catch2_454)+catch2_455)+catch2_456)+catch2_457)+catch2_458)+catch2_459)+catch2_460)+catch2_461)+catch2_462)+catch2_463)+catch2_464)+catch2_465)+catch2_466)+catch2_467)+catch2_468)+catch2_469)+catch2_470)+catch2_471)+catch2_472)+catch2_473)+catch2_474)+catch2_475)+catch2_476)+catch2_477)+catch2_478)+catch2_479)+catch2_480)+catch2_481)+catch2_482)+catch2_483)+catch2_484)+catch2_485)+catch2_486)+catch2_487)+catch2_488)+catch2_489)+catch2_490)+catch2_491)+catch2_492)+catch2_493)+catch2_494)+catch2_495)+catch2_496)+catch2_497)+catch2_498)+catch2_499)+catch2_500)+catch2_501)+catch2_502)+catch2_503)+catch2_504)+catch2_505)+catch2_506)+catch2_507)+catch2_508)+catch2_509)+catch2_510)+catch2_511)+catch2_512)+catch2_513)+catch2_514)+catch2_515)+catch2_516)+catch2_517)+catch2_518)+catch2_519)+catch2_520)+catch2_521)+catch2_522)+catch2_523)+catch2_524)+catch2_525)+catch2_526)+catch2_527)+catch2_528)+catch2_529)+catch2_530)+catch2_531)+catch2_532)+catch2_533)+catch2_534)+catch2_535)+catch2_536)+catch2_537)+catch2_538)+catch2_539)+catch2_540)+catch2_541)+catch2_542)+catch2_543)+catch2_544)+catch2_545)+catch2_546)+catch2_547)+catch2_548)+catch2_549)+catch2_550)+catch2_551)+catch2_552)+catch2_553)+catch2_554)+catch2_555)+catch2_556)+catch2_557)+catch2_558)+catch2_559)+catch2_560)+catch2_561)+catch2_562)+catch2_563)+catch2_564)+catch2_565)+catch2_566)+catch2_567)+catch2_568)+catch2_569)+catch2_570)+catch2_571)+catch2_572)+catch2_573)+catch2_574)+catch2_575)+catch2_576)+catch2_577)+catch2_578)+catch2_579)+catch2_580)+catch2_581)+catch2_582)+catch2_583)+catch2_584)+catch2_585)+catch2_586)+catch2_587)+catch2_588)+catch2_589)+catch2_590)+catch2_591)+catch2_592)+catch2_593)+catch2_594)+catch2_595)+catch2_596)+catch2_597)+catch2_598)+catch2_599)+catch2_600)+catch2_601)+catch2_602)+catch2_603)+catch2_604)+catch2_605)+catch2_606)+catch2_607)+catch2_608)+catch2_609)+catch2_610)+catch2_611)+catch2_612)+catch2_613)+catch2_614)+catch2_615)+catch2_616)+catch2_617)+catch2_618)+catch2_619)+catch2_620)+catch2_621)+catch2_622)+catch2_623)+catch2_624)+catch2_625)+catch2_626)+catch2_627)+catch2_628)+catch2_629)+catch2_630)+catch2_631)+catch2_632)+catch2_633)+catch2_634)+catch2_635)+catch2_636)+catch2_637)+catch2_638)+catch2_639)+catch2_640)+catch2_641)+catch2_642)+catch2_643)+catch2_644)+catch2_645)+catch2_646)+catch2_647)+catch2_648)+catch2_649)+catch2_650)+catch2_651)+catch2_652)+catch2_653)+catch2_654)+catch2_655)+catch2_656)+catch2_657)+catch2_658)+catch2_659)+catch2_660)+catch2_661)+catch2_662)+catch2_663)+catch2_664)+catch2_665)+catch2_666)+catch2_667)+catch2_668)+catch2_669)+catch2_670)+catch2_671)+catch2_672)+catch2_673)+catch2_674)+catch2_675)+catch2_676)+catch2_677)+catch2_678)+catch2_679)+catch2_680)+catch2_681)+catch2_682)+catch2_683)+catch2_684)+catch2_685)+catch2_686)+catch2_687)+catch2_688)+catch2_689)+catch2_690)+catch2_691)+catch2_692)+catch2_693)+catch2_694)+catch2_695)+catch2_696)+catch2_697)+catch2_698)+catch2_699)+catch2_700)+catch2_701)+catch2_702)+catch2_703)+catch2_704)+catch2_705)+catch2_706)+catch2_707)+catch2_708)+catch2_709)+catch2_710)+catch2_711)+catch2_712)+catch2_713)+catch2_714)+catch2_715)+catch2_716)+catch2_717)+catch2_718)+catch2_719)+catch2_720)+catch2_721)+catch2_722)+catch2_723)+catch2_724)+catch2_725)+catch2_726)+catch2_727)+catch2_728)+catch2_729)+catch2_730)+catch2_731)+catch2_732)+catch2_733)+catch2_734)+catch2_735)+catch2_736)+catch2_737)+catch2_738)+catch2_739)+catch2_740)+catch2_741)+catch2_742)+catch2_743)+catch2_744)+catch2_745)+catch2_746)+catch2_747)+catch2_748)+catch2_749)+catch2_750)+catch2_751)+catch2_752)+catch2_753)+catch2_754)+catch2_755)+catch2_756)+catch2_757)+catch2_758)+catch2_759)+catch2_760)+catch2_761)+catch2_762)+catch2_763)+catch2_764)+catch2_765)+catch2_766)+catch2_767)+catch2_768)+catch2_769)+catch2_770)+catch2_771)+catch2_772)+catch2_773)+catch2_774)+catch2_775)+catch2_776)+catch2_777)+catch2_778)+catch2_779)+catch2_780)+catch2_781)+catch2_782)+catch2_783)+catch2_784)+catch2_785)+catch2_786)+catch2_787)+catch2_788)+catch2_789)+catch2_790)+catch2_791)+catch2_792)+catch2_793)+catch2_794)+catch2_795)+catch2_796)+catch2_797)+catch2_798)+catch2_799)+catch2_800)+catch2_801)+catch2_802)+catch2_803)+catch2_804)+catch2_805)+catch2_806)+catch2_807)+catch2_808)+catch2_809)+catch2_810)+catch2_811)+catch2_812)+catch2_813)+catch2_814)+catch2_815)+catch2_816)+catch2_817)+catch2_818)+catch2_819)+catch2_820)+catch2_821)+catch2_822)+catch2_823)+catch2_824)+catch2_825)+catch2_826)+catch2_827)+catch2_828)+catch2_829)+catch2_830)+catch2_831)+catch2_832)+catch2_833)+catch2_834)+catch2_835)+catch2_836)+catch2_837)+catch2_838)+catch2_839)+catch2_840)+catch2_841)+catch2_842)+catch2_843)+catch2_844)+catch2_845)+catch2_846)+catch2_847)+catch2_848)+catch2_849)+catch2_850)+catch2_851)+catch2_852)+catch2_853)+catch2_854)+catch2_855)+catch2_856)+catch2_857)+catch2_858)+catch2_859)+catch2_860)+catch2_861)+catch2_862)+catch2_863)+catch2_864)+catch2_865)+catch2_866)+catch2_867)+catch2_868)+catch2_869)+catch2_870)+catch2_871)+catch2_872)+catch2_873)+catch2_874)+catch2_875)+catch2_876)+catch2_877)+catch2_878)+catch2_879)+catch2_880)+catch2_881)+catch2_882)+catch2_883)+catch2_884)+catch2_885)+catch2_886)+catch2_887)+catch2_888)+catch2_889)+catch2_890)+catch2_891)+catch2_892)+catch2_893)+catch2_894)+catch2_895)+catch2_896)+catch2_897)+catch2_898)+catch2_899)+catch2_900)+catch2_901)+catch2_902)+catch2_903)+catch2_904)+catch2_905)+catch2_906)+catch2_907)+catch2_908)+catch2_909)+catch2_910)+catch2_911)+catch2_912)+catch2_913)+catch2_914)+catch2_915)+catch2_916)+catch2_917)+catch2_918)+catch2_919)+catch2_920)+catch2_921)+catch2_922)+catch2_923)+catch2_924)+catch2_925)+catch2_926)+catch2_927)+catch2_928)+catch2_929)+catch2_930)+catch2_931)+catch2_932)+catch2_933)+catch2_934)+catch2_935)+catch2_936)+catch2_937)+catch2_938)+catch2_939)+catch2_940)+catch2_941)+catch2_942)+catch2_943)+catch2_944)+catch2_945)+catch2_946)+catch2_947)+catch2_948)+catch2_949)+catch2_950)+catch2_951)+catch2_952)+catch2_953)+catch2_954)+catch2_955)+catch2_956)+catch2_957)+catch2_958)+catch2_959)+catch2_960)+catch2_961)+catch2_962)+catch2_963)+catch2_964)+catch2_965)+catch2_966)+catch2_967)+catch2_968)+catch2_969)+catch2_970)+catch2_971)+catch2_972)+catch2_973)+catch2_974)+catch2_975)+catch2_976)+catch2_977)+catch2_978)+catch2_979)+catch2_980)+catch2_981)+catch2_982)+catch2_983)+catch2_984)+catch2_985)+catch2_986)+catch2_987)+catch2_988)+catch2_989)+catch2_990)+catch2_991)+catch2_992)+catch2_993)+catch2_994)+catch2_995)+catch2_996)+catch2_997)+catch2_998)+catch2_999))"))))))
Formula 0 simplified : !FXGF"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((eat_0+eat_1)+eat_2)+eat_3)+eat_4)+eat_5)+eat_6)+eat_7)+eat_8)+eat_9)+eat_10)+eat_11)+eat_12)+eat_13)+eat_14)+eat_15)+eat_16)+eat_17)+eat_18)+eat_19)+eat_20)+eat_21)+eat_22)+eat_23)+eat_24)+eat_25)+eat_26)+eat_27)+eat_28)+eat_29)+eat_30)+eat_31)+eat_32)+eat_33)+eat_34)+eat_35)+eat_36)+eat_37)+eat_38)+eat_39)+eat_40)+eat_41)+eat_42)+eat_43)+eat_44)+eat_45)+eat_46)+eat_47)+eat_48)+eat_49)+eat_50)+eat_51)+eat_52)+eat_53)+eat_54)+eat_55)+eat_56)+eat_57)+eat_58)+eat_59)+eat_60)+eat_61)+eat_62)+eat_63)+eat_64)+eat_65)+eat_66)+eat_67)+eat_68)+eat_69)+eat_70)+eat_71)+eat_72)+eat_73)+eat_74)+eat_75)+eat_76)+eat_77)+eat_78)+eat_79)+eat_80)+eat_81)+eat_82)+eat_83)+eat_84)+eat_85)+eat_86)+eat_87)+eat_88)+eat_89)+eat_90)+eat_91)+eat_92)+eat_93)+eat_94)+eat_95)+eat_96)+eat_97)+eat_98)+eat_99)+eat_100)+eat_101)+eat_102)+eat_103)+eat_104)+eat_105)+eat_106)+eat_107)+eat_108)+eat_109)+eat_110)+eat_111)+eat_112)+eat_113)+eat_114)+eat_115)+eat_116)+eat_117)+eat_118)+eat_119)+eat_120)+eat_121)+eat_122)+eat_123)+eat_124)+eat_125)+eat_126)+eat_127)+eat_128)+eat_129)+eat_130)+eat_131)+eat_132)+eat_133)+eat_134)+eat_135)+eat_136)+eat_137)+eat_138)+eat_139)+eat_140)+eat_141)+eat_142)+eat_143)+eat_144)+eat_145)+eat_146)+eat_147)+eat_148)+eat_149)+eat_150)+eat_151)+eat_152)+eat_153)+eat_154)+eat_155)+eat_156)+eat_157)+eat_158)+eat_159)+eat_160)+eat_161)+eat_162)+eat_163)+eat_164)+eat_165)+eat_166)+eat_167)+eat_168)+eat_169)+eat_170)+eat_171)+eat_172)+eat_173)+eat_174)+eat_175)+eat_176)+eat_177)+eat_178)+eat_179)+eat_180)+eat_181)+eat_182)+eat_183)+eat_184)+eat_185)+eat_186)+eat_187)+eat_188)+eat_189)+eat_190)+eat_191)+eat_192)+eat_193)+eat_194)+eat_195)+eat_196)+eat_197)+eat_198)+eat_199)+eat_200)+eat_201)+eat_202)+eat_203)+eat_204)+eat_205)+eat_206)+eat_207)+eat_208)+eat_209)+eat_210)+eat_211)+eat_212)+eat_213)+eat_214)+eat_215)+eat_216)+eat_217)+eat_218)+eat_219)+eat_220)+eat_221)+eat_222)+eat_223)+eat_224)+eat_225)+eat_226)+eat_227)+eat_228)+eat_229)+eat_230)+eat_231)+eat_232)+eat_233)+eat_234)+eat_235)+eat_236)+eat_237)+eat_238)+eat_239)+eat_240)+eat_241)+eat_242)+eat_243)+eat_244)+eat_245)+eat_246)+eat_247)+eat_248)+eat_249)+eat_250)+eat_251)+eat_252)+eat_253)+eat_254)+eat_255)+eat_256)+eat_257)+eat_258)+eat_259)+eat_260)+eat_261)+eat_262)+eat_263)+eat_264)+eat_265)+eat_266)+eat_267)+eat_268)+eat_269)+eat_270)+eat_271)+eat_272)+eat_273)+eat_274)+eat_275)+eat_276)+eat_277)+eat_278)+eat_279)+eat_280)+eat_281)+eat_282)+eat_283)+eat_284)+eat_285)+eat_286)+eat_287)+eat_288)+eat_289)+eat_290)+eat_291)+eat_292)+eat_293)+eat_294)+eat_295)+eat_296)+eat_297)+eat_298)+eat_299)+eat_300)+eat_301)+eat_302)+eat_303)+eat_304)+eat_305)+eat_306)+eat_307)+eat_308)+eat_309)+eat_310)+eat_311)+eat_312)+eat_313)+eat_314)+eat_315)+eat_316)+eat_317)+eat_318)+eat_319)+eat_320)+eat_321)+eat_322)+eat_323)+eat_324)+eat_325)+eat_326)+eat_327)+eat_328)+eat_329)+eat_330)+eat_331)+eat_332)+eat_333)+eat_334)+eat_335)+eat_336)+eat_337)+eat_338)+eat_339)+eat_340)+eat_341)+eat_342)+eat_343)+eat_344)+eat_345)+eat_346)+eat_347)+eat_348)+eat_349)+eat_350)+eat_351)+eat_352)+eat_353)+eat_354)+eat_355)+eat_356)+eat_357)+eat_358)+eat_359)+eat_360)+eat_361)+eat_362)+eat_363)+eat_364)+eat_365)+eat_366)+eat_367)+eat_368)+eat_369)+eat_370)+eat_371)+eat_372)+eat_373)+eat_374)+eat_375)+eat_376)+eat_377)+eat_378)+eat_379)+eat_380)+eat_381)+eat_382)+eat_383)+eat_384)+eat_385)+eat_386)+eat_387)+eat_388)+eat_389)+eat_390)+eat_391)+eat_392)+eat_393)+eat_394)+eat_395)+eat_396)+eat_397)+eat_398)+eat_399)+eat_400)+eat_401)+eat_402)+eat_403)+eat_404)+eat_405)+eat_406)+eat_407)+eat_408)+eat_409)+eat_410)+eat_411)+eat_412)+eat_413)+eat_414)+eat_415)+eat_416)+eat_417)+eat_418)+eat_419)+eat_420)+eat_421)+eat_422)+eat_423)+eat_424)+eat_425)+eat_426)+eat_427)+eat_428)+eat_429)+eat_430)+eat_431)+eat_432)+eat_433)+eat_434)+eat_435)+eat_436)+eat_437)+eat_438)+eat_439)+eat_440)+eat_441)+eat_442)+eat_443)+eat_444)+eat_445)+eat_446)+eat_447)+eat_448)+eat_449)+eat_450)+eat_451)+eat_452)+eat_453)+eat_454)+eat_455)+eat_456)+eat_457)+eat_458)+eat_459)+eat_460)+eat_461)+eat_462)+eat_463)+eat_464)+eat_465)+eat_466)+eat_467)+eat_468)+eat_469)+eat_470)+eat_471)+eat_472)+eat_473)+eat_474)+eat_475)+eat_476)+eat_477)+eat_478)+eat_479)+eat_480)+eat_481)+eat_482)+eat_483)+eat_484)+eat_485)+eat_486)+eat_487)+eat_488)+eat_489)+eat_490)+eat_491)+eat_492)+eat_493)+eat_494)+eat_495)+eat_496)+eat_497)+eat_498)+eat_499)+eat_500)+eat_501)+eat_502)+eat_503)+eat_504)+eat_505)+eat_506)+eat_507)+eat_508)+eat_509)+eat_510)+eat_511)+eat_512)+eat_513)+eat_514)+eat_515)+eat_516)+eat_517)+eat_518)+eat_519)+eat_520)+eat_521)+eat_522)+eat_523)+eat_524)+eat_525)+eat_526)+eat_527)+eat_528)+eat_529)+eat_530)+eat_531)+eat_532)+eat_533)+eat_534)+eat_535)+eat_536)+eat_537)+eat_538)+eat_539)+eat_540)+eat_541)+eat_542)+eat_543)+eat_544)+eat_545)+eat_546)+eat_547)+eat_548)+eat_549)+eat_550)+eat_551)+eat_552)+eat_553)+eat_554)+eat_555)+eat_556)+eat_557)+eat_558)+eat_559)+eat_560)+eat_561)+eat_562)+eat_563)+eat_564)+eat_565)+eat_566)+eat_567)+eat_568)+eat_569)+eat_570)+eat_571)+eat_572)+eat_573)+eat_574)+eat_575)+eat_576)+eat_577)+eat_578)+eat_579)+eat_580)+eat_581)+eat_582)+eat_583)+eat_584)+eat_585)+eat_586)+eat_587)+eat_588)+eat_589)+eat_590)+eat_591)+eat_592)+eat_593)+eat_594)+eat_595)+eat_596)+eat_597)+eat_598)+eat_599)+eat_600)+eat_601)+eat_602)+eat_603)+eat_604)+eat_605)+eat_606)+eat_607)+eat_608)+eat_609)+eat_610)+eat_611)+eat_612)+eat_613)+eat_614)+eat_615)+eat_616)+eat_617)+eat_618)+eat_619)+eat_620)+eat_621)+eat_622)+eat_623)+eat_624)+eat_625)+eat_626)+eat_627)+eat_628)+eat_629)+eat_630)+eat_631)+eat_632)+eat_633)+eat_634)+eat_635)+eat_636)+eat_637)+eat_638)+eat_639)+eat_640)+eat_641)+eat_642)+eat_643)+eat_644)+eat_645)+eat_646)+eat_647)+eat_648)+eat_649)+eat_650)+eat_651)+eat_652)+eat_653)+eat_654)+eat_655)+eat_656)+eat_657)+eat_658)+eat_659)+eat_660)+eat_661)+eat_662)+eat_663)+eat_664)+eat_665)+eat_666)+eat_667)+eat_668)+eat_669)+eat_670)+eat_671)+eat_672)+eat_673)+eat_674)+eat_675)+eat_676)+eat_677)+eat_678)+eat_679)+eat_680)+eat_681)+eat_682)+eat_683)+eat_684)+eat_685)+eat_686)+eat_687)+eat_688)+eat_689)+eat_690)+eat_691)+eat_692)+eat_693)+eat_694)+eat_695)+eat_696)+eat_697)+eat_698)+eat_699)+eat_700)+eat_701)+eat_702)+eat_703)+eat_704)+eat_705)+eat_706)+eat_707)+eat_708)+eat_709)+eat_710)+eat_711)+eat_712)+eat_713)+eat_714)+eat_715)+eat_716)+eat_717)+eat_718)+eat_719)+eat_720)+eat_721)+eat_722)+eat_723)+eat_724)+eat_725)+eat_726)+eat_727)+eat_728)+eat_729)+eat_730)+eat_731)+eat_732)+eat_733)+eat_734)+eat_735)+eat_736)+eat_737)+eat_738)+eat_739)+eat_740)+eat_741)+eat_742)+eat_743)+eat_744)+eat_745)+eat_746)+eat_747)+eat_748)+eat_749)+eat_750)+eat_751)+eat_752)+eat_753)+eat_754)+eat_755)+eat_756)+eat_757)+eat_758)+eat_759)+eat_760)+eat_761)+eat_762)+eat_763)+eat_764)+eat_765)+eat_766)+eat_767)+eat_768)+eat_769)+eat_770)+eat_771)+eat_772)+eat_773)+eat_774)+eat_775)+eat_776)+eat_777)+eat_778)+eat_779)+eat_780)+eat_781)+eat_782)+eat_783)+eat_784)+eat_785)+eat_786)+eat_787)+eat_788)+eat_789)+eat_790)+eat_791)+eat_792)+eat_793)+eat_794)+eat_795)+eat_796)+eat_797)+eat_798)+eat_799)+eat_800)+eat_801)+eat_802)+eat_803)+eat_804)+eat_805)+eat_806)+eat_807)+eat_808)+eat_809)+eat_810)+eat_811)+eat_812)+eat_813)+eat_814)+eat_815)+eat_816)+eat_817)+eat_818)+eat_819)+eat_820)+eat_821)+eat_822)+eat_823)+eat_824)+eat_825)+eat_826)+eat_827)+eat_828)+eat_829)+eat_830)+eat_831)+eat_832)+eat_833)+eat_834)+eat_835)+eat_836)+eat_837)+eat_838)+eat_839)+eat_840)+eat_841)+eat_842)+eat_843)+eat_844)+eat_845)+eat_846)+eat_847)+eat_848)+eat_849)+eat_850)+eat_851)+eat_852)+eat_853)+eat_854)+eat_855)+eat_856)+eat_857)+eat_858)+eat_859)+eat_860)+eat_861)+eat_862)+eat_863)+eat_864)+eat_865)+eat_866)+eat_867)+eat_868)+eat_869)+eat_870)+eat_871)+eat_872)+eat_873)+eat_874)+eat_875)+eat_876)+eat_877)+eat_878)+eat_879)+eat_880)+eat_881)+eat_882)+eat_883)+eat_884)+eat_885)+eat_886)+eat_887)+eat_888)+eat_889)+eat_890)+eat_891)+eat_892)+eat_893)+eat_894)+eat_895)+eat_896)+eat_897)+eat_898)+eat_899)+eat_900)+eat_901)+eat_902)+eat_903)+eat_904)+eat_905)+eat_906)+eat_907)+eat_908)+eat_909)+eat_910)+eat_911)+eat_912)+eat_913)+eat_914)+eat_915)+eat_916)+eat_917)+eat_918)+eat_919)+eat_920)+eat_921)+eat_922)+eat_923)+eat_924)+eat_925)+eat_926)+eat_927)+eat_928)+eat_929)+eat_930)+eat_931)+eat_932)+eat_933)+eat_934)+eat_935)+eat_936)+eat_937)+eat_938)+eat_939)+eat_940)+eat_941)+eat_942)+eat_943)+eat_944)+eat_945)+eat_946)+eat_947)+eat_948)+eat_949)+eat_950)+eat_951)+eat_952)+eat_953)+eat_954)+eat_955)+eat_956)+eat_957)+eat_958)+eat_959)+eat_960)+eat_961)+eat_962)+eat_963)+eat_964)+eat_965)+eat_966)+eat_967)+eat_968)+eat_969)+eat_970)+eat_971)+eat_972)+eat_973)+eat_974)+eat_975)+eat_976)+eat_977)+eat_978)+eat_979)+eat_980)+eat_981)+eat_982)+eat_983)+eat_984)+eat_985)+eat_986)+eat_987)+eat_988)+eat_989)+eat_990)+eat_991)+eat_992)+eat_993)+eat_994)+eat_995)+eat_996)+eat_997)+eat_998)+eat_999)<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((catch2_0+catch2_1)+catch2_2)+catch2_3)+catch2_4)+catch2_5)+catch2_6)+catch2_7)+catch2_8)+catch2_9)+catch2_10)+catch2_11)+catch2_12)+catch2_13)+catch2_14)+catch2_15)+catch2_16)+catch2_17)+catch2_18)+catch2_19)+catch2_20)+catch2_21)+catch2_22)+catch2_23)+catch2_24)+catch2_25)+catch2_26)+catch2_27)+catch2_28)+catch2_29)+catch2_30)+catch2_31)+catch2_32)+catch2_33)+catch2_34)+catch2_35)+catch2_36)+catch2_37)+catch2_38)+catch2_39)+catch2_40)+catch2_41)+catch2_42)+catch2_43)+catch2_44)+catch2_45)+catch2_46)+catch2_47)+catch2_48)+catch2_49)+catch2_50)+catch2_51)+catch2_52)+catch2_53)+catch2_54)+catch2_55)+catch2_56)+catch2_57)+catch2_58)+catch2_59)+catch2_60)+catch2_61)+catch2_62)+catch2_63)+catch2_64)+catch2_65)+catch2_66)+catch2_67)+catch2_68)+catch2_69)+catch2_70)+catch2_71)+catch2_72)+catch2_73)+catch2_74)+catch2_75)+catch2_76)+catch2_77)+catch2_78)+catch2_79)+catch2_80)+catch2_81)+catch2_82)+catch2_83)+catch2_84)+catch2_85)+catch2_86)+catch2_87)+catch2_88)+catch2_89)+catch2_90)+catch2_91)+catch2_92)+catch2_93)+catch2_94)+catch2_95)+catch2_96)+catch2_97)+catch2_98)+catch2_99)+catch2_100)+catch2_101)+catch2_102)+catch2_103)+catch2_104)+catch2_105)+catch2_106)+catch2_107)+catch2_108)+catch2_109)+catch2_110)+catch2_111)+catch2_112)+catch2_113)+catch2_114)+catch2_115)+catch2_116)+catch2_117)+catch2_118)+catch2_119)+catch2_120)+catch2_121)+catch2_122)+catch2_123)+catch2_124)+catch2_125)+catch2_126)+catch2_127)+catch2_128)+catch2_129)+catch2_130)+catch2_131)+catch2_132)+catch2_133)+catch2_134)+catch2_135)+catch2_136)+catch2_137)+catch2_138)+catch2_139)+catch2_140)+catch2_141)+catch2_142)+catch2_143)+catch2_144)+catch2_145)+catch2_146)+catch2_147)+catch2_148)+catch2_149)+catch2_150)+catch2_151)+catch2_152)+catch2_153)+catch2_154)+catch2_155)+catch2_156)+catch2_157)+catch2_158)+catch2_159)+catch2_160)+catch2_161)+catch2_162)+catch2_163)+catch2_164)+catch2_165)+catch2_166)+catch2_167)+catch2_168)+catch2_169)+catch2_170)+catch2_171)+catch2_172)+catch2_173)+catch2_174)+catch2_175)+catch2_176)+catch2_177)+catch2_178)+catch2_179)+catch2_180)+catch2_181)+catch2_182)+catch2_183)+catch2_184)+catch2_185)+catch2_186)+catch2_187)+catch2_188)+catch2_189)+catch2_190)+catch2_191)+catch2_192)+catch2_193)+catch2_194)+catch2_195)+catch2_196)+catch2_197)+catch2_198)+catch2_199)+catch2_200)+catch2_201)+catch2_202)+catch2_203)+catch2_204)+catch2_205)+catch2_206)+catch2_207)+catch2_208)+catch2_209)+catch2_210)+catch2_211)+catch2_212)+catch2_213)+catch2_214)+catch2_215)+catch2_216)+catch2_217)+catch2_218)+catch2_219)+catch2_220)+catch2_221)+catch2_222)+catch2_223)+catch2_224)+catch2_225)+catch2_226)+catch2_227)+catch2_228)+catch2_229)+catch2_230)+catch2_231)+catch2_232)+catch2_233)+catch2_234)+catch2_235)+catch2_236)+catch2_237)+catch2_238)+catch2_239)+catch2_240)+catch2_241)+catch2_242)+catch2_243)+catch2_244)+catch2_245)+catch2_246)+catch2_247)+catch2_248)+catch2_249)+catch2_250)+catch2_251)+catch2_252)+catch2_253)+catch2_254)+catch2_255)+catch2_256)+catch2_257)+catch2_258)+catch2_259)+catch2_260)+catch2_261)+catch2_262)+catch2_263)+catch2_264)+catch2_265)+catch2_266)+catch2_267)+catch2_268)+catch2_269)+catch2_270)+catch2_271)+catch2_272)+catch2_273)+catch2_274)+catch2_275)+catch2_276)+catch2_277)+catch2_278)+catch2_279)+catch2_280)+catch2_281)+catch2_282)+catch2_283)+catch2_284)+catch2_285)+catch2_286)+catch2_287)+catch2_288)+catch2_289)+catch2_290)+catch2_291)+catch2_292)+catch2_293)+catch2_294)+catch2_295)+catch2_296)+catch2_297)+catch2_298)+catch2_299)+catch2_300)+catch2_301)+catch2_302)+catch2_303)+catch2_304)+catch2_305)+catch2_306)+catch2_307)+catch2_308)+catch2_309)+catch2_310)+catch2_311)+catch2_312)+catch2_313)+catch2_314)+catch2_315)+catch2_316)+catch2_317)+catch2_318)+catch2_319)+catch2_320)+catch2_321)+catch2_322)+catch2_323)+catch2_324)+catch2_325)+catch2_326)+catch2_327)+catch2_328)+catch2_329)+catch2_330)+catch2_331)+catch2_332)+catch2_333)+catch2_334)+catch2_335)+catch2_336)+catch2_337)+catch2_338)+catch2_339)+catch2_340)+catch2_341)+catch2_342)+catch2_343)+catch2_344)+catch2_345)+catch2_346)+catch2_347)+catch2_348)+catch2_349)+catch2_350)+catch2_351)+catch2_352)+catch2_353)+catch2_354)+catch2_355)+catch2_356)+catch2_357)+catch2_358)+catch2_359)+catch2_360)+catch2_361)+catch2_362)+catch2_363)+catch2_364)+catch2_365)+catch2_366)+catch2_367)+catch2_368)+catch2_369)+catch2_370)+catch2_371)+catch2_372)+catch2_373)+catch2_374)+catch2_375)+catch2_376)+catch2_377)+catch2_378)+catch2_379)+catch2_380)+catch2_381)+catch2_382)+catch2_383)+catch2_384)+catch2_385)+catch2_386)+catch2_387)+catch2_388)+catch2_389)+catch2_390)+catch2_391)+catch2_392)+catch2_393)+catch2_394)+catch2_395)+catch2_396)+catch2_397)+catch2_398)+catch2_399)+catch2_400)+catch2_401)+catch2_402)+catch2_403)+catch2_404)+catch2_405)+catch2_406)+catch2_407)+catch2_408)+catch2_409)+catch2_410)+catch2_411)+catch2_412)+catch2_413)+catch2_414)+catch2_415)+catch2_416)+catch2_417)+catch2_418)+catch2_419)+catch2_420)+catch2_421)+catch2_422)+catch2_423)+catch2_424)+catch2_425)+catch2_426)+catch2_427)+catch2_428)+catch2_429)+catch2_430)+catch2_431)+catch2_432)+catch2_433)+catch2_434)+catch2_435)+catch2_436)+catch2_437)+catch2_438)+catch2_439)+catch2_440)+catch2_441)+catch2_442)+catch2_443)+catch2_444)+catch2_445)+catch2_446)+catch2_447)+catch2_448)+catch2_449)+catch2_450)+catch2_451)+catch2_452)+catch2_453)+catch2_454)+catch2_455)+catch2_456)+catch2_457)+catch2_458)+catch2_459)+catch2_460)+catch2_461)+catch2_462)+catch2_463)+catch2_464)+catch2_465)+catch2_466)+catch2_467)+catch2_468)+catch2_469)+catch2_470)+catch2_471)+catch2_472)+catch2_473)+catch2_474)+catch2_475)+catch2_476)+catch2_477)+catch2_478)+catch2_479)+catch2_480)+catch2_481)+catch2_482)+catch2_483)+catch2_484)+catch2_485)+catch2_486)+catch2_487)+catch2_488)+catch2_489)+catch2_490)+catch2_491)+catch2_492)+catch2_493)+catch2_494)+catch2_495)+catch2_496)+catch2_497)+catch2_498)+catch2_499)+catch2_500)+catch2_501)+catch2_502)+catch2_503)+catch2_504)+catch2_505)+catch2_506)+catch2_507)+catch2_508)+catch2_509)+catch2_510)+catch2_511)+catch2_512)+catch2_513)+catch2_514)+catch2_515)+catch2_516)+catch2_517)+catch2_518)+catch2_519)+catch2_520)+catch2_521)+catch2_522)+catch2_523)+catch2_524)+catch2_525)+catch2_526)+catch2_527)+catch2_528)+catch2_529)+catch2_530)+catch2_531)+catch2_532)+catch2_533)+catch2_534)+catch2_535)+catch2_536)+catch2_537)+catch2_538)+catch2_539)+catch2_540)+catch2_541)+catch2_542)+catch2_543)+catch2_544)+catch2_545)+catch2_546)+catch2_547)+catch2_548)+catch2_549)+catch2_550)+catch2_551)+catch2_552)+catch2_553)+catch2_554)+catch2_555)+catch2_556)+catch2_557)+catch2_558)+catch2_559)+catch2_560)+catch2_561)+catch2_562)+catch2_563)+catch2_564)+catch2_565)+catch2_566)+catch2_567)+catch2_568)+catch2_569)+catch2_570)+catch2_571)+catch2_572)+catch2_573)+catch2_574)+catch2_575)+catch2_576)+catch2_577)+catch2_578)+catch2_579)+catch2_580)+catch2_581)+catch2_582)+catch2_583)+catch2_584)+catch2_585)+catch2_586)+catch2_587)+catch2_588)+catch2_589)+catch2_590)+catch2_591)+catch2_592)+catch2_593)+catch2_594)+catch2_595)+catch2_596)+catch2_597)+catch2_598)+catch2_599)+catch2_600)+catch2_601)+catch2_602)+catch2_603)+catch2_604)+catch2_605)+catch2_606)+catch2_607)+catch2_608)+catch2_609)+catch2_610)+catch2_611)+catch2_612)+catch2_613)+catch2_614)+catch2_615)+catch2_616)+catch2_617)+catch2_618)+catch2_619)+catch2_620)+catch2_621)+catch2_622)+catch2_623)+catch2_624)+catch2_625)+catch2_626)+catch2_627)+catch2_628)+catch2_629)+catch2_630)+catch2_631)+catch2_632)+catch2_633)+catch2_634)+catch2_635)+catch2_636)+catch2_637)+catch2_638)+catch2_639)+catch2_640)+catch2_641)+catch2_642)+catch2_643)+catch2_644)+catch2_645)+catch2_646)+catch2_647)+catch2_648)+catch2_649)+catch2_650)+catch2_651)+catch2_652)+catch2_653)+catch2_654)+catch2_655)+catch2_656)+catch2_657)+catch2_658)+catch2_659)+catch2_660)+catch2_661)+catch2_662)+catch2_663)+catch2_664)+catch2_665)+catch2_666)+catch2_667)+catch2_668)+catch2_669)+catch2_670)+catch2_671)+catch2_672)+catch2_673)+catch2_674)+catch2_675)+catch2_676)+catch2_677)+catch2_678)+catch2_679)+catch2_680)+catch2_681)+catch2_682)+catch2_683)+catch2_684)+catch2_685)+catch2_686)+catch2_687)+catch2_688)+catch2_689)+catch2_690)+catch2_691)+catch2_692)+catch2_693)+catch2_694)+catch2_695)+catch2_696)+catch2_697)+catch2_698)+catch2_699)+catch2_700)+catch2_701)+catch2_702)+catch2_703)+catch2_704)+catch2_705)+catch2_706)+catch2_707)+catch2_708)+catch2_709)+catch2_710)+catch2_711)+catch2_712)+catch2_713)+catch2_714)+catch2_715)+catch2_716)+catch2_717)+catch2_718)+catch2_719)+catch2_720)+catch2_721)+catch2_722)+catch2_723)+catch2_724)+catch2_725)+catch2_726)+catch2_727)+catch2_728)+catch2_729)+catch2_730)+catch2_731)+catch2_732)+catch2_733)+catch2_734)+catch2_735)+catch2_736)+catch2_737)+catch2_738)+catch2_739)+catch2_740)+catch2_741)+catch2_742)+catch2_743)+catch2_744)+catch2_745)+catch2_746)+catch2_747)+catch2_748)+catch2_749)+catch2_750)+catch2_751)+catch2_752)+catch2_753)+catch2_754)+catch2_755)+catch2_756)+catch2_757)+catch2_758)+catch2_759)+catch2_760)+catch2_761)+catch2_762)+catch2_763)+catch2_764)+catch2_765)+catch2_766)+catch2_767)+catch2_768)+catch2_769)+catch2_770)+catch2_771)+catch2_772)+catch2_773)+catch2_774)+catch2_775)+catch2_776)+catch2_777)+catch2_778)+catch2_779)+catch2_780)+catch2_781)+catch2_782)+catch2_783)+catch2_784)+catch2_785)+catch2_786)+catch2_787)+catch2_788)+catch2_789)+catch2_790)+catch2_791)+catch2_792)+catch2_793)+catch2_794)+catch2_795)+catch2_796)+catch2_797)+catch2_798)+catch2_799)+catch2_800)+catch2_801)+catch2_802)+catch2_803)+catch2_804)+catch2_805)+catch2_806)+catch2_807)+catch2_808)+catch2_809)+catch2_810)+catch2_811)+catch2_812)+catch2_813)+catch2_814)+catch2_815)+catch2_816)+catch2_817)+catch2_818)+catch2_819)+catch2_820)+catch2_821)+catch2_822)+catch2_823)+catch2_824)+catch2_825)+catch2_826)+catch2_827)+catch2_828)+catch2_829)+catch2_830)+catch2_831)+catch2_832)+catch2_833)+catch2_834)+catch2_835)+catch2_836)+catch2_837)+catch2_838)+catch2_839)+catch2_840)+catch2_841)+catch2_842)+catch2_843)+catch2_844)+catch2_845)+catch2_846)+catch2_847)+catch2_848)+catch2_849)+catch2_850)+catch2_851)+catch2_852)+catch2_853)+catch2_854)+catch2_855)+catch2_856)+catch2_857)+catch2_858)+catch2_859)+catch2_860)+catch2_861)+catch2_862)+catch2_863)+catch2_864)+catch2_865)+catch2_866)+catch2_867)+catch2_868)+catch2_869)+catch2_870)+catch2_871)+catch2_872)+catch2_873)+catch2_874)+catch2_875)+catch2_876)+catch2_877)+catch2_878)+catch2_879)+catch2_880)+catch2_881)+catch2_882)+catch2_883)+catch2_884)+catch2_885)+catch2_886)+catch2_887)+catch2_888)+catch2_889)+catch2_890)+catch2_891)+catch2_892)+catch2_893)+catch2_894)+catch2_895)+catch2_896)+catch2_897)+catch2_898)+catch2_899)+catch2_900)+catch2_901)+catch2_902)+catch2_903)+catch2_904)+catch2_905)+catch2_906)+catch2_907)+catch2_908)+catch2_909)+catch2_910)+catch2_911)+catch2_912)+catch2_913)+catch2_914)+catch2_915)+catch2_916)+catch2_917)+catch2_918)+catch2_919)+catch2_920)+catch2_921)+catch2_922)+catch2_923)+catch2_924)+catch2_925)+catch2_926)+catch2_927)+catch2_928)+catch2_929)+catch2_930)+catch2_931)+catch2_932)+catch2_933)+catch2_934)+catch2_935)+catch2_936)+catch2_937)+catch2_938)+catch2_939)+catch2_940)+catch2_941)+catch2_942)+catch2_943)+catch2_944)+catch2_945)+catch2_946)+catch2_947)+catch2_948)+catch2_949)+catch2_950)+catch2_951)+catch2_952)+catch2_953)+catch2_954)+catch2_955)+catch2_956)+catch2_957)+catch2_958)+catch2_959)+catch2_960)+catch2_961)+catch2_962)+catch2_963)+catch2_964)+catch2_965)+catch2_966)+catch2_967)+catch2_968)+catch2_969)+catch2_970)+catch2_971)+catch2_972)+catch2_973)+catch2_974)+catch2_975)+catch2_976)+catch2_977)+catch2_978)+catch2_979)+catch2_980)+catch2_981)+catch2_982)+catch2_983)+catch2_984)+catch2_985)+catch2_986)+catch2_987)+catch2_988)+catch2_989)+catch2_990)+catch2_991)+catch2_992)+catch2_993)+catch2_994)+catch2_995)+catch2_996)+catch2_997)+catch2_998)+catch2_999))"
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
Computing Next relation with stutter on 2 deadlock states
Detected timeout of ITS tools.

BK_STOP 1589783560474

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Philosophers-COL-001000"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is Philosophers-COL-001000, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-tajo-158961389800057"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;