a=V0aNilqa=V1aTrueICa=V1aTrueaNila=V1aFalseaConswwV0FF
VC for is_nil
Ca>=alengthV0c0aNila>=alengthV0c0Ia>=alengthV2c0aConsVVV0F
empty_shape
a>=alengthV0c0F
a=V1aNilIa=alengthV1c0F
a=alengthV1c0Ia=V1aNilF
a=V1aNilqa=alengthV1c0F
a=a@V0V3aTrueIamemV3V1Fqa=V2aTrueICa=V2aTrueaNila=V2iaFalseiaFalseaTruea=a@V0V6aTrueIamemV6V5Fa=a@V0V4aTrueaConsVVV1FF
VC for for_all
a=a@V0V2aTrueIamemV2V1Fqa=afor_allV0V1aTrueF
a=a@V3V6aTrueAamemV6V4Eqa=V5aTrueICa=V5aFalseaNila=V5iiaFalseaTruea=a@V3V9aTrueAamemV9V8EaTruea=a@V3V7aTrueaConsVVV4FF
VC for for_some
a=a@V3V5aTrueAamemV5V4Eqa=afor_someV3V4aTrueF
a=a@a@V6V7V11aTrueAamemV11V8Eqa=V10aTrueIa=a@V9V12aTrueAamemV12V8Eqa=V10aTrueLafor_someV9V8La@V6V7F
VC for mem
CamemV0aelementsV1qamem1V0V1aNilamemV0aelementsV1qamem1V0V1IamemV0aelementsV3qamem1V0V3aConsVVV1F
amemV0aelementsV1qamem1V0V1F
Ca=anthV1V0aNoneIa<V1c0FaNila=anthV4V0aNoneIa<V4c0FIa=anthV5V3aNoneIa<V5c0FaConsVVV0F
a=anthV1V0aNoneIa<V1c0F
Ca=anthV3V2aNoneIa>=V3alengthV2FaNila=anthV6V2aNoneIa>=V6alengthV2FIa=anthV7V5aNoneIa>=V7alengthV5FaConsVVV2F
a=anthV3V2aNoneIa>=V3alengthV2F
Ca>=V5alengthV4Oa<V5c0Ia=anthV5V4aNoneFaNila>=V8alengthV4Oa<V8c0Ia=anthV8V4aNoneFIa>=V9alengthV7Oa<V9c0Ia=anthV9V7aNoneFaConsVVV4F
a>=V5alengthV4Oa<V5c0Ia=anthV5V4aNoneF
a=anthV2V1antha+V2c1V0INa=V2c-1FIa=atlV0aSomeV1F
a=anthc0V3ahdV3F
a=a++V0a++V1V2a++a++V0V1V2FIa=V0aNilF
a=a++V0a++V3V4a++a++V0V3V4FIa=a++V2a++V5V6a++a++V2V5V6FIa=V0aConsV1V2FF
Ca=a++V0a++V1V2a++a++V0V1V2FaNila=a++V0a++V5V6a++a++V0V5V6FIa=a++V4a++V7V8a++a++V4V7V8FaConsVVV0F
a=a++V0a++V1V2a++a++V0V1V2F
Ca=a++V3aNilV3aNila=a++V3aNilV3Ia=a++V5aNilV5aConsVVV3F
a=a++V3aNilV3F
Ca=alengtha++V4V5a+alengthV4alengthV5FaNila=alengtha++V4V8a+alengthV4alengthV8FIa=alengtha++V7V9a+alengthV7alengthV9FaConsVVV4F
a=alengtha++V4V5a+alengthV4alengthV5F
CamemV6V8OamemV6V7qamemV6a++V7V8FaNilamemV6V11OamemV6V7qamemV6a++V7V11FIamemV6V12OamemV6V10qamemV6a++V10V12FaConsVVV7F
amemV6V8OamemV6V7qamemV6a++V7V8F
a=V10a++V11aConsV9V12EIamemV9V10Ia=V10aNilF
a=V10a++V13aConsV9V14EIamemV9V10Ia=V12a++V15aConsV9V16EIamemV9V12Ia=V10aConsV11V12FF
Ca=V10a++V11aConsV9V12EIamemV9V10aNila=V10a++V15aConsV9V16EIamemV9V10Ia=V14a++V17aConsV9V18EIamemV9V14aConsVVV10F
a=V10a++V11aConsV9V12EIamemV9V10F
Ca=anthV2a++V0V1anthV2V0Ia<V2alengthV0FaNila=anthV6a++V0V5anthV6V0Ia<V6alengthV0FIa=anthV8a++V4V7anthV8V4Ia<V8alengthV4FaConsVVV0F
a=anthV2a++V0V1anthV2V0Ia<V2alengthV0F
Ca=anthV5a++V3V4antha-V5alengthV3V4Ia<=alengthV3V5FaNila=anthV9a++V3V8antha-V9alengthV3V8Ia<=alengthV3V9FIa=anthV11a++V7V10antha-V11alengthV7V10Ia<=alengthV7V11FaConsVVV3F
a=anthV5a++V3V4antha-V5alengthV3V4Ia<=alengthV3V5F
Ca=a++areverseaConsV2V0V1a++areverseV0aConsV2V1FaNila=a++areverseaConsV6V0V5a++areverseV0aConsV6V5FIa=a++areverseaConsV8V4V7a++areverseV4aConsV8V7FaConsVVV0F
a=a++areverseaConsV2V0V1a++areverseV0aConsV2V1F
a=areverseaConsV4V3a++areverseV3aConsV4aNilF
Ca=aConsV6areverseV5areversea++V5aConsV6aNilFaNila=aConsV9areverseV5areversea++V5aConsV9aNilFIa=aConsV10areverseV8areversea++V8aConsV10aNilFaConsVVV5F
a=aConsV6areverseV5areversea++V5aConsV6aNilF
Ca=areverseareverseV7V7aNila=areverseareverseV7V7Ia=areverseareverseV9V9aConsVVV7F
a=areverseareverseV7V7F
CamemV9areverseV8qamemV9V8FaNilamemV12areverseV8qamemV12V8FIamemV13areverseV11qamemV13V11FaConsVVV8F
amemV9areverseV8qamemV9V8F
Ca=alengthareverseV10alengthV10aNila=alengthareverseV10alengthV10Ia=alengthareverseV12alengthV12aConsVVV10F
a=alengthareverseV10alengthV10F
Ca=arev_appenda++V0V1V2arev_appendV1arev_appendV0V2FaNila=arev_appenda++V0V5V6arev_appendV5arev_appendV0V6FIa=arev_appenda++V4V7V8arev_appendV7arev_appendV4V8FaConsVVV0F
a=arev_appenda++V0V1V2arev_appendV1arev_appendV0V2F
Ca=alengtharev_appendV3V4a+alengthV3alengthV4FaNila=alengtharev_appendV3V7a+alengthV3alengthV7FIa=alengtharev_appendV6V8a+alengthV6alengthV8FaConsVVV3F
a=alengtharev_appendV3V4a+alengthV3alengthV4F
Ca=arev_appendV5V6a++areverseV5V6FaNila=arev_appendV5V9a++areverseV5V9FIa=arev_appendV8V10a++areverseV8V10FaConsVVV5F
a=arev_appendV5V6a++areverseV5V6F
a=arev_appendV7a++V8V9arev_appendarev_appendV8V7V9F
aleV0V2IaleV1V2IaleV0V1F
asortedaConsV3V4IasortedV4AaleV3V5IamemV5V4FF
aleV3V5IamemV5V4FIa=aConsV3V4aNilF
aleV4V6IamemV6V5FIa=aConsV4V5aConsV3aNilFF
aleV6V8IamemV8V7FIa=aConsV6V7aConsV3aConsV4V5FIaleV9V11IamemV11V10FIa=aConsV9V10aConsV4V5FAasortedaConsV4V5IaleV3V4F
aleV3V5IamemV5V4FIasortedaConsV3V4F
asortedV4IasortedaConsV3V4F
asortedaConsV3V4qasortedV4AaleV3V5IamemV5V4FF
asorteda++V6V7IaleV8V9IamemV9V7IamemV8V6FAasortedV7AasortedV6FIa=V6aNilF
asortedV6Iasorteda++V6V7FIa=V6aNilF
asortedV7Iasorteda++V6V7FIa=V6aNilF
aleV8V9IamemV9V7IamemV8V6FIasorteda++V6V7FIa=V6aNilF
asorteda++V6V9IaleV10V11IamemV11V9IamemV10V6FAasortedV9AasortedV6FIasorteda++V8V12qaleV13V14IamemV14V12IamemV13V8FAasortedV12AasortedV8FIa=V6aConsV7V8FF
asortedV6Iasorteda++V6V9FIasorteda++V8V10qaleV11V12IamemV12V10IamemV11V8FAasortedV10AasortedV8FIa=V6aConsV7V8FF
asortedV9Iasorteda++V6V9FIasorteda++V8V10qaleV11V12IamemV12V10IamemV11V8FAasortedV10AasortedV8FIa=V6aConsV7V8FF
aleV10V11IamemV11V9IamemV10V6FIasorteda++V6V9FIasorteda++V8V12qaleV13V14IamemV14V12IamemV13V8FAasortedV12AasortedV8FIa=V6aConsV7V8FF
Casorteda++V6V7qaleV8V9IamemV9V7IamemV8V6FAasortedV7AasortedV6FaNilasorteda++V6V12qaleV13V14IamemV14V12IamemV13V6FAasortedV12AasortedV6FIasorteda++V11V15qaleV16V17IamemV17V15IamemV16V11FAasortedV15AasortedV11FaConsVVV6F
asorteda++V6V7qaleV8V9IamemV9V7IamemV8V6FAasortedV7AasortedV6F
a<=V0V2Ia<=V1V2Ia<=V0V1F
aleV3V5IaleV4V5IaleV3V4F
ageV10V12IageV11V12IageV10V11F
asorted1aConsV10V11qasorted1V11AageV10V12IamemV12V11FF
asorted1a++V13V14qageV15V16IamemV16V14IamemV15V13FAasorted1V14Aasorted1V13F
asorted1V17Iasortedarev_appendV17V18FIa=V17aNilF
asortedV18Iasortedarev_appendV17V18FIa=V17aNilF
acompatV17V18Iasortedarev_appendV17V18FIa=V17aNilF
asortedarev_appendV17V18IacompatV17V18AasortedV18Aasorted1V17FIa=V17aNilF
asorted1V17Iasortedarev_appendV17V20FIacompatV19V21AasortedV21Aasorted1V19qasortedarev_appendV19V21FIa=V17aConsV18V19FF
asortedV20Iasortedarev_appendV17V20FIacompatV19V21AasortedV21Aasorted1V19qasortedarev_appendV19V21FIa=V17aConsV18V19FF
acompatV17V20Iasortedarev_appendV17V20FIacompatV19V21AasortedV21Aasorted1V19qasortedarev_appendV19V21FIa=V17aConsV18V19FF
asortedarev_appendV17V20IacompatV17V20AasortedV20Aasorted1V17FIacompatV19V21AasortedV21Aasorted1V19qasortedarev_appendV19V21FIa=V17aConsV18V19FF
CacompatV17V18AasortedV18Aasorted1V17qasortedarev_appendV17V18FaNilacompatV17V21AasortedV21Aasorted1V17qasortedarev_appendV17V21FIacompatV20V22AasortedV22Aasorted1V20qasortedarev_appendV20V22FaConsVVV17F
acompatV17V18AasortedV18Aasorted1V17qasortedarev_appendV17V18F
asortedV19Iasorted1arev_appendV19V20FIa=V19aNilF
asorted1V20Iasorted1arev_appendV19V20FIa=V19aNilF
acompatV20V19Iasorted1arev_appendV19V20FIa=V19aNilF
asorted1arev_appendV19V20IacompatV20V19Aasorted1V20AasortedV19FIa=V19aNilF
asortedV19Iasorted1arev_appendV19V22FIacompatV23V21Aasorted1V23AasortedV21qasorted1arev_appendV21V23FIa=V19aConsV20V21FF
asorted1V22Iasorted1arev_appendV19V22FIacompatV23V21Aasorted1V23AasortedV21qasorted1arev_appendV21V23FIa=V19aConsV20V21FF
acompatV22V19Iasorted1arev_appendV19V22FIacompatV23V21Aasorted1V23AasortedV21qasorted1arev_appendV21V23FIa=V19aConsV20V21FF
asorted1arev_appendV19V22IacompatV22V19Aasorted1V22AasortedV19FIacompatV23V21Aasorted1V23AasortedV21qasorted1arev_appendV21V23FIa=V19aConsV20V21FF
CacompatV20V19Aasorted1V20AasortedV19qasorted1arev_appendV19V20FaNilacompatV23V19Aasorted1V23AasortedV19qasorted1arev_appendV19V23FIacompatV24V22Aasorted1V24AasortedV22qasorted1arev_appendV22V24FaConsVVV19F
acompatV20V19Aasorted1V20AasortedV19qasorted1arev_appendV19V20F
Ca>=anum_occV0V1c0aNila>=anum_occV0V1c0Ia>=anum_occV0V3c0aConsVVV1F
a>=anum_occV0V1c0F
a>anum_occV2V3c0IamemV2V3Ia=V3aNilF
amemV2V3Ia>anum_occV2V3c0Ia=V3aNilF
a>anum_occV2V3c0IamemV2V3Ia>anum_occV2V5c0qamemV2V5Ia=V3aConsV4V5FF
amemV2V3Ia>anum_occV2V3c0Ia>anum_occV2V5c0qamemV2V5Ia=V3aConsV4V5FF
Ca>anum_occV2V3c0qamemV2V3aNila>anum_occV2V3c0qamemV2V3Ia>anum_occV2V5c0qamemV2V5aConsVVV3F
a>anum_occV2V3c0qamemV2V3F
Ca=anum_occV4a++V5V6a+anum_occV4V5anum_occV4V6FaNila=anum_occV4a++V5V9a+anum_occV4V5anum_occV4V9FIa=anum_occV4a++V8V10a+anum_occV4V8anum_occV4V10FaConsVVV5F
a=anum_occV4a++V5V6a+anum_occV4V5anum_occV4V6F
Ca=anum_occV7V8anum_occV7areverseV8aNila=anum_occV7V8anum_occV7areverseV8Ia=anum_occV7V10anum_occV7areverseV10aConsVVV8F
a=anum_occV7V8anum_occV7areverseV8F
apermutV0V0F
apermutV2V1IapermutV1V2F
apermutV3V5IapermutV4V5IapermutV3V4F
apermutaConsV6V7aConsV6V8IapermutV7V8F
apermutaConsV9aConsV10V11aConsV10aConsV9V11F
apermuta++aConsV12V13V14a++V13aConsV12V14F
apermuta++a++V15V16V17a++V15a++V16V17F
apermuta++V18V19a++V20V21IapermutV19V21IapermutV18V20F
apermuta++V22V23a++V23V22F
amemV24V26IamemV24V25IapermutV25V26F
a=al1aNil
a=al2aConsaxax1
apermutal1al2
a=alengthal1alengthal2
a=al2aNil
a=al1aConsaxax1
a=alengthax1alengthV27Iapermutax1V27F
a=anum_occV28al1anum_occV28al2F
a>=anum_occaxal1c1
asserted formula
amemaxal2
destruct premise
a=al2a++al11aConsaxal21
apermutax1a++al11al21
a=al2a++al11aConsaxV29E
a=al2a++V29aConsaxV30E
a=al2a++V29aConsaxV30EIamemaxal2
Ca=alengthV27alengthV28IapermutV27V28FaNila=alengthV27alengthV31IapermutV27V31FIa=alengthV30alengthV32IapermutV30V32FaConsVVV27F
a=alengthV27alengthV28IapermutV27V28F
adistincta++V0V1INamemV2V1IamemV2V0FIadistinctV1IadistinctV0FIa=V0aNilF
adistincta++V0V3INamemV4V3IamemV4V0FIadistinctV3IadistinctV0FIadistincta++V2V5INamemV6V5IamemV6V2FIadistinctV5IadistinctV2FIa=V0aConsV1V2FF
Cadistincta++V0V1INamemV2V1IamemV2V0FIadistinctV1IadistinctV0FaNiladistincta++V0V5INamemV6V5IamemV6V0FIadistinctV5IadistinctV0FIadistincta++V4V7INamemV8V7IamemV8V4FIadistinctV7IadistinctV4FaConsVVV0F
adistincta++V0V1INamemV2V1IamemV2V0FIadistinctV1IadistinctV0F
Ca=afold_leftV2V3a++V0V1afold_leftV2afold_leftV2V3V0V1FaNila=afold_leftV7V8a++V0V6afold_leftV7afold_leftV7V8V0V6FIa=afold_leftV10V11a++V5V9afold_leftV10afold_leftV10V11V5V9FaConsVVV0F
a=afold_leftV2V3a++V0V1afold_leftV2afold_leftV2V3V0V1F
Ca=afold_rightV2a++V0V1V3afold_rightV2V0afold_rightV2V1V3FaNila=afold_rightV7a++V0V6V8afold_rightV7V0afold_rightV7V6V8FIa=afold_rightV10a++V5V9V11afold_rightV10V5afold_rightV10V9V11FaConsVVV0F
a=afold_rightV2a++V0V1V3afold_rightV2V0afold_rightV2V1V3F

a2a4fc862d1d13ee7cd89b78caba8766 1H0
858719e183dcd036d533e1ad7903f92a 3H4
2987fce5dfeda62cb9da8a6e7dff92e4 3H2
dc2c9ce6e6072d8c8b67a05c809505da 3H7H4
544368e23730421131d726bba96cbe8f 3H5H4
42c68624a6ff662e6ec64c0472e24c9e 3H6H4
bbb816382f521b079e28a698e2a40d10 9H8
d4d3a23995fe3d4c0233aef00b295a7a 12H11H10
54f7e7a4c8c6134b8f12a2fc38689319 15H14H13H10
6087506cdcf77b64006ec40e6a468fcb 3H17
41f129d36d3199e46be72da7d2ecd908 3H16
c6248c0d2dc809072778b6f4c12f1890 3H19
b0148a0cf14e886f07bfae0590b2db01 3H18
4c68c49ae3c7babf9914c4fcb8498737 3H21H19
596305d64d758cc68cd639d8b25734a5 3H20H19
31e3b99645d782eb975079e965ff27c1 3H23H21H19
0acd96c3c70b93076b10830ffc8532fb 3H22H21H19
1e00fbc5d037171ad1bd65ec9cd0addc 3H24
4e7c98b57be806b8d61d054ac47411c5 3H25H24
607ab71d0eeea75e3c06bf5158f9d444 3H29
47325acdda40a35e4b39e0b5696ee214 3H28
90466e0ceaccf543abe6d6b52bb98d40 3H26
ddf039758048022ce7dd07e360b15567 3H27
80062a09e434cb9cecf32c1de8a116a3 3H31H29
fa39942b711bea688d769fb71fdd507a 3H30H29
5983ee63f0430d3895f23542650f78c7 3H33H31H29
c98adfdd0e10e2d5c488e75b70da35e0 3H32H31H29
78d267f60ce2799e5b97e2ac35b18b2f 3H35H33H31H29
6f03f4de5bc353f354e63f889ae850a5 3H34H33H31H29
e0399af2889db76af72ad6b184f044ca 3H39H35H33H31H29
e7d36c6aac31f1c115389bb5d0c3380a 3H38H35H33H31H29
9de2b2b6bf4d7d12905f84c4c7d42e6b 3H36H35H33H31H29
ad82132fd27d59e4f32eed636a653724 3H37H35H33H31H29
55581923dc0d7ca474150e4200825d12 3H41
e7c38b6a2735139d4d36fc219cada427 3H40
edc80e20fd1ecb459fdd74102866090a 3H43H41
f8a6b0b30b52e1407e8dd6b7dada312c 3H42H41
0e417220f7339a4afa1a29f10d48f648 3H45
a0e816cefde4a415aa01ab2b2d8abbe9 3H44
97c93d11ecf1c353530baa6562b5660f 3H46H45
5ad4f3fde8c1a42ba033ea786ad91d92 3H48H46H45
320ad0150f630056e459f7212a0cee24 3H47H46H45
0585117d0049bf3e98ee08f1bd8f1b8b 3H50H48H46H45
b0795d2b74cea29103fc940e5a385a2b 3H49H48H46H45
e28f7979062071d3c370d55ac0780c77 3H52H50H48H46H45
966df3cb73e847bd73af295f175aa193 3H51H50H48H46H45
f65114073843c477267f0bd5eb38c141 3H54H52H50H48H46H45
7772fa53fa93ee246b3e4a8940050f0e 3H53H52H50H48H46H45
18b88bd65885193b8568668f24d19dc8 3H56
90cc5f04bbd4c2794b877c9fec03b248 3H55
1f9e44b196027c508c7c18d9fa36628c 3H58H56
0bb664d00eb4b53bf029dfac61ac5ff3 3H57H56
0fdafcdd95236e85a756fddc30c37c2a 3H60H58H56
27543b8b726aaeb8bdfe287d7a772464 3H59H58H56
489b7d5143dc9c0bd9908a75e55804f2 3H61H60H58H56
fd5892a3931ead8390d6c62da54ff41a 3H69H62
b5da315c4a64bd633796edc9a33c5976 3H63H62
ad6d9e5167a254bea7b8ce1f89b296df 3H67H62
d541d0a30eb9bc84ce1b4e0a237ad87f 3H64H62
37e2d1460ade26348fdcc61444236870 3H65H62
7cfc7e7de11b244f802bbe64fd5df73e 3H66H62
71e6c7893247c76070e3ac28ea44b733 3H68H62
03df19cf7a1da99ef9af8114f0565c15 3H79H69H62
addcc745d1d782656331956a5525fcec 3H78H69H62
f27e73f965d1a332384af7d41eac4737 3H70H69H62
9d6c8e38611da64ac185ab56656c3868 3H71H69H62
c0e7951458a2d9d3a660fde977ffe1fa 3H72H69H62
7c05dba649b5c6930aab733cd7d63a77 3H73H69H62
40f71fa17c15b63fc42bda4e6d585bbd 3H74H69H62
4f7b7f0556e470615948f92669f231d8 3H75H69H62
7cc578451439552c3a3fc204564e1e74 3H76H69H62
b9ece6710e7ee358929ab7119915df1f 3H77H69H62
179b5aecf8dc3633542ced9489b300b8 3H80
c28b94098588202523affb4408bf9380 3H81H62
b5e1b3564c5ef7d71cca29371fe7928a 3H82H79H69H62
ee7529beb7305c3d11f33eb3a7af7654 3H94H84H83H79H69H62
b4ff560db36c935f7e7da9e11c928272 3H93H84H83H79H69H62
21dd4113ceed7d3a50c1094c283b5583 3H85H84H83H79H69H62
a193fc32c258f0c33c4451f273313b3b 3H86H84H83H79H69H62
34a37d2d04f91fce9d8afe4b24c914d5 3H87H84H83H79H69H62
6dd85120e8785007962bd34fa5111002 3H88H84H83H79H69H62
5bbebe28c6f8ea15bed04405843a8f9c 3H89H84H83H79H69H62
2a78d2f6a995fdcd6f79f0127d2a27ab 3H90H84H83H79H69H62
b5aa4e2577c24bba21a8f1ae4c4d29cd 3H91H84H83H79H69H62
1a6e5b907ae8246f2d178a6dd2316171 3H92H84H83H79H69H62
92fd40125cbf9e3748a5ecd9b0bd158a 3H104H94H84H83H79H69H62
12db60ee725ed77253b4413064bc2f73 3H103H94H84H83H79H69H62
29741aa6cc191082219b58307075de42 3H95H94H84H83H79H69H62
563422a6900a474b188781ce7ba17452 3H96H94H84H83H79H69H62
351c835f8b34e69aff9e1de9b03cd2ae 3H97H94H84H83H79H69H62
9a85710f98097751fdc1267f98c0e548 3H98H94H84H83H79H69H62
c6907455929041acfb6389b74c02a409 3H99H94H84H83H79H69H62
7845b3b3fcf10b21dbcb3314e528c2a6 3H100H94H84H83H79H69H62
a0ac8f2baab02a2b0efcde1355f11911 3H101H94H84H83H79H69H62
984b461fed386db7df7cf0247a2782ae 3H102H94H84H83H79H69H62
e126fe422f8a853f7d40107876c911d9 3H106
c9352be51dadfe3ecc7a260cd9bc5d1d 3H105
0c60ef946d79f2d53a2090e45796312f 3H112H106
64e7ea9b889e9799cbdcd12f6fea9561 3H111H106
ca5e26efbf14ec70ed230733022f04cf 3H107H106
b174d0cfaad0a1fdcecf4bfe0fc39207 3H108H106
3a2cbab949f7f7985dd3d7ac603d9e88 3H109H106
77a3ca5cacd2b6957c854397db99903f 3H110H106
d380f3cc6b8e8aa14dae230487fc37af 3H114H112H106
7e0f338a065937016194fe8de1d7446b 3H113H112H106
4e10493ccc0378de73e1933bf6ebbe17 3H116H114H112H106
e15921fc4370083a4eeff86ad3dd2ba7 3H115H114H112H106
1d423effd52dbc7476a4ef297f0d4cc6 3H117
6c759b54593b995f1e45da5d5bd32a3d 3H118H117
e128ede48e5d97b7c1e5cca93b38286b 3H119H118H117
309be58fc7f76589947db5a9568065ea 3H120H119H118H117
91d1bce8a0bda18378a61759bdfb78b1 3H121H120H119H118H117
17e7c99fa88bfca99e63cfc6d27a5001 3H122H121H120H119H118H117
b6fd52fdcb5b9f7585cce6e02513d62d 3H123H122H121H120H119H118H117
3213f7999cddfedbfa42710adcfba074 3H124H123H122H121H120H119H118H117
e51924161ad8b3055bd03b3cdf7cc977 3H125H124H123H122H121H120H119H118H117
e7b5b6bef2e89e99a155a62956aff94d 3H126H125H124H123H122H121H120H119H118H117
34136170745ea89c9a069b3d11895ebe 3H145H126H125H124H123H122H121H120H119H118H117
9177c1c6b480cdb2becbcc793a009b90 3H144H126H125H124H123H122H121H120H119H118H117
cf7fbcb1c4de5b38b24d76785d30b07f 3H130H129H127H126H125H124H123H122H121H120H119H118H117
7492290d90ba988113b5b49b6a3b3bd8 3H130H129H128H127H126H125H124H123H122H121H120H119H118H117
42e2493634359c9e6858bad5b72ff9d5 3H130H129H131H127H126H125H124H123H122H121H120H119H118H117
1890619f065b82ce9b4c49773ffe3d2e 3H130H129H133H132H126H125H124H123H122H121H120H119H118H117
58debcef7dfe6d59272026c2402b8cb3 3H130H134H133H132H126H125H124H123H122H121H120H119H118H117
681cf72fdb111006a9035e6efaab8515 136H135H134H133H132H126H125H124H123H122H121H120H119H118H117
eb5f416f6dd39af262c8af24800694ec 3H130H135H134H133H132H126H125H124H123H122H121H120H119H118H117
31be885c0e4d308c468ec1dac7af7350 136H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
f0eda11ab1d4d5e858bf3b8458253724 3H130H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
2a77a0be795720ec504e37397b14b1ed 3H130H143H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
d5a66d3d56777729107750da2e61e2e3 138H137H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
32b1081e9dd740e52a413cbf69565ea4 3H130H142H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
72635e644710d8a6786d0398b026f8d5 3H130H141H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
c278521b724232896d40b0cca376e4a1 3H130H139H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
c053452c067ac5cd8dea368137a79b94 136H140H139H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
b9eb6559517b0b64c2602afe4c6d0f3b 3H130H140H139H137H135H134H133H132H126H125H124H123H122H121H120H119H118H117
3d72ddc7fc483905290a49e2a952dcec 3H149
9a950fba4fa4b40bd6253ad765b75ddf 3H148
3cf846031c53c3ee93eac8b56be2b804 3H146
98a9bd306d9997c9d23344c042c7d47c 3H147
f41cc808693a2dc1eb605fd8f76754cf 3H151
d6545eb9c3610b9293c15ef4e4f22879 3H150
8b251813064adf3a15c0c4bceb27adfb 3H153
9cd048754d6cad1e7cc879ea2b56ac06 3H152
