db9b1b032ace97e6794bc49b5414ac69 asubchainV0V2V3Iatr_extV0V1V2V3Iatr_succV0V1AatransitiveV0ItOasubchainV4V7abigunionV6Iainfix =ainfix @V6V7aTrueFIachainainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV4V6Aatr_succV4V5AatransitiveV4FF
4ecde115c0a568a74bd62f753e9937d4 asubchainV4V7abigunionV6Iainfix =ainfix @V6V7aTrueFIachainainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV4V6Aatr_succV4V5AatransitiveV4FF
9020d1ca9c0f5161cae80f65c5d6c843 asubchainV0V2V3Iatr_extV0V1V2V3Iatr_succV0V1AatransitiveV0IasubchainV4V7abigunionV6Iainfix =ainfix @V6V7aTrueFIachainainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV4V6Aatr_succV4V5AatransitiveV4FF
9c0c76d80875c4cf88a4d5997a360de2 asubchainV0V2V6Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V6V5FFIatr_succV0V1AatransitiveV0IasubchainV7V10abigunionV9Iainfix =ainfix @V9V10aTrueFIachainainfix @easubchainV12V13V14qainfix =ainfix @ainfix @ainfix @V11V12V13V14aTrueFV7V9Aatr_succV7V8Aatransitive
d3833ab084ceaf5b1c81e0eb4be78f25 asubchainV0V2V2Iatr_succV0V1AatransitiveV0IasubchainV3V6abigunionV5Iainfix =ainfix @V5V6aTrueFIachainainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV3V5Aatr_succV3V4AatransitiveV3FF
9777a2fc717382b6d3e33d4035a0883e asubchainV0V2V8Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V8aaddV6V7FIainfix =ainfix @ainfix @V4V6V7aTrueAasubchainV0V2V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V6FAatr_extV3V4V5V6FIatr_succV0V1AatransitiveV0IasubchainV10V13abigunionV12Iainfix =
f0f204c45fc1236c57bc04fda1c78087 asubchainV0V2aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAasubchainV0V2V3Aatr_extV0V1V2V3FIatr_succV0V1AatransitiveV0IasubchainV5V8abigunionV7Iainfix =ainfix @V7V8aTrueFIachainainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV5V
79e6a21104ec8127c57e8a5a529c102c asubchainV0V2V7Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V7abigunionV6FIasubchainV0V2V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V8FAatr_extV3V4V5V8Iainfix =ainfix @V6V8aTrueFAainhabitedV6Aachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @
c2eaf3348297d766c69f893b052b953a asubchainV0V2abigunionV3IasubchainV0V2V4Aatr_extV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FIatr_succV0V1AatransitiveV0IasubchainV9V12abigunionV11Iainfix =ainfix @V11V12
b4fc505c715cf8a703c50aab32c0dd9a atr_extV0V1V2V4Iatr_extV0V1V3V4Iatr_extV0V1V2V3Iatr_succV0V1F
20636a61ddfe4eda8bd155903f5d9ebd atr_extV0V1V2V7Iainfix =V0V4Iainfix =V1V5Iainfix =V3V6Iainfix =V7V6FFIatr_extV0V1V2V3Iatr_succV0V1F
a29c6c679aa7baa4f9d30acde41e9f4f atr_extV0V1V2V3Iatr_extV0V1V2V3Iatr_succV0V1F
eab9fa7b3d506ca59c0287f4081e8050 atr_extV0V1V2V9Iainfix =V0V4Iainfix =V1V5Iainfix =V3V6Iainfix =V9aaddV7V8FIainfix =ainfix @ainfix @V5V7V8aTrueAatr_extV0V1V2V10Iainfix =V0V4Iainfix =V1V5Iainfix =V3V6Iainfix =V10V7FAatr_extV4V5V6V7FIatr_extV0V1V2V3Iatr_succV0V1F
b1b0eb0084b68d3d2d1750e25fc2298f atr_extV0V1V2aaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4Aatr_extV0V1V3V4FIatr_extV0V1V2V3Iatr_succV0V1F
79eacb932765155108e56351121f002b atr_extV0V1V2V8Iainfix =V0V4Iainfix =V1V5Iainfix =V3V6Iainfix =V8abigunionV7FIatr_extV0V1V2V10Iainfix =V0V4Iainfix =V1V5Iainfix =V3V6Iainfix =V10V9FAatr_extV4V5V6V9Iainfix =ainfix @V7V9aTrueFAainhabitedV7Aachainainfix @easubchainV12V13V14qainfix =ainfix @a
4347f51e72b675350defc4f5535fd459 atr_extV0V1V2abigunionV4Iatr_extV0V1V2V5Aatr_extV0V1V3V5Iainfix =ainfix @V4V5aTrueFAainhabitedV4Aachainainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4FIatr_extV0V1V2V3Iatr_succV0V1F
3f7c322a69366035d398946d1b9f124b achainV0V3Iatr_extV0V1V2V3IachainV0V2Aatr_succV0V1AareflexiveV0F
6a58ad886b3145ab34560e0ae1dcb288 achainV0V6Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V6V5FFIachainV0V2Aatr_succV0V1AareflexiveV0F
90ca832babecba0613e11a75c1f3c6c4 achainV0V2IachainV0V2Aatr_succV0V1AareflexiveV0F
9bb0a101ac7f78a0f49b401fe17d1a9f achainV0V8Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V8aaddV6V7FIainfix =ainfix @ainfix @V4V6V7aTrueAachainV0V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V6FAatr_extV3V4V5V6FIachainV0V2Aatr_succV0V1AareflexiveV0F
ac7b74737f7ee3549fe8b546c5ea9d29 achainV0aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAachainV0V3Aatr_extV0V1V2V3FIachainV0V2Aatr_succV0V1AareflexiveV0F
4fb4b30a1fbc5be70246388e80f47a1d achainV0V7Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V7abigunionV6FIachainV0V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V8FAatr_extV3V4V5V8Iainfix =ainfix @V6V8aTrueFAainhabitedV6Aachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @
de15d934078f3bcc9d234b601b7cfeab achainV0abigunionV3IachainV0V4Aatr_extV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FIachainV0V2Aatr_succV0V1AareflexiveV0F
c2a673f00ecee4c405c59b85c81827e6 awf_chainV0V3Iatr_extV0V1V2V3Iawf_chainV0V2Aatr_succV0V1AareflexiveV0F
310f095db51a7faf824ddc4cf3bdcbbb awf_chainV0V6Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V6V5FFIawf_chainV0V2Aatr_succV0V1AareflexiveV0F
6f179b893990d40cb8150947483eb0d3 awf_chainV0V2Iawf_chainV0V2Aatr_succV0V1AareflexiveV0F
4bd9673b5feb364a5a7648607e62355c awf_chainV0V8Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V8aaddV6V7FIainfix =ainfix @ainfix @V4V6V7aTrueAawf_chainV0V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V6FAatr_extV3V4V5V6FIawf_chainV0V2Aatr_succV0V1AareflexiveV0F
e8f629aa1071bfe06c98e21256382be0 awf_chainV0aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAawf_chainV0V3Aatr_extV0V1V2V3FIawf_chainV0V2Aatr_succV0V1AareflexiveV0F
fe90076dd6a08f39a720c8287e3eecaf awf_chainV0V7Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V7abigunionV6FIawf_chainV0V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V8FAatr_extV3V4V5V8Iainfix =ainfix @V6V8aTrueFAainhabitedV6Aachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @
4113bd8e31f4e6670db3818717a51afd awf_chainV0abigunionV3Iawf_chainV0V4Aatr_extV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FIawf_chainV0V2Aatr_succV0V1AareflexiveV0F
aaad970335910256ee2672f215e5ce06 atr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4Iatr_extV0V1V2V4FItOatr_extV0V1V3V6Aatr_extV0V1V2V3ItOiasextV3V6ItOaupper_boundainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V5V3ItONasubchainV0V3V12Iainfix =ainfix @V5V12aTrueFt
6b89325d5ca76662057f7e28f0c9a88a Nainfix =ainfix @ainfix @V0V5V6aTrueANainfix =ainfix @V3V6aTrueIainfix =ainfix @V4V6aTrueFIainfix =ainfix @V3V5aTrueIatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V3aaddV4V5Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIasubchainV0V2V3A
d28470fadd6bf5ec6e5fc1071d7c8dca asubchainV0V3V4INainfix =ainfix @V3V5aTrueIatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V3aaddV4V5Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIasubchainV0V2V3Aatr_succV0V1AaorderV0F
70d160860e8130400e857ee8b7e9604e ainfix =ainfix @V6V7aTrueEIainhabitedV6LeasubchainV0V3V9Aainfix =ainfix @V4V9aTrueqainfix =ainfix @V8V9aTrueFIasubchainV0V3V5LabigunionV4Iatr_extV0V1V3V10Aatr_extV0V1V2V3IasubchainV0V3V10Aatr_extV0V1V2V10Iainfix =ainfix @V4V10aTrueFAainhabitedV4Aachainainfix @
cdb564519041745e22f1f63cf34660e9 NasubchainV0V3V7Iainfix =ainfix @V4V7aTrueFINainhabitedV6LeasubchainV0V3V9Aainfix =ainfix @V4V9aTrueqainfix =ainfix @V8V9aTrueFIasubchainV0V3V5LabigunionV4Iatr_extV0V1V3V10Aatr_extV0V1V2V3IasubchainV0V3V10Aatr_extV0V1V2V10Iainfix =ainfix @V4V10aTrueFAainhabited
45699382ae5010d72e851744b2139a14 ainfix =ainfix @ainfix @V0V5V6aTrueINainfix =ainfix @V3V6aTrueIainfix =ainfix @V4V6aTrueFIainfix =ainfix @V3V5aTrueIatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V3aaddV4V5Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIasubchainV0V2V3Aa
1a0fe4f9ca6a2236005f2c5e1107a0f0 asextV3aaddV4V5INNainfix =ainfix @V3V6aTrueIainfix =ainfix @V4V6aTrueFIainfix =ainfix @V3V5aTrueIatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V3aaddV4V5Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIasubchainV0V2V3Aatr_succV0V1AaorderV
b7bc6057240a902a1bc7e2e89d792aae atr_extV0V1V2V3IiasubchainV0V3V4asextV3aaddV4V5ainfix =ainfix @V3V5aTrueIatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V3aaddV4V5Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIasubchainV0V2V3Aatr_succV0V1AaorderV0F
1cca9a8689c30a5b42c2958771cf3674 atr_extV0V1V3aaddV4V5IiasubchainV0V3V4asextV3aaddV4V5ainfix =ainfix @V3V5aTrueIatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V3aaddV4V5Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIasubchainV0V2V3Aatr_succV0V1AaorderV0F
5ba47f0b64670ecbc82c7d4969520ebd ainfix =ainfix @V6V9aTrueIasubchainV0V3V9Iainfix =ainfix @V4V9aTrueFIaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V6V8FIainfix =ainfix @V6V7aTrueFIainhabitedV6LeasubchainV0V3V15Aainfix =ainfix @V4V15aTrueqainfix =
53fa3620b271b160295332b3fba3fba4 asubchainV0V9V3INasubchainV0V3V9Iainfix =ainfix @V4V9aTrueFIaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V6V8FIainfix =ainfix @V6V7aTrueFIainhabitedV6LeasubchainV0V3V15Aainfix =ainfix @V4V15aTrueqainfix =ainfix @
efe1fcfaaf2e62cbc4a5bce02b6d6b82 asubchainV0V7V8IasubchainV0V9V3INasubchainV0V3V9Iainfix =ainfix @V4V9aTrueFIaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V6V8FIainfix =ainfix @V6V7aTrueFIainhabitedV6LeasubchainV0V3V15Aainfix =ainfix @V4V15aTrue
bb0a03b05cd6d208a0ff6dc4018cd94c asubchainV0V9V8IiasubchainV0V7V8AasubchainV0V9V3ainfix =ainfix @V6V9aTrueasubchainV0V3V9Iainfix =ainfix @V4V9aTrueFIaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V6V8FIainfix =ainfix @V6V7aTrueFIainhabitedV6Lea
dcff991e3beae7862ad697a9748e2fcb aupper_boundainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V4V8IasubchainV0V13V8Iainfix =ainfix @V4V13aTrueFIaupper_boundainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V6V8FIainfix =ainfix @V
53cc36ae0cd2ae62c46205b3258bf053 asupremumainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V6V5Iaupper_boundainfix @easubchainV14V15V16qainfix =ainfix @ainfix @ainfix @V13V14V15V16aTrueFV0V4V12Iaupper_boundainfix @easubchainV18V19V20qainfix =ainfix @ainfix @ainfix @
c2b84498864bb6266ff9bb3c3f6c05ca ainfix =abigunionV6V5Iasupremumainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V6V5Iainfix =ainfix @V6V7aTrueFIainhabitedV6LeasubchainV0V3V13Aainfix =ainfix @V4V13aTrueqainfix =ainfix @V12V13aTrueFIasubchainV0V3V5LabigunionV4Ia
14eb60f5412cef024f3168337146fe23 aupper_boundainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V4V3INasubchainV0V3V11Iainfix =ainfix @V4V11aTrueFINainhabitedV6LeasubchainV0V3V13Aainfix =ainfix @V4V13aTrueqainfix =ainfix @V12V13aTrueFIasubchainV0V3V5LabigunionV4Iatr_ext
622c9affac658f05cef9b59f3b5a146c asextV3V5Iaupper_boundainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V4V3INainhabitedV6LeasubchainV0V3V12Aainfix =ainfix @V4V12aTrueqainfix =ainfix @V11V12aTrueFIasubchainV0V3V5LabigunionV4Iatr_extV0V1V3V13Aatr_extV0V1V2V3Iasubchain
0e3756145e51e4c0ed4e27f4f5e01a97 atr_extV0V1V2V3IiasextV3V5ainfix =abigunionV6V5Aainfix =ainfix @V6V7aTrueEainhabitedV6LeasubchainV0V3V9Aainfix =ainfix @V4V9aTrueqainfix =ainfix @V8V9aTrueFIasubchainV0V3V5LabigunionV4Iatr_extV0V1V3V10Aatr_extV0V1V2V3IasubchainV0V3V10Aatr_extV0V1V2V10Iainfix =
b1d519c1881faed61ae96e1904d198a5 atr_extV0V1V3V5IiasextV3V5ainfix =abigunionV6V5Aainfix =ainfix @V6V7aTrueEainhabitedV6LeasubchainV0V3V9Aainfix =ainfix @V4V9aTrueqainfix =ainfix @V8V9aTrueFIasubchainV0V3V5LabigunionV4Iatr_extV0V1V3V10Aatr_extV0V1V2V3IasubchainV0V3V10Aatr_extV0V1V2V10Iainfix =
daa9eca1119026938b650fae12033beb atr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4Iatr_extV0V1V2V4FIatr_extV0V1V3V6Aatr_extV0V1V2V3IasubchainV0V3V6LabigunionV5Iatr_extV0V1V3V7Aatr_extV0V1V2V3IasubchainV0V3V7Aatr_extV0V1V2V7Iainfix =ainfix @V5V7aTrueFAainhabitedV5Aachainainfix @easubchainV9V
46e0851232931dfabbc3dc4a74ab63f4 atr_extV0V1V3V7Aatr_extV0V1V2V3IasubchainV0V3V7Iainfix =V0V4Iainfix =V1V5Iainfix =V2V6Iainfix =V7V6FFIatr_extV0V1V3V9Aatr_extV0V1V2V3IasubchainV0V3V9LabigunionV8Iatr_extV0V1V3V10Aatr_extV0V1V2V3IasubchainV0V3V10Aatr_extV0V1V2V10Iainfix =ainfix @V8V10aTrueF
1eec5ec82ebff88706132f6dd713599a atr_extV0V1V3V2Aatr_extV0V1V2V3IasubchainV0V3V2Iatr_extV0V1V3V5Aatr_extV0V1V2V3IasubchainV0V3V5LabigunionV4Iatr_extV0V1V3V6Aatr_extV0V1V2V3IasubchainV0V3V6Aatr_extV0V1V2V6Iainfix =ainfix @V4V6aTrueFAainhabitedV4Aachainainfix @easubchainV8V9V10qainfix =ainfix @
ca7d3134b0a026d9ca726398eb4ac720 atr_extaoasuccah2ah1Aatr_extaoasuccah1ah2
72e171307f7ad8c4d19e890af43c275e atr_extV0V1V3V9Aatr_extV0V1V2V3IasubchainV0V3V9Iainfix =V0V4Iainfix =V1V5Iainfix =V2V6Iainfix =V9aaddV7V8FIainfix =ainfix @ainfix @V5V7V8aTrueAatr_extV0V1V3V10Aatr_extV0V1V2V3IasubchainV0V3V10Iainfix =V0V4Iainfix =V1V5Iainfix =V2V6Iainfix =V10V7FAatr_extV4
4fcbc009a0cd8c3996e8c06d3debf2c2 atr_extV0V1V3aaddV4V5Aatr_extV0V1V2V3IasubchainV0V3aaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4Aatr_extV0V1V2V4FIatr_extV0V1V3V7Aatr_extV0V1V2V3IasubchainV0V3V7LabigunionV6Iatr_extV0V1V3V8Aatr_extV0V1V2V3Iasubchain
7590596070aa90f80d114f0365e490ee atr_extaoasuccah2aaddachaxAatr_extaoasuccah1ah2
3277dba003cb16e8790362c15eaff47b atr_extV0V1V3V8Aatr_extV0V1V2V3IasubchainV0V3V8Iainfix =V0V4Iainfix =V1V5Iainfix =V2V6Iainfix =V8abigunionV7FIatr_extV0V1V3V10Aatr_extV0V1V2V3IasubchainV0V3V10Iainfix =V0V4Iainfix =V1V5Iainfix =V2V6Iainfix =V10V9FAatr_extV4V5V6V9Iainfix =ainfix @V7V9aTrueF
2ea935be6efda4ccd1d70a08bce37313 atr_extV0V1V3abigunionV4Aatr_extV0V1V2V3IasubchainV0V3abigunionV4Iatr_extV0V1V3V5Aatr_extV0V1V2V3IasubchainV0V3V5Aatr_extV0V1V2V5Iainfix =ainfix @V4V5aTrueFAainhabitedV4Aachainainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4FIatr_ext
ab2baea964150efc9f18f48ec420dbef atr_extaoasuccah2abigunionachhAatr_extaoasuccah1ah2
209d86a42162ccaa4819285907fa2189 ainfix =V4V3ItOtOainfix =V8V3Iatr_extV5V6V7V8Iainfix =V7V3Aainfix =V6V1Aainfix =V5V0FItOainfix =abigunionV9V3ItOasupremumainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V9V3Iainfix =V14V3Iainfix =ainfix @V9V14aTrueFAainhabited
4747871846918a3811421d7e691e1c45 atr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succV0V1AaorderV0F
0ab80f08a4d11fceac1adeda7dc24119 asextV3aaddV3V5Iainfix =ainfix @ainfix @V1V3V5aTrueFIatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succV0V1AaorderV0F
0042543bd66ed7fe650707be20b1491b asupremumainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V5V3Iainfix =V10V3Iainfix =ainfix @V5V10aTrueFAainhabitedV5FIatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succV0V1AaorderV0F
7d0ce5d5e93b4aefd0f2fc9f23245314 ainfix =V3aaddV3V5IasextV3aaddV3V5Iainfix =ainfix @ainfix @V1V3V5aTrueFIatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succV0V1AaorderV0F
87946656e0fba80be390481417c47d86 ainfix =abigunionV5V3Iasupremumainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V5V3Iainfix =V10V3Iainfix =ainfix @V5V10aTrueFAainhabitedV5FIatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succ
9da7397e99284af5599ddaef5ab975cd ainfix =V8V3Iatr_extV5V6V7V8Iainfix =V7V3Aainfix =V6V1Aainfix =V5V0FIainfix =abigunionV9V3Iainfix =V10V3Iainfix =ainfix @V9V10aTrueFAainhabitedV9FAainfix =V3aaddV3V11Iainfix =ainfix @ainfix @V1V3V11aTrueFIatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubset
40c5101b7cec07b144e1d2dc5739418f ainfix =V11V3Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V11V10FFIainfix =V7V3Aainfix =V6V1Aainfix =V5V0FIainfix =abigunionV12V3Iainfix =V13V3Iainfix =ainfix @V12V13aTrueFAainhabitedV12FAainfix =V3aaddV3V14Iainfix =ainfix @ainfix @V1V3V14aTrueFIatr_ext
331f8d81aba95e063629b85808f23d74 tIainfix =abigunionV5V3Iainfix =V6V3Iainfix =ainfix @V5V6aTrueFAainhabitedV5FAainfix =V3aaddV3V7Iainfix =ainfix @ainfix @V1V3V7aTrueFIatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succV0V1AaorderV0F
dc6afdd164def263d119fd637455d68b t
65a1cd648714b67641dbbc7af77e9e8c ainfix =V13V3Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V13aaddV11V12FIainfix =ainfix @ainfix @V9V11V12aTrueAainfix =V14V3Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V14V11FAatr_extV8V9V10V11FIainfix =V7V3Aainfix =V6V1Aainfix =V5V0FIainfix =abigunion
86c531a9b5e79ba674be65b6232c07f6 ainfix =aaddV5V6V3Iainfix =ainfix @ainfix @V1V5V6aTrueAainfix =V5V3Aatr_extV0V1V3V5FIainfix =abigunionV7V3Iainfix =V8V3Iainfix =ainfix @V7V8aTrueFAainhabitedV7FAainfix =V3aaddV3V9Iainfix =ainfix @ainfix @V1V3V9aTrueFIatr_extV0V1V3V4IasubchainV0V3V4Aatr_ext
98adbf52232d0927283d74e4dc82df7c ainfix =aaddV3V5V3Iainfix =ainfix @ainfix @V1V3V5aTrueAatr_extV0V1V3V3FIainfix =abigunionV6V3Iainfix =V7V3Iainfix =ainfix @V6V7aTrueFAainhabitedV6FAainfix =V3aaddV3V8Iainfix =ainfix @ainfix @V1V3V8aTrueFIatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubset
6c2cfd3a8b0736e00de5c1ef4470c8bc ainfix =V12V3Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V12abigunionV11FIainfix =V14V3Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V14V13FAatr_extV8V9V10V13Iainfix =ainfix @V11V13aTrueFAainhabitedV11Aachainainfix @easubchainV16V17V18qainfix =ainfix @
7069615f5231695d6465503012de7fd5 ainfix =abigunionV5V3Iainfix =V6V3Aatr_extV0V1V3V6Iainfix =ainfix @V5V6aTrueFAainhabitedV5Aachainainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V5FIainfix =abigunionV11V3Iainfix =V12V3Iainfix =ainfix @V11V12aTrueFAainhabitedV11F
0171bae068dad635c188ec10265b6d2a ainfix =abigunionachhah2
ce072f8c4f8ceeffe293218e8ee56da6 ainfix =V4V3Iainfix =V8V3Iatr_extV5V6V7V8Iainfix =V7V3Aainfix =V6V1Aainfix =V5V0FAatr_extV0V1V3V4IasubchainV0V3V4Aatr_extV0V1V2V4Aasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succV0V1AaorderV0F
044753cf4e1993bbf787bf0beee3d018 atr_extV0V1V2V3Iatr_ext_detV0V1V2V3F
2959f72c6ac92b0e25495a9d5045601f atr_extV0V1V2V6Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V6V5FFF
13a53fd5121df04fb9f1409d219ccee5 atr_extV0V1V2V2F
e39a5051f4046f69cb2e94be1bf8671a atr_extV0V1V2V8Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V8aaddV6V7FIainfix =ainfix @ainfix @V4V6V7aTrueAadet_relatedV4V6Aatr_extV0V1V2V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V6FAatr_ext_detV3V4V5V6FF
4c8f0f1c6f87535ce9a5238b3779a03c atr_extV0V1V2aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Aatr_extV0V1V2V3Aatr_ext_detV0V1V2V3FF
a4cb1f0334aac84e362317f94dd3627b atr_extV0V1V2V7Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V7abigunionV6FIatr_extV0V1V2V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V8FAatr_ext_detV3V4V5V8Iainfix =ainfix @V6V8aTrueFAainhabitedV6Aachainainfix @easubchainV11V12V13qainfix =ainfix @
fb79f7091cd944e24c2897303e0d124b atr_extV0V1V2abigunionV3Iatr_extV0V1V2V4Aatr_ext_detV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FF
3adc01366c2267b2d20de47c39da4c05 atr_ext_detV0V1V2V6Iadet_criterionV0V1V2V6Iatr_extV3V4V5V6Iainfix =V5V2Aainfix =V4V1Aainfix =V3V0FIatr_succV0V1AapreorderV0F
1f24d908634b053edd304c802c95f4ce atr_ext_detV0V1V2V9Iadet_criterionV0V1V2V9Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V9V8FFIainfix =V5V2Aainfix =V4V1Aainfix =V3V0FIatr_succV0V1AapreorderV0F
873cce2abfe3657a46338d8a53d56a00 atr_ext_detV0V1V2V2Iadet_criterionV0V1V2V2Iatr_succV0V1AapreorderV0F
4065a47f8c9fe33172ae308233041a37 atr_ext_detaoasuccah1ah1
7d959d561d1efcdf7db1bd531dada216 atr_ext_detV0V1V2V11Iadet_criterionV0V1V2V11Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V11aaddV9V10FIainfix =ainfix @ainfix @V7V9V10aTrueAatr_ext_detV0V1V2V12Iadet_criterionV0V1V2V12Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V12V9FAatr_extV6V7V8V
c472caeb7312246b83f737dea2d111b5 atr_ext_detV0V1V2aaddV3V4Iadet_criterionV0V1V2aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAatr_ext_detV0V1V2V3Iadet_criterionV0V1V2V3Aatr_extV0V1V2V3FIatr_succV0V1AapreorderV0F
6e74155c65fc460cdc34086c7eb7f22f atr_ext_detaoasuccah1aaddachax
879c3071041a1b33de6597b599a68c08 atr_ext_detV0V1V2V10Iadet_criterionV0V1V2V10Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V10abigunionV9FIatr_ext_detV0V1V2V12Iadet_criterionV0V1V2V12Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V12V11FAatr_extV6V7V8V11Iainfix =ainfix @V9V11aTrueFAainhabited
bed50cbd599dff6a54a8d58a2bd66d52 atr_ext_detV0V1V2abigunionV3Iadet_criterionV0V1V2abigunionV3Iatr_ext_detV0V1V2V4Iadet_criterionV0V1V2V4Aatr_extV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FIatr_succV0V1A
721acf0daace8433e274e1fe5de68eeb atr_ext_detaoasuccah1abigunionachh
5d2e9919b7efe30a67eb55cc177f60c6 adet_criterionV0V1V2V6Iatr_ext_detV3V4V5V6Iainfix =V5V2Aainfix =V4V1Aainfix =V3V0FItOadet_criterionV0V1V2V8ItONtOaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V7V9ItOasubchainV0V14V9Iainfix =ainfix @V7V14aTrueF
bbacac7f8ecec37d459384efae148d40 NasextV6V5Aainfix =ainfix @V6V4aTrueINainfix =V6V5AasubchainV0V6V5FLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Iadet_criterionV0V1V2V3FIatr_succV0V1AaorderV0F
8131fcb1a319b673a00a2cabf4d32213 Naupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V3V5ANNainfix =V5V10AasubchainV0V5V10Aainfix =ainfix @V3V10aTrueEINainfix =V5V4AasubchainV0V5V4FLabigunionV3Iadet_criterionV0V1V2V11Iainfix =ainfix @V3V11aTrueFIachainainfix @
44545afee0337c2b93384df8e65edcee Nainfix =ainfix @ainfix @V0V4V7aTrueANainfix =ainfix @V6V7aTrueIainfix =ainfix @V5V7aTrueFIainfix =ainfix @V6V4aTrueINainfix =V6V5AasubchainV0V6V5FLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Iadet_criterionV0V1V2V3FIatr_succV0V1AaorderV0F
5a4db6eca857245cf29f475b1c1453de ainfix =ainfix @ainfix @V0V4V7aTrueINainfix =ainfix @V6V7aTrueIainfix =ainfix @V5V7aTrueFIainfix =ainfix @V6V4aTrueINainfix =V6V5AasubchainV0V6V5FLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Iadet_criterionV0V1V2V3FIatr_succV0V1AaorderV0F
16bc153f95517bea36ccb568c406751f asextV6V5INNainfix =ainfix @V6V7aTrueIainfix =ainfix @V5V7aTrueFIainfix =ainfix @V6V4aTrueINainfix =V6V5AasubchainV0V6V5FLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Iadet_criterionV0V1V2V3FIatr_succV0V1AaorderV0F
eba2bf22e311a723f72189f04fed23a3 asubchainV0V6V3INainfix =ainfix @V6V4aTrueINainfix =V6V5AasubchainV0V6V5FLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Iadet_criterionV0V1V2V3FIatr_succV0V1AaorderV0F
55473cf0159b067bdf7becd1e2dbc4bc adet_criterionV0V1V2V5IasubchainV0V6V3INainfix =V6V5AasubchainV0V6V5FLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Iadet_criterionV0V1V2V3FIatr_succV0V1AaorderV0F
040d800f67bd7cfdc5ab7e6d3ae49193 asubchainV0V6V5Iainfix =ainfix @V3V6aTrueFINNainfix =V5V7AasubchainV0V5V7Aainfix =ainfix @V3V7aTrueEINainfix =V5V4AasubchainV0V5V4FLabigunionV3Iadet_criterionV0V1V2V8Iainfix =ainfix @V3V8aTrueFIachainainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @
6836931eb16c5ab041fcf8e604cda8bb aupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V3V5IasubchainV0V10V5Iainfix =ainfix @V3V10aTrueFINNainfix =V5V11AasubchainV0V5V11Aainfix =ainfix @V3V11aTrueEINainfix =V5V4AasubchainV0V5V4FLabigunionV3Iadet_criterionV0V
7a112df2706e54b0d37a20208a9e41bb adet_criterionV0V1V2V4INNNainfix =V5V6AasubchainV0V5V6Aainfix =ainfix @V3V6aTrueEINainfix =V5V4AasubchainV0V5V4FLabigunionV3Iadet_criterionV0V1V2V7Iainfix =ainfix @V3V7aTrueFIachainainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueF
260419948d0feaef9fa43858525c98c7 adet_criterionV0V1V2V6Iatr_ext_detV3V4V5V6Iainfix =V5V2Aainfix =V4V1Aainfix =V3V0FIadet_criterionV0V1V2V8LabigunionV7Iadet_criterionV0V1V2V9Iainfix =ainfix @V7V9aTrueFIachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V7
26f72ed1f4820f6f2318ed9d62b69111 adet_criterionV0V1V2V9Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V9V8FFIainfix =V5V2Aainfix =V4V1Aainfix =V3V0FIadet_criterionV0V1V2V11LabigunionV10Iadet_criterionV0V1V2V12Iainfix =ainfix @V10V12aTrueFIachainainfix @easubchainV14V15V16qainfix =ainfix @
a4832d47a17bd8ed4f26587d3810e3cb adet_criterionV0V1V2V2Iadet_criterionV0V1V2V4LabigunionV3Iadet_criterionV0V1V2V5Iainfix =ainfix @V3V5aTrueFIachainainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V3FAadet_criterionV0V1V2V12LaaddV10V11Iainfix =ainfix @ainfix @V1V10V
75f15069f2e0762078b31b1a6f332e85 adet_criterionaoasuccah1ah1
405d67a386ad1ea4fc22908db1240618 adet_criterionV0V1V2V11Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V11aaddV9V10FIainfix =ainfix @ainfix @V7V9V10aTrueAadet_relatedV7V9Aadet_criterionV0V1V2V12Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V12V9FAatr_ext_detV6V7V8V9FIainfix =V5V2Aainfix =
fd244d955d3d44a17d09645d95414d2f adet_criterionV0V1V2aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAadet_relatedV1V3Aadet_criterionV0V1V2V3Aatr_ext_detV0V1V2V3FIadet_criterionV0V1V2V6LabigunionV5Iadet_criterionV0V1V2V7Iainfix =ainfix @V5V7aTrueFIachainainfix @easubchainV9V10V11qainfix =ainfix @
f3cd9e8adce3bce15c08b743bc5d60c1 adet_criterionaoasuccah1aaddachax
409655cfdafb44b016148557b177027a adet_criterionV0V1V2V10Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V10abigunionV9FIadet_criterionV0V1V2V12Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V12V11FAatr_ext_detV6V7V8V11Iainfix =ainfix @V9V11aTrueFAainhabitedV9Aachainainfix @easubchainV14V
2636ce579826fe3e8fc8cbef2fed98fb adet_criterionV0V1V2abigunionV3Iadet_criterionV0V1V2V4Aatr_ext_detV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FIadet_criterionV0V1V2V10LabigunionV9Iadet_criterionV0V1V2V11
ec77222145a28967ef3bb9e54105f7d8 adet_criterionaoasuccah1abigunionachh
47d5c2814db65ba7381961b784eb0d63 atr_ext_detV0V1V3V4Aatr_ext_detV0V1V2V3ItOtOadet_criterionV0V1V3V4Aadet_criterionV0V1V2V3Aadet_criterionV0V1V2V4Aatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
22bfb78be6f9b104e30022340991b4fa atr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
a95ec4daf732e40320649e19a4c6db83 atr_extV0V1V3V4IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
5edadd80e6a6dbcb560e1d67fe892c8d adet_criterionV0V1V2V4IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
22365bd9ea33cb6edbf5098ef4d52e6e adet_criterionV0V1V2V3Iadet_criterionV0V1V2V4Aatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
eef74ddadc72a541fbd5353d02e53019 adet_criterionV0V1V3V4Iadet_criterionV0V1V2V4Aatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
cc4356c071b81a0c1c257a57a48bcbb6 atr_ext_detV0V1V2V3Iadet_criterionV0V1V3V4Aadet_criterionV0V1V2V3Aadet_criterionV0V1V2V4Aatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
eafef22ae97e64861285141378eb1bbc atr_ext_detV0V1V3V4Iadet_criterionV0V1V3V4Aadet_criterionV0V1V2V3Aadet_criterionV0V1V2V4Aatr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
855e725c23c0003e1d57a73f5eddc953 aseparatorV0V1V2V5ItOitOasubchainV0V5V9OasubchainV0V9V5Iatr_ext_detV6V7V8V9Iainfix =V8V2Aainfix =V7V1Aainfix =V6V0FItOasubchainV0V5V11OasubchainV0V11V5LabigunionV10IasubchainV0V12V5OasubchainV0V12V5Iainfix =ainfix @V10V12aTrueFAachainainfix @easubchainV14V
17ef36fcd0a1184b847ac791b89d90ae asextV3V5Iainfix =ainfix @V3V4aTrueLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAaseparatorV0V1V2V3Aatr_extV0V1V2V3Iatr_succV0V1AatransitiveV0F
fab220ef2b3a09630da65ec9900477ef asubchainV0V3V5INainfix =ainfix @V3V4aTrueLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAaseparatorV0V1V2V3Aatr_extV0V1V2V3Iatr_succV0V1AatransitiveV0F
5b9234b7782fe9e2fea189964671c76b asubchainV0V3V8INasubchainV0V8V3INasubchainV0V5V6LaaddV6V7Iainfix =ainfix @ainfix @V1V6V7aTrueAadet_relatedV1V6Aatr_ext_detV0V1V2V6IasubchainV0V5V6OasubchainV0V6V5FIasubchainV0V3V5INainfix =ainfix @V3V4aTrueLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAaseparator
65dc636fd02edcbd541a5e6d92810ef5 asubchainV0V5V7OasubchainV0V7V5LabigunionV6IasubchainV0V8V5OasubchainV0V8V5Iainfix =ainfix @V6V8aTrueFAachainainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V6FIasubchainV0V3V5INainfix =ainfix @V3V4aTrueLaaddV3V4Iainfix =ainfix @
34619fb1f82add53b920da59e67f1d73 asubchainV0V6V3IasubchainV0V3V8INasubchainV0V8V3INasubchainV0V5V6LaaddV6V7Iainfix =ainfix @ainfix @V1V6V7aTrueAadet_relatedV1V6Aatr_ext_detV0V1V2V6IasubchainV0V5V6OasubchainV0V6V5FIasubchainV0V3V5INainfix =ainfix @V3V4aTrueLaaddV3V4Iainfix =ainfix @ainfix @
51017baa3d2a6575ac4fb1a76aaeee81 asubchainV0V3V6IasubchainV0V3V8INasubchainV0V8V3INasubchainV0V5V6LaaddV6V7Iainfix =ainfix @ainfix @V1V6V7aTrueAadet_relatedV1V6Aatr_ext_detV0V1V2V6IasubchainV0V5V6OasubchainV0V6V5FIasubchainV0V3V5INainfix =ainfix @V3V4aTrueLaaddV3V4Iainfix =ainfix @ainfix @
a4f27b16a85ec9886f321693a7ff808d ainfix =V6V3IasubchainV0V3V6AasubchainV0V6V3IasubchainV0V3V8INasubchainV0V8V3INasubchainV0V5V6LaaddV6V7Iainfix =ainfix @ainfix @V1V6V7aTrueAadet_relatedV1V6Aatr_ext_detV0V1V2V6IasubchainV0V5V6OasubchainV0V6V5FIasubchainV0V3V5INainfix =ainfix @V3V4aTrueLaadd
d4f0bc2220943d88f7d52e6afe0b5d88 asubchainV0V5V8OasubchainV0V8V5Iiiainfix =V6V3AasubchainV0V3V8tasubchainV0V8V3tasubchainV0V5V6LaaddV6V7Iainfix =ainfix @ainfix @V1V6V7aTrueAadet_relatedV1V6Aatr_ext_detV0V1V2V6IasubchainV0V5V6OasubchainV0V6V5FIasubchainV0V3V5INainfix =ainfix @V3V4aTrueLaadd
ad9312df7cb86de909905fa4c971b94c asubchainV0V5V9OasubchainV0V9V5Iatr_ext_detV6V7V8V9Iainfix =V8V2Aainfix =V7V1Aainfix =V6V0FIasubchainV0V5V11OasubchainV0V11V5LabigunionV10IasubchainV0V12V5OasubchainV0V12V5Iainfix =ainfix @V10V12aTrueFAachainainfix @easubchainV14V15V16qainfix =ainfix @ainfix @
9c72912960eefeb3bedac382228012eb asubchainV0V5V12OasubchainV0V12V5Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V12V11FFIainfix =V8V2Aainfix =V7V1Aainfix =V6V0FIasubchainV0V5V14OasubchainV0V14V5LabigunionV13IasubchainV0V15V5OasubchainV0V15V5Iainfix =ainfix @V13V15aTrueFAachainainfix @
a6304c0fe41aa6f6aa2332ed9aeb3058 asubchainV0V5V2OasubchainV0V2V5IasubchainV0V5V7OasubchainV0V7V5LabigunionV6IasubchainV0V8V5OasubchainV0V8V5Iainfix =ainfix @V6V8aTrueFAachainainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V6FAasubchainV0V5V15OasubchainV0V15V
80571fc2da4a3b81ea41613eeabe89ca asubchainaoah4ah1Oasubchainaoah1ah4
bec0d4e0e8bee7e35f07973bc823e628 asubchainV0V5V14OasubchainV0V14V5Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V14aaddV12V13FIainfix =ainfix @ainfix @V10V12V13aTrueAadet_relatedV10V12AasubchainV0V5V15OasubchainV0V15V5Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V15V12FAatr_ext_det
6182bf87e9fc24dff82698718aa721b1 asubchainV0V5aaddV6V7OasubchainV0aaddV6V7V5Iainfix =ainfix @ainfix @V1V6V7aTrueAadet_relatedV1V6AasubchainV0V5V6OasubchainV0V6V5Aatr_ext_detV0V1V2V6FIasubchainV0V5V9OasubchainV0V9V5LabigunionV8IasubchainV0V10V5OasubchainV0V10V5Iainfix =ainfix @V8V10aTrueFA
24b9cf950992a26f1b2357f818818e81 asubchainaoah4aaddachaxOasubchainaoaaddachaxah4
b54ed976f7300650d7f4d2b5a4c7bc35 asubchainV0V5V13OasubchainV0V13V5Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V13abigunionV12FIasubchainV0V5V15OasubchainV0V15V5Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V15V14FAatr_ext_detV9V10V11V14Iainfix =ainfix @V12V14aTrueFAainhabitedV12
e5145c03c67271716ae1274ebbb9cc33 asubchainV0V5abigunionV6OasubchainV0abigunionV6V5IasubchainV0V5V7OasubchainV0V7V5Aatr_ext_detV0V1V2V7Iainfix =ainfix @V6V7aTrueFAainhabitedV6Aachainainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V6FIasubchainV0V5V13OasubchainV
07f6e3405dc85f709c770ebe82888f35 asubchainaoah4abigunionachhOasubchainaoabigunionachhah4
8d0f988e899fce7a6830fa8788fd543b aseparatorV0V1V2V5IiasubchainV0V5V9OasubchainV0V9V5Iatr_ext_detV6V7V8V9Iainfix =V8V2Aainfix =V7V1Aainfix =V6V0FAasubchainV0V3V5asextV3V5ainfix =ainfix @V3V4aTrueLaaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAaseparatorV0V1V2V3Aatr_extV0V1V2V3Iatr_succV0V1Aa
9baf9852c33a90716722a9f1ceff8bd6 aseparatorV0V1V2V6Iatr_extV3V4V5V6Iainfix =V5V2Aainfix =V4V1Aainfix =V3V0FItOaseparatorV0V1V2V8ItOasubchainV0V8V9OasubchainV0V9V8ItOtOasubchainV0V8V9ItOaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V7V9OtOasubchain
6414c4ea39058cc7259042a5627dd043 asubchainV0V5V6OasubchainV0V6V5Iainfix =ainfix @V3V6aTrueFIatr_ext_detV0V1V2V5FLabigunionV3IaseparatorV0V1V2V7Iainfix =ainfix @V3V7aTrueFAachainainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V3FIatr_succV0V1AatransitiveV0F
4bfd94df1e092c638269d0c00560618c aupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V3V5OasubchainV0V5V10Aainfix =ainfix @V3V10aTrueEIasubchainV0V5V11OasubchainV0V11V5Iainfix =ainfix @V3V11aTrueFIatr_ext_detV0V1V2V5FLabigunionV3IaseparatorV0V1V2V12Iainfix =
52404f1e946935ca0f15c72fdc3e9ae5 asubchainV0V5V4IasubchainV0V5V6Aainfix =ainfix @V3V6aTrueFIasubchainV0V5V7OasubchainV0V7V5Iainfix =ainfix @V3V7aTrueFIatr_ext_detV0V1V2V5FLabigunionV3IaseparatorV0V1V2V8Iainfix =ainfix @V3V8aTrueFAachainainfix @easubchainV10V11V12qainfix =ainfix @ainfix @a
62b75f65e18d1acd2ba25aabdfe23ff4 asubchainV0V4V5Iaupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V3V5OasubchainV0V5V10Aainfix =ainfix @V3V10aTrueEIasubchainV0V5V11OasubchainV0V11V5Iainfix =ainfix @V3V11aTrueFIatr_ext_detV0V1V2V5FLabigunionV3Iaseparator
d17d3da03900e71bcceaa4a06e572b0f asubchainV0V4V5OasubchainV0V5V4IasubchainV0V4V5OasubchainV0V5V4AasubchainV0V5V6Aainfix =ainfix @V3V6aTrueEAasubchainV0V5V7OasubchainV0V7V5Iainfix =ainfix @V3V7aTrueFIatr_ext_detV0V1V2V5FLabigunionV3IaseparatorV0V1V2V8Iainfix =ainfix @V3V8aTrueFAachainainfix @
cca6a89f71bc971c69d03fc82c19151e aseparatorV0V1V2V4IasubchainV0V4V5OasubchainV0V5V4Iatr_ext_detV0V1V2V5FLabigunionV3IaseparatorV0V1V2V6Iainfix =ainfix @V3V6aTrueFAachainainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V3FIatr_succV0V1AatransitiveV0F
08ff401b99b4423cc092513eb1254fb9 aseparatorV0V1V2V6Iatr_extV3V4V5V6Iainfix =V5V2Aainfix =V4V1Aainfix =V3V0FIaseparatorV0V1V2V8LabigunionV7IaseparatorV0V1V2V9Iainfix =ainfix @V7V9aTrueFAachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V7FIatr_succV0V1Aa
b1ff16f3b0aeb4a26d9f4ef6fa93ecc9 aseparatorV0V1V2V9Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V9V8FFIainfix =V5V2Aainfix =V4V1Aainfix =V3V0FIaseparatorV0V1V2V11LabigunionV10IaseparatorV0V1V2V12Iainfix =ainfix @V10V12aTrueFAachainainfix @easubchainV14V15V16qainfix =ainfix @ainfix @ainfix @
291f7b9e69b26cf04406b850de08ca69 aseparatorV0V1V2V2IaseparatorV0V1V2V4LabigunionV3IaseparatorV0V1V2V5Iainfix =ainfix @V3V5aTrueFAachainainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V3FIatr_succV0V1AatransitiveV0F
a4ee11413e3332ece126210a2bcf6d3c aseparatoraoasuccah1ah1
2705fe64fc857f257edeeca127e761a9 aseparatorV0V1V2V11Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V11aaddV9V10FIainfix =ainfix @ainfix @V7V9V10aTrueAaseparatorV0V1V2V12Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V12V9FAatr_extV6V7V8V9FIainfix =V5V2Aainfix =V4V1Aainfix =V3V0FIaseparator
74e4427f8daacbd5bf836a878b51cfca aseparatorV0V1V2aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAaseparatorV0V1V2V3Aatr_extV0V1V2V3FIaseparatorV0V1V2V6LabigunionV5IaseparatorV0V1V2V7Iainfix =ainfix @V5V7aTrueFAachainainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV
99eca62d0b1a5ef9446754dc66f93115 aseparatoraoasuccah1aaddachax
9e7bd26f465f07d4fd8a737c7d6ad905 aseparatorV0V1V2V10Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V10abigunionV9FIaseparatorV0V1V2V12Iainfix =V3V6Iainfix =V4V7Iainfix =V5V8Iainfix =V12V11FAatr_extV6V7V8V11Iainfix =ainfix @V9V11aTrueFAainhabitedV9Aachainainfix @easubchainV14V15V16qainfix =
4c9ea37b8f17a1b69a47073ee3842d4f aseparatorV0V1V2abigunionV3IaseparatorV0V1V2V4Aatr_extV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FIaseparatorV0V1V2V10LabigunionV9IaseparatorV0V1V2V11Iainfix =ainfix @V9
c60031abf5c23419a0dcab043db4085e aseparatoraoasuccah1abigunionachh
f04c7a908554aa14d57bf4758c562f3d asubchainV0V4V3OasubchainV0V3V4Iatr_extV0V1V2V4Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
2ea1cc4527781f90c28d46e94a57d9ef atr_ext_detV0V1V2V3Iatr_extV0V1V2V3IadeterministicV1Aatr_succV0V1F
c1467b4a82dc4ca1d4b1a736ab0f0b95 atr_ext_detV0V1V2V6Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V6V5FFIadeterministicV1Aatr_succV0V1F
b43dd356ee2acfecda275224a029d6f3 atr_ext_detV0V1V2V2IadeterministicV1Aatr_succV0V1F
8192a2947ea6b2ad5d98ee39cb51ee50 atr_ext_detV0V1V2V8Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V8aaddV6V7FIainfix =ainfix @ainfix @V4V6V7aTrueAatr_ext_detV0V1V2V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V6FAatr_extV3V4V5V6FIadeterministicV1Aatr_succV0V1F
8cb42ecbfde3accb243592f9a3e0ede8 atr_ext_detV0V1V2aaddV3V4Iainfix =ainfix @ainfix @V1V3V4aTrueAatr_ext_detV0V1V2V3Aatr_extV0V1V2V3FIadeterministicV1Aatr_succV0V1F
c8cfbb3c5f3d9bc924189876260d7eb9 atr_ext_detV0V1V2V7Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V7abigunionV6FIatr_ext_detV0V1V2V9Iainfix =V0V3Iainfix =V1V4Iainfix =V2V5Iainfix =V9V8FAatr_extV3V4V5V8Iainfix =ainfix @V6V8aTrueFAainhabitedV6Aachainainfix @easubchainV11V12V13qainfix =ainfix @
8279e6565562c0acf90f45d266b0bb6a atr_ext_detV0V1V2abigunionV3Iatr_ext_detV0V1V2V4Aatr_extV0V1V2V4Iainfix =ainfix @V3V4aTrueFAainhabitedV3Aachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3FIadeterministicV1Aatr_succV0V1F
9134223f012c63fbb72cb5ee30c6c813 amaximumainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3V4ItOainfix =ainfix @V3V4aTrueItOainfix =ainfix @V3V2aTrueAachainainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V3Aasupremumainfix @easubchain
13078f2b2ae09e6a3846990fa1f3a615 asupremumainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3V4LabigunionV3Lainfix @ainfix @ainfix @eatr_ext_detV10V11V12V13qainfix =ainfix @ainfix @ainfix @ainfix @V9V10V11V12V13aTrueFV0V1V2Iatr_succV0V1AatransitiveV0F
d094824e790d033852954cee3097dc0c achainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3LabigunionV3Lainfix @ainfix @ainfix @eatr_ext_detV10V11V12V13qainfix =ainfix @ainfix @ainfix @ainfix @V9V10V11V12V13aTrueFV0V1V2Iatr_succV0V1AatransitiveV0F
318c4f319dbda496a7e07b6e0c721e7e ainfix =ainfix @V3V2aTrueLabigunionV3Lainfix @ainfix @ainfix @eatr_ext_detV6V7V8V9qainfix =ainfix @ainfix @ainfix @ainfix @V5V6V7V8V9aTrueFV0V1V2Iatr_succV0V1AatransitiveV0F
45612f79e1e963b8e4649d3ab4ba83f5 ainfix =ainfix @V3V4aTrueIainfix =ainfix @V3V2aTrueAachainainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3LabigunionV3Lainfix @ainfix @ainfix @eatr_ext_detV10V11V12V13qainfix =ainfix @ainfix @ainfix @ainfix @V9V10V11V12V13aTrueFV
0e420e54864ecc5413b53ec871c2594f amaximumainfix @easubchainV6V7V8qainfix =ainfix @ainfix @ainfix @V5V6V7V8aTrueFV0V3V4Iainfix =ainfix @V3V4aTrueAasupremumainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V3V4LabigunionV3Lainfix @ainfix @ainfix @eatr_ext_detV14
0d8f37a7cf71e3514ae97ee7b7b49946 amaximumainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0ainfix @ainfix @ainfix @eatr_ext_detV9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12aTrueFV0V1V2V3ItOasubchainV0V16V3Iatr_ext_detV13V14V15V16Iainfix =V15V2Aainfix =
72049a675950b0bd65650def9fd7d9aa asubchainV0V3V6INasubchainV0V6V3LaaddV4V5IasubchainV0V4V3Aainfix =ainfix @ainfix @V1V4V5aTrueIadet_relatedV1V4Aatr_ext_detV0V1V2V4FINadet_relatedV1V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
c485ccba12c5a3aacb986ef08af142d3 asubchainV0V5V3LabigunionV4Iaupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4V3Aachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4FINadet_relatedV1V3Aatr_ext_detV0V1V2V3Iatr_succV0
c496f7e447b90b9c48555b8671a29257 NasubchainV0V3V4IasubchainV0V3V6INasubchainV0V6V3LaaddV4V5IasubchainV0V4V3Aainfix =ainfix @ainfix @V1V4V5aTrueIadet_relatedV1V4Aatr_ext_detV0V1V2V4FINadet_relatedV1V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
f430a423fb889c2afc82bc48247d3c7a asubchainV0V4V3INasubchainV0V3V4IasubchainV0V3V6INasubchainV0V6V3LaaddV4V5IasubchainV0V4V3Aainfix =ainfix @ainfix @V1V4V5aTrueIadet_relatedV1V4Aatr_ext_detV0V1V2V4FINadet_relatedV1V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
8cf2046378b53d8f2361177cb3e86a03 asubchainV0V6V3IiasubchainV0V4V3ANasubchainV0V3V4AasubchainV0V3V6tasubchainV0V6V3LaaddV4V5IasubchainV0V4V3Aainfix =ainfix @ainfix @V1V4V5aTrueIadet_relatedV1V4Aatr_ext_detV0V1V2V4FINadet_relatedV1V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
d9f3d4d5a97353c46bb9c7b689b07935 asubchainV0V7V3Iatr_ext_detV4V5V6V7Iainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIasubchainV0V9V3LabigunionV8Iaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V8V3Aachainainfix @easubchainV15V16V17qainfix =ainfix @ainfix @
b6d5848edce0a4a70e9d72c887d10b19 asubchainV0V10V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V10V9FFIainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIasubchainV0V12V3LabigunionV11Iaupper_boundainfix @easubchainV14V15V16qainfix =ainfix @ainfix @ainfix @V13V14V15V16aTrueFV0V11V3Aachainainfix @ea
10803dd009675442cd3e354c9e01fd84 asubchainV0V2V3IasubchainV0V5V3LabigunionV4Iaupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4V3Aachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4FAasubchainV0V16V3LaaddV14V15Iasubchain
af572db12f1f5cfc0ced24e10a3c50f2 asubchainaoah1ah2
1fd2716af0a50afd88aa44fba68c1e4e asubchainV0V12V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V12aaddV10V11FIainfix =ainfix @ainfix @V8V10V11aTrueAadet_relatedV8V10AasubchainV0V13V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V13V10FAatr_ext_detV7V8V9V10FIainfix =V6V2Aainfix =V5V1Aa
4782e3fd540728d77fc60c3b81b245dd asubchainV0aaddV4V5V3Iainfix =ainfix @ainfix @V1V4V5aTrueAadet_relatedV1V4AasubchainV0V4V3Aatr_ext_detV0V1V2V4FIasubchainV0V7V3LabigunionV6Iaupper_boundainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V6V3Aachainainfix @easubchain
77934062f13eb6065ccc0b9d33b2c0f2 asubchainaoaaddachaxah2
73cc3157abe425cdd82d6d87c8c07bf0 asubchainV0V11V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V11abigunionV10FIasubchainV0V13V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V13V12FAatr_ext_detV7V8V9V12Iainfix =ainfix @V10V12aTrueFAainhabitedV10Aachainainfix @easubchainV15V16V17qainfix =
b41d6514f7b8fbef994494406b49ccf7 asubchainV0abigunionV4V3IasubchainV0V5V3Aatr_ext_detV0V1V2V5Iainfix =ainfix @V4V5aTrueFAainhabitedV4Aachainainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4FIasubchainV0V11V3LabigunionV10Iaupper_boundainfix @easubchainV13V14V15qainfix =
764474b87e9fae7e9f1c84faf23b358c asubchainaoabigunionachhah2
50e1cc9203e84d7ea0f3f2125ed1b325 amaximumainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0ainfix @ainfix @ainfix @eatr_ext_detV9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12aTrueFV0V1V2V3IasubchainV0V16V3Iatr_ext_detV13V14V15V16Iainfix =V15V2Aainfix =
95b7405c3758bf9a5ca12a079d6a7b57 atr_ext_detV0V1V2V3ItOatr_ext_detV0V1V2V8IasubchainV0V8V4Iatr_extV5V6V7V8Iainfix =V7V2Aainfix =V6V1Aainfix =V5V0FItOatr_ext_detV0V1V2V11ItOiNtOasubchainV0V4V9ANadet_relatedV1V9asextV9V11ainfix =ainfix @V9V10aTrueIasubchainV0V11V4LaaddV9V10Iainfix =ainfix @
a93c498c79af6bb4a4d85cdc321bd8b4 asextV5V7Iainfix =ainfix @V5V6aTrueIasubchainV0V7V4LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_ext_detV0V1V2V5IasubchainV0V5V4FIasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
b64abccd4ecae85525cc293c6d142743 NasubchainV0V4V5ANadet_relatedV1V5INainfix =ainfix @V5V6aTrueIasubchainV0V7V4LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_ext_detV0V1V2V5IasubchainV0V5V4FIasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
82b085958b60f15d900254191d326f30 asubchainV0V4V5INadet_relatedV1V5INainfix =ainfix @V5V6aTrueIasubchainV0V7V4LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_ext_detV0V1V2V5IasubchainV0V5V4FIasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
0760f47bb9404574ee209de2bc9622a2 atr_ext_detV0V1V2V7IiNNadet_relatedV1V5asextV5V7ainfix =ainfix @V5V6aTrueIasubchainV0V7V4LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_ext_detV0V1V2V5IasubchainV0V5V4FIasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
b928c82ed8627d77ad46ed3e4fb7c184 atr_ext_detV0V1V2V8IasubchainV0V8V4Iatr_extV5V6V7V8Iainfix =V7V2Aainfix =V6V1Aainfix =V5V0FIatr_ext_detV0V1V2V11IasubchainV0V11V4LaaddV9V10Iainfix =ainfix @ainfix @V1V9V10aTrueAatr_ext_detV0V1V2V9IasubchainV0V9V4FIasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_ext
413f14d51cb10d6cffe9ac50f3dbe316 atr_ext_detV0V1V2V11IasubchainV0V11V4Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V11V10FFIainfix =V7V2Aainfix =V6V1Aainfix =V5V0FIatr_ext_detV0V1V2V14IasubchainV0V14V4LaaddV12V13Iainfix =ainfix @ainfix @V1V12V13aTrueAatr_ext_detV0V1V2V12IasubchainV0V12
344d63555e62e70cb763cfbe0cc81d46 atr_ext_detV0V1V2V2IasubchainV0V2V4Iatr_ext_detV0V1V2V7IasubchainV0V7V4LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_ext_detV0V1V2V5IasubchainV0V5V4FIasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
29401e74bc0a24343a4f274ba141b08f atr_ext_detaoasuccah1ah1
287ded9db15f7fdabbb7114342aa5eeb atr_ext_detV0V1V2V13IasubchainV0V13V4Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V13aaddV11V12FIainfix =ainfix @ainfix @V9V11V12aTrueAatr_ext_detV0V1V2V14IasubchainV0V14V4Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V14V11FAatr_extV8V9V10V11FIainfix =
5109ecf636f0885ab0545933bf6748cb atr_ext_detV0V1V2aaddV5V6IasubchainV0aaddV5V6V4Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_ext_detV0V1V2V5IasubchainV0V5V4Aatr_extV0V1V2V5FIatr_ext_detV0V1V2V9IasubchainV0V9V4LaaddV7V8Iainfix =ainfix @ainfix @V1V7V8aTrueAatr_ext_detV0V1V2V7IasubchainV0V7V4FIa
025acb28beceb893b7b34873ed7ac14e atr_ext_detaoasuccah1aaddachax
adda5332e94152dff57b82583740ad1c atr_ext_detV0V1V2V12IasubchainV0V12V4Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V12abigunionV11FIatr_ext_detV0V1V2V14IasubchainV0V14V4Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V14V13FAatr_extV8V9V10V13Iainfix =ainfix @V11V13aTrueFAainhabitedV11
8b673c351e39da7b53bce16f076be29a atr_ext_detV0V1V2abigunionV5IasubchainV0abigunionV5V4Iatr_ext_detV0V1V2V6IasubchainV0V6V4Aatr_extV0V1V2V6Iainfix =ainfix @V5V6aTrueFAainhabitedV5Aachainainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V5FIatr_ext_detV0V1V2V13Iasubchain
b1e53745677d406027065ba91647f871 atr_ext_detaoasuccah1abigunionachh
75664bb43333ad289ac4bf79da1f9cb1 atr_ext_detV0V1V2V3Iatr_ext_detV0V1V2V8IasubchainV0V8V4Iatr_extV5V6V7V8Iainfix =V7V2Aainfix =V6V1Aainfix =V5V0FIasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
91380e27dfa8270cc822f7892a38de42 amaximumainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0ainfix @ainfix @ainfix @eatr_extV9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12aTrueFV0V1V2V3ItOasubchainV0V16V3Iatr_extV13V14V15V16Iainfix =V15V2Aainfix =V14
79020871d2974c6121648d909c7dd47f atr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
c939b0c8c72ecaa03bf8dbf1cee308b4 asubchainV0V5V3LabigunionV4Iaupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4V3Aachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succ
3b8c1b7e05bebdd182df445a40a400cf asextV4V6Iainfix =ainfix @V4V5aTrueIatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
03e1cf84e65e200c159ce0b2176e91d9 NasubchainV0V3V4ANadet_relatedV1V4INainfix =ainfix @V4V5aTrueIatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
9906fcc466cb2592b4e6ab208755ef57 asubchainV0V3V4INadet_relatedV1V4INainfix =ainfix @V4V5aTrueIatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
5f2936e118c7b1c8b8407a9175014729 asubchainV0V3V6INasubchainV0V6V3INNadet_relatedV1V4INainfix =ainfix @V4V5aTrueIatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
8eedd8e607c8a7456dbe7ebb0cc9225c asextV3V6Iainfix =ainfix @V3V5aTrueIasubchainV0V3V6INasubchainV0V6V3INNadet_relatedV1V4INainfix =ainfix @V4V5aTrueIatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Ia
32e4a6f64683d2a0ac4fa0df490e366d asextV3V4INainfix =ainfix @V3V5aTrueIasubchainV0V3V6INasubchainV0V6V3INNadet_relatedV1V4INainfix =ainfix @V4V5aTrueIatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3I
20cbd856326053160e110f8a7cce56a2 NiasextV3V4asextV3V6ainfix =ainfix @V3V5aTrueAasubchainV0V3V6INasubchainV0V6V3INNadet_relatedV1V4INainfix =ainfix @V4V5aTrueIatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_det
24075cadb12e0aaf88e625a5fd6a8d4c asubchainV0V6V3IiiftasubchainV0V6V3ANNadet_relatedV1V4asextV4V6ainfix =ainfix @V4V5aTrueAatr_ext_detV0V1V2V4LaaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succV0V1AatransitiveV0F
7730dec8bda00388fa13e72305d138c0 asubchainV0V7V3Iatr_extV4V5V6V7Iainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIasubchainV0V9V3LabigunionV8Iaupper_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V8V3Aachainainfix @easubchainV15V16V17qainfix =ainfix @ainfix @a
5fcd29e62301f7cc4d6115a83a85534f asubchainV0V10V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V10V9FFIainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIasubchainV0V12V3LabigunionV11Iaupper_boundainfix @easubchainV14V15V16qainfix =ainfix @ainfix @ainfix @V13V14V15V16aTrueFV0V11V3Aachainainfix @ea
f77642c897d7beff9d9c3fcc5f404e44 asubchainV0V2V3IasubchainV0V5V3LabigunionV4Iaupper_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4V3Aachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4FAasubchainV0V16V3LaaddV14V15Iainfix =
322fa0329b615357203f8d733a96ccb7 asubchainaoah1ah2
ed0cca70c148cd43727cccdf8d832e8e asubchainV0V12V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V12aaddV10V11FIainfix =ainfix @ainfix @V8V10V11aTrueAasubchainV0V13V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V13V10FAatr_extV7V8V9V10FIainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIasubchain
3ee312be57daeba6f707b73d1b704c61 asubchainV0aaddV4V5V3Iainfix =ainfix @ainfix @V1V4V5aTrueAasubchainV0V4V3Aatr_extV0V1V2V4FIasubchainV0V7V3LabigunionV6Iaupper_boundainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V6V3Aachainainfix @easubchainV13V14V15qainfix =a
4ab63684e5da7db1a4a90279a3a99bb7 asubchainaoaaddachaxah2
28b5ef4ca3e432f2f0c03068d11780f4 asubchainV0V11V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V11abigunionV10FIasubchainV0V13V3Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V13V12FAatr_extV7V8V9V12Iainfix =ainfix @V10V12aTrueFAainhabitedV10Aachainainfix @easubchainV15V16V17qainfix =a
fecd1a39aa82e229c043568c58ae2bfa asubchainV0abigunionV4V3IasubchainV0V5V3Aatr_extV0V1V2V5Iainfix =ainfix @V4V5aTrueFAainhabitedV4Aachainainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4FIasubchainV0V11V3LabigunionV10Iaupper_boundainfix @easubchainV13V14V15qainfix =
c2cd82fd8c323c88673fbd55ecab849a asubchainaoabigunionachhah2
f058c130ecdad3e3ea7e5cb1b7d8646a amaximumainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0ainfix @ainfix @ainfix @eatr_extV9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12aTrueFV0V1V2V3IasubchainV0V16V3Iatr_extV13V14V15V16Iainfix =V15V2Aainfix =V14V
2442d5283a03593b625961be9efbc136 awf_chainainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0V3ItONtOtOtOalower_boundainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V8V13Iatr_ext_detV10V11V12V13Iainfix =V12V2Aainfix =V11V1Aainfix =V10V
f33845526c00888aa57b889401f21c70 Nalower_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4V9Iatr_ext_detV6V7V8V9Iainfix =V8V2Aainfix =V7V1Aainfix =V6V0FAaminimumainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V4V5ONainfix =
b0ec2daca2a8585b4a386b264322f6f6 ainfix =ainfix @V4V5aTrueEINaminimumainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V4V6EIainhabitedV4AasubsetV4V3FLainfix @ainfix @ainfix @eatr_ext_detV12V13V14V15qainfix =ainfix @ainfix @ainfix @ainfix @V11V12V13V14V15aTrueFV0V
39ee57c010c38a63644ff2f8a24f72e2 aminimumainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4V5ONainfix =V10V5AasubchainV0V10V5Aainfix =ainfix @V4V10aTrueEIainfix =ainfix @V4V5aTrueFINaminimumainfix @easubchainV13V14V15qainfix =ainfix @ainfix @ainfix @V12V13V14V15aTrue
8aaf20f848f0541f19de587d31da63a6 aupper_boundainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V6V7LabigunionV6Ialower_boundainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V4V13Iainfix =ainfix @V6V13aTrueFIainfix =ainfix @V4V7aTrue
17d9a97673b888fa64c9a7f2eb181f4e atr_ext_detV0V1V2V8INasubchainV0V8V9Iainfix =ainfix @V4V9aTrueFLaaddV6V7Ialower_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4V6Aadet_relatedV1V6Iatr_ext_detV0V1V2V6Aainfix =ainfix @ainfix @V1V6V7aTrueFIaminimumainfix @
d5bbd97d75c100df2b6e5ab1bd2c2897 asubchainV0V8V7Iaupper_boundainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V6V7LabigunionV6Ialower_boundainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V4V13Iainfix =ainfix @V6V13aTrueFIainfix =
f4c0a143c8d55927e80f0137305c9a90 asubchainV0V9V8Iatr_ext_detV0V1V2V8INasubchainV0V8V9Iainfix =ainfix @V4V9aTrueFLaaddV6V7Ialower_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4V6Aadet_relatedV1V6Iatr_ext_detV0V1V2V6Aainfix =ainfix @ainfix @V1V6V7aTrue
4bdab6c01521dfd0d94562e277f5b9e3 asubchainV0V6V9IasubchainV0V9V8INasubchainV0V8V9Iainfix =ainfix @V4V9aTrueFLaaddV6V7Ialower_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4V6Aadet_relatedV1V6Iatr_ext_detV0V1V2V6Aainfix =ainfix @ainfix @V1V6V7aTrueFI
1a3c68ef16cb24048c064c5bf45223d9 asextV6V9IasubchainV0V6V9AasubchainV0V9V8INasubchainV0V8V9Iainfix =ainfix @V4V9aTrueFLaaddV6V7Ialower_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4V6Aadet_relatedV1V6Iatr_ext_detV0V1V2V6Aainfix =ainfix @ainfix @V1V
9217c7ce29c123599cb27be012f16dc0 aminimumainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4V6IasextV6V9INasubchainV0V8V9Iainfix =ainfix @V4V9aTrueFLaaddV6V7Ialower_boundainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V4V6Aadet_related
5dfa6d043c34e112f82b9e61cb1de82e alower_boundainfix @easubchainV10V11V12qainfix =ainfix @ainfix @ainfix @V9V10V11V12aTrueFV0V4V8Iiaminimumainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V4V6tasubchainV0V8V13Iainfix =ainfix @V4V13aTrueFLaaddV6V7Ialower_bound
c1a1d32dcac9574ca86fd15b3f9e528b alower_boundainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4V9Iatr_ext_detV6V7V8V9Iainfix =V8V2Aainfix =V7V1Aainfix =V6V0FIalower_boundainfix @easubchainV18V19V20qainfix =ainfix @ainfix @ainfix @V17V18V19V20aTrueFV0V4V16La
c07ceaf3b77351b88a0d0be99aea34de alower_boundainfix @easubchainV14V15V16qainfix =ainfix @ainfix @ainfix @V13V14V15V16aTrueFV0V4V12Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V12V11FFIainfix =V8V2Aainfix =V7V1Aainfix =V6V0FIalower_boundainfix @easubchainV21V22V23qainfix =ainfix @ainfix @
0fef8b27089030c75c4744c5478d6e79 alower_boundainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4V2Ialower_boundainfix @easubchainV14V15V16qainfix =ainfix @ainfix @ainfix @V13V14V15V16aTrueFV0V4V12LaaddV10V11Ialower_boundainfix @easubchainV18V19V20qainfix =ainfix @a
aa5d923252a3dc8becc3a74e9a68a939 alower_boundainfix @easubchainV1V2V3qainfix =ainfix @ainfix @ainfix @V0V1V2V3aTrueFaoahsah0
e2c3d58f15c47442d94665c20808eaf0 alower_boundainfix @easubchainV16V17V18qainfix =ainfix @ainfix @ainfix @V15V16V17V18aTrueFV0V4V14Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V14aaddV12V13FIainfix =ainfix @ainfix @V10V12V13aTrueAadet_relatedV10V12Aalower_boundainfix @easubchainV21V22
bff52deb1d7a21b8505cb51ed3691dce alower_boundainfix @easubchainV9V10V11qainfix =ainfix @ainfix @ainfix @V8V9V10V11aTrueFV0V4aaddV6V7Iainfix =ainfix @ainfix @V1V6V7aTrueAadet_relatedV1V6Aalower_boundainfix @easubchainV13V14V15qainfix =ainfix @ainfix @ainfix @V12V13V14V15aTrueFV0V4V6Aatr_ext_det
7ca464cbb629993d9640cdd58f75160b alower_boundainfix @easubchainV1V2V3qainfix =ainfix @ainfix @ainfix @V0V1V2V3aTrueFaoahsaaddachax
b3f6788e2a51a7ab6d268e421edb03cc alower_boundainfix @easubchainV15V16V17qainfix =ainfix @ainfix @ainfix @V14V15V16V17aTrueFV0V4V13Iainfix =V6V9Iainfix =V7V10Iainfix =V8V11Iainfix =V13abigunionV12FIalower_boundainfix @easubchainV21V22V23qainfix =ainfix @ainfix @ainfix @V20V21V22V23aTrueFV0
ebb65ed04588ed7597460a5b96a080eb alower_boundainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V4abigunionV6Ialower_boundainfix @easubchainV13V14V15qainfix =ainfix @ainfix @ainfix @V12V13V14V15aTrueFV0V4V11Aatr_ext_detV0V1V2V11Iainfix =ainfix @V6V11aTrueFAainhabited
6c94752345cb25479ca393c36225e5fc alower_boundainfix @easubchainV1V2V3qainfix =ainfix @ainfix @ainfix @V0V1V2V3aTrueFaoahsabigunionachh
0bafde16f8dcf1db8e294eb019ce69c0 awf_chainainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0V3INNaminimumainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V8V9EIainhabitedV8AasubsetV8V3FLainfix @ainfix @ainfix @eatr_ext_detV15V16V17V18q
d4a566e8142d7c6b26f338370ad35776 asubchainV0V2V3Iatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
30cacf0186e3ac6c91cbd43d46a84eb3 atransitiveainfix @ainfix @eatr_extV3V4V5V6qainfix =ainfix @ainfix @ainfix @ainfix @V2V3V4V5V6aTrueFV0V1Iatr_succV0V1F
5f2cc8bedaee0cffe464fa22497eba78 atr_extV0V1V3V4Aatr_extV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Iatr_extV0V1V2V4Aatr_succV0V1AaorderV0F
23a99dfa6097638705fc370703475a4b achainV0V3Iatr_extV0V1V2V3AachainV0V2Aatr_succV0V1AareflexiveV0F
434d0b075b32eabf2ad7ebdd58e101a6 awf_chainV0V3Iatr_extV0V1V2V3Aawf_chainV0V2Aatr_succV0V1AareflexiveV0F
c1fb822f6d3c5597fdade218907a7672 amaximalainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0ainfix @ainfix @ainfix @eatr_extV9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12aTrueFV0V1V2V3Iasubsetainfix @V1V3V3Aatr_extV0V1V2V3Iatr_succV0V1AaorderV0F
9146cf2c7181d5b429097065466498c7 atr_extV0V1V2V3Iatr_ext_detV0V1V2V3F
eca37587b63c173f1602b3aa8436e4a5 atr_ext_detV0V1V2V3Iadet_criterionV0V1V2V3Aatr_extV0V1V2V3Iatr_succV0V1AapreorderV0F
0a06f15e3b08d0aedd4d75532e25a7d7 adet_criterionV0V1V2V3Iatr_ext_detV0V1V2V3Aatr_succV0V1AaorderV0F
37eea4ef0603782d8b80529dd98ff6d0 atr_ext_detV0V1V3V4Aatr_ext_detV0V1V2V3IasubchainV0V3V4AasubchainV0V2V3Aatr_ext_detV0V1V2V4Aatr_succV0V1AaorderV0F
1de66335810de2ebf30a4ab8f0e8f093 asubchainV0V4V3OasubchainV0V3V4Iatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
b1c893a70dd7fd568a11101fbf4c807a awf_chainainfix @easubchainV4V5V6qainfix =ainfix @ainfix @ainfix @V3V4V5V6aTrueFV0ainfix @ainfix @ainfix @eatr_ext_detV8V9V10V11qainfix =ainfix @ainfix @ainfix @ainfix @V7V8V9V10V11aTrueFV0V1V2Iatr_succV0V1AatransitiveV0F
c5d2fd7e6e84d6a6b105b1043f97c55c atr_ext_detV0V1V2V3IasubchainV0V3V4Aatr_ext_detV0V1V2V4Aatr_extV0V1V2V3Aatr_succV0V1AatransitiveV0F
267bc9f3d00797ca4502a243da5f465b atr_ext_detV0V1V2V3Iatr_extV0V1V2V3IadeterministicV1Aatr_succV0V1F
67018a91b5de54b60b1f4eae673bd1e3 amaximumainfix @easubchainV4V5V6qainfix =ainfix @ainfix @ainfix @V3V4V5V6aTrueFV0ainfix @ainfix @ainfix @eatr_ext_detV8V9V10V11qainfix =ainfix @ainfix @ainfix @ainfix @V7V8V9V10V11aTrueFV0V1V2abigunionainfix @ainfix @ainfix @eatr_ext_detV13V14V15V16qainfix =
add6622ebac2f9eb7fdab09873f73065 amaximumainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0ainfix @ainfix @ainfix @eatr_extV9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12aTrueFV0V1V2V3Iasubsetainfix @V1V3V3Aatr_ext_detV0V1V2V3Iatr_succV0V1Aatransitive
c0e6dd53f2ceeb94b76f9154f00d75ef amaximumainfix @easubchainV5V6V7qainfix =ainfix @ainfix @ainfix @V4V5V6V7aTrueFV0ainfix @ainfix @ainfix @eatr_ext_detV9V10V11V12qainfix =ainfix @ainfix @ainfix @ainfix @V8V9V10V11V12aTrueFV0V1V2V3INadet_relatedV1V3Aatr_ext_detV0V1V2V3Iatr_succV0V1Aatransitive
8b1fe46f167fc48737c606f9c44ef6ff atr_extV0V2V3V4ItOatr_extV0V2V3V8Iatransport_criterionV0V2V3V8Iatr_extV5V6V7V8Iainfix =V7V3Aainfix =V6V1Aainfix =V5V0FItOatr_extV0V2V3V11ItOasextV9V11Iainfix =ainfix @V9V10aTrueIatransport_criterionV0V2V3V11LaaddV9V10Iainfix =ainfix @ainfix @V1V9V10aTrueAa
f504f8da66778ee6f5c112af7856e2c7 asextV5V7Iainfix =ainfix @V5V6aTrueIatransport_criterionV0V2V3V7LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_extV0V2V3V5Aatr_extV0V1V3V5FIatransport_criterionV0V2V3V4Aatr_extV0V1V3V4Aatr_succV0V1AatransitiveV0F
bf8ce57b8e608faba79deb012e070fbf atr_extV0V2V3V7IasextV5V7Iainfix =ainfix @V5V6aTrueIatransport_criterionV0V2V3V7LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_extV0V2V3V5Aatr_extV0V1V3V5FIatransport_criterionV0V2V3V4Aatr_extV0V1V3V4Aatr_succV0V1AatransitiveV0F
5e62e3ce08360aa5c8befe88fac1777f atr_extV0V2V3V8Iatransport_criterionV0V2V3V8Iatr_extV5V6V7V8Iainfix =V7V3Aainfix =V6V1Aainfix =V5V0FIatr_extV0V2V3V11Iatransport_criterionV0V2V3V11LaaddV9V10Iainfix =ainfix @ainfix @V1V9V10aTrueAatr_extV0V2V3V9Aatr_extV0V1V3V9FIatransport_criterionV0V2V3V4
13b2728ee3212ef6b061f7b5c45b905e atr_extV0V2V3V11Iatransport_criterionV0V2V3V11Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V11V10FFIainfix =V7V3Aainfix =V6V1Aainfix =V5V0FIatr_extV0V2V3V14Iatransport_criterionV0V2V3V14LaaddV12V13Iainfix =ainfix @ainfix @V1V12V13aTrueAatr_extV0V2V3V12
6560f18510bddc5d5cc6a2e122fa002e atr_extV0V2V3V3Iatransport_criterionV0V2V3V3Iatr_extV0V2V3V7Iatransport_criterionV0V2V3V7LaaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_extV0V2V3V5Aatr_extV0V1V3V5FIatransport_criterionV0V2V3V4Aatr_extV0V1V3V4Aatr_succV0V1AatransitiveV0F
57e8d5f7b24ff6df1b99f79da2394f1c atr_extaoasucc2ah1ah1
20d768bfbbd76df0a110fe1d8ed33a09 atr_extV0V2V3V13Iatransport_criterionV0V2V3V13Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V13aaddV11V12FIainfix =ainfix @ainfix @V9V11V12aTrueAatr_extV0V2V3V14Iatransport_criterionV0V2V3V14Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V14V11FAatr_ext
47b8dd3df5ff70dbf4235d914a779309 atr_extV0V2V3aaddV5V6Iatransport_criterionV0V2V3aaddV5V6Iainfix =ainfix @ainfix @V1V5V6aTrueAatr_extV0V2V3V5Iatransport_criterionV0V2V3V5Aatr_extV0V1V3V5FIatr_extV0V2V3V9Iatransport_criterionV0V2V3V9LaaddV7V8Iainfix =ainfix @ainfix @V1V7V8aTrueAatr_extV0V2
bc4f07e01d39b0ebf450bd1fe28064e6 atr_extaoasucc2ah1aaddachax
be1560bf9128526735358539d9e24061 atr_extV0V2V3V12Iatransport_criterionV0V2V3V12Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V12abigunionV11FIatr_extV0V2V3V14Iatransport_criterionV0V2V3V14Iainfix =V5V8Iainfix =V6V9Iainfix =V7V10Iainfix =V14V13FAatr_extV8V9V10V13Iainfix =ainfix @V11V13a
b4af292d0d55885d47a89207c017b2c9 atr_extV0V2V3abigunionV5Iatransport_criterionV0V2V3abigunionV5Iatr_extV0V2V3V6Iatransport_criterionV0V2V3V6Aatr_extV0V1V3V6Iainfix =ainfix @V5V6aTrueFAainhabitedV5Aachainainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V5FIatr_ext
2b84b0e36ccd0532e34cd24d1787a42c atr_extaoasucc2ah1abigunionachh
3a52800b835b32224b2e162faf349cdb atr_extV0V2V3V4Iatr_extV0V2V3V8Iatransport_criterionV0V2V3V8Iatr_extV5V6V7V8Iainfix =V7V3Aainfix =V6V1Aainfix =V5V0FIatransport_criterionV0V2V3V4Aatr_extV0V1V3V4Aatr_succV0V1AatransitiveV0F
c7574f2d01ebee28c0043496ff95ed39 atransport_criterionV0V1V2V3ItOatransport_criterionV0V1V2V7Iatr_extV4V5V6V7Iainfix =V6V2Aainfix =V5V1Aainfix =V4V0FItOatransport_criterionV0V1V2V9ItOainfix =ainfix @V8V12aTrueAasubchainV0aaddV10V11V12ItOtOtOifItOtOasextV12aaddV10V11ItONtOtOtOainfix =V13V11
4ceda1f71cb185c2a712123a4b33f763 asubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterionV0V1V2V4Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIatr_extV0V1V2V3Aatr_succV0V1Aaorder
5c798d18685dadcc34fbeeb5c62d58ef ainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueEIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterionV0V1V2V9Iainfix =ainfix @V4V9aTrueFAachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13aTrueFV0V4FIatr_ext
45baee255160eae7b0d79a76a5d7dece asubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterionV0V1V2V4Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIatr_extV0V1V2V3Aatr_succ
6c12a732c247a04a20ba9213e071acda Nainfix =ainfix @V6V8aTrueANainfix =ainfix @V4V8aTrueANainfix =V8V5Aainfix =V9V5Aainfix =ainfix @V6V9aTrueANainfix =ainfix @V4V9aTrueIainfix =ainfix @V7V9aTrueFIasubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_bound
f6a8a1c2f3f92614c638e7cbdd07ecd7 ainfix =ainfix @V6V9aTrueINainfix =ainfix @V4V9aTrueIainfix =ainfix @V7V9aTrueFIasubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterionV
36dc10862597fe03d31793163b95e415 ainfix =V9V5Iainfix =ainfix @V6V9aTrueINainfix =ainfix @V4V9aTrueIainfix =ainfix @V7V9aTrueFIasubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterion
dfaa99be64a3276b9d9628baf817a67e Nainfix =V8V5Iainfix =V9V5Iainfix =ainfix @V6V9aTrueINainfix =ainfix @V4V9aTrueIainfix =ainfix @V7V9aTrueFIasubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaadd
46f22eb03b0a179895f40b502e3fd961 Nainfix =ainfix @V4V8aTrueINainfix =V8V5Iainfix =V9V5Iainfix =ainfix @V6V9aTrueINainfix =ainfix @V4V9aTrueIainfix =ainfix @V7V9aTrueFIasubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aadd
9417b0586eb5ffb7f4d27c09f6cb69fd ainfix =ainfix @V6V8aTrueINainfix =ainfix @V4V8aTrueINainfix =V8V5Iainfix =V9V5Iainfix =ainfix @V6V9aTrueINainfix =ainfix @V4V9aTrueIainfix =ainfix @V7V9aTrueFIasubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_bound
d417c360348e5e3ea70f528d80857476 asextV7V4INNainfix =ainfix @V4V9aTrueIainfix =ainfix @V7V9aTrueFIasubchainV0V4V7IasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterionV0V1V2V4Aainfix =
08ec80d97a8876d5e0ae7e9d9bbedc0e ainfix =V7V4IasextV7V4AasubchainV0V4V7AasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterionV0V1V2V4Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2
b7baf5f66537e85882e90224723e1053 ainfix =V8V5IasextV7V4AasubchainV0V4V7AasubchainV0V4aaddV7V8INasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterionV0V1V2V4Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2
15d4c5af700216958943566ef9789add atransport_criterionV0V1V2V6Iiainfix =V8V5Aainfix =V7V4tasubchainV0aaddV7V8V4INainfix =ainfix @V7V8aTrueAaupper_boundV0V7V8AasubchainV0aaddV7V8V6AasubchainV0V2V7FLaaddV4V5Iatransport_criterionV0V1V2V4Aainfix =ainfix @ainfix @V1V4V5aTrueAatr_extV0V1V2V4FIatr_ext
06af7f726a4a8eb7f508a9c72c8e96a0 asubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterionV0V1V2V9Iainfix =ainfix @V4V9aTrueFAachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10V11V12V13
542eff0bd92c5ba539e1799880ea1e70 asubchainV0V8aaddV6V7INasubchainV0aaddV6V7V8IasubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterionV0V1V2V9Iainfix =ainfix @V4V9aTrueFAachainainfix @easubchainV11V12V13
94a0c17f8bc922adb3e53232fba50a38 Nainfix =V9V7Aainfix =ainfix @ainfix @V0V9V7aTrueAainfix =ainfix @ainfix @V0V7V9aTrueANainfix =ainfix @V8V9aTrueIainfix =ainfix @aaddV6V7V9aTrueFIasubchainV0V8aaddV6V7INasubchainV0aaddV6V7V8IasubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrue
1b1dad967237843855f62a74c72aa780 ainfix =ainfix @ainfix @V0V7V9aTrueINainfix =ainfix @V8V9aTrueIainfix =ainfix @aaddV6V7V9aTrueFIasubchainV0V8aaddV6V7INasubchainV0aaddV6V7V8IasubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunion
083b0650fe92bf1c823358efb02ef11b ainfix =ainfix @ainfix @V0V9V7aTrueIainfix =ainfix @ainfix @V0V7V9aTrueINainfix =ainfix @V8V9aTrueIainfix =ainfix @aaddV6V7V9aTrueFIasubchainV0V8aaddV6V7INasubchainV0aaddV6V7V8IasubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_bound
379f39e4cb308f603f59cbd84de63b2f ainfix =V9V7Iainfix =ainfix @ainfix @V0V9V7aTrueIainfix =ainfix @ainfix @V0V7V9aTrueINainfix =ainfix @V8V9aTrueIainfix =ainfix @aaddV6V7V9aTrueFIasubchainV0V8aaddV6V7INasubchainV0aaddV6V7V8IasubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrue
dd5691757f04f27284bf4d19e27101b8 asextV8aaddV6V7INNainfix =ainfix @V8V9aTrueIainfix =ainfix @aaddV6V7V9aTrueFIasubchainV0V8aaddV6V7INasubchainV0aaddV6V7V8IasubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterion
dce786d2d4d5dbaa9903459b3a475694 NasextV8aaddV6V7AasubchainV0V8aaddV6V7INasubchainV0aaddV6V7V8IasubchainV0V8V5Iainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterionV0V1V2V9Iainfix =ainfix @V4V9aTrueFAachainainfix @e
d36c6cb8a60ef17bea45414b51bb4180 asubchainV0aaddV6V7V8IiftasubchainV0aaddV6V7V8AasubchainV0V8V5Aainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterionV0V1V2V9Iainfix =ainfix @V4V9aTrueFAachainainfix @easubchainV11V12
af655538d23e4e241c6f73d7b4e5d9f5 ainfix =ainfix @V4V8aTrueIiftasubchainV0aaddV6V7V8AasubchainV0V8V5Aainfix =ainfix @V8V7aTrueAainfix =ainfix @V4V8aTrueFIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterionV0V1V2V9Iainfix =ainfix @V4V9aTrueFAachainainfix @easubchainV11
0e4ffbc355b7ae0c72f49543cc6fd086 atransport_criterionV0V1V2V5Iainfix =ainfix @V4V8aTrueAasubchainV0aaddV6V7V8EIaupper_boundV0V6V7AasubchainV0aaddV6V7V5FLabigunionV4Iatransport_criterionV0V1V2V9Iainfix =ainfix @V4V9aTrueFAachainainfix @easubchainV11V12V13qainfix =ainfix @ainfix @ainfix @V10
27872700b0f233ac4713ef02bc529377 atransport_criterionV0V1V2V7Iatr_extV4V5V6V7Iainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIatransport_criterionV0V1V2V9LabigunionV8Iatransport_criterionV0V1V2V10Iainfix =ainfix @V8V10aTrueFAachainainfix @easubchainV12V13V14qainfix =ainfix @ainfix @ainfix @V11V12
758c78283e13bd16390009f54ca75c53 atransport_criterionV0V1V2V10Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V10V9FFIainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIatransport_criterionV0V1V2V12LabigunionV11Iatransport_criterionV0V1V2V13Iainfix =ainfix @V11V13aTrueFAachainainfix @easubchainV15V16
b6ef9e804cb9a957bbde5baf808001ed atransport_criterionV0V1V2V2Iatransport_criterionV0V1V2V5LabigunionV4Iatransport_criterionV0V1V2V6Iainfix =ainfix @V4V6aTrueFAachainainfix @easubchainV8V9V10qainfix =ainfix @ainfix @ainfix @V7V8V9V10aTrueFV0V4FAatransport_criterionV0V1V2V13LaaddV11V12Iatransport_criterion
a8dfc89165b1a9e44e959988d41407cf atransport_criterionaoasuccah1ah1
b1d4d6c3c9983a7c86d4cc473cf5545e atransport_criterionV0V1V2V12Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V12aaddV10V11FIainfix =ainfix @ainfix @V8V10V11aTrueAatransport_criterionV0V1V2V13Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V13V10FAatr_extV7V8V9V10FIainfix =V6V2Aainfix =V5
3f80548e3c7334d335912f782cc9c31f atransport_criterionV0V1V2aaddV4V5Iainfix =ainfix @ainfix @V1V4V5aTrueAatransport_criterionV0V1V2V4Aatr_extV0V1V2V4FIatransport_criterionV0V1V2V7LabigunionV6Iatransport_criterionV0V1V2V8Iainfix =ainfix @V6V8aTrueFAachainainfix @easubchainV10V11V12qainfix =
be7d8168cfcf72110295cf9cc3115f66 atransport_criterionaoasuccah1aaddachax
9628bc33179fda57f23693f3d366e53c atransport_criterionV0V1V2V11Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V11abigunionV10FIatransport_criterionV0V1V2V13Iainfix =V4V7Iainfix =V5V8Iainfix =V6V9Iainfix =V13V12FAatr_extV7V8V9V12Iainfix =ainfix @V10V12aTrueFAainhabitedV10Aachainainfix @easubchain
259fee36e28ed429c7bd80b08e4afa46 atransport_criterionV0V1V2abigunionV4Iatransport_criterionV0V1V2V5Aatr_extV0V1V2V5Iainfix =ainfix @V4V5aTrueFAainhabitedV4Aachainainfix @easubchainV7V8V9qainfix =ainfix @ainfix @ainfix @V6V7V8V9aTrueFV0V4FIatransport_criterionV0V1V2V11LabigunionV10Iatransport_criterion
e2718b7ba44d5487d6530da5fcd7ed2d atransport_criterionaoasuccah1abigunionachh
4e3bae5410aa0e31e430694790a87074 atransport_criterionV0V1V2V3Iatransport_criterionV0V1V2V7Iatr_extV4V5V6V7Iainfix =V6V2Aainfix =V5V1Aainfix =V4V0FIatr_extV0V1V2V3Aatr_succV0V1AaorderV0F
837c6abda263b5f858a392cb3d1cff42 atr_extV0V2V3V4Iatransport_criterionV0V2V3V4Aatr_extV0V1V3V4Aatr_succV0V1AatransitiveV0F
8b5711dafc59c64e52e20e6dae669abd atransport_criterionV0V1V2V3Iatr_extV0V1V2V3Aatr_succV0V1AaorderV0F
