Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r110-oct2-155272242600283.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is Philosophers-PT-001000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r110-oct2-155272242600283
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 400K Feb 12 05:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Feb 12 05:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 301K Feb 8 04:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Feb 8 04:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 183K Feb 5 00:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 560K Feb 5 00:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 141K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 604K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 718K Feb 4 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.5M Feb 4 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 460K Feb 1 03:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.1M Feb 1 03:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 101K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 259K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 4.1M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1553050501695

info: Time: 3600 - MCC
===========================================================================================
prep: translating Philosophers-PT-001000 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating Philosophers-PT-001000 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ Philosophers-PT-001000 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 10000/65536 symbol table entries, 772 collisions
lola: preprocessing...
lola: Size of bit vector: 160000
lola: finding significant places
lola: 5000 places, 5000 transitions, 3000 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 7000 transition conflict sets
lola: TASK
lola: reading formula from Philosophers-PT-001000-UpperBounds.task
lola: MAX(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_1000 + 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_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + 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_999 + Catch2_998 + Catch2_997 + Catch2_996 + Catch2_995 + Catch2_994 + Catch2_993 + Catch2_992 + Catch2_991 + Catch2_990 + Catch2_989 + Catch2_988 + Catch2_987 + Catch2_986 + Catch2_985 + Catch2_984 + Catch2_983 + Catch2_982 + Catch2_981 + Catch2_980 + 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) : MAX(Catch1_500 + Catch1_501 + Catch1_502 + Catch1_503 + Catch1_504 + Catch1_505 + Catch1_506 + Catch1_507 + Catch1_508 + Catch1_509 + Catch1_510 + Catch1_511 + Catch1_512 + Catch1_513 + Catch1_514 + Catch1_515 + Catch1_516 + Catch1_517 + Catch1_518 + Catch1_519 + Catch1_520 + Catch1_521 + Catch1_522 + Catch1_523 + Catch1_524 + Catch1_525 + Catch1_526 + Catch1_527 + Catch1_528 + Catch1_529 + Catch1_530 + Catch1_531 + Catch1_532 + Catch1_533 + Catch1_534 + Catch1_535 + Catch1_536 + Catch1_537 + Catch1_538 + Catch1_539 + Catch1_540 + Catch1_541 + Catch1_542 + Catch1_543 + Catch1_544 + Catch1_545 + Catch1_546 + Catch1_547 + Catch1_548 + Catch1_549 + Catch1_550 + Catch1_551 + Catch1_552 + Catch1_553 + Catch1_554 + Catch1_555 + Catch1_556 + Catch1_557 + Catch1_558 + Catch1_559 + Catch1_560 + Catch1_561 + Catch1_562 + Catch1_563 + Catch1_564 + Catch1_565 + Catch1_566 + Catch1_567 + Catch1_568 + Catch1_569 + Catch1_570 + Catch1_571 + Catch1_572 + Catch1_573 + Catch1_574 + Catch1_575 + Catch1_576 + Catch1_577 + Catch1_578 + Catch1_579 + Catch1_580 + Catch1_581 + Catch1_582 + Catch1_583 + Catch1_584 + Catch1_585 + Catch1_586 + Catch1_587 + Catch1_588 + Catch1_589 + Catch1_590 + Catch1_591 + Catch1_592 + Catch1_593 + Catch1_594 + Catch1_595 + Catch1_596 + Catch1_597 + Catch1_598 + Catch1_599 + Catch1_600 + Catch1_601 + Catch1_602 + Catch1_603 + Catch1_604 + Catch1_605 + Catch1_606 + Catch1_607 + Catch1_608 + Catch1_609 + Catch1_610 + Catch1_611 + Catch1_612 + Catch1_613 + Catch1_614 + Catch1_615 + Catch1_616 + Catch1_617 + Catch1_618 + Catch1_619 + Catch1_620 + Catch1_621 + Catch1_622 + Catch1_623 + Catch1_624 + Catch1_625 + Catch1_626 + Catch1_627 + Catch1_628 + Catch1_629 + Catch1_630 + Catch1_631 + Catch1_632 + Catch1_633 + Catch1_634 + Catch1_635 + Catch1_636 + Catch1_637 + Catch1_638 + Catch1_639 + Catch1_640 + Catch1_641 + Catch1_642 + Catch1_643 + Catch1_644 + Catch1_645 + Catch1_646 + Catch1_647 + Catch1_648 + Catch1_649 + Catch1_650 + Catch1_651 + Catch1_652 + Catch1_653 + Catch1_654 + Catch1_655 + Catch1_656 + Catch1_657 + Catch1_658 + Catch1_659 + Catch1_660 + Catch1_661 + Catch1_662 + Catch1_663 + Catch1_664 + Catch1_665 + Catch1_666 + Catch1_667 + Catch1_668 + Catch1_669 + Catch1_670 + Catch1_671 + Catch1_672 + Catch1_673 + Catch1_674 + Catch1_675 + Catch1_676 + Catch1_677 + Catch1_678 + Catch1_679 + Catch1_680 + Catch1_681 + Catch1_682 + Catch1_683 + Catch1_684 + Catch1_685 + Catch1_686 + Catch1_687 + Catch1_688 + Catch1_689 + Catch1_690 + Catch1_691 + Catch1_692 + Catch1_693 + Catch1_694 + Catch1_695 + Catch1_696 + Catch1_697 + Catch1_698 + Catch1_699 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50 + Catch1_51 + Catch1_52 + Catch1_53 + Catch1_54 + Catch1_55 + Catch1_56 + Catch1_57 + Catch1_58 + Catch1_59 + Catch1_60 + Catch1_61 + Catch1_62 + Catch1_63 + Catch1_64 + Catch1_65 + Catch1_66 + Catch1_67 + Catch1_68 + Catch1_69 + Catch1_70 + Catch1_71 + Catch1_72 + Catch1_73 + Catch1_74 + Catch1_75 + Catch1_76 + Catch1_77 + Catch1_78 + Catch1_79 + Catch1_80 + Catch1_81 + Catch1_82 + Catch1_83 + Catch1_84 + Catch1_85 + Catch1_86 + Catch1_87 + Catch1_88 + Catch1_89 + Catch1_90 + Catch1_91 + Catch1_92 + Catch1_93 + Catch1_94 + Catch1_95 + Catch1_96 + Catch1_97 + Catch1_98 + Catch1_99 + Catch1_700 + Catch1_701 + Catch1_702 + Catch1_703 + Catch1_704 + Catch1_705 + Catch1_706 + Catch1_707 + Catch1_708 + Catch1_709 + Catch1_710 + Catch1_711 + Catch1_712 + Catch1_713 + Catch1_714 + Catch1_715 + Catch1_716 + Catch1_717 + Catch1_718 + Catch1_719 + Catch1_720 + Catch1_721 + Catch1_722 + Catch1_723 + Catch1_724 + Catch1_725 + Catch1_726 + Catch1_727 + Catch1_728 + Catch1_729 + Catch1_730 + Catch1_731 + Catch1_732 + Catch1_733 + Catch1_734 + Catch1_735 + Catch1_736 + Catch1_737 + Catch1_738 + Catch1_739 + Catch1_740 + Catch1_741 + Catch1_742 + Catch1_743 + Catch1_744 + Catch1_745 + Catch1_746 + Catch1_747 + Catch1_748 + Catch1_749 + Catch1_750 + Catch1_751 + Catch1_752 + Catch1_753 + Catch1_754 + Catch1_755 + Catch1_756 + Catch1_757 + Catch1_758 + Catch1_759 + Catch1_760 + Catch1_761 + Catch1_762 + Catch1_763 + Catch1_764 + Catch1_765 + Catch1_766 + Catch1_767 + Catch1_768 + Catch1_769 + Catch1_770 + Catch1_771 + Catch1_772 + Catch1_773 + Catch1_774 + Catch1_775 + Catch1_776 + Catch1_777 + Catch1_778 + Catch1_779 + Catch1_780 + Catch1_781 + Catch1_782 + Catch1_783 + Catch1_784 + Catch1_785 + Catch1_786 + Catch1_787 + Catch1_788 + Catch1_789 + Catch1_790 + Catch1_791 + Catch1_792 + Catch1_793 + Catch1_794 + Catch1_795 + Catch1_796 + Catch1_797 + Catch1_798 + Catch1_799 + Catch1_800 + Catch1_801 + Catch1_802 + Catch1_803 + Catch1_804 + Catch1_805 + Catch1_806 + Catch1_807 + Catch1_808 + Catch1_809 + Catch1_810 + Catch1_811 + Catch1_812 + Catch1_813 + Catch1_814 + Catch1_815 + Catch1_816 + Catch1_817 + Catch1_818 + Catch1_819 + Catch1_820 + Catch1_821 + Catch1_822 + Catch1_823 + Catch1_824 + Catch1_825 + Catch1_826 + Catch1_827 + Catch1_828 + Catch1_829 + Catch1_830 + Catch1_831 + Catch1_832 + Catch1_833 + Catch1_834 + Catch1_835 + Catch1_836 + Catch1_837 + Catch1_838 + Catch1_839 + Catch1_840 + Catch1_841 + Catch1_842 + Catch1_843 + Catch1_844 + Catch1_845 + Catch1_846 + Catch1_847 + Catch1_848 + Catch1_849 + Catch1_850 + Catch1_851 + Catch1_852 + Catch1_853 + Catch1_854 + Catch1_855 + Catch1_856 + Catch1_857 + Catch1_858 + Catch1_859 + Catch1_860 + Catch1_861 + Catch1_862 + Catch1_863 + Catch1_864 + Catch1_865 + Catch1_866 + Catch1_867 + Catch1_868 + Catch1_869 + Catch1_870 + Catch1_871 + Catch1_872 + Catch1_873 + Catch1_874 + Catch1_875 + Catch1_876 + Catch1_877 + Catch1_878 + Catch1_879 + Catch1_880 + Catch1_881 + Catch1_882 + Catch1_883 + Catch1_884 + Catch1_885 + Catch1_886 + Catch1_887 + Catch1_888 + Catch1_889 + Catch1_890 + Catch1_891 + Catch1_892 + Catch1_893 + Catch1_894 + Catch1_895 + Catch1_896 + Catch1_897 + Catch1_898 + Catch1_899 + Catch1_900 + Catch1_901 + Catch1_902 + Catch1_903 + Catch1_904 + Catch1_905 + Catch1_906 + Catch1_907 + Catch1_908 + Catch1_909 + Catch1_910 + Catch1_911 + Catch1_912 + Catch1_913 + Catch1_914 + Catch1_915 + Catch1_916 + Catch1_917 + Catch1_918 + Catch1_919 + Catch1_920 + Catch1_921 + Catch1_922 + Catch1_923 + Catch1_924 + Catch1_925 + Catch1_926 + Catch1_927 + Catch1_928 + Catch1_929 + Catch1_930 + Catch1_931 + Catch1_932 + Catch1_933 + Catch1_934 + Catch1_935 + Catch1_936 + Catch1_937 + Catch1_938 + Catch1_939 + Catch1_940 + Catch1_941 + Catch1_942 + Catch1_943 + Catch1_944 + Catch1_945 + Catch1_946 + Catch1_947 + Catch1_948 + Catch1_949 + Catch1_950 + Catch1_951 + Catch1_952 + Catch1_953 + Catch1_954 + Catch1_955 + Catch1_956 + Catch1_957 + Catch1_958 + Catch1_959 + Catch1_960 + Catch1_961 + Catch1_962 + Catch1_963 + Catch1_964 + Catch1_965 + Catch1_966 + Catch1_967 + Catch1_968 + Catch1_969 + Catch1_970 + Catch1_971 + Catch1_972 + Catch1_973 + Catch1_974 + Catch1_975 + Catch1_976 + Catch1_977 + Catch1_978 + Catch1_979 + Catch1_980 + Catch1_981 + Catch1_982 + Catch1_983 + Catch1_984 + Catch1_985 + Catch1_986 + Catch1_987 + Catch1_988 + Catch1_989 + Catch1_990 + Catch1_991 + Catch1_992 + Catch1_993 + Catch1_994 + Catch1_995 + Catch1_996 + Catch1_997 + Catch1_998 + Catch1_999 + Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_100 + Catch1_101 + Catch1_102 + Catch1_103 + Catch1_104 + Catch1_105 + Catch1_106 + Catch1_107 + Catch1_108 + Catch1_109 + Catch1_110 + Catch1_111 + Catch1_112 + Catch1_113 + Catch1_114 + Catch1_115 + Catch1_116 + Catch1_117 + Catch1_118 + Catch1_119 + Catch1_120 + Catch1_121 + Catch1_122 + Catch1_123 + Catch1_124 + Catch1_125 + Catch1_126 + Catch1_127 + Catch1_128 + Catch1_129 + Catch1_130 + Catch1_131 + Catch1_132 + Catch1_133 + Catch1_134 + Catch1_135 + Catch1_136 + Catch1_137 + Catch1_138 + Catch1_139 + Catch1_140 + Catch1_141 + Catch1_142 + Catch1_143 + Catch1_144 + Catch1_145 + Catch1_146 + Catch1_147 + Catch1_148 + Catch1_149 + Catch1_150 + Catch1_151 + Catch1_152 + Catch1_153 + Catch1_154 + Catch1_155 + Catch1_156 + Catch1_157 + Catch1_158 + Catch1_159 + Catch1_160 + Catch1_161 + Catch1_162 + Catch1_163 + Catch1_164 + Catch1_165 + Catch1_166 + Catch1_167 + Catch1_168 + Catch1_169 + Catch1_170 + Catch1_171 + Catch1_172 + Catch1_173 + Catch1_174 + Catch1_175 + Catch1_176 + Catch1_177 + Catch1_178 + Catch1_179 + Catch1_180 + Catch1_181 + Catch1_182 + Catch1_183 + Catch1_184 + Catch1_185 + Catch1_186 + Catch1_187 + Catch1_188 + Catch1_189 + Catch1_190 + Catch1_191 + Catch1_192 + Catch1_193 + Catch1_194 + Catch1_195 + Catch1_196 + Catch1_197 + Catch1_198 + Catch1_199 + Catch1_200 + Catch1_201 + Catch1_202 + Catch1_203 + Catch1_204 + Catch1_205 + Catch1_206 + Catch1_207 + Catch1_208 + Catch1_209 + Catch1_210 + Catch1_211 + Catch1_212 + Catch1_213 + Catch1_214 + Catch1_215 + Catch1_216 + Catch1_217 + Catch1_218 + Catch1_219 + Catch1_220 + Catch1_221 + Catch1_222 + Catch1_223 + Catch1_224 + Catch1_225 + Catch1_226 + Catch1_227 + Catch1_228 + Catch1_229 + Catch1_230 + Catch1_231 + Catch1_232 + Catch1_233 + Catch1_234 + Catch1_235 + Catch1_236 + Catch1_237 + Catch1_238 + Catch1_239 + Catch1_240 + Catch1_241 + Catch1_242 + Catch1_243 + Catch1_244 + Catch1_245 + Catch1_246 + Catch1_247 + Catch1_248 + Catch1_249 + Catch1_250 + Catch1_251 + Catch1_252 + Catch1_253 + Catch1_254 + Catch1_255 + Catch1_256 + Catch1_257 + Catch1_258 + Catch1_259 + Catch1_260 + Catch1_261 + Catch1_262 + Catch1_263 + Catch1_264 + Catch1_265 + Catch1_266 + Catch1_267 + Catch1_268 + Catch1_269 + Catch1_270 + Catch1_271 + Catch1_272 + Catch1_273 + Catch1_274 + Catch1_275 + Catch1_276 + Catch1_277 + Catch1_278 + Catch1_279 + Catch1_280 + Catch1_281 + Catch1_282 + Catch1_283 + Catch1_284 + Catch1_285 + Catch1_286 + Catch1_287 + Catch1_288 + Catch1_289 + Catch1_290 + Catch1_291 + Catch1_292 + Catch1_293 + Catch1_294 + Catch1_295 + Catch1_296 + Catch1_297 + Catch1_298 + Catch1_299 + Catch1_1000 + Catch1_300 + Catch1_301 + Catch1_302 + Catch1_303 + Catch1_304 + Catch1_305 + Catch1_306 + Catch1_307 + Catch1_308 + Catch1_309 + Catch1_310 + Catch1_311 + Catch1_312 + Catch1_313 + Catch1_314 + Catch1_315 + Catch1_316 + Catch1_317 + Catch1_318 + Catch1_319 + Catch1_320 + Catch1_321 + Catch1_322 + Catch1_323 + Catch1_324 + Catch1_325 + Catch1_326 + Catch1_327 + Catch1_328 + Catch1_329 + Catch1_330 + Catch1_331 + Catch1_332 + Catch1_333 + Catch1_334 + Catch1_335 + Catch1_336 + Catch1_337 + Catch1_338 + Catch1_339 + Catch1_340 + Catch1_341 + Catch1_342 + Catch1_343 + Catch1_344 + Catch1_345 + Catch1_346 + Catch1_347 + Catch1_348 + Catch1_349 + Catch1_350 + Catch1_351 + Catch1_352 + Catch1_353 + Catch1_354 + Catch1_355 + Catch1_356 + Catch1_357 + Catch1_358 + Catch1_359 + Catch1_360 + Catch1_361 + Catch1_362 + Catch1_363 + Catch1_364 + Catch1_365 + Catch1_366 + Catch1_367 + Catch1_368 + Catch1_369 + Catch1_370 + Catch1_371 + Catch1_372 + Catch1_373 + Catch1_374 + Catch1_375 + Catch1_376 + Catch1_377 + Catch1_378 + Catch1_379 + Catch1_380 + Catch1_381 + Catch1_382 + Catch1_383 + Catch1_384 + Catch1_385 + Catch1_386 + Catch1_387 + Catch1_388 + Catch1_389 + Catch1_390 + Catch1_391 + Catch1_392 + Catch1_393 + Catch1_394 + Catch1_395 + Catch1_396 + Catch1_397 + Catch1_398 + Catch1_399 + Catch1_400 + Catch1_401 + Catch1_402 + Catch1_403 + Catch1_404 + Catch1_405 + Catch1_406 + Catch1_407 + Catch1_408 + Catch1_409 + Catch1_410 + Catch1_411 + Catch1_412 + Catch1_413 + Catch1_414 + Catch1_415 + Catch1_416 + Catch1_417 + Catch1_418 + Catch1_419 + Catch1_420 + Catch1_421 + Catch1_422 + Catch1_423 + Catch1_424 + Catch1_425 + Catch1_426 + Catch1_427 + Catch1_428 + Catch1_429 + Catch1_430 + Catch1_431 + Catch1_432 + Catch1_433 + Catch1_434 + Catch1_435 + Catch1_436 + Catch1_437 + Catch1_438 + Catch1_439 + Catch1_440 + Catch1_441 + Catch1_442 + Catch1_443 + Catch1_444 + Catch1_445 + Catch1_446 + Catch1_447 + Catch1_448 + Catch1_449 + Catch1_450 + Catch1_451 + Catch1_452 + Catch1_453 + Catch1_454 + Catch1_455 + Catch1_456 + Catch1_457 + Catch1_458 + Catch1_459 + Catch1_460 + Catch1_461 + Catch1_462 + Catch1_463 + Catch1_464 + Catch1_465 + Catch1_466 + Catch1_467 + Catch1_468 + Catch1_469 + Catch1_470 + Catch1_471 + Catch1_472 + Catch1_473 + Catch1_474 + Catch1_475 + Catch1_476 + Catch1_477 + Catch1_478 + Catch1_479 + Catch1_480 + Catch1_481 + Catch1_482 + Catch1_483 + Catch1_484 + Catch1_485 + Catch1_486 + Catch1_487 + Catch1_488 + Catch1_489 + Catch1_490 + Catch1_491 + Catch1_492 + Catch1_493 + Catch1_494 + Catch1_495 + Catch1_496 + Catch1_497 + Catch1_498 + Catch1_499) : MAX(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_1000 + 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_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + 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_999 + Catch2_998 + Catch2_997 + Catch2_996 + Catch2_995 + Catch2_994 + Catch2_993 + Catch2_992 + Catch2_991 + Catch2_990 + Catch2_989 + Catch2_988 + Catch2_987 + Catch2_986 + Catch2_985 + Catch2_984 + Catch2_983 + Catch2_982 + Catch2_981 + Catch2_980 + 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) : MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_107 + Fork_108 + Fork_109 + Fork_110 + Fork_111 + Fork_112 + Fork_113 + Fork_114 + Fork_115 + Fork_116 + Fork_117 + Fork_118 + Fork_119 + Fork_120 + Fork_121 + Fork_122 + Fork_123 + Fork_124 + Fork_125 + Fork_126 + Fork_127 + Fork_128 + Fork_129 + Fork_130 + Fork_131 + Fork_132 + Fork_133 + Fork_134 + Fork_135 + Fork_136 + Fork_137 + Fork_138 + Fork_139 + Fork_140 + Fork_141 + Fork_142 + Fork_143 + Fork_144 + Fork_145 + Fork_146 + Fork_147 + Fork_148 + Fork_149 + Fork_150 + Fork_151 + Fork_152 + Fork_153 + Fork_154 + Fork_155 + Fork_156 + Fork_157 + Fork_158 + Fork_159 + Fork_160 + Fork_161 + Fork_162 + Fork_163 + Fork_164 + Fork_165 + Fork_166 + Fork_167 + Fork_168 + Fork_169 + Fork_170 + Fork_171 + Fork_172 + Fork_173 + Fork_174 + Fork_175 + Fork_176 + Fork_177 + Fork_178 + Fork_179 + Fork_180 + Fork_181 + Fork_182 + Fork_183 + Fork_184 + Fork_185 + Fork_186 + Fork_187 + Fork_188 + Fork_189 + Fork_190 + Fork_191 + Fork_192 + Fork_193 + Fork_194 + Fork_195 + Fork_196 + Fork_197 + Fork_198 + Fork_199 + Fork_200 + Fork_201 + Fork_202 + Fork_203 + Fork_204 + Fork_205 + Fork_206 + Fork_207 + Fork_208 + Fork_209 + Fork_210 + Fork_211 + Fork_212 + Fork_213 + Fork_214 + Fork_215 + Fork_216 + Fork_217 + Fork_218 + Fork_219 + Fork_220 + Fork_221 + Fork_222 + Fork_223 + Fork_224 + Fork_225 + Fork_226 + Fork_227 + Fork_228 + Fork_229 + Fork_230 + Fork_231 + Fork_232 + Fork_233 + Fork_234 + Fork_235 + Fork_236 + Fork_237 + Fork_238 + Fork_239 + Fork_240 + Fork_241 + Fork_242 + Fork_243 + Fork_244 + Fork_245 + Fork_246 + Fork_247 + Fork_248 + Fork_249 + Fork_250 + Fork_251 + Fork_252 + Fork_253 + Fork_254 + Fork_255 + Fork_256 + Fork_257 + Fork_258 + Fork_259 + Fork_260 + Fork_261 + Fork_262 + Fork_263 + Fork_264 + Fork_265 + Fork_266 + Fork_267 + Fork_268 + Fork_269 + Fork_270 + Fork_271 + Fork_272 + Fork_273 + Fork_274 + Fork_275 + Fork_276 + Fork_277 + Fork_278 + Fork_279 + Fork_280 + Fork_281 + Fork_282 + Fork_283 + Fork_284 + Fork_285 + Fork_286 + Fork_287 + Fork_288 + Fork_289 + Fork_290 + Fork_291 + Fork_292 + Fork_293 + Fork_294 + Fork_295 + Fork_296 + Fork_297 + Fork_298 + Fork_299 + Fork_99 + Fork_300 + Fork_301 + Fork_302 + Fork_303 + Fork_304 + Fork_305 + Fork_306 + Fork_307 + Fork_308 + Fork_309 + Fork_310 + Fork_311 + Fork_312 + Fork_313 + Fork_314 + Fork_315 + Fork_316 + Fork_317 + Fork_318 + Fork_319 + Fork_320 + Fork_321 + Fork_322 + Fork_323 + Fork_324 + Fork_325 + Fork_326 + Fork_327 + Fork_328 + Fork_329 + Fork_330 + Fork_331 + Fork_332 + Fork_333 + Fork_334 + Fork_335 + Fork_336 + Fork_337 + Fork_338 + Fork_339 + Fork_340 + Fork_341 + Fork_342 + Fork_343 + Fork_344 + Fork_345 + Fork_346 + Fork_347 + Fork_348 + Fork_349 + Fork_350 + Fork_351 + Fork_352 + Fork_353 + Fork_354 + Fork_355 + Fork_356 + Fork_357 + Fork_358 + Fork_359 + Fork_360 + Fork_361 + Fork_362 + Fork_363 + Fork_364 + Fork_365 + Fork_366 + Fork_367 + Fork_368 + Fork_369 + Fork_370 + Fork_371 + Fork_372 + Fork_373 + Fork_374 + Fork_375 + Fork_376 + Fork_377 + Fork_378 + Fork_379 + Fork_380 + Fork_381 + Fork_382 + Fork_383 + Fork_384 + Fork_385 + Fork_386 + Fork_387 + Fork_388 + Fork_389 + Fork_390 + Fork_391 + Fork_392 + Fork_393 + Fork_394 + Fork_395 + Fork_396 + Fork_397 + Fork_398 + Fork_399 + Fork_98 + Fork_97 + Fork_96 + Fork_95 + Fork_94 + Fork_93 + Fork_92 + Fork_91 + Fork_90 + Fork_89 + Fork_88 + Fork_87 + Fork_86 + Fork_85 + Fork_84 + Fork_83 + Fork_82 + Fork_81 + Fork_80 + Fork_79 + Fork_78 + Fork_77 + Fork_76 + Fork_75 + Fork_74 + Fork_73 + Fork_72 + Fork_71 + Fork_70 + Fork_69 + Fork_68 + Fork_67 + Fork_66 + Fork_65 + Fork_64 + Fork_63 + Fork_62 + Fork_61 + Fork_60 + Fork_59 + Fork_58 + Fork_57 + Fork_56 + Fork_55 + Fork_54 + Fork_53 + Fork_52 + Fork_51 + Fork_50 + Fork_49 + Fork_48 + Fork_47 + Fork_46 + Fork_45 + Fork_44 + Fork_43 + Fork_42 + Fork_41 + Fork_40 + Fork_39 + Fork_38 + Fork_37 + Fork_36 + Fork_35 + Fork_34 + Fork_33 + Fork_32 + Fork_31 + Fork_30 + Fork_29 + Fork_28 + Fork_27 + Fork_26 + Fork_25 + Fork_24 + Fork_23 + Fork_22 + Fork_21 + Fork_20 + Fork_19 + Fork_18 + Fork_17 + Fork_16 + Fork_15 + Fork_14 + Fork_13 + Fork_12 + Fork_11 + Fork_10 + Fork_499 + Fork_498 + Fork_497 + Fork_496 + Fork_495 + Fork_494 + Fork_493 + Fork_492 + Fork_491 + Fork_490 + Fork_489 + Fork_488 + Fork_487 + Fork_486 + Fork_485 + Fork_484 + Fork_483 + Fork_482 + Fork_481 + Fork_480 + Fork_479 + Fork_478 + Fork_477 + Fork_476 + Fork_475 + Fork_474 + Fork_473 + Fork_472 + Fork_471 + Fork_470 + Fork_469 + Fork_400 + Fork_401 + Fork_402 + Fork_403 + Fork_404 + Fork_405 + Fork_406 + Fork_407 + Fork_408 + Fork_409 + Fork_410 + Fork_411 + Fork_412 + Fork_413 + Fork_414 + Fork_415 + Fork_416 + Fork_417 + Fork_418 + Fork_419 + Fork_420 + Fork_421 + Fork_422 + Fork_423 + Fork_424 + Fork_425 + Fork_426 + Fork_427 + Fork_428 + Fork_429 + Fork_430 + Fork_431 + Fork_432 + Fork_433 + Fork_434 + Fork_435 + Fork_436 + Fork_437 + Fork_438 + Fork_439 + Fork_440 + Fork_441 + Fork_442 + Fork_443 + Fork_444 + Fork_445 + Fork_446 + Fork_447 + Fork_448 + Fork_449 + Fork_450 + Fork_451 + Fork_452 + Fork_453 + Fork_454 + Fork_455 + Fork_456 + Fork_457 + Fork_458 + Fork_459 + Fork_460 + Fork_461 + Fork_462 + Fork_463 + Fork_464 + Fork_465 + Fork_466 + Fork_467 + Fork_468 + Fork_500 + Fork_501 + Fork_502 + Fork_503 + Fork_504 + Fork_505 + Fork_506 + Fork_507 + Fork_508 + Fork_509 + Fork_510 + Fork_511 + Fork_512 + Fork_513 + Fork_514 + Fork_515 + Fork_516 + Fork_517 + Fork_518 + Fork_519 + Fork_520 + Fork_521 + Fork_522 + Fork_523 + Fork_524 + Fork_525 + Fork_526 + Fork_527 + Fork_528 + Fork_529 + Fork_530 + Fork_531 + Fork_532 + Fork_533 + Fork_534 + Fork_535 + Fork_536 + Fork_537 + Fork_538 + Fork_539 + Fork_540 + Fork_541 + Fork_542 + Fork_543 + Fork_544 + Fork_545 + Fork_546 + Fork_547 + Fork_548 + Fork_549 + Fork_550 + Fork_551 + Fork_552 + Fork_553 + Fork_554 + Fork_555 + Fork_556 + Fork_557 + Fork_558 + Fork_559 + Fork_560 + Fork_561 + Fork_562 + Fork_563 + Fork_564 + Fork_565 + Fork_566 + Fork_567 + Fork_568 + Fork_569 + Fork_570 + Fork_571 + Fork_572 + Fork_573 + Fork_574 + Fork_575 + Fork_576 + Fork_577 + Fork_578 + Fork_579 + Fork_580 + Fork_581 + Fork_582 + Fork_583 + Fork_584 + Fork_585 + Fork_586 + Fork_587 + Fork_588 + Fork_589 + Fork_590 + Fork_591 + Fork_592 + Fork_593 + Fork_594 + Fork_595 + Fork_596 + Fork_597 + Fork_598 + Fork_599 + Fork_600 + Fork_601 + Fork_602 + Fork_603 + Fork_604 + Fork_605 + Fork_606 + Fork_607 + Fork_608 + Fork_609 + Fork_610 + Fork_611 + Fork_612 + Fork_613 + Fork_614 + Fork_615 + Fork_616 + Fork_617 + Fork_618 + Fork_619 + Fork_620 + Fork_621 + Fork_622 + Fork_623 + Fork_624 + Fork_625 + Fork_626 + Fork_627 + Fork_628 + Fork_629 + Fork_630 + Fork_631 + Fork_632 + Fork_633 + Fork_634 + Fork_635 + Fork_636 + Fork_637 + Fork_638 + Fork_639 + Fork_640 + Fork_641 + Fork_642 + Fork_643 + Fork_644 + Fork_645 + Fork_646 + Fork_647 + Fork_648 + Fork_649 + Fork_650 + Fork_651 + Fork_652 + Fork_653 + Fork_654 + Fork_655 + Fork_656 + Fork_657 + Fork_658 + Fork_659 + Fork_660 + Fork_661 + Fork_662 + Fork_663 + Fork_664 + Fork_665 + Fork_666 + Fork_667 + Fork_668 + Fork_669 + Fork_670 + Fork_671 + Fork_672 + Fork_673 + Fork_674 + Fork_675 + Fork_676 + Fork_677 + Fork_678 + Fork_679 + Fork_680 + Fork_681 + Fork_682 + Fork_683 + Fork_684 + Fork_685 + Fork_686 + Fork_687 + Fork_688 + Fork_689 + Fork_690 + Fork_691 + Fork_692 + Fork_693 + Fork_694 + Fork_695 + Fork_696 + Fork_697 + Fork_698 + Fork_699 + Fork_700 + Fork_701 + Fork_702 + Fork_703 + Fork_704 + Fork_705 + Fork_706 + Fork_707 + Fork_708 + Fork_709 + Fork_710 + Fork_711 + Fork_712 + Fork_713 + Fork_714 + Fork_715 + Fork_716 + Fork_717 + Fork_718 + Fork_719 + Fork_720 + Fork_721 + Fork_722 + Fork_723 + Fork_724 + Fork_725 + Fork_726 + Fork_727 + Fork_728 + Fork_729 + Fork_730 + Fork_731 + Fork_732 + Fork_733 + Fork_734 + Fork_735 + Fork_736 + Fork_737 + Fork_738 + Fork_739 + Fork_740 + Fork_741 + Fork_742 + Fork_743 + Fork_744 + Fork_745 + Fork_746 + Fork_747 + Fork_748 + Fork_749 + Fork_750 + Fork_751 + Fork_752 + Fork_753 + Fork_754 + Fork_755 + Fork_756 + Fork_757 + Fork_758 + Fork_759 + Fork_760 + Fork_761 + Fork_762 + Fork_763 + Fork_764 + Fork_765 + Fork_766 + Fork_767 + Fork_768 + Fork_769 + Fork_770 + Fork_771 + Fork_772 + Fork_773 + Fork_774 + Fork_775 + Fork_776 + Fork_777 + Fork_778 + Fork_779 + Fork_780 + Fork_781 + Fork_782 + Fork_783 + Fork_784 + Fork_785 + Fork_786 + Fork_787 + Fork_788 + Fork_789 + Fork_790 + Fork_791 + Fork_792 + Fork_793 + Fork_794 + Fork_795 + Fork_796 + Fork_797 + Fork_798 + Fork_799 + Fork_800 + Fork_801 + Fork_802 + Fork_803 + Fork_804 + Fork_805 + Fork_806 + Fork_807 + Fork_808 + Fork_809 + Fork_810 + Fork_811 + Fork_812 + Fork_813 + Fork_814 + Fork_815 + Fork_816 + Fork_817 + Fork_818 + Fork_819 + Fork_820 + Fork_821 + Fork_822 + Fork_823 + Fork_824 + Fork_825 + Fork_826 + Fork_827 + Fork_828 + Fork_829 + Fork_830 + Fork_831 + Fork_832 + Fork_833 + Fork_834 + Fork_835 + Fork_836 + Fork_837 + Fork_838 + Fork_839 + Fork_840 + Fork_841 + Fork_842 + Fork_843 + Fork_844 + Fork_845 + Fork_846 + Fork_847 + Fork_848 + Fork_849 + Fork_850 + Fork_851 + Fork_852 + Fork_853 + Fork_854 + Fork_855 + Fork_856 + Fork_857 + Fork_858 + Fork_859 + Fork_860 + Fork_861 + Fork_862 + Fork_863 + Fork_864 + Fork_865 + Fork_866 + Fork_867 + Fork_868 + Fork_869 + Fork_870 + Fork_871 + Fork_872 + Fork_873 + Fork_874 + Fork_875 + Fork_876 + Fork_877 + Fork_878 + Fork_879 + Fork_880 + Fork_881 + Fork_882 + Fork_883 + Fork_884 + Fork_885 + Fork_886 + Fork_887 + Fork_888 + Fork_889 + Fork_890 + Fork_891 + Fork_892 + Fork_893 + Fork_894 + Fork_895 + Fork_896 + Fork_897 + Fork_898 + Fork_899 + Fork_900 + Fork_901 + Fork_902 + Fork_903 + Fork_904 + Fork_905 + Fork_906 + Fork_907 + Fork_908 + Fork_909 + Fork_910 + Fork_911 + Fork_912 + Fork_913 + Fork_914 + Fork_915 + Fork_916 + Fork_917 + Fork_918 + Fork_919 + Fork_920 + Fork_921 + Fork_922 + Fork_923 + Fork_924 + Fork_925 + Fork_926 + Fork_927 + Fork_928 + Fork_929 + Fork_930 + Fork_931 + Fork_932 + Fork_933 + Fork_934 + Fork_935 + Fork_936 + Fork_937 + Fork_938 + Fork_939 + Fork_940 + Fork_941 + Fork_942 + Fork_943 + Fork_944 + Fork_945 + Fork_946 + Fork_947 + Fork_948 + Fork_949 + Fork_950 + Fork_951 + Fork_952 + Fork_953 + Fork_954 + Fork_955 + Fork_956 + Fork_957 + Fork_958 + Fork_959 + Fork_960 + Fork_961 + Fork_962 + Fork_963 + Fork_964 + Fork_965 + Fork_966 + Fork_967 + Fork_968 + Fork_969 + Fork_970 + Fork_971 + Fork_972 + Fork_973 + Fork_974 + Fork_975 + Fork_976 + Fork_977 + Fork_978 + Fork_979) : MAX(Think_1000 + Think_100 + Think_101 + Think_102 + Think_103 + Think_104 + Think_105 + Think_106 + Think_107 + Think_108 + Think_109 + Think_110 + Think_111 + Think_112 + Think_113 + Think_114 + Think_115 + Think_116 + Think_117 + Think_118 + Think_119 + Think_120 + Think_121 + Think_122 + Think_123 + Think_124 + Think_125 + Think_126 + Think_127 + Think_128 + Think_129 + Think_130 + Think_131 + Think_132 + Think_133 + Think_134 + Think_135 + Think_136 + Think_137 + Think_138 + Think_139 + Think_140 + Think_141 + Think_142 + Think_143 + Think_144 + Think_145 + Think_146 + Think_147 + Think_148 + Think_149 + Think_150 + Think_151 + Think_152 + Think_153 + Think_154 + Think_155 + Think_156 + Think_157 + Think_158 + Think_159 + Think_160 + Think_161 + Think_162 + Think_163 + Think_164 + Think_165 + Think_166 + Think_167 + Think_168 + Think_169 + Think_170 + Think_171 + Think_172 + Think_173 + Think_174 + Think_175 + Think_176 + Think_177 + Think_178 + Think_179 + Think_180 + Think_181 + Think_182 + Think_183 + Think_184 + Think_185 + Think_186 + Think_187 + Think_188 + Think_189 + Think_190 + Think_191 + Think_192 + Think_193 + Think_194 + Think_195 + Think_196 + Think_197 + Think_198 + Think_199 + Think_200 + Think_201 + Think_202 + Think_203 + Think_204 + Think_205 + Think_206 + Think_207 + Think_208 + Think_209 + Think_210 + Think_211 + Think_212 + Think_213 + Think_214 + Think_215 + Think_216 + Think_217 + Think_218 + Think_219 + Think_220 + Think_221 + Think_222 + Think_223 + Think_224 + Think_225 + Think_226 + Think_227 + Think_228 + Think_229 + Think_230 + Think_231 + Think_232 + Think_233 + Think_234 + Think_235 + Think_236 + Think_237 + Think_238 + Think_239 + Think_240 + Think_241 + Think_242 + Think_243 + Think_244 + Think_245 + Think_246 + Think_247 + Think_248 + Think_249 + Think_250 + Think_251 + Think_252 + Think_253 + Think_254 + Think_255 + Think_256 + Think_257 + Think_258 + Think_259 + Think_260 + Think_261 + Think_262 + Think_263 + Think_264 + Think_265 + Think_266 + Think_267 + Think_268 + Think_269 + Think_270 + Think_271 + Think_272 + Think_273 + Think_274 + Think_275 + Think_276 + Think_277 + Think_278 + Think_279 + Think_280 + Think_281 + Think_282 + Think_283 + Think_284 + Think_285 + Think_286 + Think_287 + Think_288 + Think_289 + Think_290 + Think_291 + Think_292 + Think_293 + Think_294 + Think_295 + Think_296 + Think_297 + Think_298 + Think_299 + Think_300 + Think_301 + Think_302 + Think_303 + Think_304 + Think_305 + Think_306 + Think_307 + Think_308 + Think_309 + Think_310 + Think_311 + Think_312 + Think_313 + Think_314 + Think_315 + Think_316 + Think_317 + Think_318 + Think_319 + Think_320 + Think_321 + Think_322 + Think_323 + Think_324 + Think_325 + Think_326 + Think_327 + Think_328 + Think_329 + Think_330 + Think_331 + Think_332 + Think_333 + Think_334 + Think_335 + Think_336 + Think_337 + Think_338 + Think_339 + Think_340 + Think_341 + Think_342 + Think_343 + Think_344 + Think_345 + Think_346 + Think_347 + Think_348 + Think_349 + Think_350 + Think_351 + Think_352 + Think_353 + Think_354 + Think_355 + Think_356 + Think_357 + Think_358 + Think_359 + Think_360 + Think_361 + Think_362 + Think_363 + Think_364 + Think_365 + Think_366 + Think_367 + Think_368 + Think_369 + Think_370 + Think_371 + Think_372 + Think_373 + Think_374 + Think_375 + Think_376 + Think_377 + Think_378 + Think_379 + Think_380 + Think_381 + Think_382 + Think_383 + Think_384 + Think_385 + Think_386 + Think_387 + Think_388 + Think_389 + Think_390 + Think_391 + Think_392 + Think_393 + Think_394 + Think_395 + Think_396 + Think_397 + Think_398 + Think_399 + Think_400 + Think_401 + Think_402 + Think_403 + Think_404 + Think_405 + Think_406 + Think_407 + Think_408 + Think_409 + Think_410 + Think_411 + Think_412 + Think_413 + Think_414 + Think_415 + Think_416 + Think_417 + Think_418 + Think_419 + Think_420 + Think_421 + Think_422 + Think_423 + Think_424 + Think_425 + Think_426 + Think_427 + Think_428 + Think_429 + Think_430 + Think_431 + Think_432 + Think_433 + Think_434 + Think_435 + Think_436 + Think_437 + Think_438 + Think_439 + Think_440 + Think_441 + Think_442 + Think_443 + Think_444 + Think_445 + Think_446 + Think_447 + Think_448 + Think_449 + Think_450 + Think_451 + Think_452 + Think_453 + Think_454 + Think_455 + Think_456 + Think_457 + Think_458 + Think_459 + Think_460 + Think_461 + Think_462 + Think_463 + Think_464 + Think_465 + Think_466 + Think_467 + Think_468 + Think_469 + Think_470 + Think_471 + Think_472 + Think_473 + Think_474 + Think_475 + Think_476 + Think_477 + Think_478 + Think_479 + Think_480 + Think_481 + Think_482 + Think_483 + Think_484 + Think_485 + Think_486 + Think_487 + Think_488 + Think_489 + Think_490 + Think_491 + Think_492 + Think_493 + Think_494 + Think_495 + Think_496 + Think_497 + Think_498 + Think_499 + Think_500 + Think_501 + Think_502 + Think_503 + Think_504 + Think_505 + Think_506 + Think_507 + Think_508 + Think_509 + Think_510 + Think_511 + Think_512 + Think_513 + Think_514 + Think_515 + Think_516 + Think_517 + Think_518 + Think_519 + Think_520 + Think_521 + Think_522 + Think_523 + Think_524 + Think_525 + Think_526 + Think_527 + Think_528 + Think_529 + Think_530 + Think_531 + Think_532 + Think_533 + Think_534 + Think_535 + Think_536 + Think_537 + Think_538 + Think_539 + Think_540 + Think_541 + Think_542 + Think_543 + Think_544 + Think_545 + Think_546 + Think_547 + Think_548 + Think_549 + Think_550 + Think_551 + Think_552 + Think_553 + Think_554 + Think_555 + Think_556 + Think_557 + Think_558 + Think_559 + Think_560 + Think_561 + Think_562 + Think_563 + Think_564 + Think_565 + Think_566 + Think_567 + Think_568 + Think_569 + Think_570 + Think_571 + Think_572 + Think_573 + Think_574 + Think_575 + Think_576 + Think_577 + Think_578 + Think_579 + Think_580 + Think_581 + Think_582 + Think_583 + Think_584 + Think_585 + Think_586 + Think_587 + Think_588 + Think_589 + Think_590 + Think_591 + Think_592 + Think_593 + Think_594 + Think_595 + Think_596 + Think_597 + Think_598 + Think_599 + Think_600 + Think_601 + Think_602 + Think_603 + Think_604 + Think_605 + Think_606 + Think_607 + Think_608 + Think_609 + Think_610 + Think_611 + Think_612 + Think_613 + Think_614 + Think_615 + Think_616 + Think_617 + Think_618 + Think_619 + Think_620 + Think_621 + Think_622 + Think_623 + Think_624 + Think_625 + Think_626 + Think_627 + Think_628 + Think_629 + Think_630 + Think_631 + Think_632 + Think_633 + Think_634 + Think_635 + Think_636 + Think_637 + Think_638 + Think_639 + Think_640 + Think_641 + Think_642 + Think_643 + Think_644 + Think_645 + Think_646 + Think_647 + Think_648 + Think_649 + Think_650 + Think_651 + Think_652 + Think_653 + Think_654 + Think_655 + Think_656 + Think_657 + Think_658 + Think_659 + Think_660 + Think_661 + Think_662 + Think_663 + Think_664 + Think_665 + Think_666 + Think_667 + Think_668 + Think_669 + Think_670 + Think_671 + Think_672 + Think_673 + Think_674 + Think_675 + Think_676 + Think_677 + Think_678 + Think_679 + Think_680 + Think_681 + Think_682 + Think_683 + Think_684 + Think_685 + Think_686 + Think_687 + Think_688 + Think_689 + Think_690 + Think_691 + Think_692 + Think_693 + Think_694 + Think_695 + Think_696 + Think_697 + Think_698 + Think_699 + Think_700 + Think_701 + Think_702 + Think_703 + Think_704 + Think_705 + Think_706 + Think_707 + Think_708 + Think_709 + Think_710 + Think_711 + Think_712 + Think_713 + Think_714 + Think_715 + Think_716 + Think_717 + Think_718 + Think_719 + Think_720 + Think_721 + Think_722 + Think_723 + Think_724 + Think_725 + Think_726 + Think_727 + Think_728 + Think_729 + Think_730 + Think_731 + Think_732 + Think_733 + Think_734 + Think_735 + Think_736 + Think_737 + Think_738 + Think_739 + Think_740 + Think_741 + Think_742 + Think_743 + Think_744 + Think_745 + Think_746 + Think_747 + Think_748 + Think_749 + Think_750 + Think_751 + Think_752 + Think_753 + Think_754 + Think_755 + Think_756 + Think_757 + Think_758 + Think_759 + Think_760 + Think_761 + Think_762 + Think_763 + Think_764 + Think_765 + Think_766 + Think_767 + Think_768 + Think_769 + Think_770 + Think_771 + Think_772 + Think_773 + Think_774 + Think_775 + Think_776 + Think_777 + Think_778 + Think_779 + Think_780 + Think_781 + Think_782 + Think_783 + Think_784 + Think_785 + Think_786 + Think_787 + Think_788 + Think_789 + Think_790 + Think_791 + Think_792 + Think_793 + Think_794 + Think_795 + Think_796 + Think_797 + Think_798 + Think_799 + Think_800 + Think_801 + Think_802 + Think_803 + Think_804 + Think_805 + Think_806 + Think_807 + Think_808 + Think_809 + Think_810 + Think_811 + Think_812 + Think_813 + Think_814 + Think_815 + Think_816 + Think_817 + Think_818 + Think_819 + Think_820 + Think_821 + Think_822 + Think_823 + Think_824 + Think_825 + Think_826 + Think_827 + Think_828 + Think_829 + Think_830 + Think_831 + Think_832 + Think_833 + Think_834 + Think_835 + Think_836 + Think_837 + Think_838 + Think_839 + Think_840 + Think_841 + Think_842 + Think_843 + Think_844 + Think_845 + Think_846 + Think_847 + Think_848 + Think_849 + Think_850 + Think_851 + Think_852 + Think_853 + Think_854 + Think_855 + Think_856 + Think_857 + Think_858 + Think_859 + Think_860 + Think_861 + Think_862 + Think_863 + Think_864 + Think_865 + Think_866 + Think_867 + Think_868 + Think_869 + Think_870 + Think_871 + Think_872 + Think_873 + Think_874 + Think_875 + Think_876 + Think_877 + Think_878 + Think_879 + Think_880 + Think_881 + Think_882 + Think_883 + Think_884 + Think_885 + Think_886 + Think_887 + Think_888 + Think_889 + Think_890 + Think_891 + Think_892 + Think_893 + Think_894 + Think_895 + Think_896 + Think_897 + Think_898 + Think_899 + Think_900 + Think_901 + Think_902 + Think_903 + Think_904 + Think_905 + Think_906 + Think_907 + Think_908 + Think_909 + Think_910 + Think_911 + Think_912 + Think_913 + Think_914 + Think_915 + Think_916 + Think_917 + Think_918 + Think_919 + Think_920 + Think_921 + Think_922 + Think_923 + Think_924 + Think_925 + Think_926 + Think_927 + Think_928 + Think_929 + Think_930 + Think_931 + Think_932 + Think_933 + Think_934 + Think_935 + Think_936 + Think_937 + Think_938 + Think_939 + Think_940 + Think_941 + Think_942 + Think_943 + Think_944 + Think_945 + Think_946 + Think_947 + Think_948 + Think_949 + Think_950 + Think_951 + Think_952 + Think_953 + Think_954 + Think_955 + Think_956 + Think_957 + Think_958 + Think_959 + Think_960 + Think_961 + Think_962 + Think_963 + Think_964 + Think_965 + Think_966 + Think_967 + Think_968 + Think_969 + Think_970 + Think_971 + Think_972 + Think_973 + Think_974 + Think_975 + Think_976 + Think_977 + Think_978 + Think_979 + Think_980 + Think_981 + Think_982 + Think_983 + Think_984 + Think_985 + Think_986 + Think_987 + Think_988 + Think_989 + Think_990 + Think_991 + Think_992 + Think_993 + Think_994 + Think_995 + Think_996 + Think_997 + Think_998 + Think_999 + Think_10 + Think_11 + Think_12 + Think_13 + Think_14 + Think_15 + Think_16 + Think_17 + Think_18 + Think_19 + Think_20 + Think_21 + Think_22 + Think_23 + Think_24 + Think_25 + Think_26 + Think_27 + Think_28 + Think_29 + Think_30 + Think_31 + Think_32 + Think_33 + Think_34 + Think_35 + Think_36 + Think_37 + Think_38 + Think_39 + Think_40 + Think_41 + Think_42 + Think_43 + Think_44 + Think_45 + Think_46 + Think_47 + Think_48 + Think_49 + Think_50 + Think_51 + Think_52 + Think_53 + Think_54 + Think_55 + Think_56 + Think_57 + Think_58 + Think_59 + Think_60 + Think_61 + Think_62 + Think_63 + Think_64 + Think_65 + Think_66 + Think_67 + Think_68 + Think_69 + Think_70 + Think_71 + Think_72 + Think_73 + Think_74 + Think_75 + Think_76 + Think_77 + Think_78 + Think_79 + Think_80 + Think_81 + Think_82 + Think_83 + Think_84 + Think_85 + Think_86 + Think_87 + Think_88 + Think_89 + Think_90 + Think_91 + Think_92 + Think_93 + Think_94 + Think_95 + Think_96 + Think_97 + Think_98 + Think_99 + Think_1 + Think_2 + Think_3 + Think_4 + Think_5 + Think_6 + Think_7 + Think_8 + Think_9) : MAX(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 + Eat_1000 + 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_199 + Eat_198 + Eat_197 + Eat_196 + Eat_195 + Eat_194 + Eat_193 + Eat_192 + Eat_191 + Eat_190 + Eat_189 + Eat_188 + Eat_187 + Eat_186 + Eat_185 + Eat_184 + Eat_183 + Eat_182 + Eat_181 + Eat_180 + Eat_179 + Eat_178 + Eat_177 + Eat_176 + Eat_175 + Eat_174 + Eat_173 + Eat_172 + Eat_171 + Eat_170 + Eat_169 + 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_168 + Eat_167 + Eat_166 + Eat_165 + Eat_164 + Eat_163 + Eat_162 + Eat_161 + Eat_160 + Eat_159 + Eat_158 + Eat_157 + Eat_156 + Eat_155 + Eat_154 + Eat_153 + Eat_152 + Eat_151 + Eat_150 + Eat_149 + Eat_148 + Eat_147 + Eat_146 + Eat_145 + Eat_144 + Eat_143 + Eat_142 + Eat_141 + Eat_140 + Eat_139 + Eat_138 + Eat_137 + Eat_136 + Eat_135 + Eat_134 + Eat_133 + Eat_132 + Eat_131 + Eat_130 + Eat_129 + Eat_128 + Eat_127 + Eat_126 + Eat_125 + Eat_124 + Eat_123 + Eat_122 + Eat_121 + Eat_120 + Eat_119 + Eat_118 + Eat_117 + Eat_116 + Eat_115 + Eat_114 + Eat_113 + Eat_112 + Eat_111 + Eat_110 + Eat_109 + Eat_108 + Eat_107 + Eat_106 + Eat_105 + Eat_104 + Eat_103 + Eat_102 + Eat_101 + Eat_100 + 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_1 + Eat_2 + Eat_3 + Eat_4 + Eat_5 + Eat_6 + Eat_7 + Eat_8 + Eat_9 + 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) : MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_107 + Fork_108 + Fork_109 + Fork_110 + Fork_111 + Fork_112 + Fork_113 + Fork_114 + Fork_115 + Fork_116 + Fork_117 + Fork_118 + Fork_119 + Fork_120 + Fork_121 + Fork_122 + Fork_123 + Fork_124 + Fork_125 + Fork_126 + Fork_127 + Fork_128 + Fork_129 + Fork_130 + Fork_131 + Fork_132 + Fork_133 + Fork_134 + Fork_135 + Fork_136 + Fork_137 + Fork_138 + Fork_139 + Fork_140 + Fork_141 + Fork_142 + Fork_143 + Fork_144 + Fork_145 + Fork_146 + Fork_147 + Fork_148 + Fork_149 + Fork_150 + Fork_151 + Fork_152 + Fork_153 + Fork_154 + Fork_155 + Fork_156 + Fork_157 + Fork_158 + Fork_159 + Fork_160 + Fork_161 + Fork_162 + Fork_163 + Fork_164 + Fork_165 + Fork_166 + Fork_167 + Fork_168 + Fork_169 + Fork_170 + Fork_171 + Fork_172 + Fork_173 + Fork_174 + Fork_175 + Fork_176 + Fork_177 + Fork_178 + Fork_179 + Fork_180 + Fork_181 + Fork_182 + Fork_183 + Fork_184 + Fork_185 + Fork_186 + Fork_187 + Fork_188 + Fork_189 + Fork_190 + Fork_191 + Fork_192 + Fork_193 + Fork_194 + Fork_195 + Fork_196 + Fork_197 + Fork_198 + Fork_199 + Fork_200 + Fork_201 + Fork_202 + Fork_203 + Fork_204 + Fork_205 + Fork_206 + Fork_207 + Fork_208 + Fork_209 + Fork_210 + Fork_211 + Fork_212 + Fork_213 + Fork_214 + Fork_215 + Fork_216 + Fork_217 + Fork_218 + Fork_219 + Fork_220 + Fork_221 + Fork_222 + Fork_223 + Fork_224 + Fork_225 + Fork_226 + Fork_227 + Fork_228 + Fork_229 + Fork_230 + Fork_231 + Fork_232 + Fork_233 + Fork_234 + Fork_235 + Fork_236 + Fork_237 + Fork_238 + Fork_239 + Fork_240 + Fork_241 + Fork_242 + Fork_243 + Fork_244 + Fork_245 + Fork_246 + Fork_247 + Fork_248 + Fork_249 + Fork_250 + Fork_251 + Fork_252 + Fork_253 + Fork_254 + Fork_255 + Fork_256 + Fork_257 + Fork_258 + Fork_259 + Fork_260 + Fork_261 + Fork_262 + Fork_263 + Fork_264 + Fork_265 + Fork_266 + Fork_267 + Fork_268 + Fork_269 + Fork_270 + Fork_271 + Fork_272 + Fork_273 + Fork_274 + Fork_275 + Fork_276 + Fork_277 + Fork_278 + Fork_279 + Fork_280 + Fork_281 + Fork_282 + Fork_283 + Fork_284 + Fork_285 + Fork_286 + Fork_287 + Fork_288 + Fork_289 + Fork_290 + Fork_291 + Fork_292 + Fork_293 + Fork_294 + Fork_295 + Fork_296 + Fork_297 + Fork_298 + Fork_299 + Fork_99 + Fork_300 + Fork_301 + Fork_302 + Fork_303 + Fork_304 + Fork_305 + Fork_306 + Fork_307 + Fork_308 + Fork_309 + Fork_310 + Fork_311 + Fork_312 + Fork_313 + Fork_314 + Fork_315 + Fork_316 + Fork_317 + Fork_318 + Fork_319 + Fork_320 + Fork_321 + Fork_322 + Fork_323 + Fork_324 + Fork_325 + Fork_326 + Fork_327 + Fork_328 + Fork_329 + Fork_330 + Fork_331 + Fork_332 + Fork_333 + Fork_334 + Fork_335 + Fork_336 + Fork_337 + Fork_338 + Fork_339 + Fork_340 + Fork_341 + Fork_342 + Fork_343 + Fork_344 + Fork_345 + Fork_346 + Fork_347 + Fork_348 + Fork_349 + Fork_350 + Fork_351 + Fork_352 + Fork_353 + Fork_354 + Fork_355 + Fork_356 + Fork_357 + Fork_358 + Fork_359 + Fork_360 + Fork_361 + Fork_362 + Fork_363 + Fork_364 + Fork_365 + Fork_366 + Fork_367 + Fork_368 + Fork_369 + Fork_370 + Fork_371 + Fork_372 + Fork_373 + Fork_374 + Fork_375 + Fork_376 + Fork_377 + Fork_378 + Fork_379 + Fork_380 + Fork_381 + Fork_382 + Fork_383 + Fork_384 + Fork_385 + Fork_386 + Fork_387 + Fork_388 + Fork_389 + Fork_390 + Fork_391 + Fork_392 + Fork_393 + Fork_394 + Fork_395 + Fork_396 + Fork_397 + Fork_398 + Fork_399 + Fork_98 + Fork_97 + Fork_96 + Fork_95 + Fork_94 + Fork_93 + Fork_92 + Fork_91 + Fork_90 + Fork_89 + Fork_88 + Fork_87 + Fork_86 + Fork_85 + Fork_84 + Fork_83 + Fork_82 + Fork_81 + Fork_80 + Fork_79 + Fork_78 + Fork_77 + Fork_76 + Fork_75 + Fork_74 + Fork_73 + Fork_72 + Fork_71 + Fork_70 + Fork_69 + Fork_68 + Fork_67 + Fork_66 + Fork_65 + Fork_64 + Fork_63 + Fork_62 + Fork_61 + Fork_60 + Fork_59 + Fork_58 + Fork_57 + Fork_56 + Fork_55 + Fork_54 + Fork_53 + Fork_52 + Fork_51 + Fork_50 + Fork_49 + Fork_48 + Fork_47 + Fork_46 + Fork_45 + Fork_44 + Fork_43 + Fork_42 + Fork_41 + Fork_40 + Fork_39 + Fork_38 + Fork_37 + Fork_36 + Fork_35 + Fork_34 + Fork_33 + Fork_32 + Fork_31 + Fork_30 + Fork_29 + Fork_28 + Fork_27 + Fork_26 + Fork_25 + Fork_24 + Fork_23 + Fork_22 + Fork_21 + Fork_20 + Fork_19 + Fork_18 + Fork_17 + Fork_16 + Fork_15 + Fork_14 + Fork_13 + Fork_12 + Fork_11 + Fork_10 + Fork_499 + Fork_498 + Fork_497 + Fork_496 + Fork_495 + Fork_494 + Fork_493 + Fork_492 + Fork_491 + Fork_490 + Fork_489 + Fork_488 + Fork_487 + Fork_486 + Fork_485 + Fork_484 + Fork_483 + Fork_482 + Fork_481 + Fork_480 + Fork_479 + Fork_478 + Fork_477 + Fork_476 + Fork_475 + Fork_474 + Fork_473 + Fork_472 + Fork_471 + Fork_470 + Fork_469 + Fork_400 + Fork_401 + Fork_402 + Fork_403 + Fork_404 + Fork_405 + Fork_406 + Fork_407 + Fork_408 + Fork_409 + Fork_410 + Fork_411 + Fork_412 + Fork_413 + Fork_414 + Fork_415 + Fork_416 + Fork_417 + Fork_418 + Fork_419 + Fork_420 + Fork_421 + Fork_422 + Fork_423 + Fork_424 + Fork_425 + Fork_426 + Fork_427 + Fork_428 + Fork_429 + Fork_430 + Fork_431 + Fork_432 + Fork_433 + Fork_434 + Fork_435 + Fork_436 + Fork_437 + Fork_438 + Fork_439 + Fork_440 + Fork_441 + Fork_442 + Fork_443 + Fork_444 + Fork_445 + Fork_446 + Fork_447 + Fork_448 + Fork_449 + Fork_450 + Fork_451 + Fork_452 + Fork_453 + Fork_454 + Fork_455 + Fork_456 + Fork_457 + Fork_458 + Fork_459 + Fork_460 + Fork_461 + Fork_462 + Fork_463 + Fork_464 + Fork_465 + Fork_466 + Fork_467 + Fork_468 + Fork_500 + Fork_501 + Fork_502 + Fork_503 + Fork_504 + Fork_505 + Fork_506 + Fork_507 + Fork_508 + Fork_509 + Fork_510 + Fork_511 + Fork_512 + Fork_513 + Fork_514 + Fork_515 + Fork_516 + Fork_517 + Fork_518 + Fork_519 + Fork_520 + Fork_521 + Fork_522 + Fork_523 + Fork_524 + Fork_525 + Fork_526 + Fork_527 + Fork_528 + Fork_529 + Fork_530 + Fork_531 + Fork_532 + Fork_533 + Fork_534 + Fork_535 + Fork_536 + Fork_537 + Fork_538 + Fork_539 + Fork_540 + Fork_541 + Fork_542 + Fork_543 + Fork_544 + Fork_545 + Fork_546 + Fork_547 + Fork_548 + Fork_549 + Fork_550 + Fork_551 + Fork_552 + Fork_553 + Fork_554 + Fork_555 + Fork_556 + Fork_557 + Fork_558 + Fork_559 + Fork_560 + Fork_561 + Fork_562 + Fork_563 + Fork_564 + Fork_565 + Fork_566 + Fork_567 + Fork_568 + Fork_569 + Fork_570 + Fork_571 + Fork_572 + Fork_573 + Fork_574 + Fork_575 + Fork_576 + Fork_577 + Fork_578 + Fork_579 + Fork_580 + Fork_581 + Fork_582 + Fork_583 + Fork_584 + Fork_585 + Fork_586 + Fork_587 + Fork_588 + Fork_589 + Fork_590 + Fork_591 + Fork_592 + Fork_593 + Fork_594 + Fork_595 + Fork_596 + Fork_597 + Fork_598 + Fork_599 + Fork_600 + Fork_601 + Fork_602 + Fork_603 + Fork_604 + Fork_605 + Fork_606 + Fork_607 + Fork_608 + Fork_609 + Fork_610 + Fork_611 + Fork_612 + Fork_613 + Fork_614 + Fork_615 + Fork_616 + Fork_617 + Fork_618 + Fork_619 + Fork_620 + Fork_621 + Fork_622 + Fork_623 + Fork_624 + Fork_625 + Fork_626 + Fork_627 + Fork_628 + Fork_629 + Fork_630 + Fork_631 + Fork_632 + Fork_633 + Fork_634 + Fork_635 + Fork_636 + Fork_637 + Fork_638 + Fork_639 + Fork_640 + Fork_641 + Fork_642 + Fork_643 + Fork_644 + Fork_645 + Fork_646 + Fork_647 + Fork_648 + Fork_649 + Fork_650 + Fork_651 + Fork_652 + Fork_653 + Fork_654 + Fork_655 + Fork_656 + Fork_657 + Fork_658 + Fork_659 + Fork_660 + Fork_661 + Fork_662 + Fork_663 + Fork_664 + Fork_665 + Fork_666 + Fork_667 + Fork_668 + Fork_669 + Fork_670 + Fork_671 + Fork_672 + Fork_673 + Fork_674 + Fork_675 + Fork_676 + Fork_677 + Fork_678 + Fork_679 + Fork_680 + Fork_681 + Fork_682 + Fork_683 + Fork_684 + Fork_685 + Fork_686 + Fork_687 + Fork_688 + Fork_689 + Fork_690 + Fork_691 + Fork_692 + Fork_693 + Fork_694 + Fork_695 + Fork_696 + Fork_697 + Fork_698 + Fork_699 + Fork_700 + Fork_701 + Fork_702 + Fork_703 + Fork_704 + Fork_705 + Fork_706 + Fork_707 + Fork_708 + Fork_709 + Fork_710 + Fork_711 + Fork_712 + Fork_713 + Fork_714 + Fork_715 + Fork_716 + Fork_717 + Fork_718 + Fork_719 + Fork_720 + Fork_721 + Fork_722 + Fork_723 + Fork_724 + Fork_725 + Fork_726 + Fork_727 + Fork_728 + Fork_729 + Fork_730 + Fork_731 + Fork_732 + Fork_733 + Fork_734 + Fork_735 + Fork_736 + Fork_737 + Fork_738 + Fork_739 + Fork_740 + Fork_741 + Fork_742 + Fork_743 + Fork_744 + Fork_745 + Fork_746 + Fork_747 + Fork_748 + Fork_749 + Fork_750 + Fork_751 + Fork_752 + Fork_753 + Fork_754 + Fork_755 + Fork_756 + Fork_757 + Fork_758 + Fork_759 + Fork_760 + Fork_761 + Fork_762 + Fork_763 + Fork_764 + Fork_765 + Fork_766 + Fork_767 + Fork_768 + Fork_769 + Fork_770 + Fork_771 + Fork_772 + Fork_773 + Fork_774 + Fork_775 + Fork_776 + Fork_777 + Fork_778 + Fork_779 + Fork_780 + Fork_781 + Fork_782 + Fork_783 + Fork_784 + Fork_785 + Fork_786 + Fork_787 + Fork_788 + Fork_789 + Fork_790 + Fork_791 + Fork_792 + Fork_793 + Fork_794 + Fork_795 + Fork_796 + Fork_797 + Fork_798 + Fork_799 + Fork_800 + Fork_801 + Fork_802 + Fork_803 + Fork_804 + Fork_805 + Fork_806 + Fork_807 + Fork_808 + Fork_809 + Fork_810 + Fork_811 + Fork_812 + Fork_813 + Fork_814 + Fork_815 + Fork_816 + Fork_817 + Fork_818 + Fork_819 + Fork_820 + Fork_821 + Fork_822 + Fork_823 + Fork_824 + Fork_825 + Fork_826 + Fork_827 + Fork_828 + Fork_829 + Fork_830 + Fork_831 + Fork_832 + Fork_833 + Fork_834 + Fork_835 + Fork_836 + Fork_837 + Fork_838 + Fork_839 + Fork_840 + Fork_841 + Fork_842 + Fork_843 + Fork_844 + Fork_845 + Fork_846 + Fork_847 + Fork_848 + Fork_849 + Fork_850 + Fork_851 + Fork_852 + Fork_853 + Fork_854 + Fork_855 + Fork_856 + Fork_857 + Fork_858 + Fork_859 + Fork_860 + Fork_861 + Fork_862 + Fork_863 + Fork_864 + Fork_865 + Fork_866 + Fork_867 + Fork_868 + Fork_869 + Fork_870 + Fork_871 + Fork_872 + Fork_873 + Fork_874 + Fork_875 + Fork_876 + Fork_877 + Fork_878 + Fork_879 + Fork_880 + Fork_881 + Fork_882 + Fork_883 + Fork_884 + Fork_885 + Fork_886 + Fork_887 + Fork_888 + Fork_889 + Fork_890 + Fork_891 + Fork_892 + Fork_893 + Fork_894 + Fork_895 + Fork_896 + Fork_897 + Fork_898 + Fork_899 + Fork_900 + Fork_901 + Fork_902 + Fork_903 + Fork_904 + Fork_905 + Fork_906 + Fork_907 + Fork_908 + Fork_909 + Fork_910 + Fork_911 + Fork_912 + Fork_913 + Fork_914 + Fork_915 + Fork_916 + Fork_917 + Fork_918 + Fork_919 + Fork_920 + Fork_921 + Fork_922 + Fork_923 + Fork_924 + Fork_925 + Fork_926 + Fork_927 + Fork_928 + Fork_929 + Fork_930 + Fork_931 + Fork_932 + Fork_933 + Fork_934 + Fork_935 + Fork_936 + Fork_937 + Fork_938 + Fork_939 + Fork_940 + Fork_941 + Fork_942 + Fork_943 + Fork_944 + Fork_945 + Fork_946 + Fork_947 + Fork_948 + Fork_949 + Fork_950 + Fork_951 + Fork_952 + Fork_953 + Fork_954 + Fork_955 + Fork_956 + Fork_957 + Fork_958 + Fork_959 + Fork_960 + Fork_961 + Fork_962 + Fork_963 + Fork_964 + Fork_965 + Fork_966 + Fork_967 + Fork_968 + Fork_969 + Fork_970 + Fork_971 + Fork_972 + Fork_973 + Fork_974 + Fork_975 + Fork_976 + Fork_977 + Fork_978 + Fork_979) : MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_107 + Fork_108 + Fork_109 + Fork_110 + Fork_111 + Fork_112 + Fork_113 + Fork_114 + Fork_115 + Fork_116 + Fork_117 + Fork_118 + Fork_119 + Fork_120 + Fork_121 + Fork_122 + Fork_123 + Fork_124 + Fork_125 + Fork_126 + Fork_127 + Fork_128 + Fork_129 + Fork_130 + Fork_131 + Fork_132 + Fork_133 + Fork_134 + Fork_135 + Fork_136 + Fork_137 + Fork_138 + Fork_139 + Fork_140 + Fork_141 + Fork_142 + Fork_143 + Fork_144 + Fork_145 + Fork_146 + Fork_147 + Fork_148 + Fork_149 + Fork_150 + Fork_151 + Fork_152 + Fork_153 + Fork_154 + Fork_155 + Fork_156 + Fork_157 + Fork_158 + Fork_159 + Fork_160 + Fork_161 + Fork_162 + Fork_163 + Fork_164 + Fork_165 + Fork_166 + Fork_167 + Fork_168 + Fork_169 + Fork_170 + Fork_171 + Fork_172 + Fork_173 + Fork_174 + Fork_175 + Fork_176 + Fork_177 + Fork_178 + Fork_179 + Fork_180 + Fork_181 + Fork_182 + Fork_183 + Fork_184 + Fork_185 + Fork_186 + Fork_187 + Fork_188 + Fork_189 + Fork_190 + Fork_191 + Fork_192 + Fork_193 + Fork_194 + Fork_195 + Fork_196 + Fork_197 + Fork_198 + Fork_199 + Fork_200 + Fork_201 + Fork_202 + Fork_203 + Fork_204 + Fork_205 + Fork_206 + Fork_207 + Fork_208 + Fork_209 + Fork_210 + Fork_211 + Fork_212 + Fork_213 + Fork_214 + Fork_215 + Fork_216 + Fork_217 + Fork_218 + Fork_219 + Fork_220 + Fork_221 + Fork_222 + Fork_223 + Fork_224 + Fork_225 + Fork_226 + Fork_227 + Fork_228 + Fork_229 + Fork_230 + Fork_231 + Fork_232 + Fork_233 + Fork_234 + Fork_235 + Fork_236 + Fork_237 + Fork_238 + Fork_239 + Fork_240 + Fork_241 + Fork_242 + Fork_243 + Fork_244 + Fork_245 + Fork_246 + Fork_247 + Fork_248 + Fork_249 + Fork_250 + Fork_251 + Fork_252 + Fork_253 + Fork_254 + Fork_255 + Fork_256 + Fork_257 + Fork_258 + Fork_259 + Fork_260 + Fork_261 + Fork_262 + Fork_263 + Fork_264 + Fork_265 + Fork_266 + Fork_267 + Fork_268 + Fork_269 + Fork_270 + Fork_271 + Fork_272 + Fork_273 + Fork_274 + Fork_275 + Fork_276 + Fork_277 + Fork_278 + Fork_279 + Fork_280 + Fork_281 + Fork_282 + Fork_283 + Fork_284 + Fork_285 + Fork_286 + Fork_287 + Fork_288 + Fork_289 + Fork_290 + Fork_291 + Fork_292 + Fork_293 + Fork_294 + Fork_295 + Fork_296 + Fork_297 + Fork_298 + Fork_299 + Fork_99 + Fork_300 + Fork_301 + Fork_302 + Fork_303 + Fork_304 + Fork_305 + Fork_306 + Fork_307 + Fork_308 + Fork_309 + Fork_310 + Fork_311 + Fork_312 + Fork_313 + Fork_314 + Fork_315 + Fork_316 + Fork_317 + Fork_318 + Fork_319 + Fork_320 + Fork_321 + Fork_322 + Fork_323 + Fork_324 + Fork_325 + Fork_326 + Fork_327 + Fork_328 + Fork_329 + Fork_330 + Fork_331 + Fork_332 + Fork_333 + Fork_334 + Fork_335 + Fork_336 + Fork_337 + Fork_338 + Fork_339 + Fork_340 + Fork_341 + Fork_342 + Fork_343 + Fork_344 + Fork_345 + Fork_346 + Fork_347 + Fork_348 + Fork_349 + Fork_350 + Fork_351 + Fork_352 + Fork_353 + Fork_354 + Fork_355 + Fork_356 + Fork_357 + Fork_358 + Fork_359 + Fork_360 + Fork_361 + Fork_362 + Fork_363 + Fork_364 + Fork_365 + Fork_366 + Fork_367 + Fork_368 + Fork_369 + Fork_370 + Fork_371 + Fork_372 + Fork_373 + Fork_374 + Fork_375 + Fork_376 + Fork_377 + Fork_378 + Fork_379 + Fork_380 + Fork_381 + Fork_382 + Fork_383 + Fork_384 + Fork_385 + Fork_386 + Fork_387 + Fork_388 + Fork_389 + Fork_390 + Fork_391 + Fork_392 + Fork_393 + Fork_394 + Fork_395 + Fork_396 + Fork_397 + Fork_398 + Fork_399 + Fork_98 + Fork_97 + Fork_96 + Fork_95 + Fork_94 + Fork_93 + Fork_92 + Fork_91 + Fork_90 + Fork_89 + Fork_88 + Fork_87 + Fork_86 + Fork_85 + Fork_84 + Fork_83 + Fork_82 + Fork_81 + Fork_80 + Fork_79 + Fork_78 + Fork_77 + Fork_76 + Fork_75 + Fork_74 + Fork_73 + Fork_72 + Fork_71 + Fork_70 + Fork_69 + Fork_68 + Fork_67 + Fork_66 + Fork_65 + Fork_64 + Fork_63 + Fork_62 + Fork_61 + Fork_60 + Fork_59 + Fork_58 + Fork_57 + Fork_56 + Fork_55 + Fork_54 + Fork_53 + Fork_52 + Fork_51 + Fork_50 + Fork_49 + Fork_48 + Fork_47 + Fork_46 + Fork_45 + Fork_44 + Fork_43 + Fork_42 + Fork_41 + Fork_40 + Fork_39 + Fork_38 + Fork_37 + Fork_36 + Fork_35 + Fork_34 + Fork_33 + Fork_32 + Fork_31 + Fork_30 + Fork_29 + Fork_28 + Fork_27 + Fork_26 + Fork_25 + Fork_24 + Fork_23 + Fork_22 + Fork_21 + Fork_20 + Fork_19 + Fork_18 + Fork_17 + Fork_16 + Fork_15 + Fork_14 + Fork_13 + Fork_12 + Fork_11 + Fork_10 + Fork_499 + Fork_498 + Fork_497 + Fork_496 + Fork_495 + Fork_494 + Fork_493 + Fork_492 + Fork_491 + Fork_490 + Fork_489 + Fork_488 + Fork_487 + Fork_486 + Fork_485 + Fork_484 + Fork_483 + Fork_482 + Fork_481 + Fork_480 + Fork_479 + Fork_478 + Fork_477 + Fork_476 + Fork_475 + Fork_474 + Fork_473 + Fork_472 + Fork_471 + Fork_470 + Fork_469 + Fork_400 + Fork_401 + Fork_402 + Fork_403 + Fork_404 + Fork_405 + Fork_406 + Fork_407 + Fork_408 + Fork_409 + Fork_410 + Fork_411 + Fork_412 + Fork_413 + Fork_414 + Fork_415 + Fork_416 + Fork_417 + Fork_418 + Fork_419 + Fork_420 + Fork_421 + Fork_422 + Fork_423 + Fork_424 + Fork_425 + Fork_426 + Fork_427 + Fork_428 + Fork_429 + Fork_430 + Fork_431 + Fork_432 + Fork_433 + Fork_434 + Fork_435 + Fork_436 + Fork_437 + Fork_438 + Fork_439 + Fork_440 + Fork_441 + Fork_442 + Fork_443 + Fork_444 + Fork_445 + Fork_446 + Fork_447 + Fork_448 + Fork_449 + Fork_450 + Fork_451 + Fork_452 + Fork_453 + Fork_454 + Fork_455 + Fork_456 + Fork_457 + Fork_458 + Fork_459 + Fork_460 + Fork_461 + Fork_462 + Fork_463 + Fork_464 + Fork_465 + Fork_466 + Fork_467 + Fork_468 + Fork_500 + Fork_501 + Fork_502 + Fork_503 + Fork_504 + Fork_505 + Fork_506 + Fork_507 + Fork_508 + Fork_509 + Fork_510 + Fork_511 + Fork_512 + Fork_513 + Fork_514 + Fork_515 + Fork_516 + Fork_517 + Fork_518 + Fork_519 + Fork_520 + Fork_521 + Fork_522 + Fork_523 + Fork_524 + Fork_525 + Fork_526 + Fork_527 + Fork_528 + Fork_529 + Fork_530 + Fork_531 + Fork_532 + Fork_533 + Fork_534 + Fork_535 + Fork_536 + Fork_537 + Fork_538 + Fork_539 + Fork_540 + Fork_541 + Fork_542 + Fork_543 + Fork_544 + Fork_545 + Fork_546 + Fork_547 + Fork_548 + Fork_549 + Fork_550 + Fork_551 + Fork_552 + Fork_553 + Fork_554 + Fork_555 + Fork_556 + Fork_557 + Fork_558 + Fork_559 + Fork_560 + Fork_561 + Fork_562 + Fork_563 + Fork_564 + Fork_565 + Fork_566 + Fork_567 + Fork_568 + Fork_569 + Fork_570 + Fork_571 + Fork_572 + Fork_573 + Fork_574 + Fork_575 + Fork_576 + Fork_577 + Fork_578 + Fork_579 + Fork_580 + Fork_581 + Fork_582 + Fork_583 + Fork_584 + Fork_585 + Fork_586 + Fork_587 + Fork_588 + Fork_589 + Fork_590 + Fork_591 + Fork_592 + Fork_593 + Fork_594 + Fork_595 + Fork_596 + Fork_597 + Fork_598 + Fork_599 + Fork_600 + Fork_601 + Fork_602 + Fork_603 + Fork_604 + Fork_605 + Fork_606 + Fork_607 + Fork_608 + Fork_609 + Fork_610 + Fork_611 + Fork_612 + Fork_613 + Fork_614 + Fork_615 + Fork_616 + Fork_617 + Fork_618 + Fork_619 + Fork_620 + Fork_621 + Fork_622 + Fork_623 + Fork_624 + Fork_625 + Fork_626 + Fork_627 + Fork_628 + Fork_629 + Fork_630 + Fork_631 + Fork_632 + Fork_633 + Fork_634 + Fork_635 + Fork_636 + Fork_637 + Fork_638 + Fork_639 + Fork_640 + Fork_641 + Fork_642 + Fork_643 + Fork_644 + Fork_645 + Fork_646 + Fork_647 + Fork_648 + Fork_649 + Fork_650 + Fork_651 + Fork_652 + Fork_653 + Fork_654 + Fork_655 + Fork_656 + Fork_657 + Fork_658 + Fork_659 + Fork_660 + Fork_661 + Fork_662 + Fork_663 + Fork_664 + Fork_665 + Fork_666 + Fork_667 + Fork_668 + Fork_669 + Fork_670 + Fork_671 + Fork_672 + Fork_673 + Fork_674 + Fork_675 + Fork_676 + Fork_677 + Fork_678 + Fork_679 + Fork_680 + Fork_681 + Fork_682 + Fork_683 + Fork_684 + Fork_685 + Fork_686 + Fork_687 + Fork_688 + Fork_689 + Fork_690 + Fork_691 + Fork_692 + Fork_693 + Fork_694 + Fork_695 + Fork_696 + Fork_697 + Fork_698 + Fork_699 + Fork_700 + Fork_701 + Fork_702 + Fork_703 + Fork_704 + Fork_705 + Fork_706 + Fork_707 + Fork_708 + Fork_709 + Fork_710 + Fork_711 + Fork_712 + Fork_713 + Fork_714 + Fork_715 + Fork_716 + Fork_717 + Fork_718 + Fork_719 + Fork_720 + Fork_721 + Fork_722 + Fork_723 + Fork_724 + Fork_725 + Fork_726 + Fork_727 + Fork_728 + Fork_729 + Fork_730 + Fork_731 + Fork_732 + Fork_733 + Fork_734 + Fork_735 + Fork_736 + Fork_737 + Fork_738 + Fork_739 + Fork_740 + Fork_741 + Fork_742 + Fork_743 + Fork_744 + Fork_745 + Fork_746 + Fork_747 + Fork_748 + Fork_749 + Fork_750 + Fork_751 + Fork_752 + Fork_753 + Fork_754 + Fork_755 + Fork_756 + Fork_757 + Fork_758 + Fork_759 + Fork_760 + Fork_761 + Fork_762 + Fork_763 + Fork_764 + Fork_765 + Fork_766 + Fork_767 + Fork_768 + Fork_769 + Fork_770 + Fork_771 + Fork_772 + Fork_773 + Fork_774 + Fork_775 + Fork_776 + Fork_777 + Fork_778 + Fork_779 + Fork_780 + Fork_781 + Fork_782 + Fork_783 + Fork_784 + Fork_785 + Fork_786 + Fork_787 + Fork_788 + Fork_789 + Fork_790 + Fork_791 + Fork_792 + Fork_793 + Fork_794 + Fork_795 + Fork_796 + Fork_797 + Fork_798 + Fork_799 + Fork_800 + Fork_801 + Fork_802 + Fork_803 + Fork_804 + Fork_805 + Fork_806 + Fork_807 + Fork_808 + Fork_809 + Fork_810 + Fork_811 + Fork_812 + Fork_813 + Fork_814 + Fork_815 + Fork_816 + Fork_817 + Fork_818 + Fork_819 + Fork_820 + Fork_821 + Fork_822 + Fork_823 + Fork_824 + Fork_825 + Fork_826 + Fork_827 + Fork_828 + Fork_829 + Fork_830 + Fork_831 + Fork_832 + Fork_833 + Fork_834 + Fork_835 + Fork_836 + Fork_837 + Fork_838 + Fork_839 + Fork_840 + Fork_841 + Fork_842 + Fork_843 + Fork_844 + Fork_845 + Fork_846 + Fork_847 + Fork_848 + Fork_849 + Fork_850 + Fork_851 + Fork_852 + Fork_853 + Fork_854 + Fork_855 + Fork_856 + Fork_857 + Fork_858 + Fork_859 + Fork_860 + Fork_861 + Fork_862 + Fork_863 + Fork_864 + Fork_865 + Fork_866 + Fork_867 + Fork_868 + Fork_869 + Fork_870 + Fork_871 + Fork_872 + Fork_873 + Fork_874 + Fork_875 + Fork_876 + Fork_877 + Fork_878 + Fork_879 + Fork_880 + Fork_881 + Fork_882 + Fork_883 + Fork_884 + Fork_885 + Fork_886 + Fork_887 + Fork_888 + Fork_889 + Fork_890 + Fork_891 + Fork_892 + Fork_893 + Fork_894 + Fork_895 + Fork_896 + Fork_897 + Fork_898 + Fork_899 + Fork_900 + Fork_901 + Fork_902 + Fork_903 + Fork_904 + Fork_905 + Fork_906 + Fork_907 + Fork_908 + Fork_909 + Fork_910 + Fork_911 + Fork_912 + Fork_913 + Fork_914 + Fork_915 + Fork_916 + Fork_917 + Fork_918 + Fork_919 + Fork_920 + Fork_921 + Fork_922 + Fork_923 + Fork_924 + Fork_925 + Fork_926 + Fork_927 + Fork_928 + Fork_929 + Fork_930 + Fork_931 + Fork_932 + Fork_933 + Fork_934 + Fork_935 + Fork_936 + Fork_937 + Fork_938 + Fork_939 + Fork_940 + Fork_941 + Fork_942 + Fork_943 + Fork_944 + Fork_945 + Fork_946 + Fork_947 + Fork_948 + Fork_949 + Fork_950 + Fork_951 + Fork_952 + Fork_953 + Fork_954 + Fork_955 + Fork_956 + Fork_957 + Fork_958 + Fork_959 + Fork_960 + Fork_961 + Fork_962 + Fork_963 + Fork_964 + Fork_965 + Fork_966 + Fork_967 + Fork_968 + Fork_969 + Fork_970 + Fork_971 + Fork_972 + Fork_973 + Fork_974 + Fork_975 + Fork_976 + Fork_977 + Fork_978 + Fork_979) : MAX(Catch2_900) : MAX(Fork_838) : MAX(Eat_478) : MAX(Fork_713) : MAX(Catch1_600) : MAX(Catch2_192) : MAX(Catch1_712) : MAX(Eat_900)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Catch2_900)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Catch2_900)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Fork_838)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Fork_838)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Eat_478)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Eat_478)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Fork_713)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Fork_713)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Catch1_600)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Catch1_600)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Catch2_192)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Catch2_192)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Catch1_712)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Catch1_712)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges

FORMULA Philosophers-PT-001000-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Eat_900)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Eat_900)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 3 markings, 2 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (shortened)
lola: processed formula length: 12895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 1001 markings, 1000 edges

FORMULA Philosophers-PT-001000-UpperBounds-0 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Catch1_500 + Catch1_501 + Catch1_502 + Catch1_503 + Catch1_504 + Catch1_505 + Catch1_506 + Catch1_507 + Catch1_508 + Catch1_509 + Catch1_510 + Catch1_511 + Catch1_512 + Catch1_513 + Catch1_514 + Catch1_515 + Catch1_516 + Catch1_517 + Catch1_518 + Catch1_519 + Catch1_520 + Catch1_521 + Catch1_522 + Catch1_523 + Catch1_524 + Catch1_525 + Catch1_526 + Catch1_527 + Catch1_528 + Catch1_529 + Catch1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Catch1_500 + Catch1_501 + Catch1_502 + Catch1_503 + Catch1_504 + Catch1_505 + Catch1_506 + Catch1_507 + Catch1_508 + Catch1_509 + Catch1_510 + Catch1_511 + Catch1_512 + Catch1_513 + Catch1_514 + Catch1_515 + Catch1_516 + Catch1_517 + Catch1_518 + Catch1_519 + Catch1_520 + Catch1_521 + Catch1_522 + Catch1_523 + Catch1_524 + Catch1_525 + Catch1_526 + Catch1_527 + Catch1_528 + Catch1_529 + Catch1... (shortened)
lola: processed formula length: 12895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 1001 markings, 1000 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-1 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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... (shortened)
lola: processed formula length: 12895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 1001 markings, 1000 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-2 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 706 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_1... (shortened)
lola: processed formula length: 10895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 0 markings, 0 edges

FORMULA Philosophers-PT-001000-UpperBounds-3 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 882 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Think_1000 + Think_100 + Think_101 + Think_102 + Think_103 + Think_104 + Think_105 + Think_106 + Think_107 + Think_108 + Think_109 + Think_110 + Think_111 + Think_112 + Think_113 + Think_114 + Think_115 + Think_116 + Think_117 + Think_118 + Think_119 + Think_120 + Think_121 + Think_122 + Think_123 + Think_124 + Think_125 + Think_126 + Think_127 + Think_128 + Think_129 + Think_130 + Think_131 +... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Think_1000 + Think_100 + Think_101 + Think_102 + Think_103 + Think_104 + Think_105 + Think_106 + Think_107 + Think_108 + Think_109 + Think_110 + Think_111 + Think_112 + Think_113 + Think_114 + Think_115 + Think_116 + Think_117 + Think_118 + Think_119 + Think_120 + Think_121 + Think_122 + Think_123 + Think_124 + Think_125 + Think_126 + Think_127 + Think_128 + Think_129 + Think_130 + Think_131 +... (shortened)
lola: processed formula length: 11895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 0 markings, 0 edges

FORMULA Philosophers-PT-001000-UpperBounds-4 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 13 will run for 1175 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(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_73... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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_73... (shortened)
lola: processed formula length: 9895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 500
lola: 42236 markings, 76997 edges, 8447 markings/sec, 0 secs
lola: 116356 markings, 210164 edges, 14824 markings/sec, 5 secs
lola: 188603 markings, 341239 edges, 14449 markings/sec, 10 secs
lola: 261053 markings, 478677 edges, 14490 markings/sec, 15 secs
lola: 333644 markings, 612164 edges, 14518 markings/sec, 20 secs
lola: 403659 markings, 748740 edges, 14003 markings/sec, 25 secs
lola: 474425 markings, 887444 edges, 14153 markings/sec, 30 secs
lola: 546002 markings, 1023837 edges, 14315 markings/sec, 35 secs
lola: 618999 markings, 1155837 edges, 14599 markings/sec, 40 secs
lola: 690941 markings, 1285456 edges, 14388 markings/sec, 45 secs
lola: 764461 markings, 1417146 edges, 14704 markings/sec, 50 secs
lola: 836561 markings, 1548898 edges, 14420 markings/sec, 55 secs
lola: 909079 markings, 1679993 edges, 14504 markings/sec, 60 secs
lola: 982075 markings, 1811394 edges, 14599 markings/sec, 65 secs
lola: 1050239 markings, 1935400 edges, 13633 markings/sec, 70 secs
lola: 1121133 markings, 2063578 edges, 14179 markings/sec, 75 secs
lola: 1192944 markings, 2192806 edges, 14362 markings/sec, 80 secs
lola: 1262483 markings, 2321749 edges, 13908 markings/sec, 85 secs
lola: 1336256 markings, 2456184 edges, 14755 markings/sec, 90 secs
lola: 1409319 markings, 2588180 edges, 14613 markings/sec, 95 secs
lola: 1482400 markings, 2720643 edges, 14616 markings/sec, 100 secs
lola: 1555009 markings, 2855390 edges, 14522 markings/sec, 105 secs
lola: 1628340 markings, 2987542 edges, 14666 markings/sec, 110 secs
lola: 1700943 markings, 3118280 edges, 14521 markings/sec, 115 secs
lola: 1774433 markings, 3249943 edges, 14698 markings/sec, 120 secs
lola: 1847675 markings, 3382728 edges, 14648 markings/sec, 125 secs
lola: 1921074 markings, 3515726 edges, 14680 markings/sec, 130 secs
lola: 1994217 markings, 3648007 edges, 14629 markings/sec, 135 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1692 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_1... (shortened)
lola: processed formula length: 10895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-6 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 3382 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_1... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Fork_980 + Fork_981 + Fork_982 + Fork_983 + Fork_984 + Fork_985 + Fork_986 + Fork_987 + Fork_988 + Fork_989 + Fork_990 + Fork_991 + Fork_992 + Fork_993 + Fork_994 + Fork_995 + Fork_996 + Fork_997 + Fork_998 + Fork_999 + Fork_1000 + Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_100 + Fork_101 + Fork_102 + Fork_103 + Fork_104 + Fork_105 + Fork_106 + Fork_1... (shortened)
lola: processed formula length: 10895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1000
lola: SUBRESULT
lola: result: 1000
lola: produced by: state space
lola: The maximum value of the given expression is 1000
lola: 0 markings, 0 edges
lola: ========================================

FORMULA Philosophers-PT-001000-UpperBounds-7 1000 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: MAX(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_73... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(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_73... (shortened)
lola: processed formula length: 9895
lola: 0 rewrites
lola: closed formula file Philosophers-PT-001000-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 500
lola: 43079 markings, 79084 edges, 8616 markings/sec, 0 secs
lola: 118488 markings, 213912 edges, 15082 markings/sec, 5 secs
lola: 193278 markings, 349939 edges, 14958 markings/sec, 10 secs
lola: 266601 markings, 491172 edges, 14665 markings/sec, 15 secs
lola: 340446 markings, 628301 edges, 14769 markings/sec, 20 secs
lola: 413619 markings, 767059 edges, 14635 markings/sec, 25 secs
lola: 484536 markings, 909868 edges, 14183 markings/sec, 30 secs
lola: 557378 markings, 1043355 edges, 14568 markings/sec, 35 secs
lola: 631368 markings, 1178271 edges, 14798 markings/sec, 40 secs
lola: 705705 markings, 1312233 edges, 14867 markings/sec, 45 secs
lola: 779649 markings, 1444287 edges, 14789 markings/sec, 50 secs
lola: 854268 markings, 1580582 edges, 14924 markings/sec, 55 secs
lola: 928963 markings, 1716322 edges, 14939 markings/sec, 60 secs
lola: 1003835 markings, 1849398 edges, 14974 markings/sec, 65 secs
lola: 1077870 markings, 1985767 edges, 14807 markings/sec, 70 secs
lola: 1152849 markings, 2119889 edges, 14996 markings/sec, 75 secs
lola: 1227259 markings, 2255855 edges, 14882 markings/sec, 80 secs
lola: 1301256 markings, 2392487 edges, 14799 markings/sec, 85 secs
lola: 1375958 markings, 2527449 edges, 14940 markings/sec, 90 secs
lola: 1450276 markings, 2662913 edges, 14864 markings/sec, 95 secs
lola: 1524289 markings, 2799393 edges, 14803 markings/sec, 100 secs
lola: 1598857 markings, 2934960 edges, 14914 markings/sec, 105 secs
lola: 1673516 markings, 3069495 edges, 14932 markings/sec, 110 secs
lola: 1748710 markings, 3203240 edges, 15039 markings/sec, 115 secs
lola: 1823116 markings, 3338089 edges, 14881 markings/sec, 120 secs
lola: 1897348 markings, 3472671 edges, 14846 markings/sec, 125 secs
lola: 1971610 markings, 3607890 edges, 14852 markings/sec, 130 secs
lola: 2002130 markings, 3661651 edges, 6104 markings/sec, 135 secs
lola: 2002532 markings, 3662320 edges, 80 markings/sec, 140 secs
lola: Child process aborted or communication problem between parent and child process

FORMULA Philosophers-PT-001000-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: 1000 1000 1000 1000 1000 unknown 1000 1000 1 1 1 1 1 1 1 1
lola:
preliminary result: 1000 1000 1000 1000 1000 unknown 1000 1000 1 1 1 1 1 1 1 1
lola: memory consumption: 40380 KB
lola: time consumption: 337 seconds

BK_STOP 1553050839110

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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-PT-001000"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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-3954"
echo " Executing tool win2018"
echo " Input is Philosophers-PT-001000, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r110-oct2-155272242600283"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-PT-001000.tgz
mv Philosophers-PT-001000 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; 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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;