fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r169kn-ebro-146433129400924
Last Updated
June 30, 2016

About the Execution of ITS-Tools for S_Philosophers-PT-001000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2802.710 3524856.00 3557685.00 709.30 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-2979
Executing tool itstools
Input is S_Philosophers-PT-001000, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r169kn-ebro-146433129400924
=====================================================================


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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Philosophers-COL-001000-LTLFireability-0
FORMULA_NAME Philosophers-COL-001000-LTLFireability-1
FORMULA_NAME Philosophers-COL-001000-LTLFireability-10
FORMULA_NAME Philosophers-COL-001000-LTLFireability-11
FORMULA_NAME Philosophers-COL-001000-LTLFireability-12
FORMULA_NAME Philosophers-COL-001000-LTLFireability-13
FORMULA_NAME Philosophers-COL-001000-LTLFireability-14
FORMULA_NAME Philosophers-COL-001000-LTLFireability-15
FORMULA_NAME Philosophers-COL-001000-LTLFireability-2
FORMULA_NAME Philosophers-COL-001000-LTLFireability-3
FORMULA_NAME Philosophers-COL-001000-LTLFireability-4
FORMULA_NAME Philosophers-COL-001000-LTLFireability-5
FORMULA_NAME Philosophers-COL-001000-LTLFireability-6
FORMULA_NAME Philosophers-COL-001000-LTLFireability-7
FORMULA_NAME Philosophers-COL-001000-LTLFireability-8
FORMULA_NAME Philosophers-COL-001000-LTLFireability-9

=== Now, execution of the tool begins

BK_START 1464401181534


its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201605191313/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((G(X((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("Fork_797>=1")&&("Catch2_798>=1"))||(("Fork_798>=1")&&("Catch2_799>=1")))||(("Catch2_800>=1")&&("Fork_799>=1")))||(("Catch2_801>=1")&&("Fork_800>=1")))||(("Catch2_802>=1")&&("Fork_801>=1")))||(("Fork_802>=1")&&("Catch2_803>=1")))||(("Catch2_804>=1")&&("Fork_803>=1")))||(("Fork_804>=1")&&("Catch2_805>=1")))||(("Fork_805>=1")&&("Catch2_806>=1")))||(("Catch2_807>=1")&&("Fork_806>=1")))||(("Fork_807>=1")&&("Catch2_808>=1")))||(("Catch2_809>=1")&&("Fork_808>=1")))||(("Fork_809>=1")&&("Catch2_810>=1")))||(("Catch2_811>=1")&&("Fork_810>=1")))||(("Catch2_812>=1")&&("Fork_811>=1")))||(("Fork_812>=1")&&("Catch2_813>=1")))||(("Catch2_815>=1")&&("Fork_814>=1")))||(("Catch2_814>=1")&&("Fork_813>=1")))||(("Fork_816>=1")&&("Catch2_817>=1")))||(("Fork_815>=1")&&("Catch2_816>=1")))||(("Fork_818>=1")&&("Catch2_819>=1")))||(("Fork_817>=1")&&("Catch2_818>=1")))||(("Fork_820>=1")&&("Catch2_821>=1")))||(("Fork_819>=1")&&("Catch2_820>=1")))||(("Fork_822>=1")&&("Catch2_823>=1")))||(("Catch2_822>=1")&&("Fork_821>=1")))||(("Fork_824>=1")&&("Catch2_825>=1")))||(("Catch2_824>=1")&&("Fork_823>=1")))||(("Catch2_827>=1")&&("Fork_826>=1")))||(("Catch2_826>=1")&&("Fork_825>=1")))||(("Fork_828>=1")&&("Catch2_829>=1")))||(("Fork_827>=1")&&("Catch2_828>=1")))||(("Catch2_768>=1")&&("Fork_767>=1")))||(("Catch2_769>=1")&&("Fork_768>=1")))||(("Fork_765>=1")&&("Catch2_766>=1")))||(("Catch2_767>=1")&&("Fork_766>=1")))||(("Catch2_772>=1")&&("Fork_771>=1")))||(("Fork_772>=1")&&("Catch2_773>=1")))||(("Catch2_770>=1")&&("Fork_769>=1")))||(("Catch2_771>=1")&&("Fork_770>=1")))||(("Fork_775>=1")&&("Catch2_776>=1")))||(("Fork_776>=1")&&("Catch2_777>=1")))||(("Fork_773>=1")&&("Catch2_774>=1")))||(("Fork_774>=1")&&("Catch2_775>=1")))||(("Catch2_780>=1")&&("Fork_779>=1")))||(("Fork_780>=1")&&("Catch2_781>=1")))||(("Fork_777>=1")&&("Catch2_778>=1")))||(("Fork_778>=1")&&("Catch2_779>=1")))||(("Fork_784>=1")&&("Catch2_785>=1")))||(("Fork_783>=1")&&("Catch2_784>=1")))||(("Fork_782>=1")&&("Catch2_783>=1")))||(("Catch2_782>=1")&&("Fork_781>=1")))||(("Fork_788>=1")&&("Catch2_789>=1")))||(("Fork_787>=1")&&("Catch2_788>=1")))||(("Catch2_787>=1")&&("Fork_786>=1")))||(("Fork_785>=1")&&("Catch2_786>=1")))||(("Fork_792>=1")&&("Catch2_793>=1")))||(("Catch2_792>=1")&&("Fork_791>=1")))||(("Catch2_791>=1")&&("Fork_790>=1")))||(("Catch2_790>=1")&&("Fork_789>=1")))||(("Fork_796>=1")&&("Catch2_797>=1")))||(("Fork_795>=1")&&("Catch2_796>=1")))||(("Fork_794>=1")&&("Catch2_795>=1")))||(("Catch2_794>=1")&&("Fork_793>=1")))||(("Fork_737>=1")&&("Catch2_738>=1")))||(("Fork_738>=1")&&("Catch2_739>=1")))||(("Fork_739>=1")&&("Catch2_740>=1")))||(("Fork_740>=1")&&("Catch2_741>=1")))||(("Catch2_734>=1")&&("Fork_733>=1")))||(("Fork_734>=1")&&("Catch2_735>=1")))||(("Fork_735>=1")&&("Catch2_736>=1")))||(("Fork_736>=1")&&("Catch2_737>=1")))||(("Catch2_746>=1")&&("Fork_745>=1")))||(("Catch2_747>=1")&&("Fork_746>=1")))||(("Fork_747>=1")&&("Catch2_748>=1")))||(("Catch2_749>=1")&&("Fork_748>=1")))||(("Catch2_742>=1")&&("Fork_741>=1")))||(("Catch2_743>=1")&&("Fork_742>=1")))||(("Catch2_744>=1")&&("Fork_743>=1")))||(("Fork_744>=1")&&("Catch2_745>=1")))||(("Fork_754>=1")&&("Catch2_755>=1")))||(("Fork_753>=1")&&("Catch2_754>=1")))||(("Fork_756>=1")&&("Catch2_757>=1")))||(("Fork_755>=1")&&("Catch2_756>=1")))||(("Catch2_751>=1")&&("Fork_750>=1")))||(("Fork_749>=1")&&("Catch2_750>=1")))||(("Catch2_753>=1")&&("Fork_752>=1")))||(("Fork_751>=1")&&("Catch2_752>=1")))||(("Catch2_763>=1")&&("Fork_762>=1")))||(("Catch2_762>=1")&&("Fork_761>=1")))||(("Fork_764>=1")&&("Catch2_765>=1")))||(("Fork_763>=1")&&("Catch2_764>=1")))||(("Fork_758>=1")&&("Catch2_759>=1")))||(("Catch2_758>=1")&&("Fork_757>=1")))||(("Catch2_761>=1")&&("Fork_760>=1")))||(("Catch2_760>=1")&&("Fork_759>=1")))||(("Catch2_708>=1")&&("Fork_707>=1")))||(("Catch2_709>=1")&&("Fork_708>=1")))||(("Catch2_706>=1")&&("Fork_705>=1")))||(("Fork_706>=1")&&("Catch2_707>=1")))||(("Catch2_704>=1")&&("Fork_703>=1")))||(("Fork_704>=1")&&("Catch2_705>=1")))||(("Fork_701>=1")&&("Catch2_702>=1")))||(("Fork_702>=1")&&("Catch2_703>=1")))||(("Fork_715>=1")&&("Catch2_716>=1")))||(("Catch2_717>=1")&&("Fork_716>=1")))||(("Catch2_714>=1")&&("Fork_713>=1")))||(("Fork_714>=1")&&("Catch2_715>=1")))||(("Catch2_712>=1")&&("Fork_711>=1")))||(("Catch2_713>=1")&&("Fork_712>=1")))||(("Catch2_710>=1")&&("Fork_709>=1")))||(("Fork_710>=1")&&("Catch2_711>=1")))||(("Fork_724>=1")&&("Catch2_725>=1")))||(("Catch2_724>=1")&&("Fork_723>=1")))||(("Catch2_723>=1")&&("Fork_722>=1")))||(("Catch2_722>=1")&&("Fork_721>=1")))||(("Catch2_721>=1")&&("Fork_720>=1")))||(("Catch2_720>=1")&&("Fork_719>=1")))||(("Fork_718>=1")&&("Catch2_719>=1")))||(("Fork_717>=1")&&("Catch2_718>=1")))||(("Catch2_733>=1")&&("Fork_732>=1")))||(("Catch2_732>=1")&&("Fork_731>=1")))||(("Fork_730>=1")&&("Catch2_731>=1")))||(("Fork_729>=1")&&("Catch2_730>=1")))||(("Catch2_729>=1")&&("Fork_728>=1")))||(("Fork_727>=1")&&("Catch2_728>=1")))||(("Catch2_727>=1")&&("Fork_726>=1")))||(("Fork_725>=1")&&("Catch2_726>=1")))||(("Fork_934>=1")&&("Catch2_935>=1")))||(("Catch2_934>=1")&&("Fork_933>=1")))||(("Catch2_937>=1")&&("Fork_936>=1")))||(("Catch2_936>=1")&&("Fork_935>=1")))||(("Fork_938>=1")&&("Catch2_939>=1")))||(("Catch2_938>=1")&&("Fork_937>=1")))||(("Catch2_941>=1")&&("Fork_940>=1")))||(("Fork_939>=1")&&("Catch2_940>=1")))||(("Catch2_927>=1")&&("Fork_926>=1")))||(("Catch2_926>=1")&&("Fork_925>=1")))||(("Catch2_929>=1")&&("Fork_928>=1")))||(("Fork_927>=1")&&("Catch2_928>=1")))||(("Catch2_931>=1")&&("Fork_930>=1")))||(("Fork_929>=1")&&("Catch2_930>=1")))||(("Fork_932>=1")&&("Catch2_933>=1")))||(("Fork_931>=1")&&("Catch2_932>=1")))||(("Fork_949>=1")&&("Catch2_950>=1")))||(("Catch2_951>=1")&&("Fork_950>=1")))||(("Fork_951>=1")&&("Catch2_952>=1")))||(("Fork_952>=1")&&("Catch2_953>=1")))||(("Fork_953>=1")&&("Catch2_954>=1")))||(("Fork_954>=1")&&("Catch2_955>=1")))||(("Catch2_956>=1")&&("Fork_955>=1")))||(("Catch2_957>=1")&&("Fork_956>=1")))||(("Fork_941>=1")&&("Catch2_942>=1")))||(("Fork_942>=1")&&("Catch2_943>=1")))||(("Catch2_944>=1")&&("Fork_943>=1")))||(("Fork_944>=1")&&("Catch2_945>=1")))||(("Catch2_946>=1")&&("Fork_945>=1")))||(("Catch2_947>=1")&&("Fork_946>=1")))||(("Catch2_948>=1")&&("Fork_947>=1")))||(("Catch2_949>=1")&&("Fork_948>=1")))||(("Fork_904>=1")&&("Catch2_905>=1")))||(("Fork_903>=1")&&("Catch2_904>=1")))||(("Catch2_903>=1")&&("Fork_902>=1")))||(("Fork_901>=1")&&("Catch2_902>=1")))||(("Fork_908>=1")&&("Catch2_909>=1")))||(("Catch2_908>=1")&&("Fork_907>=1")))||(("Catch2_907>=1")&&("Fork_906>=1")))||(("Fork_905>=1")&&("Catch2_906>=1")))||(("Catch2_897>=1")&&("Fork_896>=1")))||(("Catch2_896>=1")&&("Fork_895>=1")))||(("Fork_894>=1")&&("Catch2_895>=1")))||(("Fork_893>=1")&&("Catch2_894>=1")))||(("Fork_900>=1")&&("Catch2_901>=1")))||(("Catch2_900>=1")&&("Fork_899>=1")))||(("Fork_898>=1")&&("Catch2_899>=1")))||(("Catch2_898>=1")&&("Fork_897>=1")))||(("Catch2_920>=1")&&("Fork_919>=1")))||(("Fork_920>=1")&&("Catch2_921>=1")))||(("Catch2_918>=1")&&("Fork_917>=1")))||(("Fork_918>=1")&&("Catch2_919>=1")))||(("Catch2_924>=1")&&("Fork_923>=1")))||(("Catch2_925>=1")&&("Fork_924>=1")))||(("Catch2_922>=1")&&("Fork_921>=1")))||(("Catch2_923>=1")&&("Fork_922>=1")))||(("Fork_911>=1")&&("Catch2_912>=1")))||(("Fork_912>=1")&&("Catch2_913>=1")))||(("Catch2_910>=1")&&("Fork_909>=1")))||(("Catch2_911>=1")&&("Fork_910>=1")))||(("Fork_915>=1")&&("Catch2_916>=1")))||(("Catch2_917>=1")&&("Fork_916>=1")))||(("Fork_913>=1")&&("Catch2_914>=1")))||(("Fork_914>=1")&&("Catch2_915>=1")))||(("Catch2_875>=1")&&("Fork_874>=1")))||(("Catch2_874>=1")&&("Fork_873>=1")))||(("Catch2_877>=1")&&("Fork_876>=1")))||(("Fork_875>=1")&&("Catch2_876>=1")))||(("Catch2_871>=1")&&("Fork_870>=1")))||(("Catch2_870>=1")&&("Fork_869>=1")))||(("Fork_872>=1")&&("Catch2_873>=1")))||(("Catch2_872>=1")&&("Fork_871>=1")))||(("Fork_866>=1")&&("Catch2_867>=1")))||(("Fork_865>=1")&&("Catch2_866>=1")))||(("Fork_868>=1")&&("Catch2_869>=1")))||(("Fork_867>=1")&&("Catch2_868>=1")))||(("Fork_862>=1")&&("Catch2_863>=1")))||(("Catch2_862>=1")&&("Fork_861>=1")))||(("Fork_864>=1")&&("Catch2_865>=1")))||(("Fork_863>=1")&&("Catch2_864>=1")))||(("Catch2_890>=1")&&("Fork_889>=1")))||(("Fork_890>=1")&&("Catch2_891>=1")))||(("Fork_891>=1")&&("Catch2_892>=1")))||(("Fork_892>=1")&&("Catch2_893>=1")))||(("Catch2_886>=1")&&("Fork_885>=1")))||(("Catch2_887>=1")&&("Fork_886>=1")))||(("Catch2_888>=1")&&("Fork_887>=1")))||(("Catch2_889>=1")&&("Fork_888>=1")))||(("Fork_881>=1")&&("Catch2_882>=1")))||(("Catch2_883>=1")&&("Fork_882>=1")))||(("Fork_883>=1")&&("Catch2_884>=1")))||(("Catch2_885>=1")&&("Fork_884>=1")))||(("Fork_877>=1")&&("Catch2_878>=1")))||(("Catch2_879>=1")&&("Fork_878>=1")))||(("Fork_879>=1")&&("Catch2_880>=1")))||(("Catch2_881>=1")&&("Fork_880>=1")))||(("Catch2_845>=1")&&("Fork_844>=1")))||(("Fork_843>=1")&&("Catch2_844>=1")))||(("Fork_842>=1")&&("Catch2_843>=1")))||(("Catch2_842>=1")&&("Fork_841>=1")))||(("Catch2_841>=1")&&("Fork_840>=1")))||(("Catch2_840>=1")&&("Fork_839>=1")))||(("Fork_838>=1")&&("Catch2_839>=1")))||(("Catch2_838>=1")&&("Fork_837>=1")))||(("Catch2_837>=1")&&("Fork_836>=1")))||(("Catch2_836>=1")&&("Fork_835>=1")))||(("Catch2_835>=1")&&("Fork_834>=1")))||(("Catch2_834>=1")&&("Fork_833>=1")))||(("Fork_832>=1")&&("Catch2_833>=1")))||(("Catch2_832>=1")&&("Fork_831>=1")))||(("Catch2_831>=1")&&("Fork_830>=1")))||(("Fork_829>=1")&&("Catch2_830>=1")))||(("Catch2_860>=1")&&("Fork_859>=1")))||(("Catch2_861>=1")&&("Fork_860>=1")))||(("Fork_857>=1")&&("Catch2_858>=1")))||(("Fork_858>=1")&&("Catch2_859>=1")))||(("Fork_855>=1")&&("Catch2_856>=1")))||(("Catch2_857>=1")&&("Fork_856>=1")))||(("Fork_853>=1")&&("Catch2_854>=1")))||(("Catch2_855>=1")&&("Fork_854>=1")))||(("Catch2_852>=1")&&("Fork_851>=1")))||(("Fork_852>=1")&&("Catch2_853>=1")))||(("Catch2_850>=1")&&("Fork_849>=1")))||(("Catch2_851>=1")&&("Fork_850>=1")))||(("Catch2_848>=1")&&("Fork_847>=1")))||(("Catch2_849>=1")&&("Fork_848>=1")))||(("Fork_845>=1")&&("Catch2_846>=1")))||(("Fork_846>=1")&&("Catch2_847>=1")))||(("Catch2_996>=1")&&("Fork_995>=1")))||(("Catch2_997>=1")&&("Fork_996>=1")))||(("Catch2_994>=1")&&("Fork_993>=1")))||(("Fork_994>=1")&&("Catch2_995>=1")))||(("Catch2_992>=1")&&("Fork_991>=1")))||(("Catch2_993>=1")&&("Fork_992>=1")))||(("Fork_989>=1")&&("Catch2_990>=1")))||(("Fork_990>=1")&&("Catch2_991>=1")))||(("Fork_999>=1")&&("Catch2_1000>=1")))||(("Fork_997>=1")&&("Catch2_998>=1")))||(("Catch2_999>=1")&&("Fork_998>=1")))||(("Catch2_979>=1")&&("Fork_978>=1")))||(("Fork_977>=1")&&("Catch2_978>=1")))||(("Fork_980>=1")&&("Catch2_981>=1")))||(("Fork_979>=1")&&("Catch2_980>=1")))||(("Fork_974>=1")&&("Catch2_975>=1")))||(("Catch2_974>=1")&&("Fork_973>=1")))||(("Fork_976>=1")&&("Catch2_977>=1")))||(("Fork_975>=1")&&("Catch2_976>=1")))||(("Fork_986>=1")&&("Catch2_987>=1")))||(("Catch2_986>=1")&&("Fork_985>=1")))||(("Fork_988>=1")&&("Catch2_989>=1")))||(("Fork_987>=1")&&("Catch2_988>=1")))||(("Catch2_983>=1")&&("Fork_982>=1")))||(("Catch2_982>=1")&&("Fork_981>=1")))||(("Fork_984>=1")&&("Catch2_985>=1")))||(("Catch2_984>=1")&&("Fork_983>=1")))||(("Fork_961>=1")&&("Catch2_962>=1")))||(("Fork_962>=1")&&("Catch2_963>=1")))||(("Fork_963>=1")&&("Catch2_964>=1")))||(("Fork_964>=1")&&("Catch2_965>=1")))||(("Catch2_958>=1")&&("Fork_957>=1")))||(("Fork_958>=1")&&("Catch2_959>=1")))||(("Fork_959>=1")&&("Catch2_960>=1")))||(("Fork_960>=1")&&("Catch2_961>=1")))||(("Fork_969>=1")&&("Catch2_970>=1")))||(("Fork_970>=1")&&("Catch2_971>=1")))||(("Catch2_972>=1")&&("Fork_971>=1")))||(("Fork_972>=1")&&("Catch2_973>=1")))||(("Fork_965>=1")&&("Catch2_966>=1")))||(("Fork_966>=1")&&("Catch2_967>=1")))||(("Fork_967>=1")&&("Catch2_968>=1")))||(("Fork_968>=1")&&("Catch2_969>=1")))||(("Catch2_260>=1")&&("Fork_259>=1")))||(("Catch2_261>=1")&&("Fork_260>=1")))||(("Catch2_258>=1")&&("Fork_257>=1")))||(("Catch2_259>=1")&&("Fork_258>=1")))||(("Catch2_256>=1")&&("Fork_255>=1")))||(("Fork_256>=1")&&("Catch2_257>=1")))||(("Fork_253>=1")&&("Catch2_254>=1")))||(("Catch2_255>=1")&&("Fork_254>=1")))||(("Catch2_268>=1")&&("Fork_267>=1")))||(("Catch2_269>=1")&&("Fork_268>=1")))||(("Fork_265>=1")&&("Catch2_266>=1")))||(("Fork_266>=1")&&("Catch2_267>=1")))||(("Fork_263>=1")&&("Catch2_264>=1")))||(("Catch2_265>=1")&&("Fork_264>=1")))||(("Fork_261>=1")&&("Catch2_262>=1")))||(("Fork_262>=1")&&("Catch2_263>=1")))||(("Fork_276>=1")&&("Catch2_277>=1")))||(("Fork_275>=1")&&("Catch2_276>=1")))||(("Catch2_275>=1")&&("Fork_274>=1")))||(("Fork_273>=1")&&("Catch2_274>=1")))||(("Catch2_273>=1")&&("Fork_272>=1")))||(("Fork_271>=1")&&("Catch2_272>=1")))||(("Fork_270>=1")&&("Catch2_271>=1")))||(("Catch2_270>=1")&&("Fork_269>=1")))||(("Fork_284>=1")&&("Catch2_285>=1")))||(("Catch2_284>=1")&&("Fork_283>=1")))||(("Catch2_283>=1")&&("Fork_282>=1")))||(("Catch2_282>=1")&&("Fork_281>=1")))||(("Catch2_281>=1")&&("Fork_280>=1")))||(("Catch2_280>=1")&&("Fork_279>=1")))||(("Catch2_279>=1")&&("Fork_278>=1")))||(("Catch2_278>=1")&&("Fork_277>=1")))||(("Fork_289>=1")&&("Catch2_290>=1")))||(("Catch2_291>=1")&&("Fork_290>=1")))||(("Fork_291>=1")&&("Catch2_292>=1")))||(("Fork_292>=1")&&("Catch2_293>=1")))||(("Catch2_286>=1")&&("Fork_285>=1")))||(("Catch2_287>=1")&&("Fork_286>=1")))||(("Fork_287>=1")&&("Catch2_288>=1")))||(("Catch2_289>=1")&&("Fork_288>=1")))||(("Catch2_298>=1")&&("Fork_297>=1")))||(("Fork_298>=1")&&("Catch2_299>=1")))||(("Fork_299>=1")&&("Catch2_300>=1")))||(("Fork_300>=1")&&("Catch2_301>=1")))||(("Catch2_294>=1")&&("Fork_293>=1")))||(("Fork_294>=1")&&("Catch2_295>=1")))||(("Catch2_296>=1")&&("Fork_295>=1")))||(("Catch2_297>=1")&&("Fork_296>=1")))||(("Catch2_307>=1")&&("Fork_306>=1")))||(("Catch2_306>=1")&&("Fork_305>=1")))||(("Catch2_309>=1")&&("Fork_308>=1")))||(("Catch2_308>=1")&&("Fork_307>=1")))||(("Fork_302>=1")&&("Catch2_303>=1")))||(("Fork_301>=1")&&("Catch2_302>=1")))||(("Fork_304>=1")&&("Catch2_305>=1")))||(("Catch2_304>=1")&&("Fork_303>=1")))||(("Fork_314>=1")&&("Catch2_315>=1")))||(("Fork_313>=1")&&("Catch2_314>=1")))||(("Fork_316>=1")&&("Catch2_317>=1")))||(("Catch2_316>=1")&&("Fork_315>=1")))||(("Catch2_311>=1")&&("Fork_310>=1")))||(("Fork_309>=1")&&("Catch2_310>=1")))||(("Fork_312>=1")&&("Catch2_313>=1")))||(("Fork_311>=1")&&("Catch2_312>=1")))||(("Catch2_192>=1")&&("Fork_191>=1")))||(("Catch2_193>=1")&&("Fork_192>=1")))||(("Fork_189>=1")&&("Catch2_190>=1")))||(("Fork_190>=1")&&("Catch2_191>=1")))||(("Catch2_196>=1")&&("Fork_195>=1")))||(("Catch2_197>=1")&&("Fork_196>=1")))||(("Catch2_194>=1")&&("Fork_193>=1")))||(("Fork_194>=1")&&("Catch2_195>=1")))||(("Catch2_200>=1")&&("Fork_199>=1")))||(("Fork_200>=1")&&("Catch2_201>=1")))||(("Catch2_198>=1")&&("Fork_197>=1")))||(("Fork_198>=1")&&("Catch2_199>=1")))||(("Fork_203>=1")&&("Catch2_204>=1")))||(("Fork_204>=1")&&("Catch2_205>=1")))||(("Catch2_202>=1")&&("Fork_201>=1")))||(("Fork_202>=1")&&("Catch2_203>=1")))||(("Fork_208>=1")&&("Catch2_209>=1")))||(("Catch2_208>=1")&&("Fork_207>=1")))||(("Fork_206>=1")&&("Catch2_207>=1")))||(("Fork_205>=1")&&("Catch2_206>=1")))||(("Fork_212>=1")&&("Catch2_213>=1")))||(("Catch2_212>=1")&&("Fork_211>=1")))||(("Catch2_211>=1")&&("Fork_210>=1")))||(("Catch2_210>=1")&&("Fork_209>=1")))||(("Fork_216>=1")&&("Catch2_217>=1")))||(("Fork_215>=1")&&("Catch2_216>=1")))||(("Catch2_215>=1")&&("Fork_214>=1")))||(("Fork_213>=1")&&("Catch2_214>=1")))||(("Fork_220>=1")&&("Catch2_221>=1")))||(("Catch2_220>=1")&&("Fork_219>=1")))||(("Fork_218>=1")&&("Catch2_219>=1")))||(("Fork_217>=1")&&("Catch2_218>=1")))||(("Catch2_222>=1")&&("Fork_221>=1")))||(("Fork_222>=1")&&("Catch2_223>=1")))||(("Fork_223>=1")&&("Catch2_224>=1")))||(("Catch2_225>=1")&&("Fork_224>=1")))||(("Fork_225>=1")&&("Catch2_226>=1")))||(("Fork_226>=1")&&("Catch2_227>=1")))||(("Fork_227>=1")&&("Catch2_228>=1")))||(("Catch2_229>=1")&&("Fork_228>=1")))||(("Catch2_230>=1")&&("Fork_229>=1")))||(("Catch2_231>=1")&&("Fork_230>=1")))||(("Catch2_232>=1")&&("Fork_231>=1")))||(("Catch2_233>=1")&&("Fork_232>=1")))||(("Catch2_234>=1")&&("Fork_233>=1")))||(("Catch2_235>=1")&&("Fork_234>=1")))||(("Fork_235>=1")&&("Catch2_236>=1")))||(("Fork_236>=1")&&("Catch2_237>=1")))||(("Catch2_239>=1")&&("Fork_238>=1")))||(("Fork_237>=1")&&("Catch2_238>=1")))||(("Fork_240>=1")&&("Catch2_241>=1")))||(("Fork_239>=1")&&("Catch2_240>=1")))||(("Fork_242>=1")&&("Catch2_243>=1")))||(("Fork_241>=1")&&("Catch2_242>=1")))||(("Fork_244>=1")&&("Catch2_245>=1")))||(("Fork_243>=1")&&("Catch2_244>=1")))||(("Fork_246>=1")&&("Catch2_247>=1")))||(("Catch2_246>=1")&&("Fork_245>=1")))||(("Fork_248>=1")&&("Catch2_249>=1")))||(("Catch2_248>=1")&&("Fork_247>=1")))||(("Catch2_251>=1")&&("Fork_250>=1")))||(("Catch2_250>=1")&&("Fork_249>=1")))||(("Catch2_253>=1")&&("Fork_252>=1")))||(("Fork_251>=1")&&("Catch2_252>=1")))||(("Fork_396>=1")&&("Catch2_397>=1")))||(("Fork_395>=1")&&("Catch2_396>=1")))||(("Fork_394>=1")&&("Catch2_395>=1")))||(("Catch2_394>=1")&&("Fork_393>=1")))||(("Fork_392>=1")&&("Catch2_393>=1")))||(("Catch2_392>=1")&&("Fork_391>=1")))||(("Fork_390>=1")&&("Catch2_391>=1")))||(("Catch2_390>=1")&&("Fork_389>=1")))||(("Catch2_389>=1")&&("Fork_388>=1")))||(("Fork_387>=1")&&("Catch2_388>=1")))||(("Catch2_387>=1")&&("Fork_386>=1")))||(("Fork_385>=1")&&("Catch2_386>=1")))||(("Catch2_385>=1")&&("Fork_384>=1")))||(("Fork_383>=1")&&("Catch2_384>=1")))||(("Catch2_383>=1")&&("Fork_382>=1")))||(("Catch2_382>=1")&&("Fork_381>=1")))||(("Fork_411>=1")&&("Catch2_412>=1")))||(("Catch2_413>=1")&&("Fork_412>=1")))||(("Fork_409>=1")&&("Catch2_410>=1")))||(("Fork_410>=1")&&("Catch2_411>=1")))||(("Fork_407>=1")&&("Catch2_408>=1")))||(("Fork_408>=1")&&("Catch2_409>=1")))||(("Fork_405>=1")&&("Catch2_406>=1")))||(("Catch2_407>=1")&&("Fork_406>=1")))||(("Catch2_404>=1")&&("Fork_403>=1")))||(("Fork_404>=1")&&("Catch2_405>=1")))||(("Catch2_402>=1")&&("Fork_401>=1")))||(("Catch2_403>=1")&&("Fork_402>=1")))||(("Catch2_400>=1")&&("Fork_399>=1")))||(("Fork_400>=1")&&("Catch2_401>=1")))||(("Fork_397>=1")&&("Catch2_398>=1")))||(("Fork_398>=1")&&("Catch2_399>=1")))||(("Catch2_427>=1")&&("Fork_426>=1")))||(("Fork_425>=1")&&("Catch2_426>=1")))||(("Catch2_429>=1")&&("Fork_428>=1")))||(("Catch2_428>=1")&&("Fork_427>=1")))||(("Catch2_423>=1")&&("Fork_422>=1")))||(("Fork_421>=1")&&("Catch2_422>=1")))||(("Catch2_425>=1")&&("Fork_424>=1")))||(("Fork_423>=1")&&("Catch2_424>=1")))||(("Fork_418>=1")&&("Catch2_419>=1")))||(("Catch2_418>=1")&&("Fork_417>=1")))||(("Fork_420>=1")&&("Catch2_421>=1")))||(("Catch2_420>=1")&&("Fork_419>=1")))||(("Fork_414>=1")&&("Catch2_415>=1")))||(("Fork_413>=1")&&("Catch2_414>=1")))||(("Catch2_417>=1")&&("Fork_416>=1")))||(("Catch2_416>=1")&&("Fork_415>=1")))||(("Catch2_442>=1")&&("Fork_441>=1")))||(("Catch2_443>=1")&&("Fork_442>=1")))||(("Fork_443>=1")&&("Catch2_444>=1")))||(("Catch2_445>=1")&&("Fork_444>=1")))||(("Catch2_438>=1")&&("Fork_437>=1")))||(("Fork_438>=1")&&("Catch2_439>=1")))||(("Catch2_440>=1")&&("Fork_439>=1")))||(("Fork_440>=1")&&("Catch2_441>=1")))||(("Fork_433>=1")&&("Catch2_434>=1")))||(("Fork_434>=1")&&("Catch2_435>=1")))||(("Fork_435>=1")&&("Catch2_436>=1")))||(("Fork_436>=1")&&("Catch2_437>=1")))||(("Catch2_430>=1")&&("Fork_429>=1")))||(("Catch2_431>=1")&&("Fork_430>=1")))||(("Fork_431>=1")&&("Catch2_432>=1")))||(("Fork_432>=1")&&("Catch2_433>=1")))||(("Catch2_329>=1")&&("Fork_328>=1")))||(("Fork_327>=1")&&("Catch2_328>=1")))||(("Catch2_327>=1")&&("Fork_326>=1")))||(("Fork_325>=1")&&("Catch2_326>=1")))||(("Catch2_333>=1")&&("Fork_332>=1")))||(("Catch2_332>=1")&&("Fork_331>=1")))||(("Catch2_331>=1")&&("Fork_330>=1")))||(("Fork_329>=1")&&("Catch2_330>=1")))||(("Fork_320>=1")&&("Catch2_321>=1")))||(("Fork_319>=1")&&("Catch2_320>=1")))||(("Fork_318>=1")&&("Catch2_319>=1")))||(("Catch2_318>=1")&&("Fork_317>=1")))||(("Catch2_325>=1")&&("Fork_324>=1")))||(("Fork_323>=1")&&("Catch2_324>=1")))||(("Fork_322>=1")&&("Catch2_323>=1")))||(("Fork_321>=1")&&("Catch2_322>=1")))||(("Catch2_344>=1")&&("Fork_343>=1")))||(("Catch2_345>=1")&&("Fork_344>=1")))||(("Catch2_342>=1")&&("Fork_341>=1")))||(("Fork_342>=1")&&("Catch2_343>=1")))||(("Fork_347>=1")&&("Catch2_348>=1")))||(("Catch2_349>=1")&&("Fork_348>=1")))||(("Catch2_346>=1")&&("Fork_345>=1")))||(("Catch2_347>=1")&&("Fork_346>=1")))||(("Fork_335>=1")&&("Catch2_336>=1")))||(("Catch2_337>=1")&&("Fork_336>=1")))||(("Catch2_334>=1")&&("Fork_333>=1")))||(("Catch2_335>=1")&&("Fork_334>=1")))||(("Fork_339>=1")&&("Catch2_340>=1")))||(("Catch2_341>=1")&&("Fork_340>=1")))||(("Fork_337>=1")&&("Catch2_338>=1")))||(("Fork_338>=1")&&("Catch2_339>=1")))||(("Fork_358>=1")&&("Catch2_359>=1")))||(("Fork_357>=1")&&("Catch2_358>=1")))||(("Fork_360>=1")&&("Catch2_361>=1")))||(("Fork_359>=1")&&("Catch2_360>=1")))||(("Fork_362>=1")&&("Catch2_363>=1")))||(("Fork_361>=1")&&("Catch2_362>=1")))||(("Catch2_365>=1")&&("Fork_364>=1")))||(("Catch2_364>=1")&&("Fork_363>=1")))||(("Catch2_351>=1")&&("Fork_350>=1")))||(("Fork_349>=1")&&("Catch2_350>=1")))||(("Fork_352>=1")&&("Catch2_353>=1")))||(("Catch2_352>=1")&&("Fork_351>=1")))||(("Catch2_355>=1")&&("Fork_354>=1")))||(("Catch2_354>=1")&&("Fork_353>=1")))||(("Fork_356>=1")&&("Catch2_357>=1")))||(("Catch2_356>=1")&&("Fork_355>=1")))||(("Fork_373>=1")&&("Catch2_374>=1")))||(("Fork_374>=1")&&("Catch2_375>=1")))||(("Fork_375>=1")&&("Catch2_376>=1")))||(("Catch2_377>=1")&&("Fork_376>=1")))||(("Fork_377>=1")&&("Catch2_378>=1")))||(("Catch2_379>=1")&&("Fork_378>=1")))||(("Catch2_380>=1")&&("Fork_379>=1")))||(("Fork_380>=1")&&("Catch2_381>=1")))||(("Catch2_366>=1")&&("Fork_365>=1")))||(("Fork_366>=1")&&("Catch2_367>=1")))||(("Catch2_368>=1")&&("Fork_367>=1")))||(("Catch2_369>=1")&&("Fork_368>=1")))||(("Catch2_370>=1")&&("Fork_369>=1")))||(("Fork_370>=1")&&("Catch2_371>=1")))||(("Catch2_372>=1")&&("Fork_371>=1")))||(("Fork_372>=1")&&("Catch2_373>=1")))||(("Fork_530>=1")&&("Catch2_531>=1")))||(("Fork_529>=1")&&("Catch2_530>=1")))||(("Catch2_533>=1")&&("Fork_532>=1")))||(("Fork_531>=1")&&("Catch2_532>=1")))||(("Catch2_527>=1")&&("Fork_526>=1")))||(("Catch2_526>=1")&&("Fork_525>=1")))||(("Catch2_529>=1")&&("Fork_528>=1")))||(("Fork_527>=1")&&("Catch2_528>=1")))||(("Fork_538>=1")&&("Catch2_539>=1")))||(("Catch2_538>=1")&&("Fork_537>=1")))||(("Catch2_541>=1")&&("Fork_540>=1")))||(("Catch2_540>=1")&&("Fork_539>=1")))||(("Fork_534>=1")&&("Catch2_535>=1")))||(("Catch2_534>=1")&&("Fork_533>=1")))||(("Catch2_537>=1")&&("Fork_536>=1")))||(("Catch2_536>=1")&&("Fork_535>=1")))||(("Catch2_514>=1")&&("Fork_513>=1")))||(("Fork_514>=1")&&("Catch2_515>=1")))||(("Catch2_516>=1")&&("Fork_515>=1")))||(("Fork_516>=1")&&("Catch2_517>=1")))||(("Fork_509>=1")&&("Catch2_510>=1")))||(("Fork_510>=1")&&("Catch2_511>=1")))||(("Catch2_512>=1")&&("Fork_511>=1")))||(("Fork_512>=1")&&("Catch2_513>=1")))||(("Fork_521>=1")&&("Catch2_522>=1")))||(("Catch2_523>=1")&&("Fork_522>=1")))||(("Catch2_524>=1")&&("Fork_523>=1")))||(("Fork_524>=1")&&("Catch2_525>=1")))||(("Fork_517>=1")&&("Catch2_518>=1")))||(("Catch2_519>=1")&&("Fork_518>=1")))||(("Fork_519>=1")&&("Catch2_520>=1")))||(("Catch2_521>=1")&&("Fork_520>=1")))||(("Fork_564>=1")&&("Catch2_565>=1")))||(("Catch2_564>=1")&&("Fork_563>=1")))||(("Fork_562>=1")&&("Catch2_563>=1")))||(("Catch2_562>=1")&&("Fork_561>=1")))||(("Catch2_561>=1")&&("Fork_560>=1")))||(("Catch2_560>=1")&&("Fork_559>=1")))||(("Catch2_559>=1")&&("Fork_558>=1")))||(("Fork_557>=1")&&("Catch2_558>=1")))||(("Catch2_573>=1")&&("Fork_572>=1")))||(("Catch2_572>=1")&&("Fork_571>=1")))||(("Catch2_571>=1")&&("Fork_570>=1")))||(("Fork_569>=1")&&("Catch2_570>=1")))||(("Catch2_569>=1")&&("Fork_568>=1")))||(("Fork_567>=1")&&("Catch2_568>=1")))||(("Fork_566>=1")&&("Catch2_567>=1")))||(("Fork_565>=1")&&("Catch2_566>=1")))||(("Fork_547>=1")&&("Catch2_548>=1")))||(("Catch2_549>=1")&&("Fork_548>=1")))||(("Fork_545>=1")&&("Catch2_546>=1")))||(("Fork_546>=1")&&("Catch2_547>=1")))||(("Fork_543>=1")&&("Catch2_544>=1")))||(("Fork_544>=1")&&("Catch2_545>=1")))||(("Catch2_542>=1")&&("Fork_541>=1")))||(("Fork_542>=1")&&("Catch2_543>=1")))||(("Fork_555>=1")&&("Catch2_556>=1")))||(("Catch2_557>=1")&&("Fork_556>=1")))||(("Catch2_554>=1")&&("Fork_553>=1")))||(("Catch2_555>=1")&&("Fork_554>=1")))||(("Catch2_552>=1")&&("Fork_551>=1")))||(("Fork_552>=1")&&("Catch2_553>=1")))||(("Catch2_550>=1")&&("Fork_549>=1")))||(("Catch2_551>=1")&&("Fork_550>=1")))||(("Catch2_463>=1")&&("Fork_462>=1")))||(("Fork_461>=1")&&("Catch2_462>=1")))||(("Fork_464>=1")&&("Catch2_465>=1")))||(("Catch2_464>=1")&&("Fork_463>=1")))||(("Fork_466>=1")&&("Catch2_467>=1")))||(("Catch2_466>=1")&&("Fork_465>=1")))||(("Catch2_469>=1")&&("Fork_468>=1")))||(("Catch2_468>=1")&&("Fork_467>=1")))||(("Fork_470>=1")&&("Catch2_471>=1")))||(("Fork_469>=1")&&("Catch2_470>=1")))||(("Fork_472>=1")&&("Catch2_473>=1")))||(("Fork_471>=1")&&("Catch2_472>=1")))||(("Catch2_475>=1")&&("Fork_474>=1")))||(("Fork_473>=1")&&("Catch2_474>=1")))||(("Catch2_477>=1")&&("Fork_476>=1")))||(("Catch2_476>=1")&&("Fork_475>=1")))||(("Fork_445>=1")&&("Catch2_446>=1")))||(("Catch2_447>=1")&&("Fork_446>=1")))||(("Catch2_448>=1")&&("Fork_447>=1")))||(("Fork_448>=1")&&("Catch2_449>=1")))||(("Catch2_450>=1")&&("Fork_449>=1")))||(("Catch2_451>=1")&&("Fork_450>=1")))||(("Catch2_452>=1")&&("Fork_451>=1")))||(("Fork_452>=1")&&("Catch2_453>=1")))||(("Catch2_454>=1")&&("Fork_453>=1")))||(("Catch2_455>=1")&&("Fork_454>=1")))||(("Catch2_456>=1")&&("Fork_455>=1")))||(("Fork_456>=1")&&("Catch2_457>=1")))||(("Catch2_458>=1")&&("Fork_457>=1")))||(("Catch2_459>=1")&&("Fork_458>=1")))||(("Fork_459>=1")&&("Catch2_460>=1")))||(("Catch2_461>=1")&&("Fork_460>=1")))||(("Fork_496>=1")&&("Catch2_497>=1")))||(("Fork_495>=1")&&("Catch2_496>=1")))||(("Fork_494>=1")&&("Catch2_495>=1")))||(("Fork_493>=1")&&("Catch2_494>=1")))||(("Catch2_501>=1")&&("Fork_500>=1")))||(("Fork_499>=1")&&("Catch2_500>=1")))||(("Catch2_499>=1")&&("Fork_498>=1")))||(("Fork_497>=1")&&("Catch2_498>=1")))||(("Fork_504>=1")&&("Catch2_505>=1")))||(("Catch2_504>=1")&&("Fork_503>=1")))||(("Catch2_503>=1")&&("Fork_502>=1")))||(("Catch2_502>=1")&&("Fork_501>=1")))||(("Fork_508>=1")&&("Catch2_509>=1")))||(("Fork_507>=1")&&("Catch2_508>=1")))||(("Fork_506>=1")&&("Catch2_507>=1")))||(("Catch2_506>=1")&&("Fork_505>=1")))||(("Fork_479>=1")&&("Catch2_480>=1")))||(("Catch2_481>=1")&&("Fork_480>=1")))||(("Catch2_478>=1")&&("Fork_477>=1")))||(("Catch2_479>=1")&&("Fork_478>=1")))||(("Fork_483>=1")&&("Catch2_484>=1")))||(("Catch2_485>=1")&&("Fork_484>=1")))||(("Fork_481>=1")&&("Catch2_482>=1")))||(("Catch2_483>=1")&&("Fork_482>=1")))||(("Catch2_488>=1")&&("Fork_487>=1")))||(("Catch2_489>=1")&&("Fork_488>=1")))||(("Catch2_486>=1")&&("Fork_485>=1")))||(("Fork_486>=1")&&("Catch2_487>=1")))||(("Fork_491>=1")&&("Catch2_492>=1")))||(("Catch2_493>=1")&&("Fork_492>=1")))||(("Catch2_490>=1")&&("Fork_489>=1")))||(("Fork_490>=1")&&("Catch2_491>=1")))||(("Fork_665>=1")&&("Catch2_666>=1")))||(("Catch2_667>=1")&&("Fork_666>=1")))||(("Fork_667>=1")&&("Catch2_668>=1")))||(("Fork_668>=1")&&("Catch2_669>=1")))||(("Fork_661>=1")&&("Catch2_662>=1")))||(("Fork_662>=1")&&("Catch2_663>=1")))||(("Fork_663>=1")&&("Catch2_664>=1")))||(("Fork_664>=1")&&("Catch2_665>=1")))||(("Catch2_658>=1")&&("Fork_657>=1")))||(("Fork_658>=1")&&("Catch2_659>=1")))||(("Catch2_660>=1")&&("Fork_659>=1")))||(("Catch2_661>=1")&&("Fork_660>=1")))||(("Fork_653>=1")&&("Catch2_654>=1")))||(("Catch2_655>=1")&&("Fork_654>=1")))||(("Catch2_656>=1")&&("Fork_655>=1")))||(("Fork_656>=1")&&("Catch2_657>=1")))||(("Catch2_651>=1")&&("Fork_650>=1")))||(("Catch2_650>=1")&&("Fork_649>=1")))||(("Catch2_653>=1")&&("Fork_652>=1")))||(("Fork_651>=1")&&("Catch2_652>=1")))||(("Catch2_647>=1")&&("Fork_646>=1")))||(("Catch2_646>=1")&&("Fork_645>=1")))||(("Fork_648>=1")&&("Catch2_649>=1")))||(("Catch2_648>=1")&&("Fork_647>=1")))||(("Fork_642>=1")&&("Catch2_643>=1")))||(("Fork_641>=1")&&("Catch2_642>=1")))||(("Fork_644>=1")&&("Catch2_645>=1")))||(("Fork_643>=1")&&("Catch2_644>=1")))||(("Fork_638>=1")&&("Catch2_639>=1")))||(("Catch2_638>=1")&&("Fork_637>=1")))||(("Catch2_641>=1")&&("Fork_640>=1")))||(("Fork_639>=1")&&("Catch2_640>=1")))||(("Fork_699>=1")&&("Catch2_700>=1")))||(("Fork_700>=1")&&("Catch2_701>=1")))||(("Catch2_698>=1")&&("Fork_697>=1")))||(("Fork_698>=1")&&("Catch2_699>=1")))||(("Catch2_696>=1")&&("Fork_695>=1")))||(("Fork_696>=1")&&("Catch2_697>=1")))||(("Catch2_694>=1")&&("Fork_693>=1")))||(("Catch2_695>=1")&&("Fork_694>=1")))||(("Fork_691>=1")&&("Catch2_692>=1")))||(("Catch2_693>=1")&&("Fork_692>=1")))||(("Fork_689>=1")&&("Catch2_690>=1")))||(("Catch2_691>=1")&&("Fork_690>=1")))||(("Fork_687>=1")&&("Catch2_688>=1")))||(("Fork_688>=1")&&("Catch2_689>=1")))||(("Catch2_686>=1")&&("Fork_685>=1")))||(("Fork_686>=1")&&("Catch2_687>=1")))||(("Fork_684>=1")&&("Catch2_685>=1")))||(("Catch2_684>=1")&&("Fork_683>=1")))||(("Fork_682>=1")&&("Catch2_683>=1")))||(("Fork_681>=1")&&("Catch2_682>=1")))||(("Catch2_681>=1")&&("Fork_680>=1")))||(("Fork_679>=1")&&("Catch2_680>=1")))||(("Fork_678>=1")&&("Catch2_679>=1")))||(("Fork_677>=1")&&("Catch2_678>=1")))||(("Fork_676>=1")&&("Catch2_677>=1")))||(("Catch2_676>=1")&&("Fork_675>=1")))||(("Catch2_675>=1")&&("Fork_674>=1")))||(("Catch2_674>=1")&&("Fork_673>=1")))||(("Catch2_673>=1")&&("Fork_672>=1")))||(("Catch2_672>=1")&&("Fork_671>=1")))||(("Catch2_671>=1")&&("Fork_670>=1")))||(("Fork_669>=1")&&("Catch2_670>=1")))||(("Catch2_598>=1")&&("Fork_597>=1")))||(("Catch2_599>=1")&&("Fork_598>=1")))||(("Catch2_600>=1")&&("Fork_599>=1")))||(("Fork_600>=1")&&("Catch2_601>=1")))||(("Catch2_602>=1")&&("Fork_601>=1")))||(("Fork_602>=1")&&("Catch2_603>=1")))||(("Fork_603>=1")&&("Catch2_604>=1")))||(("Fork_604>=1")&&("Catch2_605>=1")))||(("Catch2_590>=1")&&("Fork_589>=1")))||(("Fork_590>=1")&&("Catch2_591>=1")))||(("Fork_591>=1")&&("Catch2_592>=1")))||(("Fork_592>=1")&&("Catch2_593>=1")))||(("Fork_593>=1")&&("Catch2_594>=1")))||(("Catch2_595>=1")&&("Fork_594>=1")))||(("Fork_595>=1")&&("Catch2_596>=1")))||(("Fork_596>=1")&&("Catch2_597>=1")))||(("Fork_582>=1")&&("Catch2_583>=1")))||(("Fork_581>=1")&&("Catch2_582>=1")))||(("Fork_584>=1")&&("Catch2_585>=1")))||(("Fork_583>=1")&&("Catch2_584>=1")))||(("Fork_586>=1")&&("Catch2_587>=1")))||(("Fork_585>=1")&&("Catch2_586>=1")))||(("Fork_588>=1")&&("Catch2_589>=1")))||(("Catch2_588>=1")&&("Fork_587>=1")))||(("Catch2_575>=1")&&("Fork_574>=1")))||(("Catch2_574>=1")&&("Fork_573>=1")))||(("Catch2_577>=1")&&("Fork_576>=1")))||(("Fork_575>=1")&&("Catch2_576>=1")))||(("Catch2_579>=1")&&("Fork_578>=1")))||(("Fork_577>=1")&&("Catch2_578>=1")))||(("Catch2_581>=1")&&("Fork_580>=1")))||(("Fork_579>=1")&&("Catch2_580>=1")))||(("Fork_631>=1")&&("Catch2_632>=1")))||(("Catch2_633>=1")&&("Fork_632>=1")))||(("Fork_629>=1")&&("Catch2_630>=1")))||(("Catch2_631>=1")&&("Fork_630>=1")))||(("Catch2_636>=1")&&("Fork_635>=1")))||(("Catch2_637>=1")&&("Fork_636>=1")))||(("Fork_633>=1")&&("Catch2_634>=1")))||(("Fork_634>=1")&&("Catch2_635>=1")))||(("Catch2_624>=1")&&("Fork_623>=1")))||(("Catch2_625>=1")&&("Fork_624>=1")))||(("Catch2_622>=1")&&("Fork_621>=1")))||(("Catch2_623>=1")&&("Fork_622>=1")))||(("Catch2_628>=1")&&("Fork_627>=1")))||(("Catch2_629>=1")&&("Fork_628>=1")))||(("Catch2_626>=1")&&("Fork_625>=1")))||(("Catch2_627>=1")&&("Fork_626>=1")))||(("Catch2_617>=1")&&("Fork_616>=1")))||(("Fork_615>=1")&&("Catch2_616>=1")))||(("Catch2_615>=1")&&("Fork_614>=1")))||(("Fork_613>=1")&&("Catch2_614>=1")))||(("Fork_620>=1")&&("Catch2_621>=1")))||(("Catch2_620>=1")&&("Fork_619>=1")))||(("Catch2_619>=1")&&("Fork_618>=1")))||(("Fork_617>=1")&&("Catch2_618>=1")))||(("Catch2_609>=1")&&("Fork_608>=1")))||(("Catch2_608>=1")&&("Fork_607>=1")))||(("Fork_606>=1")&&("Catch2_607>=1")))||(("Fork_605>=1")&&("Catch2_606>=1")))||(("Catch2_613>=1")&&("Fork_612>=1")))||(("Catch2_612>=1")&&("Fork_611>=1")))||(("Fork_610>=1")&&("Catch2_611>=1")))||(("Catch2_610>=1")&&("Fork_609>=1")))||(("Fork_127>=1")&&("Catch2_128>=1")))||(("Fork_128>=1")&&("Catch2_129>=1")))||(("Catch2_126>=1")&&("Fork_125>=1")))||(("Fork_126>=1")&&("Catch2_127>=1")))||(("Fork_131>=1")&&("Catch2_132>=1")))||(("Catch2_133>=1")&&("Fork_132>=1")))||(("Fork_129>=1")&&("Catch2_130>=1")))||(("Fork_130>=1")&&("Catch2_131>=1")))||(("Catch2_136>=1")&&("Fork_135>=1")))||(("Catch2_137>=1")&&("Fork_136>=1")))||(("Catch2_134>=1")&&("Fork_133>=1")))||(("Catch2_135>=1")&&("Fork_134>=1")))||(("Fork_139>=1")&&("Catch2_140>=1")))||(("Fork_140>=1")&&("Catch2_141>=1")))||(("Catch2_138>=1")&&("Fork_137>=1")))||(("Catch2_139>=1")&&("Fork_138>=1")))||(("Catch2_145>=1")&&("Fork_144>=1")))||(("Catch2_144>=1")&&("Fork_143>=1")))||(("Catch2_143>=1")&&("Fork_142>=1")))||(("Fork_141>=1")&&("Catch2_142>=1")))||(("Catch2_149>=1")&&("Fork_148>=1")))||(("Catch2_148>=1")&&("Fork_147>=1")))||(("Fork_146>=1")&&("Catch2_147>=1")))||(("Catch2_146>=1")&&("Fork_145>=1")))||(("Catch2_153>=1")&&("Fork_152>=1")))||(("Fork_151>=1")&&("Catch2_152>=1")))||(("Fork_150>=1")&&("Catch2_151>=1")))||(("Fork_149>=1")&&("Catch2_150>=1")))||(("Catch2_157>=1")&&("Fork_156>=1")))||(("Fork_155>=1")&&("Catch2_156>=1")))||(("Catch2_155>=1")&&("Fork_154>=1")))||(("Fork_153>=1")&&("Catch2_154>=1")))||(("Fork_157>=1")&&("Catch2_158>=1")))||(("Catch2_159>=1")&&("Fork_158>=1")))||(("Catch2_160>=1")&&("Fork_159>=1")))||(("Fork_160>=1")&&("Catch2_161>=1")))||(("Catch2_162>=1")&&("Fork_161>=1")))||(("Catch2_163>=1")&&("Fork_162>=1")))||(("Catch2_164>=1")&&("Fork_163>=1")))||(("Catch2_165>=1")&&("Fork_164>=1")))||(("Fork_165>=1")&&("Catch2_166>=1")))||(("Fork_166>=1")&&("Catch2_167>=1")))||(("Fork_167>=1")&&("Catch2_168>=1")))||(("Fork_168>=1")&&("Catch2_169>=1")))||(("Fork_169>=1")&&("Catch2_170>=1")))||(("Fork_170>=1")&&("Catch2_171>=1")))||(("Catch2_172>=1")&&("Fork_171>=1")))||(("Catch2_173>=1")&&("Fork_172>=1")))||(("Fork_174>=1")&&("Catch2_175>=1")))||(("Catch2_174>=1")&&("Fork_173>=1")))||(("Catch2_177>=1")&&("Fork_176>=1")))||(("Fork_175>=1")&&("Catch2_176>=1")))||(("Catch2_179>=1")&&("Fork_178>=1")))||(("Fork_177>=1")&&("Catch2_178>=1")))||(("Catch2_181>=1")&&("Fork_180>=1")))||(("Fork_179>=1")&&("Catch2_180>=1")))||(("Catch2_183>=1")&&("Fork_182>=1")))||(("Catch2_182>=1")&&("Fork_181>=1")))||(("Catch2_185>=1")&&("Fork_184>=1")))||(("Catch2_184>=1")&&("Fork_183>=1")))||(("Fork_186>=1")&&("Catch2_187>=1")))||(("Catch2_186>=1")&&("Fork_185>=1")))||(("Catch2_189>=1")&&("Fork_188>=1")))||(("Fork_187>=1")&&("Catch2_188>=1")))||(("Fork_67>=1")&&("Catch2_68>=1")))||(("Fork_68>=1")&&("Catch2_69>=1")))||(("Fork_65>=1")&&("Catch2_66>=1")))||(("Catch2_67>=1")&&("Fork_66>=1")))||(("Fork_63>=1")&&("Catch2_64>=1")))||(("Fork_64>=1")&&("Catch2_65>=1")))||(("Catch2_62>=1")&&("Fork_61>=1")))||(("Catch2_63>=1")&&("Fork_62>=1")))||(("Catch2_76>=1")&&("Fork_75>=1")))||(("Fork_76>=1")&&("Catch2_77>=1")))||(("Fork_73>=1")&&("Catch2_74>=1")))||(("Fork_74>=1")&&("Catch2_75>=1")))||(("Fork_71>=1")&&("Catch2_72>=1")))||(("Catch2_73>=1")&&("Fork_72>=1")))||(("Fork_69>=1")&&("Catch2_70>=1")))||(("Fork_70>=1")&&("Catch2_71>=1")))||(("Catch2_85>=1")&&("Fork_84>=1")))||(("Fork_83>=1")&&("Catch2_84>=1")))||(("Catch2_83>=1")&&("Fork_82>=1")))||(("Fork_81>=1")&&("Catch2_82>=1")))||(("Catch2_81>=1")&&("Fork_80>=1")))||(("Fork_79>=1")&&("Catch2_80>=1")))||(("Fork_78>=1")&&("Catch2_79>=1")))||(("Catch2_78>=1")&&("Fork_77>=1")))||(("Fork_92>=1")&&("Catch2_93>=1")))||(("Fork_91>=1")&&("Catch2_92>=1")))||(("Fork_90>=1")&&("Catch2_91>=1")))||(("Catch2_90>=1")&&("Fork_89>=1")))||(("Catch2_89>=1")&&("Fork_88>=1")))||(("Catch2_88>=1")&&("Fork_87>=1")))||(("Catch2_87>=1")&&("Fork_86>=1")))||(("Catch2_86>=1")&&("Fork_85>=1")))||(("Catch2_98>=1")&&("Fork_97>=1")))||(("Fork_98>=1")&&("Catch2_99>=1")))||(("Catch2_100>=1")&&("Fork_99>=1")))||(("Fork_100>=1")&&("Catch2_101>=1")))||(("Fork_93>=1")&&("Catch2_94>=1")))||(("Fork_94>=1")&&("Catch2_95>=1")))||(("Catch2_96>=1")&&("Fork_95>=1")))||(("Fork_96>=1")&&("Catch2_97>=1")))||(("Fork_105>=1")&&("Catch2_106>=1")))||(("Catch2_107>=1")&&("Fork_106>=1")))||(("Catch2_108>=1")&&("Fork_107>=1")))||(("Fork_108>=1")&&("Catch2_109>=1")))||(("Fork_101>=1")&&("Catch2_102>=1")))||(("Catch2_103>=1")&&("Fork_102>=1")))||(("Fork_103>=1")&&("Catch2_104>=1")))||(("Fork_104>=1")&&("Catch2_105>=1")))||(("Catch2_115>=1")&&("Fork_114>=1")))||(("Catch2_114>=1")&&("Fork_113>=1")))||(("Catch2_117>=1")&&("Fork_116>=1")))||(("Catch2_116>=1")&&("Fork_115>=1")))||(("Catch2_111>=1")&&("Fork_110>=1")))||(("Catch2_110>=1")&&("Fork_109>=1")))||(("Fork_112>=1")&&("Catch2_113>=1")))||(("Catch2_112>=1")&&("Fork_111>=1")))||(("Fork_122>=1")&&("Catch2_123>=1")))||(("Fork_121>=1")&&("Catch2_122>=1")))||(("Fork_124>=1")&&("Catch2_125>=1")))||(("Catch2_124>=1")&&("Fork_123>=1")))||(("Catch2_119>=1")&&("Fork_118>=1")))||(("Fork_117>=1")&&("Catch2_118>=1")))||(("Fork_120>=1")&&("Catch2_121>=1")))||(("Fork_119>=1")&&("Catch2_120>=1")))||(("Fork_8>=1")&&("Catch2_9>=1")))||(("Fork_7>=1")&&("Catch2_8>=1")))||(("Catch2_7>=1")&&("Fork_6>=1")))||(("Fork_5>=1")&&("Catch2_6>=1")))||(("Fork_12>=1")&&("Catch2_13>=1")))||(("Catch2_12>=1")&&("Fork_11>=1")))||(("Catch2_11>=1")&&("Fork_10>=1")))||(("Fork_9>=1")&&("Catch2_10>=1")))||(("Catch2_1>=1")&&("Fork_1000>=1")))||(("Fork_4>=1")&&("Catch2_5>=1")))||(("Catch2_4>=1")&&("Fork_3>=1")))||(("Fork_2>=1")&&("Catch2_3>=1")))||(("Catch2_2>=1")&&("Fork_1>=1")))||(("Catch2_24>=1")&&("Fork_23>=1")))||(("Fork_24>=1")&&("Catch2_25>=1")))||(("Catch2_22>=1")&&("Fork_21>=1")))||(("Fork_22>=1")&&("Catch2_23>=1")))||(("Catch2_28>=1")&&("Fork_27>=1")))||(("Catch2_29>=1")&&("Fork_28>=1")))||(("Catch2_26>=1")&&("Fork_25>=1")))||(("Fork_26>=1")&&("Catch2_27>=1")))||(("Fork_15>=1")&&("Catch2_16>=1")))||(("Fork_16>=1")&&("Catch2_17>=1")))||(("Catch2_14>=1")&&("Fork_13>=1")))||(("Catch2_15>=1")&&("Fork_14>=1")))||(("Fork_19>=1")&&("Catch2_20>=1")))||(("Fork_20>=1")&&("Catch2_21>=1")))||(("Fork_17>=1")&&("Catch2_18>=1")))||(("Fork_18>=1")&&("Catch2_19>=1")))||(("Catch2_39>=1")&&("Fork_38>=1")))||(("Catch2_38>=1")&&("Fork_37>=1")))||(("Catch2_41>=1")&&("Fork_40>=1")))||(("Catch2_40>=1")&&("Fork_39>=1")))||(("Catch2_43>=1")&&("Fork_42>=1")))||(("Catch2_42>=1")&&("Fork_41>=1")))||(("Catch2_45>=1")&&("Fork_44>=1")))||(("Fork_43>=1")&&("Catch2_44>=1")))||(("Fork_30>=1")&&("Catch2_31>=1")))||(("Catch2_30>=1")&&("Fork_29>=1")))||(("Catch2_33>=1")&&("Fork_32>=1")))||(("Fork_31>=1")&&("Catch2_32>=1")))||(("Fork_34>=1")&&("Catch2_35>=1")))||(("Fork_33>=1")&&("Catch2_34>=1")))||(("Fork_36>=1")&&("Catch2_37>=1")))||(("Fork_35>=1")&&("Catch2_36>=1")))||(("Fork_53>=1")&&("Catch2_54>=1")))||(("Fork_54>=1")&&("Catch2_55>=1")))||(("Fork_55>=1")&&("Catch2_56>=1")))||(("Fork_56>=1")&&("Catch2_57>=1")))||(("Fork_57>=1")&&("Catch2_58>=1")))||(("Catch2_59>=1")&&("Fork_58>=1")))||(("Catch2_60>=1")&&("Fork_59>=1")))||(("Catch2_61>=1")&&("Fork_60>=1")))||(("Fork_45>=1")&&("Catch2_46>=1")))||(("Catch2_47>=1")&&("Fork_46>=1")))||(("Catch2_48>=1")&&("Fork_47>=1")))||(("Fork_48>=1")&&("Catch2_49>=1")))||(("Catch2_50>=1")&&("Fork_49>=1")))||(("Fork_50>=1")&&("Catch2_51>=1")))||(("Catch2_52>=1")&&("Fork_51>=1")))||(("Catch2_53>=1")&&("Fork_52>=1"))))))
Formula 0 simplified : !GX(("Catch2_798>=1" & "Fork_797>=1") | ("Catch2_799>=1" & "Fork_798>=1") | ("Catch2_800>=1" & "Fork_799>=1") | ("Catch2_801>=1" & "Fork_800>=1") | ("Catch2_802>=1" & "Fork_801>=1") | ("Catch2_803>=1" & "Fork_802>=1") | ("Catch2_804>=1" & "Fork_803>=1") | ("Catch2_805>=1" & "Fork_804>=1") | ("Catch2_806>=1" & "Fork_805>=1") | ("Catch2_807>=1" & "Fork_806>=1") | ("Catch2_808>=1" & "Fork_807>=1") | ("Catch2_809>=1" & "Fork_808>=1") | ("Catch2_810>=1" & "Fork_809>=1") | ("Catch2_811>=1" & "Fork_810>=1") | ("Catch2_812>=1" & "Fork_811>=1") | ("Catch2_813>=1" & "Fork_812>=1") | ("Catch2_815>=1" & "Fork_814>=1") | ("Catch2_814>=1" & "Fork_813>=1") | ("Catch2_817>=1" & "Fork_816>=1") | ("Catch2_816>=1" & "Fork_815>=1") | ("Catch2_819>=1" & "Fork_818>=1") | ("Catch2_818>=1" & "Fork_817>=1") | ("Catch2_821>=1" & "Fork_820>=1") | ("Catch2_820>=1" & "Fork_819>=1") | ("Catch2_823>=1" & "Fork_822>=1") | ("Catch2_822>=1" & "Fork_821>=1") | ("Catch2_825>=1" & "Fork_824>=1") | ("Catch2_824>=1" & "Fork_823>=1") | ("Catch2_827>=1" & "Fork_826>=1") | ("Catch2_826>=1" & "Fork_825>=1") | ("Catch2_829>=1" & "Fork_828>=1") | ("Catch2_828>=1" & "Fork_827>=1") | ("Catch2_768>=1" & "Fork_767>=1") | ("Catch2_769>=1" & "Fork_768>=1") | ("Catch2_766>=1" & "Fork_765>=1") | ("Catch2_767>=1" & "Fork_766>=1") | ("Catch2_772>=1" & "Fork_771>=1") | ("Catch2_773>=1" & "Fork_772>=1") | ("Catch2_770>=1" & "Fork_769>=1") | ("Catch2_771>=1" & "Fork_770>=1") | ("Catch2_776>=1" & "Fork_775>=1") | ("Catch2_777>=1" & "Fork_776>=1") | ("Catch2_774>=1" & "Fork_773>=1") | ("Catch2_775>=1" & "Fork_774>=1") | ("Catch2_780>=1" & "Fork_779>=1") | ("Catch2_781>=1" & "Fork_780>=1") | ("Catch2_778>=1" & "Fork_777>=1") | ("Catch2_779>=1" & "Fork_778>=1") | ("Catch2_785>=1" & "Fork_784>=1") | ("Catch2_784>=1" & "Fork_783>=1") | ("Catch2_783>=1" & "Fork_782>=1") | ("Catch2_782>=1" & "Fork_781>=1") | ("Catch2_789>=1" & "Fork_788>=1") | ("Catch2_788>=1" & "Fork_787>=1") | ("Catch2_787>=1" & "Fork_786>=1") | ("Catch2_786>=1" & "Fork_785>=1") | ("Catch2_793>=1" & "Fork_792>=1") | ("Catch2_792>=1" & "Fork_791>=1") | ("Catch2_791>=1" & "Fork_790>=1") | ("Catch2_790>=1" & "Fork_789>=1") | ("Catch2_797>=1" & "Fork_796>=1") | ("Catch2_796>=1" & "Fork_795>=1") | ("Catch2_795>=1" & "Fork_794>=1") | ("Catch2_794>=1" & "Fork_793>=1") | ("Catch2_738>=1" & "Fork_737>=1") | ("Catch2_739>=1" & "Fork_738>=1") | ("Catch2_740>=1" & "Fork_739>=1") | ("Catch2_741>=1" & "Fork_740>=1") | ("Catch2_734>=1" & "Fork_733>=1") | ("Catch2_735>=1" & "Fork_734>=1") | ("Catch2_736>=1" & "Fork_735>=1") | ("Catch2_737>=1" & "Fork_736>=1") | ("Catch2_746>=1" & "Fork_745>=1") | ("Catch2_747>=1" & "Fork_746>=1") | ("Catch2_748>=1" & "Fork_747>=1") | ("Catch2_749>=1" & "Fork_748>=1") | ("Catch2_742>=1" & "Fork_741>=1") | ("Catch2_743>=1" & "Fork_742>=1") | ("Catch2_744>=1" & "Fork_743>=1") | ("Catch2_745>=1" & "Fork_744>=1") | ("Catch2_755>=1" & "Fork_754>=1") | ("Catch2_754>=1" & "Fork_753>=1") | ("Catch2_757>=1" & "Fork_756>=1") | ("Catch2_756>=1" & "Fork_755>=1") | ("Catch2_751>=1" & "Fork_750>=1") | ("Catch2_750>=1" & "Fork_749>=1") | ("Catch2_753>=1" & "Fork_752>=1") | ("Catch2_752>=1" & "Fork_751>=1") | ("Catch2_763>=1" & "Fork_762>=1") | ("Catch2_762>=1" & "Fork_761>=1") | ("Catch2_765>=1" & "Fork_764>=1") | ("Catch2_764>=1" & "Fork_763>=1") | ("Catch2_759>=1" & "Fork_758>=1") | ("Catch2_758>=1" & "Fork_757>=1") | ("Catch2_761>=1" & "Fork_760>=1") | ("Catch2_760>=1" & "Fork_759>=1") | ("Catch2_708>=1" & "Fork_707>=1") | ("Catch2_709>=1" & "Fork_708>=1") | ("Catch2_706>=1" & "Fork_705>=1") | ("Catch2_707>=1" & "Fork_706>=1") | ("Catch2_704>=1" & "Fork_703>=1") | ("Catch2_705>=1" & "Fork_704>=1") | ("Catch2_702>=1" & "Fork_701>=1") | ("Catch2_703>=1" & "Fork_702>=1") | ("Catch2_716>=1" & "Fork_715>=1") | ("Catch2_717>=1" & "Fork_716>=1") | ("Catch2_714>=1" & "Fork_713>=1") | ("Catch2_715>=1" & "Fork_714>=1") | ("Catch2_712>=1" & "Fork_711>=1") | ("Catch2_713>=1" & "Fork_712>=1") | ("Catch2_710>=1" & "Fork_709>=1") | ("Catch2_711>=1" & "Fork_710>=1") | ("Catch2_725>=1" & "Fork_724>=1") | ("Catch2_724>=1" & "Fork_723>=1") | ("Catch2_723>=1" & "Fork_722>=1") | ("Catch2_722>=1" & "Fork_721>=1") | ("Catch2_721>=1" & "Fork_720>=1") | ("Catch2_720>=1" & "Fork_719>=1") | ("Catch2_719>=1" & "Fork_718>=1") | ("Catch2_718>=1" & "Fork_717>=1") | ("Catch2_733>=1" & "Fork_732>=1") | ("Catch2_732>=1" & "Fork_731>=1") | ("Catch2_731>=1" & "Fork_730>=1") | ("Catch2_730>=1" & "Fork_729>=1") | ("Catch2_729>=1" & "Fork_728>=1") | ("Catch2_728>=1" & "Fork_727>=1") | ("Catch2_727>=1" & "Fork_726>=1") | ("Catch2_726>=1" & "Fork_725>=1") | ("Catch2_935>=1" & "Fork_934>=1") | ("Catch2_934>=1" & "Fork_933>=1") | ("Catch2_937>=1" & "Fork_936>=1") | ("Catch2_936>=1" & "Fork_935>=1") | ("Catch2_939>=1" & "Fork_938>=1") | ("Catch2_938>=1" & "Fork_937>=1") | ("Catch2_941>=1" & "Fork_940>=1") | ("Catch2_940>=1" & "Fork_939>=1") | ("Catch2_927>=1" & "Fork_926>=1") | ("Catch2_926>=1" & "Fork_925>=1") | ("Catch2_929>=1" & "Fork_928>=1") | ("Catch2_928>=1" & "Fork_927>=1") | ("Catch2_931>=1" & "Fork_930>=1") | ("Catch2_930>=1" & "Fork_929>=1") | ("Catch2_933>=1" & "Fork_932>=1") | ("Catch2_932>=1" & "Fork_931>=1") | ("Catch2_950>=1" & "Fork_949>=1") | ("Catch2_951>=1" & "Fork_950>=1") | ("Catch2_952>=1" & "Fork_951>=1") | ("Catch2_953>=1" & "Fork_952>=1") | ("Catch2_954>=1" & "Fork_953>=1") | ("Catch2_955>=1" & "Fork_954>=1") | ("Catch2_956>=1" & "Fork_955>=1") | ("Catch2_957>=1" & "Fork_956>=1") | ("Catch2_942>=1" & "Fork_941>=1") | ("Catch2_943>=1" & "Fork_942>=1") | ("Catch2_944>=1" & "Fork_943>=1") | ("Catch2_945>=1" & "Fork_944>=1") | ("Catch2_946>=1" & "Fork_945>=1") | ("Catch2_947>=1" & "Fork_946>=1") | ("Catch2_948>=1" & "Fork_947>=1") | ("Catch2_949>=1" & "Fork_948>=1") | ("Catch2_905>=1" & "Fork_904>=1") | ("Catch2_904>=1" & "Fork_903>=1") | ("Catch2_903>=1" & "Fork_902>=1") | ("Catch2_902>=1" & "Fork_901>=1") | ("Catch2_909>=1" & "Fork_908>=1") | ("Catch2_908>=1" & "Fork_907>=1") | ("Catch2_907>=1" & "Fork_906>=1") | ("Catch2_906>=1" & "Fork_905>=1") | ("Catch2_897>=1" & "Fork_896>=1") | ("Catch2_896>=1" & "Fork_895>=1") | ("Catch2_895>=1" & "Fork_894>=1") | ("Catch2_894>=1" & "Fork_893>=1") | ("Catch2_901>=1" & "Fork_900>=1") | ("Catch2_900>=1" & "Fork_899>=1") | ("Catch2_899>=1" & "Fork_898>=1") | ("Catch2_898>=1" & "Fork_897>=1") | ("Catch2_920>=1" & "Fork_919>=1") | ("Catch2_921>=1" & "Fork_920>=1") | ("Catch2_918>=1" & "Fork_917>=1") | ("Catch2_919>=1" & "Fork_918>=1") | ("Catch2_924>=1" & "Fork_923>=1") | ("Catch2_925>=1" & "Fork_924>=1") | ("Catch2_922>=1" & "Fork_921>=1") | ("Catch2_923>=1" & "Fork_922>=1") | ("Catch2_912>=1" & "Fork_911>=1") | ("Catch2_913>=1" & "Fork_912>=1") | ("Catch2_910>=1" & "Fork_909>=1") | ("Catch2_911>=1" & "Fork_910>=1") | ("Catch2_916>=1" & "Fork_915>=1") | ("Catch2_917>=1" & "Fork_916>=1") | ("Catch2_914>=1" & "Fork_913>=1") | ("Catch2_915>=1" & "Fork_914>=1") | ("Catch2_875>=1" & "Fork_874>=1") | ("Catch2_874>=1" & "Fork_873>=1") | ("Catch2_877>=1" & "Fork_876>=1") | ("Catch2_876>=1" & "Fork_875>=1") | ("Catch2_871>=1" & "Fork_870>=1") | ("Catch2_870>=1" & "Fork_869>=1") | ("Catch2_873>=1" & "Fork_872>=1") | ("Catch2_872>=1" & "Fork_871>=1") | ("Catch2_867>=1" & "Fork_866>=1") | ("Catch2_866>=1" & "Fork_865>=1") | ("Catch2_869>=1" & "Fork_868>=1") | ("Catch2_868>=1" & "Fork_867>=1") | ("Catch2_863>=1" & "Fork_862>=1") | ("Catch2_862>=1" & "Fork_861>=1") | ("Catch2_865>=1" & "Fork_864>=1") | ("Catch2_864>=1" & "Fork_863>=1") | ("Catch2_890>=1" & "Fork_889>=1") | ("Catch2_891>=1" & "Fork_890>=1") | ("Catch2_892>=1" & "Fork_891>=1") | ("Catch2_893>=1" & "Fork_892>=1") | ("Catch2_886>=1" & "Fork_885>=1") | ("Catch2_887>=1" & "Fork_886>=1") | ("Catch2_888>=1" & "Fork_887>=1") | ("Catch2_889>=1" & "Fork_888>=1") | ("Catch2_882>=1" & "Fork_881>=1") | ("Catch2_883>=1" & "Fork_882>=1") | ("Catch2_884>=1" & "Fork_883>=1") | ("Catch2_885>=1" & "Fork_884>=1") | ("Catch2_878>=1" & "Fork_877>=1") | ("Catch2_879>=1" & "Fork_878>=1") | ("Catch2_880>=1" & "Fork_879>=1") | ("Catch2_881>=1" & "Fork_880>=1") | ("Catch2_845>=1" & "Fork_844>=1") | ("Catch2_844>=1" & "Fork_843>=1") | ("Catch2_843>=1" & "Fork_842>=1") | ("Catch2_842>=1" & "Fork_841>=1") | ("Catch2_841>=1" & "Fork_840>=1") | ("Catch2_840>=1" & "Fork_839>=1") | ("Catch2_839>=1" & "Fork_838>=1") | ("Catch2_838>=1" & "Fork_837>=1") | ("Catch2_837>=1" & "Fork_836>=1") | ("Catch2_836>=1" & "Fork_835>=1") | ("Catch2_835>=1" & "Fork_834>=1") | ("Catch2_834>=1" & "Fork_833>=1") | ("Catch2_833>=1" & "Fork_832>=1") | ("Catch2_832>=1" & "Fork_831>=1") | ("Catch2_831>=1" & "Fork_830>=1") | ("Catch2_830>=1" & "Fork_829>=1") | ("Catch2_860>=1" & "Fork_859>=1") | ("Catch2_861>=1" & "Fork_860>=1") | ("Catch2_858>=1" & "Fork_857>=1") | ("Catch2_859>=1" & "Fork_858>=1") | ("Catch2_856>=1" & "Fork_855>=1") | ("Catch2_857>=1" & "Fork_856>=1") | ("Catch2_854>=1" & "Fork_853>=1") | ("Catch2_855>=1" & "Fork_854>=1") | ("Catch2_852>=1" & "Fork_851>=1") | ("Catch2_853>=1" & "Fork_852>=1") | ("Catch2_850>=1" & "Fork_849>=1") | ("Catch2_851>=1" & "Fork_850>=1") | ("Catch2_848>=1" & "Fork_847>=1") | ("Catch2_849>=1" & "Fork_848>=1") | ("Catch2_846>=1" & "Fork_845>=1") | ("Catch2_847>=1" & "Fork_846>=1") | ("Catch2_996>=1" & "Fork_995>=1") | ("Catch2_997>=1" & "Fork_996>=1") | ("Catch2_994>=1" & "Fork_993>=1") | ("Catch2_995>=1" & "Fork_994>=1") | ("Catch2_992>=1" & "Fork_991>=1") | ("Catch2_993>=1" & "Fork_992>=1") | ("Catch2_990>=1" & "Fork_989>=1") | ("Catch2_991>=1" & "Fork_990>=1") | ("Catch2_1000>=1" & "Fork_999>=1") | ("Catch2_998>=1" & "Fork_997>=1") | ("Catch2_999>=1" & "Fork_998>=1") | ("Catch2_979>=1" & "Fork_978>=1") | ("Catch2_978>=1" & "Fork_977>=1") | ("Catch2_981>=1" & "Fork_980>=1") | ("Catch2_980>=1" & "Fork_979>=1") | ("Catch2_975>=1" & "Fork_974>=1") | ("Catch2_974>=1" & "Fork_973>=1") | ("Catch2_977>=1" & "Fork_976>=1") | ("Catch2_976>=1" & "Fork_975>=1") | ("Catch2_987>=1" & "Fork_986>=1") | ("Catch2_986>=1" & "Fork_985>=1") | ("Catch2_989>=1" & "Fork_988>=1") | ("Catch2_988>=1" & "Fork_987>=1") | ("Catch2_983>=1" & "Fork_982>=1") | ("Catch2_982>=1" & "Fork_981>=1") | ("Catch2_985>=1" & "Fork_984>=1") | ("Catch2_984>=1" & "Fork_983>=1") | ("Catch2_962>=1" & "Fork_961>=1") | ("Catch2_963>=1" & "Fork_962>=1") | ("Catch2_964>=1" & "Fork_963>=1") | ("Catch2_965>=1" & "Fork_964>=1") | ("Catch2_958>=1" & "Fork_957>=1") | ("Catch2_959>=1" & "Fork_958>=1") | ("Catch2_960>=1" & "Fork_959>=1") | ("Catch2_961>=1" & "Fork_960>=1") | ("Catch2_970>=1" & "Fork_969>=1") | ("Catch2_971>=1" & "Fork_970>=1") | ("Catch2_972>=1" & "Fork_971>=1") | ("Catch2_973>=1" & "Fork_972>=1") | ("Catch2_966>=1" & "Fork_965>=1") | ("Catch2_967>=1" & "Fork_966>=1") | ("Catch2_968>=1" & "Fork_967>=1") | ("Catch2_969>=1" & "Fork_968>=1") | ("Catch2_260>=1" & "Fork_259>=1") | ("Catch2_261>=1" & "Fork_260>=1") | ("Catch2_258>=1" & "Fork_257>=1") | ("Catch2_259>=1" & "Fork_258>=1") | ("Catch2_256>=1" & "Fork_255>=1") | ("Catch2_257>=1" & "Fork_256>=1") | ("Catch2_254>=1" & "Fork_253>=1") | ("Catch2_255>=1" & "Fork_254>=1") | ("Catch2_268>=1" & "Fork_267>=1") | ("Catch2_269>=1" & "Fork_268>=1") | ("Catch2_266>=1" & "Fork_265>=1") | ("Catch2_267>=1" & "Fork_266>=1") | ("Catch2_264>=1" & "Fork_263>=1") | ("Catch2_265>=1" & "Fork_264>=1") | ("Catch2_262>=1" & "Fork_261>=1") | ("Catch2_263>=1" & "Fork_262>=1") | ("Catch2_277>=1" & "Fork_276>=1") | ("Catch2_276>=1" & "Fork_275>=1") | ("Catch2_275>=1" & "Fork_274>=1") | ("Catch2_274>=1" & "Fork_273>=1") | ("Catch2_273>=1" & "Fork_272>=1") | ("Catch2_272>=1" & "Fork_271>=1") | ("Catch2_271>=1" & "Fork_270>=1") | ("Catch2_270>=1" & "Fork_269>=1") | ("Catch2_285>=1" & "Fork_284>=1") | ("Catch2_284>=1" & "Fork_283>=1") | ("Catch2_283>=1" & "Fork_282>=1") | ("Catch2_282>=1" & "Fork_281>=1") | ("Catch2_281>=1" & "Fork_280>=1") | ("Catch2_280>=1" & "Fork_279>=1") | ("Catch2_279>=1" & "Fork_278>=1") | ("Catch2_278>=1" & "Fork_277>=1") | ("Catch2_290>=1" & "Fork_289>=1") | ("Catch2_291>=1" & "Fork_290>=1") | ("Catch2_292>=1" & "Fork_291>=1") | ("Catch2_293>=1" & "Fork_292>=1") | ("Catch2_286>=1" & "Fork_285>=1") | ("Catch2_287>=1" & "Fork_286>=1") | ("Catch2_288>=1" & "Fork_287>=1") | ("Catch2_289>=1" & "Fork_288>=1") | ("Catch2_298>=1" & "Fork_297>=1") | ("Catch2_299>=1" & "Fork_298>=1") | ("Catch2_300>=1" & "Fork_299>=1") | ("Catch2_301>=1" & "Fork_300>=1") | ("Catch2_294>=1" & "Fork_293>=1") | ("Catch2_295>=1" & "Fork_294>=1") | ("Catch2_296>=1" & "Fork_295>=1") | ("Catch2_297>=1" & "Fork_296>=1") | ("Catch2_307>=1" & "Fork_306>=1") | ("Catch2_306>=1" & "Fork_305>=1") | ("Catch2_309>=1" & "Fork_308>=1") | ("Catch2_308>=1" & "Fork_307>=1") | ("Catch2_303>=1" & "Fork_302>=1") | ("Catch2_302>=1" & "Fork_301>=1") | ("Catch2_305>=1" & "Fork_304>=1") | ("Catch2_304>=1" & "Fork_303>=1") | ("Catch2_315>=1" & "Fork_314>=1") | ("Catch2_314>=1" & "Fork_313>=1") | ("Catch2_317>=1" & "Fork_316>=1") | ("Catch2_316>=1" & "Fork_315>=1") | ("Catch2_311>=1" & "Fork_310>=1") | ("Catch2_310>=1" & "Fork_309>=1") | ("Catch2_313>=1" & "Fork_312>=1") | ("Catch2_312>=1" & "Fork_311>=1") | ("Catch2_192>=1" & "Fork_191>=1") | ("Catch2_193>=1" & "Fork_192>=1") | ("Catch2_190>=1" & "Fork_189>=1") | ("Catch2_191>=1" & "Fork_190>=1") | ("Catch2_196>=1" & "Fork_195>=1") | ("Catch2_197>=1" & "Fork_196>=1") | ("Catch2_194>=1" & "Fork_193>=1") | ("Catch2_195>=1" & "Fork_194>=1") | ("Catch2_200>=1" & "Fork_199>=1") | ("Catch2_201>=1" & "Fork_200>=1") | ("Catch2_198>=1" & "Fork_197>=1") | ("Catch2_199>=1" & "Fork_198>=1") | ("Catch2_204>=1" & "Fork_203>=1") | ("Catch2_205>=1" & "Fork_204>=1") | ("Catch2_202>=1" & "Fork_201>=1") | ("Catch2_203>=1" & "Fork_202>=1") | ("Catch2_209>=1" & "Fork_208>=1") | ("Catch2_208>=1" & "Fork_207>=1") | ("Catch2_207>=1" & "Fork_206>=1") | ("Catch2_206>=1" & "Fork_205>=1") | ("Catch2_213>=1" & "Fork_212>=1") | ("Catch2_212>=1" & "Fork_211>=1") | ("Catch2_211>=1" & "Fork_210>=1") | ("Catch2_210>=1" & "Fork_209>=1") | ("Catch2_217>=1" & "Fork_216>=1") | ("Catch2_216>=1" & "Fork_215>=1") | ("Catch2_215>=1" & "Fork_214>=1") | ("Catch2_214>=1" & "Fork_213>=1") | ("Catch2_221>=1" & "Fork_220>=1") | ("Catch2_220>=1" & "Fork_219>=1") | ("Catch2_219>=1" & "Fork_218>=1") | ("Catch2_218>=1" & "Fork_217>=1") | ("Catch2_222>=1" & "Fork_221>=1") | ("Catch2_223>=1" & "Fork_222>=1") | ("Catch2_224>=1" & "Fork_223>=1") | ("Catch2_225>=1" & "Fork_224>=1") | ("Catch2_226>=1" & "Fork_225>=1") | ("Catch2_227>=1" & "Fork_226>=1") | ("Catch2_228>=1" & "Fork_227>=1") | ("Catch2_229>=1" & "Fork_228>=1") | ("Catch2_230>=1" & "Fork_229>=1") | ("Catch2_231>=1" & "Fork_230>=1") | ("Catch2_232>=1" & "Fork_231>=1") | ("Catch2_233>=1" & "Fork_232>=1") | ("Catch2_234>=1" & "Fork_233>=1") | ("Catch2_235>=1" & "Fork_234>=1") | ("Catch2_236>=1" & "Fork_235>=1") | ("Catch2_237>=1" & "Fork_236>=1") | ("Catch2_239>=1" & "Fork_238>=1") | ("Catch2_238>=1" & "Fork_237>=1") | ("Catch2_241>=1" & "Fork_240>=1") | ("Catch2_240>=1" & "Fork_239>=1") | ("Catch2_243>=1" & "Fork_242>=1") | ("Catch2_242>=1" & "Fork_241>=1") | ("Catch2_245>=1" & "Fork_244>=1") | ("Catch2_244>=1" & "Fork_243>=1") | ("Catch2_247>=1" & "Fork_246>=1") | ("Catch2_246>=1" & "Fork_245>=1") | ("Catch2_249>=1" & "Fork_248>=1") | ("Catch2_248>=1" & "Fork_247>=1") | ("Catch2_251>=1" & "Fork_250>=1") | ("Catch2_250>=1" & "Fork_249>=1") | ("Catch2_253>=1" & "Fork_252>=1") | ("Catch2_252>=1" & "Fork_251>=1") | ("Catch2_397>=1" & "Fork_396>=1") | ("Catch2_396>=1" & "Fork_395>=1") | ("Catch2_395>=1" & "Fork_394>=1") | ("Catch2_394>=1" & "Fork_393>=1") | ("Catch2_393>=1" & "Fork_392>=1") | ("Catch2_392>=1" & "Fork_391>=1") | ("Catch2_391>=1" & "Fork_390>=1") | ("Catch2_390>=1" & "Fork_389>=1") | ("Catch2_389>=1" & "Fork_388>=1") | ("Catch2_388>=1" & "Fork_387>=1") | ("Catch2_387>=1" & "Fork_386>=1") | ("Catch2_386>=1" & "Fork_385>=1") | ("Catch2_385>=1" & "Fork_384>=1") | ("Catch2_384>=1" & "Fork_383>=1") | ("Catch2_383>=1" & "Fork_382>=1") | ("Catch2_382>=1" & "Fork_381>=1") | ("Catch2_412>=1" & "Fork_411>=1") | ("Catch2_413>=1" & "Fork_412>=1") | ("Catch2_410>=1" & "Fork_409>=1") | ("Catch2_411>=1" & "Fork_410>=1") | ("Catch2_408>=1" & "Fork_407>=1") | ("Catch2_409>=1" & "Fork_408>=1") | ("Catch2_406>=1" & "Fork_405>=1") | ("Catch2_407>=1" & "Fork_406>=1") | ("Catch2_404>=1" & "Fork_403>=1") | ("Catch2_405>=1" & "Fork_404>=1") | ("Catch2_402>=1" & "Fork_401>=1") | ("Catch2_403>=1" & "Fork_402>=1") | ("Catch2_400>=1" & "Fork_399>=1") | ("Catch2_401>=1" & "Fork_400>=1") | ("Catch2_398>=1" & "Fork_397>=1") | ("Catch2_399>=1" & "Fork_398>=1") | ("Catch2_427>=1" & "Fork_426>=1") | ("Catch2_426>=1" & "Fork_425>=1") | ("Catch2_429>=1" & "Fork_428>=1") | ("Catch2_428>=1" & "Fork_427>=1") | ("Catch2_423>=1" & "Fork_422>=1") | ("Catch2_422>=1" & "Fork_421>=1") | ("Catch2_425>=1" & "Fork_424>=1") | ("Catch2_424>=1" & "Fork_423>=1") | ("Catch2_419>=1" & "Fork_418>=1") | ("Catch2_418>=1" & "Fork_417>=1") | ("Catch2_421>=1" & "Fork_420>=1") | ("Catch2_420>=1" & "Fork_419>=1") | ("Catch2_415>=1" & "Fork_414>=1") | ("Catch2_414>=1" & "Fork_413>=1") | ("Catch2_417>=1" & "Fork_416>=1") | ("Catch2_416>=1" & "Fork_415>=1") | ("Catch2_442>=1" & "Fork_441>=1") | ("Catch2_443>=1" & "Fork_442>=1") | ("Catch2_444>=1" & "Fork_443>=1") | ("Catch2_445>=1" & "Fork_444>=1") | ("Catch2_438>=1" & "Fork_437>=1") | ("Catch2_439>=1" & "Fork_438>=1") | ("Catch2_440>=1" & "Fork_439>=1") | ("Catch2_441>=1" & "Fork_440>=1") | ("Catch2_434>=1" & "Fork_433>=1") | ("Catch2_435>=1" & "Fork_434>=1") | ("Catch2_436>=1" & "Fork_435>=1") | ("Catch2_437>=1" & "Fork_436>=1") | ("Catch2_430>=1" & "Fork_429>=1") | ("Catch2_431>=1" & "Fork_430>=1") | ("Catch2_432>=1" & "Fork_431>=1") | ("Catch2_433>=1" & "Fork_432>=1") | ("Catch2_329>=1" & "Fork_328>=1") | ("Catch2_328>=1" & "Fork_327>=1") | ("Catch2_327>=1" & "Fork_326>=1") | ("Catch2_326>=1" & "Fork_325>=1") | ("Catch2_333>=1" & "Fork_332>=1") | ("Catch2_332>=1" & "Fork_331>=1") | ("Catch2_331>=1" & "Fork_330>=1") | ("Catch2_330>=1" & "Fork_329>=1") | ("Catch2_321>=1" & "Fork_320>=1") | ("Catch2_320>=1" & "Fork_319>=1") | ("Catch2_319>=1" & "Fork_318>=1") | ("Catch2_318>=1" & "Fork_317>=1") | ("Catch2_325>=1" & "Fork_324>=1") | ("Catch2_324>=1" & "Fork_323>=1") | ("Catch2_323>=1" & "Fork_322>=1") | ("Catch2_322>=1" & "Fork_321>=1") | ("Catch2_344>=1" & "Fork_343>=1") | ("Catch2_345>=1" & "Fork_344>=1") | ("Catch2_342>=1" & "Fork_341>=1") | ("Catch2_343>=1" & "Fork_342>=1") | ("Catch2_348>=1" & "Fork_347>=1") | ("Catch2_349>=1" & "Fork_348>=1") | ("Catch2_346>=1" & "Fork_345>=1") | ("Catch2_347>=1" & "Fork_346>=1") | ("Catch2_336>=1" & "Fork_335>=1") | ("Catch2_337>=1" & "Fork_336>=1") | ("Catch2_334>=1" & "Fork_333>=1") | ("Catch2_335>=1" & "Fork_334>=1") | ("Catch2_340>=1" & "Fork_339>=1") | ("Catch2_341>=1" & "Fork_340>=1") | ("Catch2_338>=1" & "Fork_337>=1") | ("Catch2_339>=1" & "Fork_338>=1") | ("Catch2_359>=1" & "Fork_358>=1") | ("Catch2_358>=1" & "Fork_357>=1") | ("Catch2_361>=1" & "Fork_360>=1") | ("Catch2_360>=1" & "Fork_359>=1") | ("Catch2_363>=1" & "Fork_362>=1") | ("Catch2_362>=1" & "Fork_361>=1") | ("Catch2_365>=1" & "Fork_364>=1") | ("Catch2_364>=1" & "Fork_363>=1") | ("Catch2_351>=1" & "Fork_350>=1") | ("Catch2_350>=1" & "Fork_349>=1") | ("Catch2_353>=1" & "Fork_352>=1") | ("Catch2_352>=1" & "Fork_351>=1") | ("Catch2_355>=1" & "Fork_354>=1") | ("Catch2_354>=1" & "Fork_353>=1") | ("Catch2_357>=1" & "Fork_356>=1") | ("Catch2_356>=1" & "Fork_355>=1") | ("Catch2_374>=1" & "Fork_373>=1") | ("Catch2_375>=1" & "Fork_374>=1") | ("Catch2_376>=1" & "Fork_375>=1") | ("Catch2_377>=1" & "Fork_376>=1") | ("Catch2_378>=1" & "Fork_377>=1") | ("Catch2_379>=1" & "Fork_378>=1") | ("Catch2_380>=1" & "Fork_379>=1") | ("Catch2_381>=1" & "Fork_380>=1") | ("Catch2_366>=1" & "Fork_365>=1") | ("Catch2_367>=1" & "Fork_366>=1") | ("Catch2_368>=1" & "Fork_367>=1") | ("Catch2_369>=1" & "Fork_368>=1") | ("Catch2_370>=1" & "Fork_369>=1") | ("Catch2_371>=1" & "Fork_370>=1") | ("Catch2_372>=1" & "Fork_371>=1") | ("Catch2_373>=1" & "Fork_372>=1") | ("Catch2_531>=1" & "Fork_530>=1") | ("Catch2_530>=1" & "Fork_529>=1") | ("Catch2_533>=1" & "Fork_532>=1") | ("Catch2_532>=1" & "Fork_531>=1") | ("Catch2_527>=1" & "Fork_526>=1") | ("Catch2_526>=1" & "Fork_525>=1") | ("Catch2_529>=1" & "Fork_528>=1") | ("Catch2_528>=1" & "Fork_527>=1") | ("Catch2_539>=1" & "Fork_538>=1") | ("Catch2_538>=1" & "Fork_537>=1") | ("Catch2_541>=1" & "Fork_540>=1") | ("Catch2_540>=1" & "Fork_539>=1") | ("Catch2_535>=1" & "Fork_534>=1") | ("Catch2_534>=1" & "Fork_533>=1") | ("Catch2_537>=1" & "Fork_536>=1") | ("Catch2_536>=1" & "Fork_535>=1") | ("Catch2_514>=1" & "Fork_513>=1") | ("Catch2_515>=1" & "Fork_514>=1") | ("Catch2_516>=1" & "Fork_515>=1") | ("Catch2_517>=1" & "Fork_516>=1") | ("Catch2_510>=1" & "Fork_509>=1") | ("Catch2_511>=1" & "Fork_510>=1") | ("Catch2_512>=1" & "Fork_511>=1") | ("Catch2_513>=1" & "Fork_512>=1") | ("Catch2_522>=1" & "Fork_521>=1") | ("Catch2_523>=1" & "Fork_522>=1") | ("Catch2_524>=1" & "Fork_523>=1") | ("Catch2_525>=1" & "Fork_524>=1") | ("Catch2_518>=1" & "Fork_517>=1") | ("Catch2_519>=1" & "Fork_518>=1") | ("Catch2_520>=1" & "Fork_519>=1") | ("Catch2_521>=1" & "Fork_520>=1") | ("Catch2_565>=1" & "Fork_564>=1") | ("Catch2_564>=1" & "Fork_563>=1") | ("Catch2_563>=1" & "Fork_562>=1") | ("Catch2_562>=1" & "Fork_561>=1") | ("Catch2_561>=1" & "Fork_560>=1") | ("Catch2_560>=1" & "Fork_559>=1") | ("Catch2_559>=1" & "Fork_558>=1") | ("Catch2_558>=1" & "Fork_557>=1") | ("Catch2_573>=1" & "Fork_572>=1") | ("Catch2_572>=1" & "Fork_571>=1") | ("Catch2_571>=1" & "Fork_570>=1") | ("Catch2_570>=1" & "Fork_569>=1") | ("Catch2_569>=1" & "Fork_568>=1") | ("Catch2_568>=1" & "Fork_567>=1") | ("Catch2_567>=1" & "Fork_566>=1") | ("Catch2_566>=1" & "Fork_565>=1") | ("Catch2_548>=1" & "Fork_547>=1") | ("Catch2_549>=1" & "Fork_548>=1") | ("Catch2_546>=1" & "Fork_545>=1") | ("Catch2_547>=1" & "Fork_546>=1") | ("Catch2_544>=1" & "Fork_543>=1") | ("Catch2_545>=1" & "Fork_544>=1") | ("Catch2_542>=1" & "Fork_541>=1") | ("Catch2_543>=1" & "Fork_542>=1") | ("Catch2_556>=1" & "Fork_555>=1") | ("Catch2_557>=1" & "Fork_556>=1") | ("Catch2_554>=1" & "Fork_553>=1") | ("Catch2_555>=1" & "Fork_554>=1") | ("Catch2_552>=1" & "Fork_551>=1") | ("Catch2_553>=1" & "Fork_552>=1") | ("Catch2_550>=1" & "Fork_549>=1") | ("Catch2_551>=1" & "Fork_550>=1") | ("Catch2_463>=1" & "Fork_462>=1") | ("Catch2_462>=1" & "Fork_461>=1") | ("Catch2_465>=1" & "Fork_464>=1") | ("Catch2_464>=1" & "Fork_463>=1") | ("Catch2_467>=1" & "Fork_466>=1") | ("Catch2_466>=1" & "Fork_465>=1") | ("Catch2_469>=1" & "Fork_468>=1") | ("Catch2_468>=1" & "Fork_467>=1") | ("Catch2_471>=1" & "Fork_470>=1") | ("Catch2_470>=1" & "Fork_469>=1") | ("Catch2_473>=1" & "Fork_472>=1") | ("Catch2_472>=1" & "Fork_471>=1") | ("Catch2_475>=1" & "Fork_474>=1") | ("Catch2_474>=1" & "Fork_473>=1") | ("Catch2_477>=1" & "Fork_476>=1") | ("Catch2_476>=1" & "Fork_475>=1") | ("Catch2_446>=1" & "Fork_445>=1") | ("Catch2_447>=1" & "Fork_446>=1") | ("Catch2_448>=1" & "Fork_447>=1") | ("Catch2_449>=1" & "Fork_448>=1") | ("Catch2_450>=1" & "Fork_449>=1") | ("Catch2_451>=1" & "Fork_450>=1") | ("Catch2_452>=1" & "Fork_451>=1") | ("Catch2_453>=1" & "Fork_452>=1") | ("Catch2_454>=1" & "Fork_453>=1") | ("Catch2_455>=1" & "Fork_454>=1") | ("Catch2_456>=1" & "Fork_455>=1") | ("Catch2_457>=1" & "Fork_456>=1") | ("Catch2_458>=1" & "Fork_457>=1") | ("Catch2_459>=1" & "Fork_458>=1") | ("Catch2_460>=1" & "Fork_459>=1") | ("Catch2_461>=1" & "Fork_460>=1") | ("Catch2_497>=1" & "Fork_496>=1") | ("Catch2_496>=1" & "Fork_495>=1") | ("Catch2_495>=1" & "Fork_494>=1") | ("Catch2_494>=1" & "Fork_493>=1") | ("Catch2_501>=1" & "Fork_500>=1") | ("Catch2_500>=1" & "Fork_499>=1") | ("Catch2_499>=1" & "Fork_498>=1") | ("Catch2_498>=1" & "Fork_497>=1") | ("Catch2_505>=1" & "Fork_504>=1") | ("Catch2_504>=1" & "Fork_503>=1") | ("Catch2_503>=1" & "Fork_502>=1") | ("Catch2_502>=1" & "Fork_501>=1") | ("Catch2_509>=1" & "Fork_508>=1") | ("Catch2_508>=1" & "Fork_507>=1") | ("Catch2_507>=1" & "Fork_506>=1") | ("Catch2_506>=1" & "Fork_505>=1") | ("Catch2_480>=1" & "Fork_479>=1") | ("Catch2_481>=1" & "Fork_480>=1") | ("Catch2_478>=1" & "Fork_477>=1") | ("Catch2_479>=1" & "Fork_478>=1") | ("Catch2_484>=1" & "Fork_483>=1") | ("Catch2_485>=1" & "Fork_484>=1") | ("Catch2_482>=1" & "Fork_481>=1") | ("Catch2_483>=1" & "Fork_482>=1") | ("Catch2_488>=1" & "Fork_487>=1") | ("Catch2_489>=1" & "Fork_488>=1") | ("Catch2_486>=1" & "Fork_485>=1") | ("Catch2_487>=1" & "Fork_486>=1") | ("Catch2_492>=1" & "Fork_491>=1") | ("Catch2_493>=1" & "Fork_492>=1") | ("Catch2_490>=1" & "Fork_489>=1") | ("Catch2_491>=1" & "Fork_490>=1") | ("Catch2_666>=1" & "Fork_665>=1") | ("Catch2_667>=1" & "Fork_666>=1") | ("Catch2_668>=1" & "Fork_667>=1") | ("Catch2_669>=1" & "Fork_668>=1") | ("Catch2_662>=1" & "Fork_661>=1") | ("Catch2_663>=1" & "Fork_662>=1") | ("Catch2_664>=1" & "Fork_663>=1") | ("Catch2_665>=1" & "Fork_664>=1") | ("Catch2_658>=1" & "Fork_657>=1") | ("Catch2_659>=1" & "Fork_658>=1") | ("Catch2_660>=1" & "Fork_659>=1") | ("Catch2_661>=1" & "Fork_660>=1") | ("Catch2_654>=1" & "Fork_653>=1") | ("Catch2_655>=1" & "Fork_654>=1") | ("Catch2_656>=1" & "Fork_655>=1") | ("Catch2_657>=1" & "Fork_656>=1") | ("Catch2_651>=1" & "Fork_650>=1") | ("Catch2_650>=1" & "Fork_649>=1") | ("Catch2_653>=1" & "Fork_652>=1") | ("Catch2_652>=1" & "Fork_651>=1") | ("Catch2_647>=1" & "Fork_646>=1") | ("Catch2_646>=1" & "Fork_645>=1") | ("Catch2_649>=1" & "Fork_648>=1") | ("Catch2_648>=1" & "Fork_647>=1") | ("Catch2_643>=1" & "Fork_642>=1") | ("Catch2_642>=1" & "Fork_641>=1") | ("Catch2_645>=1" & "Fork_644>=1") | ("Catch2_644>=1" & "Fork_643>=1") | ("Catch2_639>=1" & "Fork_638>=1") | ("Catch2_638>=1" & "Fork_637>=1") | ("Catch2_641>=1" & "Fork_640>=1") | ("Catch2_640>=1" & "Fork_639>=1") | ("Catch2_700>=1" & "Fork_699>=1") | ("Catch2_701>=1" & "Fork_700>=1") | ("Catch2_698>=1" & "Fork_697>=1") | ("Catch2_699>=1" & "Fork_698>=1") | ("Catch2_696>=1" & "Fork_695>=1") | ("Catch2_697>=1" & "Fork_696>=1") | ("Catch2_694>=1" & "Fork_693>=1") | ("Catch2_695>=1" & "Fork_694>=1") | ("Catch2_692>=1" & "Fork_691>=1") | ("Catch2_693>=1" & "Fork_692>=1") | ("Catch2_690>=1" & "Fork_689>=1") | ("Catch2_691>=1" & "Fork_690>=1") | ("Catch2_688>=1" & "Fork_687>=1") | ("Catch2_689>=1" & "Fork_688>=1") | ("Catch2_686>=1" & "Fork_685>=1") | ("Catch2_687>=1" & "Fork_686>=1") | ("Catch2_685>=1" & "Fork_684>=1") | ("Catch2_684>=1" & "Fork_683>=1") | ("Catch2_683>=1" & "Fork_682>=1") | ("Catch2_682>=1" & "Fork_681>=1") | ("Catch2_681>=1" & "Fork_680>=1") | ("Catch2_680>=1" & "Fork_679>=1") | ("Catch2_679>=1" & "Fork_678>=1") | ("Catch2_678>=1" & "Fork_677>=1") | ("Catch2_677>=1" & "Fork_676>=1") | ("Catch2_676>=1" & "Fork_675>=1") | ("Catch2_675>=1" & "Fork_674>=1") | ("Catch2_674>=1" & "Fork_673>=1") | ("Catch2_673>=1" & "Fork_672>=1") | ("Catch2_672>=1" & "Fork_671>=1") | ("Catch2_671>=1" & "Fork_670>=1") | ("Catch2_670>=1" & "Fork_669>=1") | ("Catch2_598>=1" & "Fork_597>=1") | ("Catch2_599>=1" & "Fork_598>=1") | ("Catch2_600>=1" & "Fork_599>=1") | ("Catch2_601>=1" & "Fork_600>=1") | ("Catch2_602>=1" & "Fork_601>=1") | ("Catch2_603>=1" & "Fork_602>=1") | ("Catch2_604>=1" & "Fork_603>=1") | ("Catch2_605>=1" & "Fork_604>=1") | ("Catch2_590>=1" & "Fork_589>=1") | ("Catch2_591>=1" & "Fork_590>=1") | ("Catch2_592>=1" & "Fork_591>=1") | ("Catch2_593>=1" & "Fork_592>=1") | ("Catch2_594>=1" & "Fork_593>=1") | ("Catch2_595>=1" & "Fork_594>=1") | ("Catch2_596>=1" & "Fork_595>=1") | ("Catch2_597>=1" & "Fork_596>=1") | ("Catch2_583>=1" & "Fork_582>=1") | ("Catch2_582>=1" & "Fork_581>=1") | ("Catch2_585>=1" & "Fork_584>=1") | ("Catch2_584>=1" & "Fork_583>=1") | ("Catch2_587>=1" & "Fork_586>=1") | ("Catch2_586>=1" & "Fork_585>=1") | ("Catch2_589>=1" & "Fork_588>=1") | ("Catch2_588>=1" & "Fork_587>=1") | ("Catch2_575>=1" & "Fork_574>=1") | ("Catch2_574>=1" & "Fork_573>=1") | ("Catch2_577>=1" & "Fork_576>=1") | ("Catch2_576>=1" & "Fork_575>=1") | ("Catch2_579>=1" & "Fork_578>=1") | ("Catch2_578>=1" & "Fork_577>=1") | ("Catch2_581>=1" & "Fork_580>=1") | ("Catch2_580>=1" & "Fork_579>=1") | ("Catch2_632>=1" & "Fork_631>=1") | ("Catch2_633>=1" & "Fork_632>=1") | ("Catch2_630>=1" & "Fork_629>=1") | ("Catch2_631>=1" & "Fork_630>=1") | ("Catch2_636>=1" & "Fork_635>=1") | ("Catch2_637>=1" & "Fork_636>=1") | ("Catch2_634>=1" & "Fork_633>=1") | ("Catch2_635>=1" & "Fork_634>=1") | ("Catch2_624>=1" & "Fork_623>=1") | ("Catch2_625>=1" & "Fork_624>=1") | ("Catch2_622>=1" & "Fork_621>=1") | ("Catch2_623>=1" & "Fork_622>=1") | ("Catch2_628>=1" & "Fork_627>=1") | ("Catch2_629>=1" & "Fork_628>=1") | ("Catch2_626>=1" & "Fork_625>=1") | ("Catch2_627>=1" & "Fork_626>=1") | ("Catch2_617>=1" & "Fork_616>=1") | ("Catch2_616>=1" & "Fork_615>=1") | ("Catch2_615>=1" & "Fork_614>=1") | ("Catch2_614>=1" & "Fork_613>=1") | ("Catch2_621>=1" & "Fork_620>=1") | ("Catch2_620>=1" & "Fork_619>=1") | ("Catch2_619>=1" & "Fork_618>=1") | ("Catch2_618>=1" & "Fork_617>=1") | ("Catch2_609>=1" & "Fork_608>=1") | ("Catch2_608>=1" & "Fork_607>=1") | ("Catch2_607>=1" & "Fork_606>=1") | ("Catch2_606>=1" & "Fork_605>=1") | ("Catch2_613>=1" & "Fork_612>=1") | ("Catch2_612>=1" & "Fork_611>=1") | ("Catch2_611>=1" & "Fork_610>=1") | ("Catch2_610>=1" & "Fork_609>=1") | ("Catch2_128>=1" & "Fork_127>=1") | ("Catch2_129>=1" & "Fork_128>=1") | ("Catch2_126>=1" & "Fork_125>=1") | ("Catch2_127>=1" & "Fork_126>=1") | ("Catch2_132>=1" & "Fork_131>=1") | ("Catch2_133>=1" & "Fork_132>=1") | ("Catch2_130>=1" & "Fork_129>=1") | ("Catch2_131>=1" & "Fork_130>=1") | ("Catch2_136>=1" & "Fork_135>=1") | ("Catch2_137>=1" & "Fork_136>=1") | ("Catch2_134>=1" & "Fork_133>=1") | ("Catch2_135>=1" & "Fork_134>=1") | ("Catch2_140>=1" & "Fork_139>=1") | ("Catch2_141>=1" & "Fork_140>=1") | ("Catch2_138>=1" & "Fork_137>=1") | ("Catch2_139>=1" & "Fork_138>=1") | ("Catch2_145>=1" & "Fork_144>=1") | ("Catch2_144>=1" & "Fork_143>=1") | ("Catch2_143>=1" & "Fork_142>=1") | ("Catch2_142>=1" & "Fork_141>=1") | ("Catch2_149>=1" & "Fork_148>=1") | ("Catch2_148>=1" & "Fork_147>=1") | ("Catch2_147>=1" & "Fork_146>=1") | ("Catch2_146>=1" & "Fork_145>=1") | ("Catch2_153>=1" & "Fork_152>=1") | ("Catch2_152>=1" & "Fork_151>=1") | ("Catch2_151>=1" & "Fork_150>=1") | ("Catch2_150>=1" & "Fork_149>=1") | ("Catch2_157>=1" & "Fork_156>=1") | ("Catch2_156>=1" & "Fork_155>=1") | ("Catch2_155>=1" & "Fork_154>=1") | ("Catch2_154>=1" & "Fork_153>=1") | ("Catch2_158>=1" & "Fork_157>=1") | ("Catch2_159>=1" & "Fork_158>=1") | ("Catch2_160>=1" & "Fork_159>=1") | ("Catch2_161>=1" & "Fork_160>=1") | ("Catch2_162>=1" & "Fork_161>=1") | ("Catch2_163>=1" & "Fork_162>=1") | ("Catch2_164>=1" & "Fork_163>=1") | ("Catch2_165>=1" & "Fork_164>=1") | ("Catch2_166>=1" & "Fork_165>=1") | ("Catch2_167>=1" & "Fork_166>=1") | ("Catch2_168>=1" & "Fork_167>=1") | ("Catch2_169>=1" & "Fork_168>=1") | ("Catch2_170>=1" & "Fork_169>=1") | ("Catch2_171>=1" & "Fork_170>=1") | ("Catch2_172>=1" & "Fork_171>=1") | ("Catch2_173>=1" & "Fork_172>=1") | ("Catch2_175>=1" & "Fork_174>=1") | ("Catch2_174>=1" & "Fork_173>=1") | ("Catch2_177>=1" & "Fork_176>=1") | ("Catch2_176>=1" & "Fork_175>=1") | ("Catch2_179>=1" & "Fork_178>=1") | ("Catch2_178>=1" & "Fork_177>=1") | ("Catch2_181>=1" & "Fork_180>=1") | ("Catch2_180>=1" & "Fork_179>=1") | ("Catch2_183>=1" & "Fork_182>=1") | ("Catch2_182>=1" & "Fork_181>=1") | ("Catch2_185>=1" & "Fork_184>=1") | ("Catch2_184>=1" & "Fork_183>=1") | ("Catch2_187>=1" & "Fork_186>=1") | ("Catch2_186>=1" & "Fork_185>=1") | ("Catch2_189>=1" & "Fork_188>=1") | ("Catch2_188>=1" & "Fork_187>=1") | ("Catch2_68>=1" & "Fork_67>=1") | ("Catch2_69>=1" & "Fork_68>=1") | ("Catch2_66>=1" & "Fork_65>=1") | ("Catch2_67>=1" & "Fork_66>=1") | ("Catch2_64>=1" & "Fork_63>=1") | ("Catch2_65>=1" & "Fork_64>=1") | ("Catch2_62>=1" & "Fork_61>=1") | ("Catch2_63>=1" & "Fork_62>=1") | ("Catch2_76>=1" & "Fork_75>=1") | ("Catch2_77>=1" & "Fork_76>=1") | ("Catch2_74>=1" & "Fork_73>=1") | ("Catch2_75>=1" & "Fork_74>=1") | ("Catch2_72>=1" & "Fork_71>=1") | ("Catch2_73>=1" & "Fork_72>=1") | ("Catch2_70>=1" & "Fork_69>=1") | ("Catch2_71>=1" & "Fork_70>=1") | ("Catch2_85>=1" & "Fork_84>=1") | ("Catch2_84>=1" & "Fork_83>=1") | ("Catch2_83>=1" & "Fork_82>=1") | ("Catch2_82>=1" & "Fork_81>=1") | ("Catch2_81>=1" & "Fork_80>=1") | ("Catch2_80>=1" & "Fork_79>=1") | ("Catch2_79>=1" & "Fork_78>=1") | ("Catch2_78>=1" & "Fork_77>=1") | ("Catch2_93>=1" & "Fork_92>=1") | ("Catch2_92>=1" & "Fork_91>=1") | ("Catch2_91>=1" & "Fork_90>=1") | ("Catch2_90>=1" & "Fork_89>=1") | ("Catch2_89>=1" & "Fork_88>=1") | ("Catch2_88>=1" & "Fork_87>=1") | ("Catch2_87>=1" & "Fork_86>=1") | ("Catch2_86>=1" & "Fork_85>=1") | ("Catch2_98>=1" & "Fork_97>=1") | ("Catch2_99>=1" & "Fork_98>=1") | ("Catch2_100>=1" & "Fork_99>=1") | ("Catch2_101>=1" & "Fork_100>=1") | ("Catch2_94>=1" & "Fork_93>=1") | ("Catch2_95>=1" & "Fork_94>=1") | ("Catch2_96>=1" & "Fork_95>=1") | ("Catch2_97>=1" & "Fork_96>=1") | ("Catch2_106>=1" & "Fork_105>=1") | ("Catch2_107>=1" & "Fork_106>=1") | ("Catch2_108>=1" & "Fork_107>=1") | ("Catch2_109>=1" & "Fork_108>=1") | ("Catch2_102>=1" & "Fork_101>=1") | ("Catch2_103>=1" & "Fork_102>=1") | ("Catch2_104>=1" & "Fork_103>=1") | ("Catch2_105>=1" & "Fork_104>=1") | ("Catch2_115>=1" & "Fork_114>=1") | ("Catch2_114>=1" & "Fork_113>=1") | ("Catch2_117>=1" & "Fork_116>=1") | ("Catch2_116>=1" & "Fork_115>=1") | ("Catch2_111>=1" & "Fork_110>=1") | ("Catch2_110>=1" & "Fork_109>=1") | ("Catch2_113>=1" & "Fork_112>=1") | ("Catch2_112>=1" & "Fork_111>=1") | ("Catch2_123>=1" & "Fork_122>=1") | ("Catch2_122>=1" & "Fork_121>=1") | ("Catch2_125>=1" & "Fork_124>=1") | ("Catch2_124>=1" & "Fork_123>=1") | ("Catch2_119>=1" & "Fork_118>=1") | ("Catch2_118>=1" & "Fork_117>=1") | ("Catch2_121>=1" & "Fork_120>=1") | ("Catch2_120>=1" & "Fork_119>=1") | ("Catch2_9>=1" & "Fork_8>=1") | ("Catch2_8>=1" & "Fork_7>=1") | ("Catch2_7>=1" & "Fork_6>=1") | ("Catch2_6>=1" & "Fork_5>=1") | ("Catch2_13>=1" & "Fork_12>=1") | ("Catch2_12>=1" & "Fork_11>=1") | ("Catch2_11>=1" & "Fork_10>=1") | ("Catch2_10>=1" & "Fork_9>=1") | ("Catch2_1>=1" & "Fork_1000>=1") | ("Catch2_5>=1" & "Fork_4>=1") | ("Catch2_4>=1" & "Fork_3>=1") | ("Catch2_3>=1" & "Fork_2>=1") | ("Catch2_2>=1" & "Fork_1>=1") | ("Catch2_24>=1" & "Fork_23>=1") | ("Catch2_25>=1" & "Fork_24>=1") | ("Catch2_22>=1" & "Fork_21>=1") | ("Catch2_23>=1" & "Fork_22>=1") | ("Catch2_28>=1" & "Fork_27>=1") | ("Catch2_29>=1" & "Fork_28>=1") | ("Catch2_26>=1" & "Fork_25>=1") | ("Catch2_27>=1" & "Fork_26>=1") | ("Catch2_16>=1" & "Fork_15>=1") | ("Catch2_17>=1" & "Fork_16>=1") | ("Catch2_14>=1" & "Fork_13>=1") | ("Catch2_15>=1" & "Fork_14>=1") | ("Catch2_20>=1" & "Fork_19>=1") | ("Catch2_21>=1" & "Fork_20>=1") | ("Catch2_18>=1" & "Fork_17>=1") | ("Catch2_19>=1" & "Fork_18>=1") | ("Catch2_39>=1" & "Fork_38>=1") | ("Catch2_38>=1" & "Fork_37>=1") | ("Catch2_41>=1" & "Fork_40>=1") | ("Catch2_40>=1" & "Fork_39>=1") | ("Catch2_43>=1" & "Fork_42>=1") | ("Catch2_42>=1" & "Fork_41>=1") | ("Catch2_45>=1" & "Fork_44>=1") | ("Catch2_44>=1" & "Fork_43>=1") | ("Catch2_31>=1" & "Fork_30>=1") | ("Catch2_30>=1" & "Fork_29>=1") | ("Catch2_33>=1" & "Fork_32>=1") | ("Catch2_32>=1" & "Fork_31>=1") | ("Catch2_35>=1" & "Fork_34>=1") | ("Catch2_34>=1" & "Fork_33>=1") | ("Catch2_37>=1" & "Fork_36>=1") | ("Catch2_36>=1" & "Fork_35>=1") | ("Catch2_54>=1" & "Fork_53>=1") | ("Catch2_55>=1" & "Fork_54>=1") | ("Catch2_56>=1" & "Fork_55>=1") | ("Catch2_57>=1" & "Fork_56>=1") | ("Catch2_58>=1" & "Fork_57>=1") | ("Catch2_59>=1" & "Fork_58>=1") | ("Catch2_60>=1" & "Fork_59>=1") | ("Catch2_61>=1" & "Fork_60>=1") | ("Catch2_46>=1" & "Fork_45>=1") | ("Catch2_47>=1" & "Fork_46>=1") | ("Catch2_48>=1" & "Fork_47>=1") | ("Catch2_49>=1" & "Fork_48>=1") | ("Catch2_50>=1" & "Fork_49>=1") | ("Catch2_51>=1" & "Fork_50>=1") | ("Catch2_52>=1" & "Fork_51>=1") | ("Catch2_53>=1" & "Fork_52>=1"))
COULD_NOT_COMPUTE

BK_STOP 1464404706390

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 28, 2016 2:06:26 AM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 28, 2016 2:06:27 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 755 ms
May 28, 2016 2:06:27 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 5000 places.
May 28, 2016 2:06:27 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 5000 transitions.
May 28, 2016 2:06:35 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1120 ms
May 28, 2016 2:06:35 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.gal : 153 ms
May 28, 2016 2:06:35 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 199 ms
May 28, 2016 3:05:03 AM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
java.io.IOException: Pipe broken
at java.io.PipedInputStream.read(PipedInputStream.java:321)
at java.io.PipedInputStream.read(PipedInputStream.java:377)
at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326)
at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178)
at java.io.InputStreamReader.read(InputStreamReader.java:184)
at java.io.BufferedReader.fill(BufferedReader.java:161)
at java.io.BufferedReader.readLine(BufferedReader.java:324)
at java.io.BufferedReader.readLine(BufferedReader.java:389)
at fr.lip6.move.gal.application.Application$ITSInterpreter.run(Application.java:460)
at java.lang.Thread.run(Thread.java:745)

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="S_Philosophers-PT-001000"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/users/gast00/fkordon/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

tar xzf /home/mcc/BenchKit/INPUTS/S_Philosophers-PT-001000.tgz
mv S_Philosophers-PT-001000 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool itstools"
echo " Input is S_Philosophers-PT-001000, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r169kn-ebro-146433129400924"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.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 ;