a<c0am
a<=c0an
ashuffleaNilaNilaNil
empty_shape
ashuffleV2V1V3Ia=V1V0Ia=V2aNilIa=V3V0FF
ashuffleV2V1V3Ia=V1aNilIa=V2V0Ia=V3V0FF
ashuffleV5V4V6Ia=V4aConsV0V1Ia=V5V2Ia=V6aConsV0V3FIashuffleV8V7V9Ia=V7V1Ia=V8V2Ia=V9V3FAashuffleV1V2V3F
ashuffleV5V4V6Ia=V4V1Ia=V5aConsV0V2Ia=V6aConsV0V3FIashuffleV8V7V9Ia=V7V1Ia=V8V2Ia=V9V3FAashuffleV1V2V3F
ashuffleV1V0V2IashuffleV0V1V2F
a=a+alengthV4alengthV5alengthV6Ia=V4V3Ia=V5aNilIa=V6V3FF
a=a+alengthV4alengthV5alengthV6Ia=V4aNilIa=V5V3Ia=V6V3FF
a=a+alengthV7alengthV8alengthV9Ia=V7aConsV3V4Ia=V8V5Ia=V9aConsV3V6FIa=a+alengthV10alengthV11alengthV12Ia=V10V4Ia=V11V5Ia=V12V6FAashuffleV4V5V6F
a=a+alengthV7alengthV8alengthV9Ia=V7V4Ia=V8aConsV3V5Ia=V9aConsV3V6FIa=a+alengthV10alengthV11alengthV12Ia=V10V4Ia=V11V5Ia=V12V6FAashuffleV4V5V6F
a=a+alengthV3alengthV4alengthV5IashuffleV3V4V5F
iashuffleareverseaeltsV0areverseaeltsV1aeltsV7Aa=aeltsV8aNilAa=aeltsV9aNiliashuffleaeltsV6aeltsV12aeltsV15Aa=areverseaeltsV1a++areverseaeltsV13aeltsV12Aa=areverseaeltsV0a++areverseaeltsV9aeltsV6Aa<a+alengthV9alengthV13a+alengthV9alengthV8Aa<=c0a+alengthV9alengthV8Ia=aeltsV15aConsV14aeltsV7FICfaNila=aeltsV13V17Aa=V14V16aConsVVaeltsV8FFANa=aeltsV8aNilIa=aeltsV12aConsV11aeltsV5FICfaNila=V11V18aConsVwaeltsV8FANa=aeltsV8aNilashuffleaeltsV20aeltsV5aeltsV23Aa=areverseaeltsV1a++areverseaeltsV8aeltsV5Aa=areverseaeltsV0a++areverseaeltsV21aeltsV20Aa<a+alengthV21alengthV8a+alengthV9alengthV8Aa<=c0a+alengthV9alengthV8Ia=aeltsV23aConsV22aeltsV7FICfaNila=aeltsV21V25Aa=V22V24aConsVVaeltsV9FFANa=aeltsV9aNilIa=aeltsV20aConsV19aeltsV6FICfaNila=V19V26aConsVwaeltsV9FANa=aeltsV9aNila=V10aTrueIia=V10aFalsea=V10aTrueONa=aeltsV8aNilNa=aeltsV9aNilFNa=aeltsV8aNilAa=aeltsV9aNilIashuffleaeltsV6aeltsV5aeltsV7Aa=areverseaeltsV1a++areverseaeltsV8aeltsV5Aa=areverseaeltsV0a++areverseaeltsV9aeltsV6FAashuffleaeltsV3aeltsV4aeltsV2Aa=areverseaelts
VC for shuffle
asuit_sortedaeltsV5Aa=alengthV5a*anamIashuffleareverseaeltsV0areverseaeltsV1aeltsV5Aa=aeltsV3aNilAa=aeltsV4aNilFFAa=aeltsV0a++areverseaeltsV1aeltsV0Ia>c1a+V2c1Aasuit_sortedaeltsV10Aa=alengthV10a*anamIashuffleareverseaeltsV7areverseaeltsV6aeltsV10Aa=aeltsV8aNilAa=aeltsV9aNilFFAa=aeltsV0a++areverseaeltsV6aeltsV7Ia=aeltsV0a++areverseaeltsV6aeltsV7Aa=alengthV6a-a+V2c1c1Aa=alengthV7a+a-a*anama+V2c1c1Aa=aeltsV0a++areverseaeltsV14aeltsV12Aa=alengthV14a-a+V11c1c1Aa=alengthV12a+a-a*anama+V11c1c1Ia=aeltsV14aConsV13aeltsV6FICfaNila=aeltsV12V16Aa=V13V15aConsVVaeltsV7FFANa=aeltsV7aNilIa=aeltsV0a++areverseaeltsV6aeltsV7Aa=alengthV6a-V11c1Aa=alengthV7a+a-a*anamV11c1Aa<=V11V2Aa<=c1V11FFAa=aeltsV0a++areverseaeltsV1aeltsV0Aa=alengthV1a-c1c1Aa=alengthV0a+a-a*anamc1c1Ia<=c1a+V2c1Ia<=V2a*anamAa<=c0V2FAa<=V17a*anamAa<=c0V17EIa=aeltsV1aNilFIasuit_orderedaeltsV0Aa=alengthV0a*anamF
VC for card_trick

5ccf9959a6c0f3894c2f9029072990a1 3H2H1H0
34a32c09c82451de076304f17a072337 3H8H2H1H0
883c37ccb5cda4ff713bc015f5c844aa 3H4H2H1H0
ff4d940addb9ea8acff811f43de41879 3H5H2H1H0
59fdccf01279700282f5c0135ce5c4cb 3H6H2H1H0
8f05fb86c99bc5d1e335b7bd28b9547b 3H7H2H1H0
325dbf79f258eb1cb9d46aaf5ec3c965 3H13H8H2H1H0
f0bd774954587bc931f8c502b9d99583 3H9H8H2H1H0
f0d4735a0f4d5e2a47f048db24cbab64 3H10H8H2H1H0
0d9a1c41296671238a8561eebd23cd82 3H11H8H2H1H0
f5778aa0e4977c26c5fe492955767522 3H12H8H2H1H0
89a5ea25d4b99418c7a9d30da78f56a1 15H14
02b87ef217c75c61ecbdbc86bff53198 17H16
