a=apow2c0c1
a=apow2a+V0c1a*c2apow2V0Ia>=V0c0F
a=apow2c1c2
empty_shape
a>=anc0
a>=amc0
a<=anc0
a=apow2a+anama*apow2anapow2am
base case
a<c0an
a=apow2a+V1V2a*apow2V1apow2V2Ia>=V2c0Ia>=V1c0FIa<V1anF
a=apow2a+a-anc1V3a*apow2a-anc1apow2V3Ia>=V3c0Ia>=a-anc1c0FIa<a-anc1an
a=apow2a+a-anc1a+amc1a*apow2anapow2am
recursive case
a=a+anama+a-anc1a+amc1
equality hypothesis
a=apow2a+V1V2a*apow2V1apow2V2Ia>=V2c0Aa>=V1c0F
a>=aic0
a<=aic0
a>apow2aic0
a<c0ai
a>apow2V3c0Ia>=V3c0Ia<V3aiF
a>apow2a+a-aic1c1c0
a=aia+a-aic1c1
a>apow2V3c0Ia>=V3c0F
a=apow2c2c4
a=apow2c3c8
a=apow2c4c16
a=apow2c5c32
a=apow2c6c64
a=apow2c7c128
a=apow2c8c256
a=apow2c9c512
a=apow2c10c1024
a=apow2c11c2048
a=apow2c12c4096
a=apow2c13c8192
a=apow2c14c16384
a=apow2c15c32768
a=apow2c16c65536
a=apow2c17c131072
a=apow2c18c262144
a=apow2c19c524288
a=apow2c20c1048576
a=apow2c21c2097152
a=apow2c22c4194304
a=apow2c23c8388608
a=apow2c24c16777216
a=apow2c25c33554432
a=apow2c26c67108864
a=apow2c27c134217728
a=apow2c28c268435456
a=apow2c29c536870912
a=apow2c30c1073741824
a=apow2c31c2147483648
a=apow2c32c4294967296
a=apow2c33c8589934592
a=apow2c34c17179869184
a=apow2c35c34359738368
a=apow2c36c68719476736
a=apow2c37c137438953472
a=apow2c38c274877906944
a=apow2c39c549755813888
a=apow2c40c1099511627776
a=apow2c41c2199023255552
a=apow2c42c4398046511104
a=apow2c43c8796093022208
a=apow2c44c17592186044416
a=apow2c45c35184372088832
a=apow2c46c70368744177664
a=apow2c47c140737488355328
a=apow2c48c281474976710656
a=apow2c49c562949953421312
a=apow2c50c1125899906842624
a=apow2c51c2251799813685248
a=apow2c52c4503599627370496
a=apow2c53c9007199254740992
a=apow2c54c18014398509481984
a=apow2c55c36028797018963968
a=apow2c56c72057594037927936
a=apow2c57c144115188075855872
a=apow2c58c288230376151711744
a=apow2c59c576460752303423488
a=apow2c60c1152921504606846976
a=apow2c61c2305843009213693952
a=apow2c62c4611686018427387904
a=apow2c63c9223372036854775808
a=adiva+a*V4c1V5V4a+c1adivV5V4Ia>V4c0F
a=adivV6V7c1Ia<V6a*c2V7Aa<=V7V6Aa<c0V7F
a=adivV8apow2a-V9c1c1Ia<V8apow2V9Aa<=apow2a-V9c1V8Ia>V9c0F
a=adivV10V11c-2Ia<a-V11c0Aa<V10a-V11Aa<=a*c-2V11V10F
a=adivV12apow2a-V13c1c-2Ia<V12a-apow2a-V13c1Aa<=a-apow2V13V12Ia>V13c0F
a<=c0ak
a<akai
a=amoda+a*c2apow2a-a-aiakc1adivaxapow2akc2amodadivaxapow2akc2
a=apow2a-aiaka*c2apow2a-a-aiakc1
a=amoda+apow2a-aiakadivaxapow2akc2amodadivaxapow2akc2
a>apow2akc0
rewrite premises
a=amodadiva+a*apow2akapow2a-aiakaxapow2akc2amodadivaxapow2akc2
a=a+axapow2aia+a*apow2akapow2a-aiakax
a=amodadiva+axapow2aiapow2akc2amodadivaxapow2akc2
a=amodadiva+V14apow2V15apow2V16c2amodadivV14apow2V16c2Ia<V16V15Aa<=c0V16F
a=apow2c0c1.p0e0
a=apow2a+V0c1a*.c1.p1e0apow2V0Ia>=V0c0F
a=apow2a-V1c1a*.c1.p-1e0apow2V1Ia<=V1c0F
a=apow2a+V2c1a*.c1.p1e0apow2V2F
a=apow2a-V3c1a*.c1.p-1e0apow2V3F
a=c1.p-1e0a/.c1.p0e0c1.p1e0
a=apow2c1c1.p1e0
a=apow2c-1c1.p-1e0
Na=apow2anc0.p0e0
Na=apow2V4c0.p0e0Ia>=V4c0Ia<V4anF
Na=apow2V4c0.p0e0Ia>=V4c0F
a=apow2a-ana/.c1.p0e0apow2an
a=apow2a-V5a/.c1.p0e0apow2V5Ia>=V5c0Ia<V5anF
a=apow2a-V5a/.c1.p0e0apow2V5Ia>=V5c0F
Na=apow2V6c0.p0e0F
a=apow2a-V7a/.c1.p0e0apow2V7F
a<=amc0
a=apow2a+anama*.apow2anapow2am
a<c0am
a=apow2a+V9V8a*.apow2V9apow2V8Ia>=V8c0FIa<V8amF
a=apow2a+V9V8a*.apow2V9apow2V8Ia>=V8c0F
a=apow2a+V10V11a*.apow2V10apow2V11F
a>=axc0
a<=axc0
a=apow2axafrom_intapow21ax
a<c0ax
a=apow2V12afrom_intapow21V12Ia>=V12c0Ia<V12axF
a=apow2a+a-axc1c1afrom_intapow21a+a-axc1c1
a=axa+a-axc1c1
a=apow2V12afrom_intapow21V12Ia>=V12c0F

317610cd940e1e0806fe8d26c5ced394 3H2H1H0
c5b306e15a062053fadb12e7ec9b300d 3H16H2H1H0
a6013c980beb3f5bf902306ba8f99c06 3H7H5H4H2H1H0
c99cd0b81cdb950adbe1d0a95d32bb33 8H7H6H5H4H2H1H0
729d08bdddbd5d41ebacf1125051fef1 13H7H10H9H5H4H2H1H0
533ce19290e1b89b35f895f7aa8db911 13H12H10H9H5H4H2H1H0
056cb49ef5e429ad76c5c306504729bd 13H12H11H10H9H5H4H2H1H0
d0a2489b2a41ce84190ec113daf74ad0 15H14H10H9H5H4H2H1H0
463fe73abf32386663c271b615448668 3H24H16H2H1H0
f4ab3178c8b0d2b27fc7bc9130f3075d 3H19H17H16H2H1H0
f9dcb0b005748c3e7129ee74dc85e33a 8H19H18H17H16H2H1H0
dde1fd42dd55b3e9710e8419129fd393 13H19H21H20H17H16H2H1H0
7da5c25a8ab02290a74f68bc70bf3cdb 13H22H21H20H17H16H2H1H0
535355108d306db12b5257a895015d1e 15H23H21H20H17H16H2H1H0
56eba30b89b80d007fae61209620c886 3H0H24H16H2H1H0
e53c8c807628b48e408e15797ffd4aa7 3H2H0H24H16H2H1H0
441c3402c2bcb57f8bd6c81d593ee58f 3H25H2H0H24H16H2H1H0
bf4577f6845666186a38fe9cc3c0235a 3H26H25H2H0H24H16H2H1H0
c4ffb365018e07f2afee9cc7c7ae380f 3H27H26H25H2H0H24H16H2H1H0
e7e150c97913c52f17656bfe5d7f7c17 3H28H27H26H25H2H0H24H16H2H1H0
85dc958148bc07e223c844c5a629f256 3H29H28H27H26H25H2H0H24H16H2H1H0
bbf27aa828bd31607f7109d6f02f32f3 3H30H29H28H27H26H25H2H0H24H16H2H1H0
8eeb81feb7f026d27a8ce8902e2a6919 3H31H30H29H28H27H26H25H2H0H24H16H2H1H0
3a7bc969044a6e84bcde1bc7e24e860f 3H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
148c96010fbbee161b02fe5571596848 3H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
870973ef5b71381b10365c71f7069c98 3H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
525c3c3f944b2c598dfceaba60e3e1ef 3H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
cbf038e8931cc82507ee36ccb25f0733 3H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
e8e75c04673884229db446f2b1a7409a 3H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
3426d8092d2be6c120fafcc02a863605 3H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
315da4a732b37b61ec05f0b6a1c70466 3H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
6ceb2c01971081711cde2f3d7d006374 3H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
e399cf4b5181e103cc215c31173a5936 3H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
8512f536e12ba6a9c5973de298530dca 3H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
c9431260e03a4524c49cb85cc53ef3c7 3H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
67d11412986965fc68c7faaa20ed6b2d 3H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
f91cc075e2f193e5757a173d87db8ba5 3H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
352bfa58f10e9751e32d3137a695e15f 3H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
40460aab901c9acf0af2b67fc82e1e63 3H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
33851d9aa9db10d4468e0c0a862890e5 3H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
3992c65db627ccc416f252e4d1ed9dee 3H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
b31e38920d795fb67cefa0df84f0b4d0 3H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
584f0a735d6b0c4fc6eb493d98030d8a 3H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
8025e0c6317b428910d01ec0469b1e87 3H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
415b1bc7a383acbb46ef86e4e231f5ea 3H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
49351fee9bb1e342e72cda8ee1656d75 3H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
8d49a824be740361cf3c8ba709359518 3H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
45abc5d1aebadb15ca67f8001870011b 3H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
d0c8743c195933b6f8bf7ff8e3e080f7 3H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
7eb7868cead0db791c061f910ba4ae52 3H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
c18459ecb76795ccc44ad49cb3e65ef3 3H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
f46c8e65a729e1490eaf6cc5b795a5db 3H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
d26a0d497b8bcc41d3bc7d2d15f06c4d 3H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
4347c649e9d141002ba31b02b1668899 3H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
7b02f1cc40adaf28e563b9bb445958ad 3H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
4eaf9c7406046ea23292913d3a5b8452 3H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
0b1e659b79ca79099363764c34815f4e 3H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
126bcd3fe8e94e98f5979d7781fec84c 3H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
9d32029f44a6314396060acd3cb85a75 3H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
90c84ccd937e4487d235672fb6e6daa6 3H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
e8738c1b1f64d78e40bdabe2a639b539 3H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
dcbc0e3d2d1ab22562ee7a14aa8d11bd 3H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
96543b17766f49251b312b07cdc2b53e 3H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
51e9f1b4b649511c8543367d568786f0 3H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
f79127bc6bfaf46907f0f98d90e44e13 3H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
6a17f237f505b0483092a15f63d1792a 3H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
a5912fa8d86af9055f8e1c5bb9d483a8 3H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
b8e1c7525217fad50541d52f4289bb6e 3H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
dc582086047f252ff7215ae8c915a98b 3H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
aaf0e16828e0330670820e9cab331673 3H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
f54def6b8db4c7858f4a6c2f238f87b0 3H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
540918dff5b4dbce4dff44b962f58551 3H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
80913b8c4597b48d0e2c7349c0b41103 3H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
2b0da05abf3f07f3c4b9b5baf2166d79 3H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
3a6322e43ce8d667134527ed4106689a 3H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
51925f5cdbf971ee0aceadc2ac153ad1 3H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
c531247f30c801ba9700b28b01183976 3H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
14db61fd1c245e402b9f94621b4fed63 3H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
394ea37958c6f4625ace0b40b63b5000 3H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
1be9ac502bfc8035ffd72f7ad325ad61 3H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
2c5fa356dc3b9a20fc0cb97b5fd61766 3H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
692f1daf51c2ce364b6efacdbf5f3be3 3H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
f4d7d7ac167bac14a2d57b3590d7da00 3H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
8fd94167a193b98cfca7ca96affcd31f 3H102H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
279a3066ed671737284a5e0043efd391 3H101H93H92H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
5a6c23ea64eb39f421258f842287c27d 3H99H93H92H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
a748d911b4b7d9f86c900b657f1d60b4 3H96H93H92H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
ab437f704439143388d6570c689a80d5 3H94H93H92H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
67bfd6a870930e0eb7a07036195d0599 15H95H93H92H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
0063523cceb189d96282c90d601f1178 98H97H93H92H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
3a13d6b392f2152908fda48fb7cd4d6a 15H100H93H92H91H90H89H88H87H86H85H84H83H82H81H80H79H78H77H76H75H74H73H72H71H70H69H68H67H66H65H64H63H62H61H60H59H58H57H56H55H54H53H52H51H50H49H48H47H46H45H44H43H42H41H40H39H38H37H36H35H34H33H32H31H30H29H28H27H26H25H2H0H24H16H2H1H0
9c908db21a3b1d53cbf3a3249d4addaa 3H106H105H104H103
e44a6bef4a435b892de984cc2a2ddc6d 3H107H106H105H104H103
784821d9ad7b83592bc2dbc269907f01 3H108H107H106H105H104H103
3fe60ea4ab43cd2f3c83e05116317644 3H109H108H107H106H105H104H103
693624d25dc7c072121369e1100bbcf7 3H110H109H108H107H106H105H104H103
877e561d2cf73a60ccdf357d41c014b2 3H113H110H109H108H107H106H105H104H103
43cee54a573708206eece03517fdae18 3H111H4H110H109H108H107H106H105H104H103
45bcc671693d0a4b8607734142f5ddc4 8H111H6H4H110H109H108H107H106H105H104H103
785195fd46da5a404fd40abf82d87a1b 13H111H112H9H4H110H109H108H107H106H105H104H103
14b5d29268072304ef16ce594cb080f2 3H116H113H110H109H108H107H106H105H104H103
bc0ac7ec3f0b4ae3a00b7b0218a56faa 3H114H4H113H110H109H108H107H106H105H104H103
e0a386428900210d8ad42826b2e19574 8H114H6H4H113H110H109H108H107H106H105H104H103
9840fcae648dc8dd8b2e786f865730e1 13H114H115H9H4H113H110H109H108H107H106H105H104H103
b68e5e034211dbc9f5a10ee550c8ebbf 3H117H116H113H110H109H108H107H106H105H104H103
51892173c40ebd6b29728fefa1e98bbf 3H118H117H116H113H110H109H108H107H106H105H104H103
d956719d83ffbdcf1ff2bfbbbae4dd3f 3H123H118H117H116H113H110H109H108H107H106H105H104H103
053f6d19c1a6a245e0bbe6a6281a661c 3H120H5H118H117H116H113H110H109H108H107H106H105H104H103
8ad47a3359868b7509bc8a19c45dba53 8H120H119H5H118H117H116H113H110H109H108H107H106H105H104H103
00c4e4c2a5bdd4ae067c09613017e327 13H120H122H121H5H118H117H116H113H110H109H108H107H106H105H104H103
530de5f2f741adacd55d84027f34830a 3H124H123H118H117H116H113H110H109H108H107H106H105H104H103
45030b4d6ed10c58fe8446de5fddabc0 3H132H124H123H118H117H116H113H110H109H108H107H106H105H104H103
d38af91a1849f5816fb9df94bb7e74df 3H127H125H124H123H118H117H116H113H110H109H108H107H106H105H104H103
5f7fbf33381e1fa77272bbb8d85b8e6e 8H127H126H125H124H123H118H117H116H113H110H109H108H107H106H105H104H103
7d9584adfc313b66be2193ea7ff64bf8 13H127H129H128H125H124H123H118H117H116H113H110H109H108H107H106H105H104H103
84eae0d79b2916f93a4ecc96eb307433 13H130H129H128H125H124H123H118H117H116H113H110H109H108H107H106H105H104H103
082f0a7a9d3798bf8da467cbb592e6dc 15H131H129H128H125H124H123H118H117H116H113H110H109H108H107H106H105H104H103
