Ca>=asizeV0c0aEmptya>=asizeV0c0Ia>=asizeV1c0Ia>=asizeV2c0aNodeVVV0F
empty_shape
a>=asizeV0c0F
a=ataNodeaxax1
a>asizeatc0
a<asizeV1asizeatAa=ataNodeV1V2E
a=ataEmpty
a<asizeV2asizeV1Aa=V1aNodeV2V3EIa>asizeV1c0F
adistinctaConsaEmptyaNil
amemV4aConsaEmptyaNilIa=asizeV4c0F
a=asizeV4c0IamemV4aConsaEmptyaNilF
amemV4aConsaEmptyaNilqa=asizeV4c0FAadistinctaConsaEmptyaNil
aall_treesc0aConsaEmptyaNil
Na=aNodeV4V6aNodeV5V7FINa=asizeV4asizeV5F
CfaNila=V18V17aConswVV15Ia=V15aConsV16V17FIadistinctV15FIa=V12aConsV13V14FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
variant decrease
adistinctV17Ia=V15aConsV16V17FIadistinctV15FIa=V12aConsV13V14FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
precondition
adistinctV16ICa=V16aNilaNila=V16aConsaNodeV13V17V19AamemV21V18Aa=V20aNodeV13V21EqamemV20V19FAadistinctV19EaConsVVV15FIadistinctV15FIa=V12aConsV13V14FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
postcondition
amemV18V15Aa=V17aNodeV13V18EqamemV17V16FIadistinctV16ICa=V16aNilaNila=V16aConsaNodeV13V19V21AamemV23V20Aa=V22aNodeV13V23EqamemV22V21FAadistinctV21EaConsVVV15FIadistinctV15FIa=V12aConsV13V14FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
CfaNila=V15V14aConswVV12Ia=V12aConsV13V14FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
adistinctV14Ia=V12aConsV13V14FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
adistinctV11IamemV18V11AamemV17V14Aa=V16aNodeV17V18EqamemV16V15FAadistinctV15FIa=V12aConsV13V14FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
adistinctV13ICa=V13aNilaNila=V13a++V17V16AamemV19V11Aa=V18aNodeV14V19EqamemV18V17FAadistinctV17EAamemV22V11AamemV21V15Aa=V20aNodeV21V22EqamemV20V16FAadistinctV16EaConsVVV12FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
amemV16V11AamemV15V12Aa=V14aNodeV15V16EqamemV14V13FIadistinctV13ICa=V13aNilaNila=V13a++V20V19AamemV22V11Aa=V21aNodeV17V22EqamemV21V20FAadistinctV20EAamemV25V11AamemV24V18Aa=V23aNodeV24V25EqamemV23V19FAadistinctV19EaConsVVV12FIadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
adistinctV9Iaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
adistinctV12IamemV15V11AamemV14V9Aa=V13aNodeV14V15EqamemV13V12FAadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
a=asizeV15V10Aa=asizeV14V8Aa=V13aNodeV14V15EqamemV13V12FIadistinctV12IamemV18V11AamemV17V9Aa=V16aNodeV17V18EqamemV16V12FAadistinctV12FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
a=asizeV15V10Aa=asizeV14V8Aa=V13aNodeV14V15EqamemV13V12FAadistinctV12IamemV18V11AamemV17V9Aa=V16aNodeV17V18EqamemV16V12FAadistinctV12FAadistinctV9AamemV23V11AamemV22V19Aa=V21aNodeV22V23EqamemV21V20FAadistinctV20ICa=V20aNilaNila=V20a++V27V26AamemV29V11Aa=V28aNodeV24V29EqamemV28V27FAadistinctV27EAamemV32V11AamemV31V25Aa=V30aNodeV31V32EqamemV30V26FAadistinctV26EaConsVVV19FACtaNiladistinctV11IamemV38V11AamemV37V34Aa=V36aNodeV37V38EqamemV36V35FAadistinctV35FAadistinctV34ACfaNila=V39V34aConswVV19AamemV43V40Aa=V42aNodeV33V43EqamemV42V41FAadistinctV41ICa=V41aNilaNila=V41aConsaNodeV33V44V46AamemV48V45Aa=V47aNodeV33V48EqamemV47V46FAadistinctV46EaConsVVV40FACtaNiladistinctV50ACfaNila=V51V50aConswVV40aConsVVV40IadistinctV40FaConsVVV19IadistinctV19FIaall_treesV10V11Aa<=c0V10Aaall_treesV8V9Aa<=c0V8F
VC for combine
a>=V9c0La+V8c1Ia>=V8c0F
array creation size
a<c0alengthV10Aa<=c0c0LaConsaEmptyaNilIa=alengthV10V9Aa=aV10V12aNilIa<V12V9Aa<=c0V12FFLa+V8c1Ia>=V8c0F
index in array bounds
aall_treesV13aV12V13Ia<V13c1Aa<=c0V13FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V14aNilIa<V14V9Aa<=c0V14FFLa+V8c1Ia>=V8c0F
loop invariant init
a<V14alengthV13Aa<=c0V14LaNilIaall_treesV16aV13V16Ia<V16V14Aa<=c0V16FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V17aNilIa<V17V9Aa<=c0V17FFLa+V8c1Ia>=V8c0F
aall_treesV18aV16V18Ia<V18V14Aa<=c0V18FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV19aV13V19Ia<V19V14Aa<=c0V19FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V20aNilIa<V20V9Aa<=c0V20FFLa+V8c1Ia>=V8c0F
adistinctaV16V14Iaall_treesV18aV16V18Ia<V18V14Aa<=c0V18FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV19aV13V19Ia<V19V14Aa<=c0V19FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V20aNilIa<V20V9Aa<=c0V20FFLa+V8c1Ia>=V8c0F
a<asizeV19c0Aa=asizeV18V14Aa=V18aNodeV19V20EqamemV18aV16V14FIadistinctaV16V14Iaall_treesV21aV16V21Ia<V21V14Aa<=c0V21FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV22aV13V22Ia<V22V14Aa<=c0V22FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V23aNilIa<V23V9Aa<=c0V23FFLa+V8c1Ia>=V8c0F
a<V14alengthV18Aa<=c0V14Ia<asizeV21V19Aa=asizeV20V14Aa=V20aNodeV21V22EqamemV20aV18V14FAadistinctaV18V14Aaall_treesV23aV18V23Ia<V23V14Aa<=c0V23FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV24aV13V24Ia<V24V14Aa<=c0V24FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V25aNilIa<V25V9Aa<=c0V25FFLa+V8c1Ia>=V8c0F
a<V20alengthV18Aa<=c0V20La-a-V14c1V19Ia<asizeV22V19Aa=asizeV21V14Aa=V21aNodeV22V23EqamemV21aV18V14FAadistinctaV18V14Aaall_treesV24aV18V24Ia<V24V14Aa<=c0V24FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV25aV13V25Ia<V25V14Aa<=c0V25FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V26aNilIa<V26V9Aa<=c0V26FFLa+V8c1Ia>=V8c0F
a<V19alengthV18Aa<=c0V19La-a-V14c1V19La-a-V14c1V19Ia<asizeV23V19Aa=asizeV22V14Aa=V22aNodeV23V24EqamemV22aV18V14FAadistinctaV18V14Aaall_treesV25aV18V25Ia<V25V14Aa<=c0V25FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV26aV13V26Ia<V26V14Aa<=c0V26FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V27aNilIa<V27V9Aa<=c0V27FFLa+V8c1Ia>=V8c0F
aall_treesV21aV18V20Aa<=c0V21Aaall_treesV19aV18V19Aa<=c0V19La-a-V14c1V19La-a-V14c1V19Ia<asizeV23V19Aa=asizeV22V14Aa=V22aNodeV23V24EqamemV22aV18V14FAadistinctaV18V14Aaall_treesV25aV18V25Ia<V25V14Aa<=c0V25FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV26aV13V26Ia<V26V14Aa<=c0V26FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V27aNilIa<V27V9Aa<=c0V27FFLa+V8c1Ia>=V8c0F
a<V14alengthV18Aa<=c0V14La++V22aV18V14Ia=asizeV26V21Aa=asizeV25V19Aa=V24aNodeV25V26EqamemV24V22FAadistinctV22FLa-a-V14c1V19La-a-V14c1V19Ia<asizeV28V19Aa=asizeV27V14Aa=V27aNodeV28V29EqamemV27aV18V14FAadistinctaV18V14Aaall_treesV30aV18V30Ia<V30V14Aa<=c0V30FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV31aV13V31Ia<V31V14Aa<=c0V31FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V32aNilIa<V32V9Aa<=c0V32FFLa+V8c1Ia>=V8c0F
aall_treesV25aV24V25Ia<V25V14Aa<=c0V25FIa=V24aV18V14V23Aa=aeltsV24asetaeltsV18V14V23Ia=alengthV24alengthV18FLa++V22aV18V14Ia=asizeV28V21Aa=asizeV27V19Aa=V26aNodeV27V28EqamemV26V22FAadistinctV22FLa-a-V14c1V19La-a-V14c1V19Ia<asizeV30V19Aa=asizeV29V14Aa=V29aNodeV30V31EqamemV29aV18V14FAadistinctaV18V14Aaall_treesV32aV18V32Ia<V32V14Aa<=c0V32FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV33aV13V33Ia<V33V14Aa<=c0V33FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V34aNilIa<V34V9Aa<=c0V34FFLa+V8c1Ia>=V8c0F
loop invariant preservation
adistinctaV24V14Iaall_treesV25aV24V25Ia<V25V14Aa<=c0V25FIa=V24aV18V14V23Aa=aeltsV24asetaeltsV18V14V23Ia=alengthV24alengthV18FLa++V22aV18V14Ia=asizeV28V21Aa=asizeV27V19Aa=V26aNodeV27V28EqamemV26V22FAadistinctV22FLa-a-V14c1V19La-a-V14c1V19Ia<asizeV30V19Aa=asizeV29V14Aa=V29aNodeV30V31EqamemV29aV18V14FAadistinctaV18V14Aaall_treesV32aV18V32Ia<V32V14Aa<=c0V32FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV33aV13V33Ia<V33V14Aa<=c0V33FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V34aNilIa<V34V9Aa<=c0V34FFLa+V8c1Ia>=V8c0F
a<asizeV26a+V19c1Aa=asizeV25V14Aa=V25aNodeV26V27EqamemV25aV24V14FIadistinctaV24V14Iaall_treesV28aV24V28Ia<V28V14Aa<=c0V28FIa=V24aV18V14V23Aa=aeltsV24asetaeltsV18V14V23Ia=alengthV24alengthV18FLa++V22aV18V14Ia=asizeV31V21Aa=asizeV30V19Aa=V29aNodeV30V31EqamemV29V22FAadistinctV22FLa-a-V14c1V19La-a-V14c1V19Ia<asizeV33V19Aa=asizeV32V14Aa=V32aNodeV33V34EqamemV32aV18V14FAadistinctaV18V14Aaall_treesV35aV18V35Ia<V35V14Aa<=c0V35FAa<=V19V17Aa<=c0V19FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV36aV13V36Ia<V36V14Aa<=c0V36FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V37aNilIa<V37V9Aa<=c0V37FFLa+V8c1Ia>=V8c0F
aall_treesV19aV18V19Ia<V19a+V14c1Aa<=c0V19FIa<asizeV21a+V17c1Aa=asizeV20V14Aa=V20aNodeV21V22EqamemV20aV18V14FAadistinctaV18V14Aaall_treesV23aV18V23Ia<V23V14Aa<=c0V23FIa=alengthV18alengthV16FIa<=c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV24aV13V24Ia<V24V14Aa<=c0V24FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V25aNilIa<V25V9Aa<=c0V25FFLa+V8c1Ia>=V8c0F
aall_treesV18aV16V18Ia<V18a+V14c1Aa<=c0V18FIa>c0a+V17c1La-V14c1Ia=V16aV13V14V15Aa=aeltsV16asetaeltsV13V14V15Ia=alengthV16alengthV13FLaNilIaall_treesV19aV13V19Ia<V19V14Aa<=c0V19FAa<=V14V8Aa<=c1V14FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V20aNilIa<V20V9Aa<=c0V20FFLa+V8c1Ia>=V8c0F
aall_treesV14aV13V14Ia<=V14V8Aa<=c0V14FIaall_treesV15aV13V15Ia<V15a+V8c1Aa<=c0V15FIa=alengthV13alengthV12FIa<=c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V16aNilIa<V16V9Aa<=c0V16FFLa+V8c1Ia>=V8c0F
aall_treesV13aV12V13Ia<=V13V8Aa<=c0V13FIa>c1a+V8c1Ia=V12aV10c0V11Aa=aeltsV12asetaeltsV10c0V11Ia=alengthV12alengthV10FLaConsaEmptyaNilIa=alengthV10V9Aa=aV10V14aNilIa<V14V9Aa<=c0V14FFLa+V8c1Ia>=V8c0F
aall_treesV13aV12V13Ia<=V13V8Aa<=c0V13FIa>c1a+V8c1Aaall_treesV15aV14V15Ia<=V15V8Aa<=c0V15FIaall_treesV16aV14V16Ia<V16a+V8c1Aa<=c0V16FAaall_treesV21aV19V21Ia<V21a+V17c1Aa<=c0V21FIa>c0a+V20c1Aaall_treesV23aV22V23Ia<V23a+V17c1Aa<=c0V23FIa<asizeV25a+V20c1Aa=asizeV24V17Aa=V24aNodeV25V26EqamemV24aV22V17FAadistinctaV22V17Aaall_treesV27aV22V27Ia<V27V17Aa<=c0V27FAa<asizeV35a+V28c1Aa=asizeV34V17Aa=V34aNodeV35V36EqamemV34aV33V17FAadistinctaV33V17Aaall_treesV37aV33V37Ia<V37V17Aa<=c0V37FIa=V33aV22V17V32Aa=aeltsV33asetaeltsV22V17V32Ia=alengthV33alengthV22FAa<V17alengthV22Aa<=c0V17La++V31aV22V17Ia=asizeV40V30Aa=asizeV39V28Aa=V38aNodeV39V40EqamemV38V31FAadistinctV31FAaall_treesV30aV22V29Aa<=c0V30Aaall_treesV28aV22V28Aa<=c0V28Aa<V28alengthV22Aa<=c0V28La-a-V17c1V28Aa<V29alengthV22Aa<=c0V29La-a-V17c1V28Aa<V17alengthV22Aa<=c0V17Ia<asizeV42V28Aa=asizeV41V17Aa=V41aNodeV42V43EqamemV41aV22V17FAadistinctaV22V17Aaall_treesV44aV22V44Ia<V44V17Aa<=c0V44FAa<=V28V20Aa<=c0V28FIa=alengthV22alengthV19FAa<asizeV46c0Aa=asizeV45V17Aa=V45aNodeV46
VC for all_trees

c818d7e523a65239a98ce4d883b3c383 1H2
c88ec633e5ab3a3390cfa9ed47955b9a 1H0
aff0652f8a985b88b1e2b0a5a169c856 1H7H2
22b2f04d8efcd1185e75c2bb6ec61a74 1H5H4H2
819a1d0734648229cf098ef3ca86a60a 1H5H4H3H2
4bfde105e87b3232eb81155cc43a3ad2 1H5H4H6H2
73eae9c544cd726b798302c92c49477c 1H12H7H2
73eae9c544cd726b798302c92c49477c 1H12H7H2
1cf2c830add0b2ff3eca8aa49665d39a 1H11H7H2
0d7eaf9d7d700d8e0bf763212c7c3572 1H8H7H2
d810c1d65b1bc092ccd439a4de2619f8 1H9H7H2
0ab65d540e475a6698303a9a5d94bb1e 1H10H7H2
9fef6ee5c90fd54fc9fbd51fd2e16d2c 1H13H12H7H2
bcb98641e146cbcfbc67daa765dddbc5 30H29H13H12H7H2
ebe5cd2e2daedf8cdc500e7f23a1bedf 15H14H13H12H7H2
0c02e0d86ee951d56ab6a6408f512275 17H16H13H12H7H2
ce611319594a3d688f7a0c42ba2edfe7 19H18H13H12H7H2
847bcb0829eaf29cae31fd9e3000f6ff 19H20H13H12H7H2
185daf64e3a3ed6474968cc5d69616e6 15H21H13H12H7H2
17cd21dcd14e8e82e5d80cf784211b9e 17H22H13H12H7H2
b03e34ac34a509915c10aee1c890e15f 17H23H13H12H7H2
61f442650acbe31514ad7b428e57d270 19H24H13H12H7H2
e6bad20d6f4ef98f68894b05df79a8f8 19H25H13H12H7H2
a1647a030845b6a388c6dc01c00c5b27 17H26H13H12H7H2
20b833866366ac851b76762750bf29d6 19H27H13H12H7H2
951f7b80de203370ebdcd9a4b9f983ca 19H28H13H12H7H2
336c63ba0934afdbeca4b8727f076b64 55H54H13H12H7H2
1354b4f927ffafc66cd4304ae46a2f94 32H31H13H12H7H2
b537a60304b119590d65a841546e4bae 34H33H13H12H7H2
d4ee05fa7ababf1d9df26f423b1b2f52 36H35H13H12H7H2
25caa88923fc7047b4ccea8582535495 34H37H13H12H7H2
d8e6349eb8084223cb8ec676718e31df 36H38H13H12H7H2
c4cfe50925af35515209e17e86ddd015 36H39H13H12H7H2
2ef2086904e5eb6f009594a65dae03c6 36H40H13H12H7H2
b75af835f99b013c4ee797051a61384f 34H41H13H12H7H2
a7e7ba372f7685483dabf371aa859da8 34H42H13H12H7H2
ac009653027c4c7171460b63e968aeb3 34H43H13H12H7H2
4f283d9acbd78e76dec3622c4350d0cf 17H44H13H12H7H2
e6b1148a367db9850a13259c55c7e452 34H45H13H12H7H2
12bca9c9e13bf864fb6f82950dfcb4ac 47H46H13H12H7H2
d8a4ee75d8fa38c74b94bfb3f5f25591 47H48H13H12H7H2
159fa6d8d0a4af269a4261f0df3093b0 47H49H13H12H7H2
f0bba8c398b470aa337b6858af8ac5cb 47H50H13H12H7H2
aeb841e39dbb1137210b7013987b34f3 47H51H13H12H7H2
24e36c82b6480adf8b76ef45d302a5b4 19H52H13H12H7H2
8ab4a655c8752ee90fd59a9201aa0e22 19H53H13H12H7H2
