3639b23cfcdc04d768d282af64593bea VC for gameainfix =ainfix @ainfix @V1V2V4aTrueIainfix =ainfix @V3V4aTrueAainfix =ainfix @ainfix @V0V2V3aTrueFAaorderV1Leainfix =V6V7qainfix =ainfix @ainfix @V5V6V7aTrueFINainfix =ainfix @ainfix @V0V8V9aTrueFF
2dae419bf8c1b144df61d8eef20664a1 atr_succaprogressV0ainfix @ainfix @ainfix @eastepV4V5V6V7V8qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V3V4V5V6V7V8aTrueFV0V1V2ItOaupper_boundV9V10V11ItOainfix =ainfix @ainfix @V9asupaprogressV0V10V11aTrueIastepV0V1V2V10V11FLaprogressV0F
db6448734639a6c8b6cf4755e1c440cd ainfix =ainfix @ainfix @V3asupaprogressV0V4V5aTrueIastepV0V1V2V4V5FLaprogressV0F
193cb223b3d4219a2169ac41283d4352 aupper_boundV3V4V5Iainfix =ainfix @ainfix @V3asupaprogressV0V4V5aTrueIastepV0V1V2V4V5FLaprogressV0F
cd2b83ef91d2336cf166e861a3c582b7 atr_succaprogressV0ainfix @ainfix @ainfix @eastepV4V5V6V7V8qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V3V4V5V6V7V8aTrueFV0V1V2Iaupper_boundV9V10V11IastepV0V1V2V10V11FLaprogressV0F
1781cb6de0096bd2a67c4dd7d0876884 adeterministicainfix @ainfix @ainfix @eastepV4V5V6V7V8qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V3V4V5V6V7V8aTrueFV0V1V2F
8bf5aa7cb5ae1f7df3e736e1d08dbc6c ahave_winning_stratV0V3V2Iainfix =ainfix @V1V3aTrueAahave_uniform_winning_stratV0V1V2F
a06815e7fc9c7b8c6e959205e7128e75 ahave_uniform_winning_stratV0V1V2ItOauniform_winning_stratV0V1V2V5ItOawin_againstV0V6V2V5V7ItOtOawin_atV0V2V5V7V11Aatr_extV3V8V10V11ItOtOtOatr_extV3V8V10V12ItOatransport_criterionV3V8V10V12ItOainfix =ainfix @ainfix @V9V13V14aTrueINainfix =ainfix @V13V14aTrue
eb85cfcfeb5ac2b7c49d7a4bd6946924 awin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V12V13qainfix =ainfix @ainfix @V11V12V13aTrueFV6Lainfix @ainfix @ainfix @eastepV15V16V17V18V19qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V14V15V16V17V18V19aTrueFV0ainfix @V4V6V7Lainfix @ainfix @ainfix @
b023568962d6d621275594fdcaff428e awin_atV0V2ainfix @V4V6V7V11Aatr_extV3V9V10V11EIawin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V13V14qainfix =ainfix @ainfix @V12V13V14aTrueFV6Lainfix @ainfix @ainfix @eastepV16V17V18V19V20qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V15V16V17V18V19
9291be33a6223453675d92f8b8ce7ef4 aminimumV3V12V6IasubchainV3V10V12FIawin_atV0V2ainfix @V4V6V7V11Aatr_extV3V9V10V11FIawin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V14V15qainfix =ainfix @ainfix @V13V14V15aTrueFV6Lainfix @ainfix @ainfix @eastepV17V18V19V20V21qainfix =ainfix @ainfix @ainfix @
84f35764a404f84921df660e6ed2659c ainfix =ainfix @V5V12ainfix @ainfix @V4V6V12IaminimumV3V12V6IasubchainV3V10V12FIawin_atV0V2ainfix @V4V6V7V11Aatr_extV3V9V10V11FIawin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V14V15qainfix =ainfix @ainfix @V13V14V15aTrueFV6Lainfix @ainfix @ainfix @eastep
ad740ac1cd9cb5b9943379cd5baa3fe4 ainfix =ainfix @ainfix @V9V13V14aTrueINainfix =ainfix @V13V14aTrueAaupper_boundV3V13V14AasubchainV3aaddV13V14V12AasubchainV3V10V13FIatr_extV3V9V10V12FIainfix =ainfix @V5V15ainfix @ainfix @V4V6V15IasubchainV3V10V15FIawin_atV0V2ainfix @V4V6V7V11Aatr_extV3V9V
d1e54d2bb62085e8f73d1b289fc90207 atransport_criterionV3V8V10V12Iainfix =ainfix @ainfix @V9V13V14aTrueINainfix =ainfix @V13V14aTrueAaupper_boundV3V13V14AasubchainV3aaddV13V14V12AasubchainV3V10V13FIatr_extV3V9V10V12FIainfix =ainfix @V5V15ainfix @ainfix @V4V6V15IasubchainV3V10V15FIawin_atV0V
93da27c6e5d1a3218ec16b1e651d9ae5 atr_extV3V8V10V12Iatransport_criterionV3V8V10V12Iatr_extV3V9V10V12FIainfix =ainfix @V5V13ainfix @ainfix @V4V6V13IasubchainV3V10V13FIawin_atV0V2ainfix @V4V6V7V11Aatr_extV3V9V10V11FIawin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V15V16qainfix =ainfix @ainfix @
559db56ec1582c90f253d57078d7e968 atr_extV3V8V10V11Iatr_extV3V8V10V12Iatr_extV3V9V10V12FAainfix =ainfix @V5V13ainfix @ainfix @V4V6V13IasubchainV3V10V13FAawin_atV0V2ainfix @V4V6V7V11Aatr_extV3V9V10V11FIawin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V15V16qainfix =ainfix @ainfix @V14V15V16
35346b657e4d7569a17d6dcb6528f270 awin_atV0V2V5V7V11Iatr_extV3V8V10V12Iatr_extV3V9V10V12FAainfix =ainfix @V5V13ainfix @ainfix @V4V6V13IasubchainV3V10V13FAawin_atV0V2ainfix @V4V6V7V11Aatr_extV3V9V10V11FIawin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V15V16qainfix =ainfix @ainfix @V14V15V
88399f5e95fd024c26fc1f8faff2a465 awin_againstV0V6V2V5V7Iawin_atV0V2V5V7V11Aatr_extV3V8V10V11EAawin_againstV0V6V2ainfix @V4V6V7Lainfix @eainfix =V13V14qainfix =ainfix @ainfix @V12V13V14aTrueFV6Lainfix @ainfix @ainfix @eastepV16V17V18V19V20qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V15
232ffeb6135bef3312bcb12a90f29e30 auniform_winning_stratV0V1V2V5Iawin_againstV0V6V2V5V7Iainfix =ainfix @V1V6aTrueFLeainfix =ainfix @V8V9ainfix @ainfix @V4ainfV3V9V9FLeainfix =ainfix @V10V11achoiceainfix @ainfix @ainfix @eawinning_stratV13V14V15V16qainfix =ainfix @ainfix @ainfix @ainfix @V12
8a5d3469a186d5428ac098979f5ef143 ahave_uniform_winning_stratV0V1V2Iauniform_winning_stratV0V1V2V5Leainfix =ainfix @V6V7ainfix @ainfix @V4ainfV3V7V7FLeainfix =ainfix @V8V9achoiceainfix @ainfix @ainfix @eawinning_stratV11V12V13V14qainfix =ainfix @ainfix @ainfix @ainfix @V10V11V12V13V14aTrue
f2c9538408ed5ff72149fa39ccfa94cf auniform_winning_stratV0V1V2V3ItOawin_againstV0V5V2V3V4ItOtOawin_atV0V2V3V4V6ItOamaximumaprogressV0V6V5Aatr_extaprogressV0ainfix @ainfix @ainfix @eastepV8V9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V7V8V9V10V11V12aTrueFV0V3V4V6V6Lainfix @ea
97e022fb47335513afa1ff7fdf6b29a8 atr_extaprogressV0ainfix @ainfix @ainfix @eastepV8V9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V7V8V9V10V11V12aTrueFV0V3V4V6V6Lainfix @eainfix =V14V15qainfix =ainfix @ainfix @V13V14V15aTrueFV5Iainfix =ainfix @V1V5aTrueFIasubsetV1V2F
5b1d838a3fd8734883e0e035ad8648ef amaximumaprogressV0V6V5Iatr_extaprogressV0ainfix @ainfix @ainfix @eastepV8V9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V7V8V9V10V11V12aTrueFV0V3V4V6V6Lainfix @eainfix =V14V15qainfix =ainfix @ainfix @V13V14V15aTrueFV5Iainfix =ainfix @V1V5aTrue
29360521920e44b901c8eeeae888692d awin_atV0V2V3V4V6IamaximumaprogressV0V6V5Iatr_extaprogressV0ainfix @ainfix @ainfix @eastepV8V9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V7V8V9V10V11V12aTrueFV0V3V4V6V6Lainfix @eainfix =V14V15qainfix =ainfix @ainfix @V13V14V15aTrueFV5Iainfix =
bd5b93cf7c7873a29ac9feb0342d6338 awin_againstV0V5V2V3V4Iawin_atV0V2V3V4V6Aatr_extaprogressV0ainfix @ainfix @ainfix @eastepV8V9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V7V8V9V10V11V12aTrueFV0V3V4V6V6Lainfix @eainfix =V14V15qainfix =ainfix @ainfix @V13V14V15aTrueFV5Iainfix =
95377add9ec1a317f518722c10481f00 auniform_winning_stratV0V1V2V3Iawin_againstV0V5V2V3V4Iainfix =ainfix @V1V5aTrueFIasubsetV1V2F
d0feec13840a4df04dc9ac9cd8ee5f0b ahave_uniform_winning_stratV0V3V2Aainfix =ainfix @ainfix @atransitionV0V1V3aTrueItOtOtOtOahave_winning_stratV0V7V2ItOitOawin_againstV0V7V2V8V9ItOtOawin_atV0V2V8V9V15Aatr_extV5V12V13V15ItOtOtOtOtOtOatr_extV5V12V13aremoveV20V1IasubchainV5V14V20Iatr_extV17V18
1858ac6d755d92c0829f0331b53f9647 ainfix =V3ainfix @V6V4Aawinning_stratV0V1V2V6ELaprogressV0Lainfix @eainfix =V8V9qainfix =ainfix @ainfix @V7V8V9aTrueFV1EINainfix =ainfix @V2V1aTrueAahave_winning_stratV0V1V2F
dd7cf80c0365fe741ef0b161592e354e amaximumV5V4V1Iainfix =V3ainfix @V6V4Aawinning_stratV0V1V2V6FLaprogressV0Lainfix @eainfix =V8V9qainfix =ainfix @ainfix @V7V8V9aTrueFV1FINainfix =ainfix @V2V1aTrueAahave_winning_stratV0V1V2F
5865a18232271650e9eae3e6339a6f54 NtOtOtOtOtOainfix =V9V4Aamaximumainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV5ainfix @ainfix @ainfix @eatr_extV15V16V17V18qainfix =ainfix @ainfix @ainfix @ainfix @V14V15V16V17V18aTrueFV5V8V4V4Aawin_atV0V2V6V7V9Aatr_extV5V8
bc34ecc3b085bc61b4e45433959dd369 Nainfix =V9V4Aamaximumainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV5ainfix @ainfix @ainfix @eatr_extV15V16V17V18qainfix =ainfix @ainfix @ainfix @ainfix @V14V15V16V17V18aTrueFV5V8V4V4Aawin_atV0V2V6V7V9Aatr_extV5V8V4V9ELainfix @
fdb997755e70fbdf451bd404f792af9b tEINainfix =ainfix @ainfix @atransitionV0V1V3aTrueIamaximumV5V4V1Iainfix =V3ainfix @V6V4Aawinning_stratV0V1V2V6FLaprogressV0Lainfix @eainfix =V9V10qainfix =ainfix @ainfix @V8V9V10aTrueFV1FINainfix =ainfix @V2V1aTrueAahave_winning_stratV0V1V2F
9449e350db6e3542d186b4dd38af87d3 awin_againstV0V1V2V6V7ItFINainfix =ainfix @ainfix @atransitionV0V1V3aTrueIamaximumV5V4V1Iainfix =V3ainfix @V6V4Aawinning_stratV0V1V2V6FLaprogressV0Lainfix @eainfix =V9V10qainfix =ainfix @ainfix @V8V9V10aTrueFV1FINainfix =ainfix @V2V1aTrueAahave_winning_strat
a4fa2f3653e4961f59b3526d48c5270f awin_atV0V2V6V7V9Aatr_extV5V8V4V9ELainfix @ainfix @ainfix @eastepV11V12V13V14V15qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V10V11V12V13V14V15aTrueFV0V6V7Iawin_againstV0V1V2V6V7ItFINainfix =ainfix @ainfix @atransitionV0V1V3aTrueIamaximumV5V4V1Iainfix =
87a7a26f22ec7fd5e1a4bf948a3d6c6e amaximumainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV5ainfix @ainfix @ainfix @eatr_extV15V16V17V18qainfix =ainfix @ainfix @ainfix @ainfix @V14V15V16V17V18aTrueFV5V8V4V4Iawin_atV0V2V6V7V9Aatr_extV5V8V4V9FLainfix @ainfix @ainfix @
361586570079f2dfac00013ee254cbae ainfix =V9V4Iamaximumainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV5ainfix @ainfix @ainfix @eatr_extV15V16V17V18qainfix =ainfix @ainfix @ainfix @ainfix @V14V15V16V17V18aTrueFV5V8V4V4Iawin_atV0V2V6V7V9Aatr_extV5V8V4V9FLainfix @
1e463287318cd8c7219bce5d0a74358e ainfix =ainfix @ainfix @V5V1V7aTrueLeainfix =ainfix @V9V10ainfix @V6aaddV10V1FINainfix =V1V7Iainfix =ainfix @V3V7aTrueFINNainfix =ainfix @ainfix @atransitionV0V1V3aTrueIamaximumV5V4V1Iainfix =V3ainfix @V6V4Aawinning_stratV0V1V2V6FLaprogressV0Lainfix @eainfix =
8fa3c9a5651cf66daac18ce54707db21 awin_againstV0V7V2V8V9ItOtOawin_atV0V2V8V9V15Aatr_extV5V12V13V15ItOtOtOtOtOtOatr_extV5V12V13aremoveV20V1IasubchainV5V14V20Iatr_extV17V18V19V20Iainfix =V19V4Aainfix =V18V11Aainfix =V17V5FItOatr_extV5V12V13V23ItOtOtOtOatr_extV5V12V13V25Iainfix =ainfix @V24V25
8b5002a45c990d1b1d8061106204cd8b awin_againstV0V1V2V6V10LaaddV4V7Lainfix @eainfix =V16V17qainfix =ainfix @ainfix @V15V16V17aTrueFV7Lainfix @ainfix @ainfix @eastepV19V20V21V22V23qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V18V19V20V21V22V23aTrueFV0V8V9Lainfix @ainfix @ainfix @eastepV25
6404c315d314ccfbcc82d58fd6b53a99 ainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16EEIawin_againstV0V1V2V6V10LaaddV4V7Lainfix @eainfix =V18V19qainfix =ainfix @ainfix @V17V18V19aTrueFV7Lainfix @ainfix @ainfix @eastepV21V22V23V24V25qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @
d343330539716aeef58dba9f2774d6b3 amaximumV5V18V19qamaximumV5V17V19ItOtOtOtOamaximumV5V17V19AasupremumV5V17V19IamaximumV5V18V19AtOainfix =ainfix @V18V19aTrueItOainfix =ainfix @ainfix @V5V7V19aTrueAasupremumV5V18V19IamaximumV5V17V19Aainfix =ainfix @V18V7aTrueFAasupremumV5V17V20qasupremumV5V
7a165257e7032c557d1ec98e9fe275fc ainfix =V20V1INainfix =ainfix @V18V20aTrueIainfix =ainfix @V17V20aTrueAaupper_boundV5V18V19FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10LaaddV4V7Lainfix @eainfix =V22V23qainfix =ainfix @
da0af7d9cfca39bcff35be5322f78b84 ainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10LaaddV4V7Lainfix @eainfix =V22V23qainfix =ainfix @ainfix @V21V22V23aTrue
49521458b023b619485be6b291896771 ainfix =ainfix @ainfix @V5V20V7aTrueIainfix =V20V1INainfix =ainfix @V18V20aTrueIainfix =ainfix @V17V20aTrueAaupper_boundV5V18V19FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10LaaddV4
14cc92b2ff270dd6492e66ca157e61ca ainfix =ainfix @ainfix @V5V7V19aTrueIainfix =ainfix @ainfix @V5V20V7aTrueIainfix =V20V1INainfix =ainfix @V18V20aTrueIainfix =ainfix @V17V20aTrueAaupper_boundV5V18V19FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V
4fffcfa19646c3d97384fb9ae93ad635 ainfix =ainfix @ainfix @V5V20V19aTrueIiainfix =ainfix @ainfix @V5V7V19aTrueAainfix =ainfix @ainfix @V5V20V7aTrueAainfix =V20V1tainfix =ainfix @V18V20aTrueIainfix =ainfix @V17V20aTrueAaupper_boundV5V18V19FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV
da5fc0a9b35815e15b8e50628db460ea asextainfix @ainfix @eaupper_boundV20V21V22qainfix =ainfix @ainfix @ainfix @V19V20V21V22aTrueFV5V18ainfix @ainfix @eaupper_boundV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV5V17Iainfix =ainfix @ainfix @V5V28V27aTrueIainfix =ainfix @V17V28aTrue
3b81ff6c1cfb199e484f9f205f7cedd0 asupremumV5V17V19IasupremumV5V18V19FIasextainfix @ainfix @eaupper_boundV21V22V23qainfix =ainfix @ainfix @ainfix @V20V21V22V23aTrueFV5V18ainfix @ainfix @eaupper_boundV25V26V27qainfix =ainfix @ainfix @ainfix @V24V25V26V27aTrueFV5V17LaremoveV17V1IasubchainV5V
19c4ab6225cbcc62071ca32e14ff0369 asupremumV5V18V19IasupremumV5V17V19FIasextainfix @ainfix @eaupper_boundV21V22V23qainfix =ainfix @ainfix @ainfix @V20V21V22V23aTrueFV5V18ainfix @ainfix @eaupper_boundV25V26V27qainfix =ainfix @ainfix @ainfix @V24V25V26V27aTrueFV5V17LaremoveV17V1IasubchainV5V
2e506399f12731e63f59353846fceead asupremumV5V18V19IamaximumV5V17V19Iainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10LaaddV4V7Lainfix @eainfix =V22V23qainfix =
72bacf15ea70706ee663dffdb15261ee ainfix =ainfix @ainfix @V5V7V19aTrueIasupremumV5V18V19IamaximumV5V17V19Iainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10
f1c019fdc829f0144e6e437892359d2b ainfix =ainfix @V18V19aTrueIainfix =ainfix @ainfix @V5V7V19aTrueIasupremumV5V18V19IamaximumV5V17V19Iainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V
306d95e53922ebe777ba8c69f02ebe8b asupremumV5V17V19IamaximumV5V18V19Iainfix =ainfix @V18V19aTrueAasupremumV5V18V19IamaximumV5V17V19Iainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16
d0053f77e919ded62365f6a9dbbcb6c1 amaximumV5V17V19IasupremumV5V17V19IamaximumV5V18V19Iainfix =ainfix @V18V19aTrueAasupremumV5V18V19IamaximumV5V17V19Iainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16A
395f37bb9fc6e3727ed47a36505de7ca amaximumV5V18V19IamaximumV5V17V19IamaximumV5V17V19AasupremumV5V17V19IamaximumV5V18V19Aainfix =ainfix @V18V19aTrueAasupremumV5V18V19IamaximumV5V17V19Aainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15
157df1a5fb35d56086580c2673de5ba0 amaximumV5V17V19IamaximumV5V18V19IamaximumV5V17V19AasupremumV5V17V19IamaximumV5V18V19Aainfix =ainfix @V18V19aTrueAasupremumV5V18V19IamaximumV5V17V19Aainfix =ainfix @V18V7aTrueFIasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15
4a4b321c693020d4921eb20f01ce8001 atr_extV5V11V4V14IamaximumV5V18V19qamaximumV5V17V19FAasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10LaaddV4V7Lainfix @eainfix =V22V23qainfix =ainfix @
7234f8f1ef1a9abda85f00129682ea18 asubchainV5V16V14INasubchainV5V14V16Iatr_extV5V11V4V14IamaximumV5V18V19qamaximumV5V17V19FAasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10LaaddV4V7L
ecac39c7fe091eb990786ef030b59db6 asextV16V4IasubchainV5V16V14INasubchainV5V14V16Iatr_extV5V11V4V14IamaximumV5V18V19qamaximumV5V17V19FAasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10
88021754f7a0492679730b0a403b5bae asubchainV5V14V16IiasextV16V4AasubchainV5V16V14tasubchainV5V14V16Iatr_extV5V11V4V14IamaximumV5V18V19qamaximumV5V17V19FAasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_against
7af95db9ef575f3a0fb985981577f0ee asextaaddV15V1V16IasubchainV5V14V16Iatr_extV5V11V4V14IamaximumV5V18V19qamaximumV5V17V19FAasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV0V1V2V6V10LaaddV4V7La
68b77c95d5bbb56c7e13cc2d86d17b7d ainfix =aaddV15V1V16IasextaaddV15V1V16IasubchainV5V14V16Iatr_extV5V11V4V14IamaximumV5V18V19qamaximumV5V17V19FAasupremumV5V17V20qasupremumV5V18V20FLaremoveV17V1IasubchainV5V14V17FIainfix =V15aremoveV16V1Aawin_atV0V2V6V10V16Aatr_extV5V11V4V16FFIawin_againstV
898644e1bfd9a114d231dca9b83554fa atr_extV5V12V13aremoveV20V1IasubchainV5V14V20Iatr_extV17V18V19V20Iainfix =V19V4Aainfix =V18V11Aainfix =V17V5FItOatr_extV5V12V13V23ItOtOtOtOatr_extV5V12V13V25Iainfix =ainfix @V24V25aTrueFAainfix =V23abigunionV24ItOasextV23abigunionV24ItOainfix =ainfix @abigunion
317e054d8ebe317daa1d61e75928d66c atr_extV5V12V13V21ItOiiainfix =V21V13ItOasextV21V13ItOtOasextV17V4AasubchainV5V17V14tOainfix =V21aaddV19V18ItOasextV21aaddV19V18ItONainfix =V18V1ItOainfix =ainfix @ainfix @V5V7V18aTrueAainfix =ainfix @ainfix @V12V19V18aTrueItOtOtOtOtOtOtOainfix =ainfix @V10
4feb72a548f236e8f44b1a916549e5da asextV17V20Iainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV15V1V16IasubchainV5V14V16Iatr_extV5V11V4V14IamaximumV
af38b5a17dc06ad0dd3b21f5ca0b24a4 asextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV15V1V16IasubchainV5V14V16Iatr_ext
af9242f1c4cc6ebe46fa59f6992ee60e asubchainV5V17V14INasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV15V1V16IasubchainV5V14V16Ia
d5ee27d65e539e782a73f7c164327c8e ainfix =V19V21IasextV17V20Iainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV15V1V16IasubchainV5V14V16Iatr_extV5V11
517031f3950d114ebb3832e9a5d9d046 asupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV
8b6d335044b8e5f61be7c5cc48b3940c ainfix =V22asupV5V19IasupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11
9f5a79eb2703c321253102a4cac90fab Nainfix =ainfix @ainfix @V5V7V1aTrueAainfix =V22V1Iainfix =V22asupV5V19IasupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1
db70692ed847cf44014a76cef3956086 ainfix =ainfix @V17V7aTrueIainfix =V22V1Iainfix =V22asupV5V19IasupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =a
5fca81b83e384bd4c4a9bcc43b58e0f5 ainfix =ainfix @ainfix @V5V7V1aTrueIainfix =ainfix @V17V7aTrueIainfix =V22V1Iainfix =V22asupV5V19IasupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19Iasubchain
7c432b56c8bfd649c9b7e9fd582c21f3 ainfix =V23ainfix @V8V19Lainfix @V6V17INainfix =V22V1Iainfix =V22asupV5V19IasupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17
1d1843d0fd3cb94d23040300ce3a9090 ainfix =ainfix @V19V22aTrueIainfix =ainfix @V17V22aTrueIainfix =V23ainfix @V8V19Lainfix @V6V17INainfix =V22V1Iainfix =V22asupV5V19IasupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1La
05ad89fb181533efffab9b856572960f ainfix =ainfix @V17V22aTrueIainfix =ainfix @V19V22aTrueIainfix =V23ainfix @V8V19Lainfix @V6V17INainfix =V22V1Iainfix =V22asupV5V19IasupremumV5V19V22LasupV5V17IasextaaddV19V1V17IasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1La
3ddfbfda95683b92071e17f3f31f4a00 ainfix =ainfix @V10V23ainfix @V9V23Iainfix =ainfix @ainfix @atransitionV0V22V23aTrueAainfix =ainfix @V19V22aTrueIainfix =ainfix @V19V22aTrueqainfix =ainfix @V17V22aTrueIainfix =V23ainfix @V8V19Lainfix @V6V17INainfix =V22V1Iainfix =V22asupV5V19IasupremumV5V
ddd04ecd3d91ad385f2211e31bf843f0 ainfix =ainfix @ainfix @V12V19V18aTrueIainfix =ainfix @V10V23ainfix @V9V23Iainfix =ainfix @ainfix @atransitionV0V22V23aTrueAainfix =ainfix @V19V22aTrueAainfix =ainfix @V19V22aTrueqainfix =ainfix @V17V22aTrueAainfix =V23ainfix @V8V19Lainfix @V6V17ANainfix =
d47b6149a5d940c536ac2825b673ffdc ainfix =ainfix @ainfix @V5V7V18aTrueIainfix =ainfix @ainfix @V12V19V18aTrueIasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_ext
8a20631200f37d71f43d898c3db5403e Nainfix =V18V1Iainfix =ainfix @ainfix @V5V7V18aTrueIainfix =ainfix @ainfix @V12V19V18aTrueIasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11
2f1a965f9edf12b53d4f76e4eae8c7fc asextV21aaddV19V18INainfix =V18V1Iainfix =ainfix @ainfix @V12V19V18aTrueIasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_ext
f728b7ec18c1adc0d77fb1589dfa248e ainfix =V21aaddV19V18IasextV21aaddV19V18Iainfix =ainfix @ainfix @V12V19V18aTrueIasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrue
62f2351986c3e6ac7d994b752b112b0f asextV17V4IasubchainV5V17V14INasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV15V1V16Iasubchain
e23958961d48cca6cd4ebad668db6afd asextahaex
fe9083cc45ef359e71bee067a18d8663 ainfix =ainfix @aexV0aTrueqainfix =ainfix @ahV0aTrueF
b510908adfbd5f0cb55845ca8c502561 ainfix =ainfix @aexV0aTrueIainfix =ainfix @ahV0aTrueF
87628b217c203328d7d483890076bd9d ainfix =ainfix @ahV0aTrueIainfix =ainfix @aexV0aTrueF
683f3a448758aa5e76344a4fd93535bf asextV21V13IasextV17V4AasubchainV5V17V14INasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV15V1
b1cdd21bfacf877de007632010a9be8d ainfix =V21V13IasextV21V13INasubchainV5V14V17INainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V1Iainfix =ainfix @ainfix @V11V17V18aTrueAatr_extV5V11V4V17FIainfix =aaddV15V1V16IasubchainV
e30e2cb76bd009f1bcfdab2b02821fb0 atr_extV5V12V13V21Iiiainfix =V21V13ainfix =V21aaddV19V18Aainfix =ainfix @ainfix @V12V19V18aTrueasubchainV5V14V17ainfix =V19V21AasextV17V20ainfix =ainfix @V17V18aTrueIasubchainV5V14V20LaremoveV20V1LaaddV17V18Iatr_extV5V12V13V19IasubchainV5V14V17LaremoveV17V
6cc3070943aca8593b8cd5f759288f4f atr_extV5V12V13V19ItOtOtOtOatr_extV5V12V13V21Iainfix =ainfix @V20V21aTrueFAainfix =V19abigunionV20ItOasextV19abigunionV20ItOainfix =ainfix @abigunionV20V22aTrueItOtOtOainfix =ainfix @V24V22aTrueAainfix =ainfix @V20V24aTrueLaremoveV23V1ANtOtOainfix =V22V7Oa
7220d5e594632bbb91135e9d5bf33fc5 ainfix =V21aremoveV22V1Aainfix =ainfix @V22V7aTrueAainfix =ainfix @V17V22aTrueEELeainfix =V24aremoveV25V1Aainfix =ainfix @V17V25aTrueAasubchainV5V14V25Eqainfix =ainfix @V23V24aTrueFIasubchainV5V14V18LaremoveV18V1LabigunionV17Iatr_extV5V12V13aremoveV26V1Iasubchain
e3ca09e881fa7daef58c0c7db2d1478a NasubchainV5V22V14ANasubchainV5V14V22Iainfix =V21aremoveV22V1Aainfix =ainfix @V22V7aTrueAainfix =ainfix @V17V22aTrueFFLeainfix =V24aremoveV25V1Aainfix =ainfix @V17V25aTrueAasubchainV5V14V25Eqainfix =ainfix @V23V24aTrueFIasubchainV5V14V18LaremoveV18V1Labigunion
7160eedf92fd28d83c1ad0f1f77043a1 asubchainV5V22V14INasubchainV5V14V22Iainfix =V21aremoveV22V1Aainfix =ainfix @V22V7aTrueAainfix =ainfix @V17V22aTrueFFLeainfix =V24aremoveV25V1Aainfix =ainfix @V17V25aTrueAasubchainV5V14V25Eqainfix =ainfix @V23V24aTrueFIasubchainV5V14V18LaremoveV18V1Labigunion
1a485c653bf3386048b00cf68d68c224 ainfix =ainfix @V20V21aTrueINNasubchainV5V14V22Aainfix =V21aremoveV22V1Aainfix =ainfix @V22V7aTrueAainfix =ainfix @V17V22aTrueEFLeainfix =V24aremoveV25V1Aainfix =ainfix @V17V25aTrueAasubchainV5V14V25Eqainfix =ainfix @V23V24aTrueFIasubchainV5V14V18LaremoveV
c2366e46f81077f0674b0d8153568ed4 ainhabitedV20Iainfix =ainfix @V20V21aTrueELeainfix =V23aremoveV24V1Aainfix =ainfix @V17V24aTrueAasubchainV5V14V24Eqainfix =ainfix @V22V23aTrueFIasubchainV5V14V18LaremoveV18V1LabigunionV17Iatr_extV5V12V13aremoveV25V1IasubchainV5V14V25Aatr_extV5V11V4V25Iainfix =
87d3d0f637a6b895b62bfd7cd41d63d8 ainfix =ainfix @V17V23aTrueAainfix =V21aremoveV23V1EIainfix =ainfix @V20V22aTrueAainfix =ainfix @V20V21aTrueFIainhabitedV20Leainfix =V25aremoveV26V1Aainfix =ainfix @V17V26aTrueAasubchainV5V14V26Eqainfix =ainfix @V24V25aTrueFIasubchainV5V14V18LaremoveV18V1L
d652191fa021a68f7990dc73ecc9c6a6 ainfix =ainfix @V17V24aTrueAainfix =V22aremoveV24V1EIainfix =ainfix @V17V23aTrueAainfix =V21aremoveV23V1FIainfix =ainfix @V20V22aTrueAainfix =ainfix @V20V21aTrueFIainhabitedV20Leainfix =V26aremoveV27V1Aainfix =ainfix @V17V27aTrueAasubchainV5V14V27Eqainfix =
2279c4c6ea4be97faea6a38511ddc185 asubchainV5V24V23OasubchainV5V23V24Iainfix =ainfix @V17V24aTrueAainfix =V22aremoveV24V1FIainfix =ainfix @V17V23aTrueAainfix =V21aremoveV23V1FIainfix =ainfix @V20V22aTrueAainfix =ainfix @V20V21aTrueFIainhabitedV20Leainfix =V26aremoveV27V1Aainfix =ainfix @V17
3e5212f484df3c54d9e1674a76d78c7f asubchainV5V22V21OasubchainV5V21V22IasubchainV5V24V23OasubchainV5V23V24Aainfix =ainfix @V17V24aTrueAainfix =V22aremoveV24V1EAainfix =ainfix @V17V23aTrueAainfix =V21aremoveV23V1EIainfix =ainfix @V20V22aTrueAainfix =ainfix @V20V21aTrueFIainhabitedV20Leainfix =
1f170ee275104475f47a5f7339c28be3 achainainfix @easubchainV22V23V24qainfix =ainfix @ainfix @ainfix @V21V22V23V24aTrueFV5V20IasubchainV5V26V25OasubchainV5V25V26Iainfix =ainfix @V20V26aTrueAainfix =ainfix @V20V25aTrueFIainhabitedV20Leainfix =V28aremoveV29V1Aainfix =ainfix @V17V29aTrueAasubchain
7e2a786481e295dd4ff4b66e365bfacd ainfix =ainfix @V22V21aTrueAainfix =ainfix @V20V22aTrueEIainfix =ainfix @abigunionV20V21aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV5V20IainhabitedV20Leainfix =V28aremoveV29V1Aainfix =ainfix @V17V29aTrueAasubchain
7489f98152c1bb97b7c25e8a3dcae205 ainfix =ainfix @V22V21aTrueAainfix =ainfix @V17V22aTrueEIainfix =ainfix @V19V21aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV5V20IainhabitedV20Leainfix =V28aremoveV29V1Aainfix =ainfix @V17V29aTrueAasubchainV5V14
577b82c51ecc5b146a2b59edd7970402 ainfix =V22aremoveV23V1Aainfix =ainfix @V17V23aTrueEIainfix =ainfix @V22V21aTrueAainfix =ainfix @V20V22aTrueFIainfix =ainfix @abigunionV20V21aTrueFIachainainfix @easubchainV25V26V27qainfix =ainfix @ainfix @ainfix @V24V25V26V27aTrueFV5V20IainhabitedV20Leainfix =
79572609e167751c53194f8bb77ed4f9 ainfix =ainfix @V19V21aTrueIainfix =V22aremoveV23V1Aainfix =ainfix @V17V23aTrueEAainfix =ainfix @V22V21aTrueAainfix =ainfix @V20V22aTrueEIainfix =ainfix @abigunionV20V21aTrueFIachainainfix @easubchainV25V26V27qainfix =ainfix @ainfix @ainfix @V24V25V26V27aTrue
dee0a29c51934deb8521ccbc5bd1d8e9 Nainfix =V21V7Oainfix =V21V1AasubchainV5V22V14ANasubchainV5V14V22Iainfix =ainfix @V22V21aTrueAainfix =ainfix @V17V22aTrueFIainfix =ainfix @V19V21aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV5V20IainhabitedV20L
703834de54054ae4f1a8aa16e732b989 asubchainV5V22V14INasubchainV5V14V22Iainfix =ainfix @V22V21aTrueAainfix =ainfix @V17V22aTrueFIainfix =ainfix @V19V21aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV5V20IainhabitedV20Leainfix =V28aremoveV29V1Aainfix =
d468d752ab20275f27b09fcd5a0834be ainfix =V21V7Oainfix =V21V1IasubchainV5V22V14INasubchainV5V14V22Iainfix =ainfix @V22V21aTrueAainfix =ainfix @V17V22aTrueFIainfix =ainfix @V19V21aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV5V20IainhabitedV20Le
09250ab231b53f6c8ed9b8abc2679c52 ainfix =ainfix @V20V23aTrueLaremoveV22V1INNasubchainV5V14V22Iainfix =ainfix @V22V21aTrueAainfix =ainfix @V17V22aTrueFIainfix =ainfix @V19V21aTrueFIachainainfix @easubchainV25V26V27qainfix =ainfix @ainfix @ainfix @V24V25V26V27aTrueFV5V20IainhabitedV20Leainfix =
018b984b3d2962a38a42da2d5a5b8733 ainfix =ainfix @V23V21aTrueLaremoveV22V1INNasubchainV5V14V22Iainfix =ainfix @V22V21aTrueAainfix =ainfix @V17V22aTrueFIainfix =ainfix @V19V21aTrueFIachainainfix @easubchainV25V26V27qainfix =ainfix @ainfix @ainfix @V24V25V26V27aTrueFV5V20IainhabitedV20Leainfix =
db58b79d931354721618e2a13ad9d6a2 ainfix =ainfix @abigunionV20V21aTrueIainfix =ainfix @V23V21aTrueAainfix =ainfix @V20V23aTrueLaremoveV22V1ANNasubchainV5V14V22Aainfix =ainfix @V22V21aTrueAainfix =ainfix @V17V22aTrueEIainfix =ainfix @V19V21aTrueFIachainainfix @easubchainV25V26V27qainfix =ainfix @
c3466a84590a418cd2245d2fd863d639 asextV19abigunionV20Iainfix =ainfix @abigunionV20V21aTrueIainfix =ainfix @V19V21aTrueFAainfix =ainfix @V19V22aTrueIainfix =ainfix @abigunionV20V22aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV5V20IainhabitedV20
ecb84e957bacf4600a2c0ce33c198a46 ainfix =V19abigunionV20IasextV19abigunionV20Iachainainfix @easubchainV22V23V24qainfix =ainfix @ainfix @ainfix @V21V22V23V24aTrueFV5V20IainhabitedV20Leainfix =V26aremoveV27V1Aainfix =ainfix @V17V27aTrueAasubchainV5V14V27Eqainfix =ainfix @V25V26aTrueFIasubchain
b085c24c0b62a3e0091cfb525ef58a1b atr_extV5V12V13V21Iainfix =ainfix @V20V21aTrueFIainfix =V19abigunionV20Iachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV5V20IainhabitedV20Leainfix =V27aremoveV28V1Aainfix =ainfix @V17V28aTrueAasubchainV5V14V28Eqainfix =
a95e6b4d54ae06d24ed5b391eea5e45a atr_extV5V12V13V19Iatr_extV5V12V13V21Iainfix =ainfix @V20V21aTrueFAainfix =V19abigunionV20Aachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV5V20AainhabitedV20Leainfix =V27aremoveV28V1Aainfix =ainfix @V17V28aTrueAasubchain
c3a38373f5749b5c0cff51ffd338ff80 atr_extV5V12V13aremoveV20V1IasubchainV5V14V20Iatr_extV17V18V19V20Iainfix =V19V4Aainfix =V18V11Aainfix =V17V5FIatr_extV5V12V13V23IasubchainV5V14V22LaremoveV22V1LabigunionV21Iatr_extV5V12V13aremoveV24V1IasubchainV5V14V24Aatr_extV5V11V4V24Iainfix =ainfix @V21
b3f0c8fbc9826c26aac365e740fb7c1f atr_extV5V12V13aremoveV23V1IasubchainV5V14V23Iainfix =V17V20Iainfix =V18V21Iainfix =V19V22Iainfix =V23V22FFIainfix =V19V4Aainfix =V18V11Aainfix =V17V5FIatr_extV5V12V13V26IasubchainV5V14V25LaremoveV25V1LabigunionV24Iatr_extV5V12V13aremoveV27V1IasubchainV5V14
eb05ea11b01da6cbf99d1ad4164a4e14 atr_extV5V12V13aremoveV4V1IasubchainV5V14V4Iatr_extV5V12V13V18IasubchainV5V14V17LaremoveV17V1LabigunionV16Iatr_extV5V12V13aremoveV19V1IasubchainV5V14V19Aatr_extV5V11V4V19Iainfix =ainfix @V16V19aTrueFIainhabitedV16Aachainainfix @easubchainV21V22V23qainfix =
67a1a9fa73f0d408ec0e0db0f7e97638 atr_extaoast2aeyaremoveaexax
06e041f3899ad4031e6653647021adc4 atr_extV5V12V13aremoveV25V1IasubchainV5V14V25Iainfix =V17V20Iainfix =V18V21Iainfix =V19V22Iainfix =V25aaddV23V24FIainfix =ainfix @ainfix @V21V23V24aTrueAatr_extV5V12V13aremoveV26V1IasubchainV5V14V26Iainfix =V17V20Iainfix =V18V21Iainfix =V19V22Iainfix =V26V
3b6c267af609e0fd620830c03c175f3f atr_extV5V12V13aremoveaaddV16V17V1IasubchainV5V14aaddV16V17Iainfix =ainfix @ainfix @V11V16V17aTrueAatr_extV5V12V13aremoveV16V1IasubchainV5V14V16Aatr_extV5V11V4V16FIatr_extV5V12V13V20IasubchainV5V14V19LaremoveV19V1LabigunionV18Iatr_extV5V12V13aremoveV21V1Ia
0433b9f9415dad645a2b5af85b60052b atr_extaoast2aeyaremoveaaddachaxax
334f0c9844c16692b2fe403cc4696a7c atr_extV5V12V13aremoveV24V1IasubchainV5V14V24Iainfix =V17V20Iainfix =V18V21Iainfix =V19V22Iainfix =V24abigunionV23FIatr_extV5V12V13aremoveV26V1IasubchainV5V14V26Iainfix =V17V20Iainfix =V18V21Iainfix =V19V22Iainfix =V26V25FAatr_extV20V21V22V25Iainfix =ainfix @
f01f02b29cba38dae13ae79ebbe9be12 atr_extV5V12V13aremoveabigunionV16V1IasubchainV5V14abigunionV16Iatr_extV5V12V13aremoveV17V1IasubchainV5V14V17Aatr_extV5V11V4V17Iainfix =ainfix @V16V17aTrueFAainhabitedV16Aachainainfix @easubchainV19V20V21qainfix =ainfix @ainfix @ainfix @V18V19V20V21aTrueFV
6c76dd4a681e1a6cc90f864969a2b3c7 atr_extaoast2aeyaremoveabigunionachhax
126c2761fa3b0f9386053cd3d537f91a atr_extV5V12V13V15Iatr_extV5V12V13aremoveV20V1IasubchainV5V14V20Iatr_extV17V18V19V20Iainfix =V19V4Aainfix =V18V11Aainfix =V17V5FAainfix =aaddV15V1V16AasubchainV5V14V16Aatr_extV5V11V4V14AamaximumV5V22V23qamaximumV5V21V23FAasupremumV5V21V24qasupremumV5V22V24
e12777ecfa4abf2754560fa136a3e097 awin_atV0V2V8V9V15Iatr_extV5V12V13aremoveV20V1IasubchainV5V14V20Iatr_extV17V18V19V20Iainfix =V19V4Aainfix =V18V11Aainfix =V17V5FAainfix =aaddV15V1V16AasubchainV5V14V16Aatr_extV5V11V4V14AamaximumV5V22V23qamaximumV5V21V23FAasupremumV5V21V24qasupremumV5V22V24
0254ea4c49109692279b98eb612b7123 awin_againstV0V7V2V8V9Iawin_atV0V2V8V9V15Aatr_extV5V12V13V15EAawin_againstV0V1V2V6V10LaaddV4V7Lainfix @eainfix =V17V18qainfix =ainfix @ainfix @V16V17V18aTrueFV7Lainfix @ainfix @ainfix @eastepV20V21V22V23V24qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V
20321d7fec3a35968e0e1b3e8811108e ahave_winning_stratV0V7V2Iiawin_againstV0V7V2V8V9FAainfix =ainfix @ainfix @V5V1V7aTrueLeainfix =ainfix @V10V11ainfix @V6aaddV11V1Ftainfix =V1V7Iainfix =ainfix @V3V7aTrueFINNainfix =ainfix @ainfix @atransitionV0V1V3aTrueIamaximumV5V4V1Iainfix =V3ainfix @V6V
0f755bc1a05f62318fbe48dae1186b4d ainfix =ainfix @ainfix @atransitionV0V1V3aTrueIahave_winning_stratV0V7V2Iainfix =ainfix @V3V7aTrueFANNainfix =ainfix @ainfix @atransitionV0V1V3aTrueAamaximumV5V4V1Aainfix =V3ainfix @V6V4Aawinning_stratV0V1V2V6ELaprogressV0Lainfix @eainfix =V9V10qainfix =ainfix @
294e9d7aeceef11178d191ac69ee386f ahave_uniform_winning_stratV0V3V2Iahave_winning_stratV0V7V2Iainfix =ainfix @V3V7aTrueFANNainfix =ainfix @ainfix @atransitionV0V1V3aTrueAamaximumV5V4V1Aainfix =V3ainfix @V6V4Aawinning_stratV0V1V2V6ELaprogressV0Lainfix @eainfix =V9V10qainfix =ainfix @ainfix @
96e2fc7287ba299804521c0e521b4c4d ahave_winning_stratV0V1V3ItOtOiawinning_stratV0V1V3V7ItOawin_againstV0V1V3V7V8ItOtOitOawin_atV0V3V7V8V14Aatr_extV4V13V6V14ItOtOtOtOatr_extV4V13V6aaddV19V1Iatr_extV16V17V18V19Iainfix =V18V10Aainfix =V17V12Aainfix =V16V4FItOatr_extV4V13V6V23ItOtOtOainfix =V23
a9b00db408dae231eebef5a2cb3e79df auniform_winning_stratV0V2V3V5ELaprogressV0Iahave_uniform_winning_stratV0V2V3Aainfix =ainfix @ainfix @atransitionV0V1V2aTrueF
87e58eb91f8fc078c82cc7ddb61c5202 awinning_stratV0V1V3V5Iainfix =ainfix @V2V1aTrueIauniform_winning_stratV0V2V3V5FLaprogressV0Iahave_uniform_winning_stratV0V2V3Aainfix =ainfix @ainfix @atransitionV0V1V2aTrueF
2179551752367ad524ed9ead84e17230 amaximumV4V6V1LaaddV10V1Lainfix @eainfix =V13V14qainfix =ainfix @ainfix @V12V13V14aTrueFV9Lainfix @V8V2FLeainfix =ainfix @V15V16iainfix @V5aremoveV16V1V2ainfix =V16V6FLainfix @eainfix =V18V19qainfix =ainfix @ainfix @V17V18V19aTrueFV1INainfix =ainfix @V2V1a
b7fcc8bab318c994252233f19af36ac2 awin_atV0V3V7V8V6INainfix =ainfix @V2V9aTrueIamaximumV4V6V1LaaddV10V1Lainfix @eainfix =V13V14qainfix =ainfix @ainfix @V12V13V14aTrueFV9Lainfix @V8V2FLeainfix =ainfix @V15V16iainfix @V5aremoveV16V1V2ainfix =V16V6FLainfix @eainfix =V18V19qainfix =ainfix @ainfix @
172b2016f8ec285bc2ba5e76c89dfaf9 ainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @ainfix @eastepV15V16V17V18V19qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V14V15V16V17V18V19aTrueFV0V7V8Lainfix @ainfix @ainfix @eastepV21V22V23V24V25qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V
efc900f1b57a8036210f05c19c550bb0 ainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15EEIainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @ainfix @eastepV17V18V19V20V21qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V16V17V18V19V20V21aTrueFV0V7V8Lainfix @ainfix @ainfix @eastepV23V
8650d4d8592698c5202ab0d89e38ed5f amaximumV4V17V18qamaximumV4V16V18FAasupremumV4V16V19qasupremumV4V17V19FItOasextainfix @ainfix @eaupper_boundV21V22V23qainfix =ainfix @ainfix @ainfix @V20V21V22V23aTrueFV4V17ainfix @ainfix @eaupper_boundV25V26V27qainfix =ainfix @ainfix @ainfix @V24V25V26V27
e93edcd04d03c349b26f4612c8910924 Nainfix =ainfix @ainfix @V4V9V1aTrueAainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @ainfix @eastepV19V20V21V22V23qainfix =ainfix @ainfix @
f44f677d08a3981d09da71d2db3317a6 ainfix =ainfix @ainfix @V4V19V18aTrueIainfix =ainfix @V17V19aTrueAaupper_boundV4V16V18FINainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @
90ecaf13de1ba668f67d99bc5cb20bcc amaximumV4V17V18IamaximumV4V16V18FIasupremumV4V16V19qasupremumV4V17V19FINainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @ainfix @eastep
cc561f5c6d050b2dff6643bd8aa068c9 amaximumV4V16V18IamaximumV4V17V18FIasupremumV4V16V19qasupremumV4V17V19FINainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @ainfix @eastep
2bb0d4edfe36f85cdd02738cf0da06f3 ainfix =ainfix @ainfix @V4V9V1aTrueIainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @ainfix @eastepV19V20V21V22V23qainfix =ainfix @ainfix @
4df9390d9fd4accc149e023a9958b737 asextainfix @ainfix @eaupper_boundV19V20V21qainfix =ainfix @ainfix @ainfix @V18V19V20V21aTrueFV4V17ainfix @ainfix @eaupper_boundV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V16Iainfix =ainfix @ainfix @V4V27V26aTrueIainfix =ainfix @V17V27aTrue
318cd4ee9a87f6a6db6b2d02b450afca asupremumV4V16V18IasupremumV4V17V18FIasextainfix @ainfix @eaupper_boundV20V21V22qainfix =ainfix @ainfix @ainfix @V19V20V21V22aTrueFV4V17ainfix @ainfix @eaupper_boundV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV4V16INainfix =ainfix @V16V1aTrue
638d3545e067a3da387c7d594d207c70 asupremumV4V17V18IasupremumV4V16V18FIasextainfix @ainfix @eaupper_boundV20V21V22qainfix =ainfix @ainfix @ainfix @V19V20V21V22aTrueFV4V17ainfix @ainfix @eaupper_boundV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV4V16INainfix =ainfix @V16V1aTrue
a6e0735dc31626248cbdb2b4783e8eea asextaremoveV14V1V15IamaximumV4V17V18qamaximumV4V16V18FAasupremumV4V16V19qasupremumV4V17V19FANainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @V4V1V9aTrueLainfix @a
4d4e86cbaa679e53e4ad825674ea73d0 ainfix =aremoveV14V1V15IasextaremoveV14V1V15IamaximumV4V17V18qamaximumV4V16V18FAasupremumV4V16V19qasupremumV4V17V19FANainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @
6c5114b12efbde4bda61aa89893f7eaf atr_extV4V13V6aaddV19V1Iatr_extV16V17V18V19Iainfix =V18V10Aainfix =V17V12Aainfix =V16V4FItOatr_extV4V13V6V23ItOtOtOainfix =V23abigunionV21ItOasextabigunionV21V23ItOainfix =ainfix @abigunionV21V24aTrueItOitOainfix =ainfix @aaddV25V1V24aTrueAainfix =ainfix @
d27094c6f5da005466a7fa8c64ca1941 asextV11aaddV6V9Iainfix =aremoveV14V1V15IamaximumV4V17V18qamaximumV4V16V18FAasupremumV4V16V19qasupremumV4V17V19FANainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =ainfix @ainfix @V
57811a1f5fada5d740a21aabbf976ced ainfix =ainfix @ainfix @V13V6V9aTrueIainfix =aremoveV14V1V15IamaximumV4V17V18qamaximumV4V16V18FAasupremumV4V16V19qasupremumV4V17V19FANainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V3V5V8V15Aatr_extV4V12V10V15FFIainfix =
d002574d4924ec4dd431268e1e59cec9 atr_extV4V13V6V20ItOtOainfix =ainfix @ainfix @V13V18V17aTrueItOtOtOtOtOainfix =ainfix @V18V21aTrueqainfix =ainfix @V16V21aTrueAainfix =V22ainfix @V7V18Lainfix @V5V16Aainfix =V21asupV4V18AasupremumV4V18V21LasupV4V16AasextaremoveV18V1V16AasextV20aaddV18V17La
59a70532e32855f920db145c6bcbe2af asextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @V12V16V17aTrueAatr_extV4V12V10V16FIainfix =aremoveV14V1V15IamaximumV4V22V23qamaximumV4V21V23FAasupremumV4V21V24qasupremumV4V22V24FANainfix =ainfix @V21V1aTrueLaaddV
3ab3bbf8f1de82c59805932e56f8f830 asextaremoveV18V1V16IasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @V12V16V17aTrueAatr_extV4V12V10V16FIainfix =aremoveV14V1V15IamaximumV4V22V23qamaximumV4V21V23FAasupremumV4V21V24qasupremumV4V22V24FANainfix =ainfix @
ffa7a084206744a5966c00da39456989 asupremumV4V18V21LasupV4V16IasextaremoveV18V1V16IasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @V12V16V17aTrueAatr_extV4V12V10V16FIainfix =aremoveV14V1V15IamaximumV4V23V24qamaximumV4V22V24FAasupremumV4V22V25qasupremum
f145e5c5d5aea435c647aa0072ee4814 ainfix =V21asupV4V18IasupremumV4V18V21LasupV4V16IasextaremoveV18V1V16IasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @V12V16V17aTrueAatr_extV4V12V10V16FIainfix =aremoveV14V1V15IamaximumV4V23V24qamaximumV4V22V24FA
600214f0fd953eb599f303fd538bb5c7 ainfix =V22ainfix @V7V18Lainfix @V5V16Iainfix =V21asupV4V18IasupremumV4V18V21LasupV4V16IasextaremoveV18V1V16IasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @V12V16V17aTrueAatr_extV4V12V10V16FIainfix =aremoveV14V1
5e10cceaa8e6c74a7a77406b266de12a ainfix =ainfix @V18V21aTrueIainfix =ainfix @V16V21aTrueIainfix =V22ainfix @V7V18Lainfix @V5V16Iainfix =V21asupV4V18IasupremumV4V18V21LasupV4V16IasextaremoveV18V1V16IasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @
323f1005bdd7e95d232a228bcd707269 ainfix =ainfix @V16V21aTrueIainfix =ainfix @V18V21aTrueIainfix =V22ainfix @V7V18Lainfix @V5V16Iainfix =V21asupV4V18IasupremumV4V18V21LasupV4V16IasextaremoveV18V1V16IasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @
fabfea24fcd1eda002edfdaa4b93343c ainfix =ainfix @ainfix @V13V18V17aTrueIainfix =ainfix @V18V21aTrueqainfix =ainfix @V16V21aTrueAainfix =V22ainfix @V7V18Lainfix @V5V16Aainfix =V21asupV4V18AasupremumV4V18V21LasupV4V16AasextaremoveV18V1V16IasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13
4eb8f978bea56d9f72730cb18f74de0a atr_extV4V13V6V20Iainfix =ainfix @ainfix @V13V18V17aTrueAasextV20aaddV18V17LaaddV19V1LaaddV16V17Iatr_extV4V13V6V18LaaddV16V1Iainfix =ainfix @ainfix @V12V16V17aTrueAatr_extV4V12V10V16FIainfix =aremoveV14V1V15IamaximumV4V22V23qamaximumV4V21V23FAasupremumV4V21
6d99e25d3c3a9c87c4c112446d036ddb atr_extV4V13V6V19ItOtOtOainfix =V19abigunionV17ItOasextabigunionV17V19ItOainfix =ainfix @abigunionV17V20aTrueItOitOainfix =ainfix @aaddV21V1V20aTrueAainfix =ainfix @V17aaddV21V1aTrueAainfix =ainfix @V21V20aTrueAainfix =ainfix @V16V21aTrueEtOainfix =ainfix @
102c1adc2c098d5e0fa1312a8e50e204 ainhabitedV17LaaddV18V1LabigunionV16Leainfix =V21aaddV22V1Aainfix =ainfix @V16V22aTrueEqainfix =ainfix @V20V21aTrueFIatr_extV4V13V6aaddV23V1Aatr_extV4V12V10V23Iainfix =ainfix @V16V23aTrueFIainhabitedV16Aachainainfix @easubchainV25V26V27qainfix =ainfix @ainfix @
13291a989253372733f8e16fd9cec442 ainfix =V20aaddV22V1Aainfix =ainfix @V16V22aTrueEIainfix =ainfix @V17V21aTrueAainfix =ainfix @V17V20aTrueFIainhabitedV17LaaddV18V1LabigunionV16Leainfix =V24aaddV25V1Aainfix =ainfix @V16V25aTrueEqainfix =ainfix @V23V24aTrueFIatr_extV4V13V6aaddV26V1Aatr_extV
112920530205e0e8ce9830426d3d9efa ainfix =V21aaddV23V1Aainfix =ainfix @V16V23aTrueEIainfix =V20aaddV22V1Aainfix =ainfix @V16V22aTrueFIainfix =ainfix @V17V21aTrueAainfix =ainfix @V17V20aTrueFIainhabitedV17LaaddV18V1LabigunionV16Leainfix =V25aaddV26V1Aainfix =ainfix @V16V26aTrueEqainfix =ainfix @
0ec8f3e031bf116185ca47bb2c4e82b8 asubchainV4V23V22OasubchainV4V22V23Iainfix =V21aaddV23V1Aainfix =ainfix @V16V23aTrueFIainfix =V20aaddV22V1Aainfix =ainfix @V16V22aTrueFIainfix =ainfix @V17V21aTrueAainfix =ainfix @V17V20aTrueFIainhabitedV17LaaddV18V1LabigunionV16Leainfix =V25aaddV26V1Aainfix =
d6d92667f2204631fbdc3a722899a5a1 asubchainV4V21V20OasubchainV4V20V21IasubchainV4V23V22OasubchainV4V22V23Aainfix =V21aaddV23V1Aainfix =ainfix @V16V23aTrueEAainfix =V20aaddV22V1Aainfix =ainfix @V16V22aTrueEIainfix =ainfix @V17V21aTrueAainfix =ainfix @V17V20aTrueFIainhabitedV17LaaddV18V1Labigunion
f5eef9d93d39f4ac16b36e9998f6234b achainainfix @easubchainV21V22V23qainfix =ainfix @ainfix @ainfix @V20V21V22V23aTrueFV4V17IasubchainV4V25V24OasubchainV4V24V25Iainfix =ainfix @V17V25aTrueAainfix =ainfix @V17V24aTrueFIainhabitedV17LaaddV18V1LabigunionV16Leainfix =V27aaddV28V1Aainfix =ainfix @
da2fb73dfc5a0e088215b3cc974b2c3c ainfix =ainfix @V21V20aTrueAainfix =ainfix @V17V21aTrueEIainfix =ainfix @abigunionV17V20aTrueFIachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V17IainhabitedV17LaaddV18V1LabigunionV16Leainfix =V27aaddV28V1Aainfix =ainfix @
67873b870e806b8f9a66b428fd20e3dd ainfix =ainfix @V17V21aTrueEIainfix =V20V1Iainfix =ainfix @V19V20aTrueFIachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V17IainhabitedV17LaaddV18V1LabigunionV16Leainfix =V27aaddV28V1Aainfix =ainfix @V16V28aTrueEqainfix =
9f6927314cf88a20798e8d942cb890ee ainfix =ainfix @V21V20aTrueAainfix =ainfix @V16V21aTrueEINainfix =V20V1Iainfix =ainfix @V19V20aTrueFIachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V17IainhabitedV17LaaddV18V1LabigunionV16Leainfix =V27aaddV28V1Aainfix =
e8f77af026a4a65fdc57887eec0b19fc ainfix =V21aaddV22V1Aainfix =ainfix @V16V22aTrueEIainfix =ainfix @V21V20aTrueAainfix =ainfix @V17V21aTrueFIainfix =ainfix @abigunionV17V20aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrueFV4V17IainhabitedV17LaaddV18
9d4864f13318edccd61be99317cab397 ainfix =ainfix @V19V20aTrueIainfix =V21aaddV22V1Aainfix =ainfix @V16V22aTrueEAainfix =ainfix @V21V20aTrueAainfix =ainfix @V17V21aTrueEIainfix =ainfix @abigunionV17V20aTrueFIachainainfix @easubchainV24V25V26qainfix =ainfix @ainfix @ainfix @V23V24V25V26aTrue
9ed30730ea871d6ff6590c97cd792ead ainfix =ainfix @V21V1aTrueIainfix =ainfix @V17V21aTrueFIainfix =V20V1Iainfix =ainfix @V19V20aTrueFIachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V17IainhabitedV17LaaddV18V1LabigunionV16Leainfix =V27aaddV28V1Aainfix =
e2602b5fc91eeb0cb7f591f7f48eb3c1 ainfix =ainfix @V17aaddV21V1aTrueIainfix =ainfix @V21V20aTrueAainfix =ainfix @V16V21aTrueFINainfix =V20V1Iainfix =ainfix @V19V20aTrueFIachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V17IainhabitedV17LaaddV18V1Labigunion
8e3e2b7205be66fe8835f28b17a1677a ainfix =ainfix @aaddV21V1V20aTrueIainfix =ainfix @V21V20aTrueAainfix =ainfix @V16V21aTrueFINainfix =V20V1Iainfix =ainfix @V19V20aTrueFIachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V17IainhabitedV17LaaddV18V1Labigunion
3fd236140020dac35865e789f150e2a6 ainfix =ainfix @abigunionV17V20aTrueIiainfix =ainfix @aaddV21V1V20aTrueAainfix =ainfix @V17aaddV21V1aTrueAainfix =ainfix @V21V20aTrueAainfix =ainfix @V16V21aTrueEainfix =ainfix @V22V1aTrueAainfix =ainfix @V17V22aTrueEainfix =V20V1Iainfix =ainfix @V19V20aTrue
1e59a974d2e6362e2c33742d55feff1b asextabigunionV17V19Iainfix =ainfix @abigunionV17V20aTrueIainfix =ainfix @V19V20aTrueFAainfix =ainfix @V19V21aTrueIainfix =ainfix @abigunionV17V21aTrueFIachainainfix @easubchainV23V24V25qainfix =ainfix @ainfix @ainfix @V22V23V24V25aTrueFV4V17IainhabitedV17
8236cac1182da7a9eb4f5c0bb0c1481b ainfix =V19abigunionV17IasextabigunionV17V19Iachainainfix @easubchainV21V22V23qainfix =ainfix @ainfix @ainfix @V20V21V22V23aTrueFV4V17IainhabitedV17LaaddV18V1LabigunionV16Leainfix =V25aaddV26V1Aainfix =ainfix @V16V26aTrueEqainfix =ainfix @V24V25aTrueFIatr_ext
2b7217e1c025376ae1c4b73ab4d406bd atr_extV4V13V6V19Iainfix =V19abigunionV17Aachainainfix @easubchainV21V22V23qainfix =ainfix @ainfix @ainfix @V20V21V22V23aTrueFV4V17AainhabitedV17LaaddV18V1LabigunionV16Leainfix =V25aaddV26V1Aainfix =ainfix @V16V26aTrueEqainfix =ainfix @V24V25aTrueFIatr_ext
be807385d181eeff079bd17fa5f7803a atr_extV4V13V6V11Iainfix =ainfix @ainfix @V13V6V9aTrueAasextV11aaddV6V9Iainfix =aremoveV14V1V15IamaximumV4V17V18qamaximumV4V16V18FAasupremumV4V16V19qasupremumV4V17V19FANainfix =ainfix @V16V1aTrueLaaddV16V1IasubchainV4V10V16FIainfix =V14aaddV15V1Aawin_atV0V
3db8073324433d9e0cbf98dec710594a atr_extV4V13V6aaddV19V1Iatr_extV16V17V18V19Iainfix =V18V10Aainfix =V17V12Aainfix =V16V4FIatr_extV4V13V6V23LaaddV22V1LabigunionV20Leainfix =V25aaddV26V1Aainfix =ainfix @V20V26aTrueEqainfix =ainfix @V24V25aTrueFIatr_extV4V13V6aaddV27V1Aatr_extV4V12V10V27Iainfix =
4cba135a05a0847589cbf475917c32ec atr_extV4V13V6aaddV22V1Iainfix =V16V19Iainfix =V17V20Iainfix =V18V21Iainfix =V22V21FFIainfix =V18V10Aainfix =V17V12Aainfix =V16V4FIatr_extV4V13V6V26LaaddV25V1LabigunionV23Leainfix =V28aaddV29V1Aainfix =ainfix @V23V29aTrueEqainfix =ainfix @V27V28aTrueFIatr_ext
a192120be145d46a5107fdbbe99233c6 atr_extV4V13V6aaddV10V1Iatr_extV4V13V6V18LaaddV17V1LabigunionV15Leainfix =V20aaddV21V1Aainfix =ainfix @V15V21aTrueEqainfix =ainfix @V19V20aTrueFIatr_extV4V13V6aaddV22V1Aatr_extV4V12V10V22Iainfix =ainfix @V15V22aTrueFIainhabitedV15Aachainainfix @easubchainV
e5a50321084e55c47d551622e53d698b atr_extaoast2aexaaddaeyax
8d0b46d5288749a5fd5e327f2a58c54b atr_extV4V13V6aaddV24V1Iainfix =V16V19Iainfix =V17V20Iainfix =V18V21Iainfix =V24aaddV22V23FIainfix =ainfix @ainfix @V20V22V23aTrueAatr_extV4V13V6aaddV25V1Iainfix =V16V19Iainfix =V17V20Iainfix =V18V21Iainfix =V25V22FAatr_extV19V20V21V22FIainfix =V18V10Aainfix =
0d4c0e05a769b2b2dca932773cfd6203 atr_extV4V13V6aaddaaddV15V16V1Iainfix =ainfix @ainfix @V12V15V16aTrueAatr_extV4V13V6aaddV15V1Aatr_extV4V12V10V15FIatr_extV4V13V6V20LaaddV19V1LabigunionV17Leainfix =V22aaddV23V1Aainfix =ainfix @V17V23aTrueEqainfix =ainfix @V21V22aTrueFIatr_extV4V13V6aaddV24
3ef6d8b6902c1d1c148c2582b2d4d129 atr_extaoast2aexaaddaaddachaxax
b49b14a3d884856008a2ce1e626e853b atr_extV4V13V6aaddV23V1Iainfix =V16V19Iainfix =V17V20Iainfix =V18V21Iainfix =V23abigunionV22FIatr_extV4V13V6aaddV25V1Iainfix =V16V19Iainfix =V17V20Iainfix =V18V21Iainfix =V25V24FAatr_extV19V20V21V24Iainfix =ainfix @V22V24aTrueFAainhabitedV22Aachainainfix @
f5b9bf5ac6e6253381c0df7a01a39abf atr_extV4V13V6aaddabigunionV15V1Iatr_extV4V13V6aaddV16V1Aatr_extV4V12V10V16Iainfix =ainfix @V15V16aTrueFAainhabitedV15Aachainainfix @easubchainV18V19V20qainfix =ainfix @ainfix @ainfix @V17V18V19V20aTrueFV4V15FIatr_extV4V13V6V24LaaddV23V1LabigunionV21Leainfix =
b3e0c6f1657146173a96bebc1ab7bf76 atr_extaoast2aexaaddabigunionachhax
add747b170de1e5054f1d5d61e1e41f4 atr_extV4V13V6V14Iatr_extV4V13V6aaddV19V1Iatr_extV16V17V18V19Iainfix =V18V10Aainfix =V17V12Aainfix =V16V4FAainfix =aremoveV14V1V15AamaximumV4V21V22qamaximumV4V20V22FAasupremumV4V20V23qasupremumV4V21V23FANainfix =ainfix @V20V1aTrueLaaddV20V1IasubchainV4V10V
ff1bf5a69b1f73d7212fcc8486020a10 awin_atV0V3V7V8V14Iatr_extV4V13V6aaddV19V1Iatr_extV16V17V18V19Iainfix =V18V10Aainfix =V17V12Aainfix =V16V4FAainfix =aremoveV14V1V15AamaximumV4V21V22qamaximumV4V20V22FAasupremumV4V20V23qasupremumV4V21V23FANainfix =ainfix @V20V1aTrueLaaddV20V1IasubchainV4V10
f6e38afa70a6d7f89599ee068b48e366 awin_againstV0V1V3V7V8Iiawin_atV0V3V7V8V14Aatr_extV4V13V6V14EAainfix =ainfix @ainfix @V4V1V9aTrueLainfix @ainfix @ainfix @eastepV16V17V18V19V20qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V15V16V17V18V19V20aTrueFV0V7V8Lainfix @ainfix @ainfix @eastepV22
660c98f30226ab65933c035353e19b58 awinning_stratV0V1V3V7Iawin_againstV0V1V3V7V8FLeainfix =ainfix @V9V10iainfix @V5aremoveV10V1V2ainfix =V10V6FLainfix @eainfix =V12V13qainfix =ainfix @ainfix @V11V12V13aTrueFV1INainfix =ainfix @V2V1aTrueIauniform_winning_stratV0V2V3V5FLaprogressV0Iahave_uniform_winning_strat
49aa0f511d6ebb58a7266c1098b6453a ahave_winning_stratV0V1V3Iiawinning_stratV0V1V3V7Leainfix =ainfix @V8V9iainfix @V5aremoveV9V1V2ainfix =V9V6FLainfix @eainfix =V11V12qainfix =ainfix @ainfix @V10V11V12aTrueFV1awinning_stratV0V1V3V5ainfix =ainfix @V2V1aTrueAauniform_winning_stratV0V2V3V5ELaprogress
1bc195684e0c39c0fe37fac977b4461b ahave_winning_stratV0V1V2ItOtOauniform_winning_stratV0ainfix @eainfix =V5V6qainfix =ainfix @ainfix @V4V5V6aTrueFV1V2V3AtEIainfix =ainfix @V2V1aTrueF
364b58e4d30f9bb7914cf19ede696888 tEIainfix =ainfix @V2V1aTrueF
3f894b693581a495303d6cf514c10b9b auniform_winning_stratV0ainfix @eainfix =V5V6qainfix =ainfix @ainfix @V4V5V6aTrueFV1V2V3ItFIainfix =ainfix @V2V1aTrueF
41dab6d2b8f753ee4883d19d104a33b9 ahave_winning_stratV0V1V2Iauniform_winning_stratV0ainfix @eainfix =V5V6qainfix =ainfix @ainfix @V4V5V6aTrueFV1V2V3AtEIainfix =ainfix @V2V1aTrueF
2c26c4a905bde146abafeac0f96ed05e auniform_winning_stratV0V2V4V5ItOawin_againstV0V7V4V5V6ItOawin_againstV0V7V3V5V6Iainfix =ainfix @V2V7aTrueFIauniform_winning_stratV0V1V3V5IasubsetV3V4AasubsetV2V1F
7e1eee2fc3e2f655ae9dbbbd40b36e31 awin_againstV0V7V3V5V6Iainfix =ainfix @V2V7aTrueFIauniform_winning_stratV0V1V3V5IasubsetV3V4AasubsetV2V1F
b76b239c65e1379b8bfe16a9f6b1ec45 awin_againstV0V7V4V5V6Iawin_againstV0V7V3V5V6Iainfix =ainfix @V2V7aTrueFIauniform_winning_stratV0V1V3V5IasubsetV3V4AasubsetV2V1F
605d0e911747ea7c4cdf606c9f6a3c8f auniform_winning_stratV0V2V4V5Iawin_againstV0V7V4V5V6Iainfix =ainfix @V2V7aTrueFIauniform_winning_stratV0V1V3V5IasubsetV3V4AasubsetV2V1F
e61113071131ab60022f44b67f814fdb awinning_stratV0V1V5V3ItOawin_againstV0V1V5V3V6ItOtOtOawin_atV0V5V3V6V7Aawin_atV0V2V3V6V7Aatr_extV4ainfix @ainfix @ainfix @eastepV9V10V11V12V13qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12V13aTrueFV0V3V6ainfix @eainfix =V15V16qainfix =ainfix @
30f313885416c4fe9287f3ecd6700454 awin_againstV0V1V2V3V6FIawinning_stratV0V1V2V3LainterV2ainfix @V4V1LaprogressV0F
7cb84a418c46044377bf8ac64545b372 awin_atV0V2V3V6V7Aatr_extV4ainfix @ainfix @ainfix @eastepV9V10V11V12V13qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12V13aTrueFV0V3V6ainfix @eainfix =V15V16qainfix =ainfix @ainfix @V14V15V16aTrueFV1V7EIawin_againstV0V1V2V3V6FIawinning_stratV
a3ab0d6efb813f9ee3d18091dc746957 awin_atV0V5V3V6V7Iawin_atV0V2V3V6V7Aatr_extV4ainfix @ainfix @ainfix @eastepV9V10V11V12V13qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12V13aTrueFV0V3V6ainfix @eainfix =V15V16qainfix =ainfix @ainfix @V14V15V16aTrueFV1V7FIawin_againstV0V1V2V3V
bded204905239ed61cb5400c22a22097 awin_againstV0V1V5V3V6Iawin_atV0V5V3V6V7Aawin_atV0V2V3V6V7Aatr_extV4ainfix @ainfix @ainfix @eastepV9V10V11V12V13qainfix =ainfix @ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12V13aTrueFV0V3V6ainfix @eainfix =V15V16qainfix =ainfix @ainfix @V14V15V16aTrueFV1V7
d4f0a2e864806d92975e02a96415ce4e awinning_stratV0V1V5V3Iawin_againstV0V1V5V3V6FIawinning_stratV0V1V2V3LainterV2ainfix @V4V1LaprogressV0F
03606f6d15d4fa1fefc45ec91e972cb1 ahave_winning_stratV0V3V2Iainfix =ainfix @V1V3aTrueFqahave_uniform_winning_stratV0V1V2F
f20855efd3d8c6a7e72093d0c6a72c77 ahave_uniform_winning_stratV0V3V2Aainfix =ainfix @ainfix @atransitionV0V1V3aTrueEOainfix =ainfix @V2V1aTrueqahave_winning_stratV0V1V2F
f023a998714dbb1a1ac23b8415eb1145 auniform_winning_stratV0V1V2V3IasubsetV1V2F
b07c180bf0d23da63fb063ab0ab952d2 auniform_winning_stratV0V2V4V5Iauniform_winning_stratV0V1V3V5IasubsetV3V4AasubsetV2V1F
a4fa9a4807539989cce8e7e0bf563971 awinning_stratV0V1ainterV2ainfix @aprogressV0V1V3Iawinning_stratV0V1V2V3F
