| ofs | hex dump | ascii |
|---|---|---|
| 0000 | 62 30 56 49 4d 20 38 2e 30 00 00 00 00 10 00 00 3a 42 4d 59 34 25 5c 00 9d 0d 00 00 62 61 63 6f | b0VIM.8.0.......:BMY4%\.....baco |
| 0020 | 6e 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | n............................... |
| 0040 | 00 00 00 00 6f 66 66 69 63 65 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ....office...................... |
| 0060 | 00 00 00 00 00 00 00 00 00 00 00 00 7e 62 61 63 6f 6e 2f 63 6f 64 65 73 2f 41 6c 67 43 6f 6d 62 | ............~bacon/codes/AlgComb |
| 0080 | 2f 4d 61 74 68 2f 43 6f 6d 62 69 6e 61 74 6f 72 69 63 73 2f 59 6f 75 6e 67 54 61 62 6c 65 61 75 | /Math/Combinatorics/YoungTableau |
| 00a0 | 78 2e 68 73 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | x.hs............................ |
| 00c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 00e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0100 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0120 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0140 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0160 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0180 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 01a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 01c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 01e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0200 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0220 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0240 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0260 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0280 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 02a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 02c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 02e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0300 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0320 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0340 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0360 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0380 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 03a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 03c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 03e0 | 00 00 00 00 00 00 00 00 00 75 74 66 2d 38 0d 00 33 32 31 30 00 00 00 00 23 22 21 20 13 12 55 00 | .........utf-8..3210....#"!...U. |
| 0400 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0420 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0440 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0460 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0480 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 04a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 04c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 04e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0500 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0520 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0540 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0560 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0580 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 05a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 05c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 05e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0600 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0620 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0640 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0660 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0680 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 06a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 06c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 06e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0700 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0720 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0740 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0760 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0780 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 07a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 07c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 07e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0800 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0820 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0840 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0860 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0880 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 08a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 08c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 08e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0900 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0920 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0940 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0960 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0980 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 09a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 09c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 09e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0a00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0a20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0a40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0a60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0a80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0aa0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ac0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ae0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0b00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0b20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0b40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0b60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0b80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ba0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0bc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0be0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0c00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0c20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0c40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0c60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0c80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ca0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0cc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ce0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0d00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0d20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0d40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0d60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0d80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0da0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0dc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0de0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0e00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0e20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0e40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0e60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0e80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ea0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ec0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0ee0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0f00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0f20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0f40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0f60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0f80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0fa0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0fc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 0fe0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1000 | 74 70 01 00 7f 00 00 00 02 00 00 00 00 00 00 00 5f 00 00 00 00 00 00 00 01 00 00 00 00 00 00 00 | tp.............._............... |
| 1020 | 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1040 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1060 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1080 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 10a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 10c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 10e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1100 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1120 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1140 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1160 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1180 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 11a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 11c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 11e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1200 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1220 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1240 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1260 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1280 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 12a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 12c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 12e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1300 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1320 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1340 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1360 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1380 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 13a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 13c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 13e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1400 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1420 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1440 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1460 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1480 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 14a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 14c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 14e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1500 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1520 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1540 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1560 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1580 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 15a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 15c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 15e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1600 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1620 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1640 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1660 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1680 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 16a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 16c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 16e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1700 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1720 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1740 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1760 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1780 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 17a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 17c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 17e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1800 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1820 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1840 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1860 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1880 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 18a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 18c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 18e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1900 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1920 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1940 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1960 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1980 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 19a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 19c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 19e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1a00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1a20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1a40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1a60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1a80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1aa0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ac0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ae0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1b00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1b20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1b40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1b60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1b80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ba0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1bc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1be0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1c00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1c20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1c40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1c60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1c80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ca0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1cc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ce0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1d00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1d20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1d40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1d60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1d80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1da0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1dc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1de0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1e00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1e20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1e40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1e60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1e80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ea0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ec0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1ee0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1f00 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1f20 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1f40 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1f60 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1f80 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1fa0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1fc0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 1fe0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2000 | 61 64 00 00 a1 01 00 00 39 03 00 00 00 10 00 00 5f 00 00 00 00 00 00 00 e9 0f 00 00 d1 0f 00 00 | ad......9......._............... |
| 2020 | bd 0f 00 00 ab 0f 00 00 aa 0f 00 00 87 0f 00 00 54 0f 00 00 53 0f 00 00 27 0f 00 00 ec 0e 00 00 | ................T...S...'....... |
| 2040 | eb 0e 00 00 be 0e 00 00 ac 0e 00 00 8e 0e 00 00 6b 0e 00 00 27 0e 00 00 26 0e 00 00 fa 0d 00 00 | ................k...'...&....... |
| 2060 | ba 0d 00 00 b9 0d 00 00 9a 0d 00 00 7a 0d 00 00 79 0d 00 00 55 0d 00 00 38 0d 00 00 37 0d 00 00 | ............z...y...U...8...7... |
| 2080 | 33 0d 00 00 07 0d 00 00 f2 0c 00 00 d4 0c 00 00 ad 0c 00 00 55 0c 00 00 4d 0c 00 00 4c 0c 00 00 | 3...................U...M...L... |
| 20a0 | 1b 0c 00 00 fc 0b 00 00 c4 0b 00 00 50 0b 00 00 39 0b 00 00 15 0b 00 00 c4 0a 00 00 9b 0a 00 00 | ............P...9............... |
| 20c0 | 9a 0a 00 00 78 0a 00 00 5b 0a 00 00 5a 0a 00 00 38 0a 00 00 2a 0a 00 00 12 0a 00 00 99 09 00 00 | ....x...[...Z...8...*........... |
| 20e0 | 5e 09 00 00 1c 09 00 00 df 08 00 00 de 08 00 00 a7 08 00 00 89 08 00 00 6f 08 00 00 5d 08 00 00 | ^.......................o...]... |
| 2100 | 41 08 00 00 1f 08 00 00 fd 07 00 00 e9 07 00 00 cb 07 00 00 a9 07 00 00 8f 07 00 00 72 07 00 00 | A...........................r... |
| 2120 | 2c 07 00 00 e6 06 00 00 ae 06 00 00 ad 06 00 00 8c 06 00 00 63 06 00 00 62 06 00 00 40 06 00 00 | ,...................c...b...@... |
| 2140 | 02 06 00 00 01 06 00 00 ce 05 00 00 71 05 00 00 70 05 00 00 45 05 00 00 28 05 00 00 0e 05 00 00 | ............q...p...E...(....... |
| 2160 | fc 04 00 00 e0 04 00 00 be 04 00 00 9c 04 00 00 88 04 00 00 6b 04 00 00 49 04 00 00 2f 04 00 00 | ....................k...I.../... |
| 2180 | 12 04 00 00 cf 03 00 00 8c 03 00 00 57 03 00 00 39 03 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ............W...9............... |
| 21a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 21c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 21e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2200 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2220 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2240 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2260 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2280 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 22a0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 22c0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 22e0 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2300 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 | ................................ |
| 2320 | 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 72 65 64 75 63 65 57 | .........................reduceW |
| 2340 | 6f 72 64 27 27 20 78 73 20 79 73 20 3d 20 78 73 20 2b 2b 20 79 73 00 20 20 20 20 20 20 65 6c 73 | ord''.xs.ys.=.xs.++.ys.......els |
| 2360 | 65 20 72 65 64 75 63 65 57 6f 72 64 27 27 20 28 69 6e 69 74 20 78 73 29 20 28 6c 61 73 74 20 78 | e.reduceWord''.(init.xs).(last.x |
| 2380 | 73 3a 75 3a 76 3a 77 3a 79 73 29 00 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 | s:u:v:w:ys)..................... |
| 23a0 | 65 6c 73 65 20 72 65 64 75 63 65 57 6f 72 64 27 27 20 28 69 6e 69 74 20 78 73 29 20 28 6c 61 73 | else.reduceWord''.(init.xs).(las |
| 23c0 | 74 20 78 73 3a 76 3a 75 3a 77 3a 79 73 29 00 20 20 20 20 20 20 74 68 65 6e 20 69 66 20 75 20 3e | t.xs:v:u:w:ys).......then.if.u.> |
| 23e0 | 20 77 20 74 68 65 6e 20 72 65 64 75 63 65 57 6f 72 64 27 27 20 28 69 6e 69 74 20 78 73 29 20 28 | .w.then.reduceWord''.(init.xs).( |
| 2400 | 6c 61 73 74 20 78 73 3a 75 3a 77 3a 76 3a 79 73 29 00 20 20 20 20 65 6c 73 65 20 69 66 20 77 20 | last.xs:u:w:v:ys).....else.if.w. |
| 2420 | 3c 20 76 20 26 26 20 75 20 3c 3d 20 76 20 00 20 20 20 20 74 68 65 6e 20 78 73 20 2b 2b 20 28 75 | <.v.&&.u.<=.v......then.xs.++.(u |
| 2440 | 3a 76 3a 77 3a 79 73 29 00 20 20 69 66 20 69 73 52 6f 77 57 6f 72 64 20 24 20 78 73 20 2b 2b 20 | :v:w:ys)...if.isRowWord.$.xs.++. |
| 2460 | 28 75 3a 76 3a 77 3a 79 73 29 00 72 65 64 75 63 65 57 6f 72 64 27 27 20 78 73 20 28 75 3a 76 3a | (u:v:w:ys).reduceWord''.xs.(u:v: |
| 2480 | 77 3a 79 73 29 20 3d 00 20 20 20 20 20 20 65 6c 73 65 20 75 3a 76 3a 77 3a 79 73 00 20 20 20 20 | w:ys).=.......else.u:v:w:ys..... |
| 24a0 | 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 65 6c 73 65 20 76 3a 75 3a 77 3a 79 73 00 20 20 | ................else.v:u:w:ys... |
| 24c0 | 20 20 20 20 74 68 65 6e 20 69 66 20 75 20 3e 20 77 20 74 68 65 6e 20 75 3a 77 3a 76 3a 79 73 00 | ....then.if.u.>.w.then.u:w:v:ys. |
| 24e0 | 20 20 20 20 65 6c 73 65 20 69 66 20 77 20 3c 20 76 20 26 26 20 75 20 3c 3d 20 76 00 20 20 20 20 | ....else.if.w.<.v.&&.u.<=.v..... |
| 2500 | 74 68 65 6e 20 75 3a 76 3a 77 3a 79 73 00 20 20 69 66 20 69 73 52 6f 77 57 6f 72 64 20 28 75 3a | then.u:v:w:ys...if.isRowWord.(u: |
| 2520 | 76 3a 77 3a 79 73 29 00 72 65 64 75 63 65 57 6f 72 64 27 27 20 5b 5d 20 28 75 3a 76 3a 77 3a 79 | v:w:ys).reduceWord''.[].(u:v:w:y |
| 2540 | 73 29 20 3d 00 72 65 64 75 63 65 57 6f 72 64 27 27 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 5b 61 | s).=.reduceWord''.::.Ord.a.=>.[a |
| 2560 | 5d 20 2d 3e 20 5b 61 5d 20 2d 3e 20 5b 61 5d 00 00 70 72 6f 70 5f 52 65 64 75 63 65 57 6f 72 64 | ].->.[a].->.[a]..prop_ReduceWord |
| 2580 | 5f 52 6f 62 69 6e 73 6f 6e 53 63 68 65 6e 73 74 65 64 20 78 73 20 3d 20 28 74 6f 52 6f 77 57 6f | _RobinsonSchensted.xs.=.(toRowWo |
| 25a0 | 72 64 20 24 20 72 6f 62 69 6e 73 6f 6e 53 63 68 65 6e 73 74 65 64 20 78 73 29 20 3d 3d 20 28 72 | rd.$.robinsonSchensted.xs).==.(r |
| 25c0 | 65 64 75 63 65 57 6f 72 64 20 78 73 29 00 70 72 6f 70 5f 52 65 64 75 63 65 57 6f 72 64 5f 52 6f | educeWord.xs).prop_ReduceWord_Ro |
| 25e0 | 62 69 6e 73 6f 6e 53 63 68 65 6e 73 74 65 64 20 3a 3a 20 5b 49 6e 74 5d 20 2d 3e 20 42 6f 6f 6c | binsonSchensted.::.[Int].->.Bool |
| 2600 | 00 00 70 72 6f 70 5f 52 65 64 75 63 65 57 6f 72 64 27 20 78 73 20 3d 20 28 6c 65 6e 67 74 68 20 | ..prop_ReduceWord'.xs.=.(length. |
| 2620 | 78 73 29 20 3d 3d 20 28 6c 65 6e 67 74 68 20 24 20 72 65 64 75 63 65 57 6f 72 64 20 78 73 29 00 | xs).==.(length.$.reduceWord.xs). |
| 2640 | 70 72 6f 70 5f 52 65 64 75 63 65 57 6f 72 64 27 20 3a 3a 20 5b 49 6e 74 5d 20 2d 3e 20 42 6f 6f | prop_ReduceWord'.::.[Int].->.Boo |
| 2660 | 6c 00 00 70 72 6f 70 5f 52 65 64 75 63 65 57 6f 72 64 20 3d 20 69 73 52 6f 77 57 6f 72 64 20 2e | l..prop_ReduceWord.=.isRowWord.. |
| 2680 | 20 72 65 64 75 63 65 57 6f 72 64 00 70 72 6f 70 5f 52 65 64 75 63 65 57 6f 72 64 20 3a 3a 20 5b | .reduceWord.prop_ReduceWord.::.[ |
| 26a0 | 49 6e 74 5d 20 2d 3e 20 42 6f 6f 6c 00 00 20 20 20 20 20 20 65 6c 73 65 20 72 65 64 75 63 65 57 | Int].->.Bool........else.reduceW |
| 26c0 | 6f 72 64 27 20 28 69 6e 69 74 20 78 73 29 20 28 6c 61 73 74 20 78 73 2c 20 75 2c 20 76 29 20 28 | ord'.(init.xs).(last.xs,.u,.v).( |
| 26e0 | 77 3a 79 73 29 00 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 65 6c 73 65 20 72 | w:ys).....................else.r |
| 2700 | 65 64 75 63 65 57 6f 72 64 27 20 28 69 6e 69 74 20 78 73 29 20 28 6c 61 73 74 20 78 73 2c 20 76 | educeWord'.(init.xs).(last.xs,.v |
| 2720 | 2c 20 75 29 20 28 77 3a 79 73 29 00 20 20 20 20 20 20 74 68 65 6e 20 69 66 20 75 20 3e 20 77 20 | ,.u).(w:ys).......then.if.u.>.w. |
| 2740 | 74 68 65 6e 20 72 65 64 75 63 65 57 6f 72 64 27 20 28 69 6e 69 74 20 78 73 29 20 28 6c 61 73 74 | then.reduceWord'.(init.xs).(last |
| 2760 | 20 78 73 2c 20 75 2c 20 77 29 20 28 76 3a 79 73 29 00 20 20 20 20 65 6c 73 65 20 69 66 20 77 20 | .xs,.u,.w).(v:ys).....else.if.w. |
| 2780 | 3c 20 76 20 26 26 20 75 20 3c 3d 20 76 20 00 20 20 20 20 74 68 65 6e 20 78 73 20 2b 2b 20 28 75 | <.v.&&.u.<=.v......then.xs.++.(u |
| 27a0 | 3a 76 3a 77 3a 79 73 29 00 20 20 69 66 20 69 73 52 6f 77 57 6f 72 64 20 24 20 78 73 20 2b 2b 20 | :v:w:ys)...if.isRowWord.$.xs.++. |
| 27c0 | 28 75 3a 76 3a 77 3a 79 73 29 00 72 65 64 75 63 65 57 6f 72 64 27 20 78 73 20 28 75 2c 20 76 2c | (u:v:w:ys).reduceWord'.xs.(u,.v, |
| 27e0 | 20 77 29 20 79 73 20 3d 00 20 20 20 20 20 20 65 6c 73 65 20 75 3a 76 3a 77 3a 79 73 00 20 20 20 | .w).ys.=.......else.u:v:w:ys.... |
| 2800 | 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 65 6c 73 65 20 76 3a 75 3a 77 3a 79 73 00 20 | .................else.v:u:w:ys.. |
| 2820 | 20 20 20 20 20 74 68 65 6e 20 69 66 20 75 20 3e 20 77 20 74 68 65 6e 20 75 3a 77 3a 76 3a 79 73 | .....then.if.u.>.w.then.u:w:v:ys |
| 2840 | 00 20 20 20 20 65 6c 73 65 20 69 66 20 77 20 3c 20 76 20 26 26 20 75 20 3c 3d 20 76 00 20 20 20 | .....else.if.w.<.v.&&.u.<=.v.... |
| 2860 | 20 74 68 65 6e 20 75 3a 76 3a 77 3a 79 73 00 20 20 69 66 20 69 73 52 6f 77 57 6f 72 64 20 28 75 | .then.u:v:w:ys...if.isRowWord.(u |
| 2880 | 3a 76 3a 77 3a 79 73 29 00 72 65 64 75 63 65 57 6f 72 64 27 20 5b 5d 20 28 75 2c 20 76 2c 20 77 | :v:w:ys).reduceWord'.[].(u,.v,.w |
| 28a0 | 29 20 79 73 20 3d 00 72 65 64 75 63 65 57 6f 72 64 27 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 5b | ).ys.=.reduceWord'.::.Ord.a.=>.[ |
| 28c0 | 61 5d 20 2d 3e 20 28 61 2c 20 61 2c 20 61 29 20 2d 3e 20 5b 61 5d 20 2d 3e 20 5b 61 5d 00 00 20 | a].->.(a,.a,.a).->.[a].->.[a]... |
| 28e0 | 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 72 65 64 75 63 65 57 6f 72 64 | ......................reduceWord |
| 2900 | 27 27 20 7a 73 20 28 77 73 20 2b 2b 20 5b 6c 61 73 74 20 78 73 5d 29 20 2d 2d 7d 00 20 20 20 20 | ''.zs.(ws.++.[last.xs]).--}..... |
| 2920 | 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 6c 65 74 20 28 7a 73 2c 20 77 73 29 20 3d 20 | .................let.(zs,.ws).=. |
| 2940 | 73 70 6c 69 74 41 74 20 28 6c 65 6e 67 74 68 20 79 73 20 2d 20 32 29 20 79 73 20 69 6e 00 20 20 | splitAt.(length.ys.-.2).ys.in... |
| 2960 | 7b 2d 2d 20 7c 20 6f 74 68 65 72 77 69 73 65 20 20 20 20 20 20 3d 20 6c 65 74 20 79 73 20 3d 20 | {--.|.otherwise......=.let.ys.=. |
| 2980 | 72 65 64 75 63 65 57 6f 72 64 20 24 20 69 6e 69 74 20 78 73 20 69 6e 20 00 20 20 7c 20 6f 74 68 | reduceWord.$.init.xs.in....|.oth |
| 29a0 | 65 72 77 69 73 65 20 20 20 20 20 20 3d 20 6c 65 74 20 79 73 20 3d 20 72 65 64 75 63 65 57 6f 72 | erwise......=.let.ys.=.reduceWor |
| 29c0 | 64 20 24 20 69 6e 69 74 20 78 73 20 69 6e 20 72 65 64 75 63 65 57 6f 72 64 27 20 28 69 6e 69 74 | d.$.init.xs.in.reduceWord'.(init |
| 29e0 | 20 24 20 69 6e 69 74 20 79 73 29 20 28 6c 61 73 74 20 24 20 69 6e 69 74 20 79 73 2c 20 6c 61 73 | .$.init.ys).(last.$.init.ys,.las |
| 2a00 | 74 20 79 73 2c 20 6c 61 73 74 20 78 73 29 20 5b 5d 00 20 20 7c 20 6c 65 6e 67 74 68 20 78 73 20 | t.ys,.last.xs).[]...|.length.xs. |
| 2a20 | 3c 3d 20 32 20 3d 20 78 73 00 72 65 64 75 63 65 57 6f 72 64 20 78 73 00 72 65 64 75 63 65 57 6f | <=.2.=.xs.reduceWord.xs.reduceWo |
| 2a40 | 72 64 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 5b 61 5d 20 2d 3e 20 5b 61 5d 00 00 69 73 52 6f 77 | rd.::.Ord.a.=>.[a].->.[a]..isRow |
| 2a60 | 57 6f 72 64 20 3d 20 69 73 52 6f 77 57 6f 72 64 27 20 5b 5d 20 5b 5d 00 69 73 52 6f 77 57 6f 72 | Word.=.isRowWord'.[].[].isRowWor |
| 2a80 | 64 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 5b 61 5d 20 2d 3e 20 42 6f 6f 6c 00 00 20 20 20 20 65 | d.::.Ord.a.=>.[a].->.Bool......e |
| 2aa0 | 6c 73 65 20 79 73 20 3d 3d 20 5b 5d 20 26 26 20 69 73 52 6f 77 57 6f 72 64 27 20 5b 5d 20 78 73 | lse.ys.==.[].&&.isRowWord'.[].xs |
| 2ac0 | 20 7a 73 00 20 20 20 20 74 68 65 6e 20 68 65 61 64 20 79 73 20 3e 20 68 65 61 64 20 7a 73 20 26 | .zs.....then.head.ys.>.head.zs.& |
| 2ae0 | 26 20 28 69 73 52 6f 77 57 6f 72 64 27 20 28 78 73 20 2b 2b 20 5b 68 65 61 64 20 7a 73 5d 29 20 | &.(isRowWord'.(xs.++.[head.zs]). |
| 2b00 | 28 74 61 69 6c 20 79 73 29 20 28 74 61 69 6c 20 7a 73 29 29 00 20 20 69 66 20 78 73 20 3d 3d 20 | (tail.ys).(tail.zs))...if.xs.==. |
| 2b20 | 5b 5d 20 7c 7c 20 6c 61 73 74 20 78 73 20 3c 3d 20 68 65 61 64 20 7a 73 00 69 73 52 6f 77 57 6f | [].||.last.xs.<=.head.zs.isRowWo |
| 2b40 | 72 64 27 20 78 73 20 79 73 20 7a 73 20 3d 20 00 69 73 52 6f 77 57 6f 72 64 27 20 78 73 20 5b 5d | rd'.xs.ys.zs.=..isRowWord'.xs.[] |
| 2b60 | 20 7a 73 20 3d 20 69 66 20 6c 61 73 74 20 78 73 20 3c 3d 20 68 65 61 64 20 7a 73 20 74 68 65 6e | .zs.=.if.last.xs.<=.head.zs.then |
| 2b80 | 20 69 73 52 6f 77 57 6f 72 64 27 20 28 78 73 20 2b 2b 20 5b 68 65 61 64 20 7a 73 5d 29 20 5b 5d | .isRowWord'.(xs.++.[head.zs]).[] |
| 2ba0 | 20 28 74 61 69 6c 20 7a 73 29 20 65 6c 73 65 20 69 73 52 6f 77 57 6f 72 64 27 20 5b 5d 20 78 73 | .(tail.zs).else.isRowWord'.[].xs |
| 2bc0 | 20 7a 73 00 69 73 52 6f 77 57 6f 72 64 27 20 5b 5d 20 5b 5d 20 7a 73 20 3d 20 69 73 52 6f 77 57 | .zs.isRowWord'.[].[].zs.=.isRowW |
| 2be0 | 6f 72 64 27 20 5b 68 65 61 64 20 7a 73 5d 20 5b 5d 20 28 74 61 69 6c 20 7a 73 29 00 69 73 52 6f | ord'.[head.zs].[].(tail.zs).isRo |
| 2c00 | 77 57 6f 72 64 27 20 5f 20 20 79 73 20 5b 5d 20 3d 20 79 73 20 3d 3d 20 5b 5d 00 69 73 52 6f 77 | wWord'._..ys.[].=.ys.==.[].isRow |
| 2c20 | 57 6f 72 64 27 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 5b 61 5d 20 2d 3e 20 5b 61 5d 20 2d 3e 20 | Word'.::.Ord.a.=>.[a].->.[a].->. |
| 2c40 | 5b 61 5d 20 2d 3e 20 42 6f 6f 6c 00 00 20 20 20 20 2d 2d 7d 00 20 20 20 20 28 72 31 2c 20 72 32 | [a].->.Bool......--}.....(r1,.r2 |
| 2c60 | 29 20 2d 3e 20 6c 65 74 20 53 20 73 20 3d 20 72 6f 77 49 6e 73 65 72 74 20 28 53 20 28 74 61 69 | ).->.let.S.s.=.rowInsert.(S.(tai |
| 2c80 | 6c 20 74 29 29 20 28 68 65 61 64 20 72 32 29 20 69 6e 20 53 20 24 20 28 72 31 20 2b 2b 20 78 3a | l.t)).(head.r2).in.S.$.(r1.++.x: |
| 2ca0 | 28 74 61 69 6c 20 72 32 29 29 3a 73 00 20 20 20 20 28 72 2c 20 5b 5d 29 20 2d 3e 20 53 20 24 20 | (tail.r2)):s.....(r,.[]).->.S.$. |
| 2cc0 | 28 72 20 2b 2b 20 5b 78 5d 29 3a 28 74 61 69 6c 20 74 29 00 20 20 63 61 73 65 20 62 72 65 61 6b | (r.++.[x]):(tail.t)...case.break |
| 2ce0 | 20 28 3e 78 29 20 28 68 65 61 64 20 74 29 20 6f 66 00 72 6f 77 49 6e 73 65 72 74 20 28 53 20 74 | .(>x).(head.t).of.rowInsert.(S.t |
| 2d00 | 29 20 78 20 3d 20 00 72 6f 77 49 6e 73 65 72 74 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 53 53 59 | ).x.=..rowInsert.::.Ord.a.=>.SSY |
| 2d20 | 54 20 61 20 2d 3e 20 61 20 2d 3e 20 53 53 59 54 20 61 00 7b 2d 2d 00 00 74 6f 52 6f 77 57 6f 72 | T.a.->.a.->.SSYT.a.{--..toRowWor |
| 2d40 | 64 20 3d 20 63 6f 6e 63 61 74 20 2e 20 72 65 76 65 72 73 65 00 74 6f 52 6f 77 57 6f 72 64 20 3a | d.=.concat...reverse.toRowWord.: |
| 2d60 | 3a 20 4f 72 64 20 61 20 3d 3e 20 53 53 59 54 20 61 20 2d 3e 20 5b 61 5d 00 00 74 72 75 6e 63 49 | :.Ord.a.=>.SSYT.a.->.[a]..truncI |
| 2d80 | 6e 66 4c 69 73 74 20 3d 20 66 73 74 20 2e 20 62 72 65 61 6b 20 6e 75 6c 6c 00 74 72 75 6e 63 49 | nfList.=.fst...break.null.truncI |
| 2da0 | 6e 66 4c 69 73 74 20 3a 3a 20 5b 5b 61 5d 5d 20 2d 3e 20 5b 5b 61 5d 5d 00 00 72 6f 62 69 6e 73 | nfList.::.[[a]].->.[[a]]..robins |
| 2dc0 | 6f 6e 53 63 68 65 6e 73 74 65 64 20 3d 20 74 72 75 6e 63 49 6e 66 4c 69 73 74 20 2e 20 66 6f 6c | onSchensted.=.truncInfList...fol |
| 2de0 | 64 6c 20 72 6f 77 49 6e 73 65 72 74 27 20 28 72 65 70 65 61 74 20 5b 5d 29 00 72 6f 62 69 6e 73 | dl.rowInsert'.(repeat.[]).robins |
| 2e00 | 6f 6e 53 63 68 65 6e 73 74 65 64 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 5b 61 5d 20 2d 3e 20 53 | onSchensted.::.Ord.a.=>.[a].->.S |
| 2e20 | 53 59 54 20 61 00 00 20 20 20 20 28 72 31 2c 20 72 32 29 20 2d 3e 20 28 72 31 20 2b 2b 20 78 3a | SYT.a......(r1,.r2).->.(r1.++.x: |
| 2e40 | 28 74 61 69 6c 20 72 32 29 29 3a 28 72 6f 77 49 6e 73 65 72 74 27 20 28 74 61 69 6c 20 74 29 20 | (tail.r2)):(rowInsert'.(tail.t). |
| 2e60 | 28 68 65 61 64 20 72 32 29 29 00 20 20 20 20 28 72 2c 20 5b 5d 29 20 2d 3e 20 28 72 20 2b 2b 20 | (head.r2)).....(r,.[]).->.(r.++. |
| 2e80 | 5b 78 5d 29 3a 28 74 61 69 6c 20 74 29 00 20 20 63 61 73 65 20 62 72 65 61 6b 20 28 3e 78 29 20 | [x]):(tail.t)...case.break.(>x). |
| 2ea0 | 28 68 65 61 64 20 74 29 20 6f 66 00 72 6f 77 49 6e 73 65 72 74 27 20 74 20 78 20 3d 20 00 72 6f | (head.t).of.rowInsert'.t.x.=..ro |
| 2ec0 | 77 49 6e 73 65 72 74 27 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 53 53 59 54 20 61 20 2d 3e 20 61 | wInsert'.::.Ord.a.=>.SSYT.a.->.a |
| 2ee0 | 20 2d 3e 20 53 53 59 54 20 61 00 00 72 6f 77 49 6e 73 65 72 74 20 74 20 3d 20 74 72 75 6e 63 49 | .->.SSYT.a..rowInsert.t.=.truncI |
| 2f00 | 6e 66 4c 69 73 74 20 2e 20 72 6f 77 49 6e 73 65 72 74 27 20 28 74 20 2b 2b 20 28 72 65 70 65 61 | nfList...rowInsert'.(t.++.(repea |
| 2f20 | 74 20 5b 5d 29 29 00 72 6f 77 49 6e 73 65 72 74 20 3a 3a 20 4f 72 64 20 61 20 3d 3e 20 53 53 59 | t.[])).rowInsert.::.Ord.a.=>.SSY |
| 2f40 | 54 20 61 20 2d 3e 20 61 20 2d 3e 20 53 53 59 54 20 61 00 00 20 20 2d 2d 77 68 65 72 65 20 73 68 | T.a.->.a.->.SSYT.a....--where.sh |
| 2f60 | 6f 77 20 28 53 20 78 73 29 20 3d 20 73 68 6f 77 20 24 20 66 73 74 20 24 20 62 72 65 61 6b 20 6e | ow.(S.xs).=.show.$.fst.$.break.n |
| 2f80 | 75 6c 6c 20 78 73 00 2d 2d 69 6e 73 74 61 6e 63 65 20 53 68 6f 77 20 61 20 3d 3e 20 53 68 6f 77 | ull.xs.--instance.Show.a.=>.Show |
| 2fa0 | 20 28 53 53 59 54 20 61 29 00 00 74 79 70 65 20 47 54 20 61 20 3d 20 5b 5b 61 5d 5d 00 74 79 70 | .(SSYT.a)..type.GT.a.=.[[a]].typ |
| 2fc0 | 65 20 53 53 59 54 20 61 20 3d 20 5b 5b 61 5d 5d 00 2d 2d 64 61 74 61 20 53 53 59 54 20 61 20 3d | e.SSYT.a.=.[[a]].--data.SSYT.a.= |
| 2fe0 | 20 53 20 5b 5b 61 5d 5d 00 74 79 70 65 20 54 61 62 6c 65 61 75 20 61 20 3d 20 5b 5b 61 5d 5d 00 | .S.[[a]].type.Tableau.a.=.[[a]]. |
 |
index : mathkell.git | |
| Experimental mathematics with Haskell, mainly covering some algebraic / enumerative combinatorics. |
| aboutsummaryrefslogtreecommitdiff |
blob: 0e4e515ad08169cdf5e897b98191d62ea3144df6 (plain) (blame)