$ od -t oC -N 100000 [Ibis]<AltoGateway>Things>HeapSortDefs.bcd!1 0000000 005 000 060 017 251 351 226 317 060 017 053 343 226 304 000 000 0000020 222 005 226 243 000 002 000 001 000 000 000 001 000 000 000 000 0000040 200 005 000 000 000 076 000 023 000 000 000 000 000 062 000 014 0000060 000 076 000 000 000 076 000 000 000 076 000 000 000 054 000 006 0000100 000 076 000 000 000 000 000 000 000 076 000 000 000 076 000 000 0000120 000 076 000 000 000 000 000 000 077 377 000 000 000 000 177 376 0000140 000 002 003 000 000 025 077 376 077 377 000 000 000 000 000 000 0000160 000 014 077 377 000 013 000 001 377 374 000 000 000 041 000 041 0000200 000 022 110 145 141 160 123 157 162 164 104 145 146 163 056 155 0000220 145 163 141 056 014 110 145 141 160 123 157 162 164 104 145 146 0000240 163 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 0000260 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 * 0001000 037 314 060 017 251 351 226 317 060 017 053 343 226 304 000 000 0001020 222 005 226 243 200 020 000 000 000 022 000 057 000 107 000 166 0001040 000 104 000 272 000 160 001 052 000 000 001 052 000 000 001 052 0001060 000 000 001 052 001 050 002 122 000 032 002 154 000 010 002 164 0001100 000 013 002 207 000 012 002 177 000 002 002 201 000 006 002 207 0001120 000 000 002 177 000 000 002 177 000 000 000 000 000 000 000 041 0001140 000 011 000 000 000 000 000 020 000 000 000 000 000 027 000 000 0001160 000 004 000 026 000 024 000 032 000 030 000 000 000 000 000 012 0001200 000 000 000 025 000 000 000 016 000 000 000 000 000 000 000 000 0001220 000 000 000 000 000 007 000 000 000 006 000 000 000 035 000 000 0001240 000 000 000 021 000 034 000 000 000 000 000 000 000 000 000 017 0001260 000 000 000 000 000 000 000 000 000 000 000 000 000 000 000 031 0001300 000 000 000 033 000 005 000 000 000 013 000 000 000 000 000 000 0001320 000 000 000 000 000 000 000 037 000 000 000 036 000 000 000 000 0001340 000 023 000 000 000 000 000 002 000 000 000 000 000 000 000 000 0001360 200 000 000 013 200 000 000 022 200 000 000 033 200 000 000 040 0001400 200 000 000 044 200 000 000 053 200 000 000 063 200 000 000 067 0001420 200 000 000 073 200 000 000 076 300 000 000 104 200 000 000 115 0001440 200 001 000 121 200 015 000 125 200 014 000 136 200 000 000 150 0001460 200 000 000 156 200 003 000 171 200 000 000 200 200 000 000 211 0001500 200 000 000 220 200 000 000 227 200 022 000 230 200 010 000 236 0001520 200 000 000 245 200 000 000 252 200 000 000 256 300 000 000 272 0001540 300 000 000 302 300 000 000 306 300 000 000 312 000 000 000 312 0001560 000 040 000 333 000 333 000 334 125 116 123 120 105 103 111 106 0001600 111 105 104 111 116 124 105 107 105 122 103 110 101 122 101 103 0001620 124 105 122 106 101 114 123 105 124 122 125 105 102 117 117 114 0001640 105 101 116 103 101 122 104 111 116 101 114 127 117 122 104 122 0001660 105 101 114 116 101 124 154 145 156 147 164 150 155 141 170 114 0001700 145 156 147 164 150 164 145 170 164 124 105 130 124 155 141 170 0001720 154 145 156 147 164 150 123 164 162 151 156 147 102 157 144 171 0001740 123 124 122 111 116 107 115 117 116 111 124 117 122 114 117 103 0001760 113 164 151 155 145 157 165 164 103 117 116 104 111 124 111 117 0002000 116 115 104 123 132 157 156 145 116 101 124 125 122 101 114 077 0002020 125 116 127 111 116 104 101 102 117 122 124 105 104 146 151 162 0002040 163 164 162 145 163 164 110 145 141 160 123 157 162 164 104 145 0002060 146 163 110 145 141 160 123 157 162 164 142 141 163 145 154 145 0002100 163 163 150 145 141 160 163 157 162 164 144 145 146 163 056 142 0002120 143 144 056 165 062 000 340 000 341 200 000 020 300 002 300 001 0002140 000 002 000 000 000 011 300 002 300 001 000 150 000 000 000 021 0002160 300 002 300 001 000 152 000 000 000 031 300 002 300 001 000 154 0002200 000 000 000 061 300 002 300 001 000 171 000 000 000 071 300 002 0002220 300 001 000 171 000 000 000 101 300 002 300 001 000 175 000 000 0002240 000 111 300 002 300 001 000 177 000 000 000 121 300 002 300 001 0002260 000 203 000 000 000 161 300 002 300 001 000 261 000 000 000 211 0002300 300 002 300 001 000 230 000 000 000 201 300 002 300 001 000 263 0002320 000 000 000 221 300 002 300 001 000 273 000 000 000 241 300 002 0002340 300 001 000 310 000 000 000 251 300 002 300 001 000 177 000 000 0002360 000 261 300 002 000 002 000 020 000 000 000 271 300 002 300 023 0002400 000 000 000 001 000 051 300 002 300 023 000 000 000 000 000 041 0002420 300 002 300 320 077 377 000 003 000 301 300 002 300 320 077 377 0002440 000 005 000 310 341 201 000 020 341 202 000 010 342 300 000 004 0002460 000 002 300 004 300 023 000 000 000 000 000 041 300 004 300 023 0002500 000 000 000 001 000 050 354 200 000 011 000 000 377 377 356 000 0002520 000 011 354 200 000 011 000 000 177 377 343 022 000 040 060 014 0002540 320 006 000 047 000 020 000 000 000 131 300 006 000 225 000 020 0002560 000 020 000 150 300 000 200 047 000 020 000 020 000 140 352 301 0002600 000 220 000 016 343 103 000 040 060 020 320 010 000 030 000 020 0002620 000 000 000 131 300 010 200 030 000 020 000 020 000 171 300 010 0002640 000 252 000 000 000 040 000 150 345 001 000 255 000 016 354 201 0002660 000 011 000 000 000 000 344 000 000 066 343 002 000 020 060 024 0002700 320 012 000 004 000 020 000 000 000 000 343 002 000 040 060 030 0002720 320 014 000 030 000 020 000 020 000 231 320 014 000 004 000 020 0002740 000 000 000 000 360 001 357 000 000 000 000 117 344 200 000 311 0002760 355 000 000 314 347 003 000 000 000 000 361 000 344 200 000 323 0003000 355 000 000 324 343 306 000 100 040 034 344 220 000 330 355 000 0003020 000 333 300 016 000 326 000 040 000 000 000 321 300 016 000 335 0003040 000 040 000 040 000 330 310 020 300 356 000 000 000 101 000 340 0003060 350 000 000 022 310 022 200 371 000 020 000 000 000 356 000 000 0003100 343 010 000 100 020 044 347 000 000 374 000 000 143 101 000 060 0003120 200 050 310 024 001 016 000 020 000 100 000 361 310 024 000 030 0003140 000 020 000 120 000 131 310 024 001 020 000 020 000 140 000 370 0003160 344 000 000 004 347 000 001 023 001 040 143 101 000 040 200 054 0003200 310 026 000 004 000 020 000 100 000 001 310 026 000 004 000 020 0003220 000 120 000 000 143 141 000 020 200 060 310 030 000 023 000 020 0003240 000 140 000 000 000 000 030 000 000 004 000 000 000 157 000 000 0003260 000 206 000 000 000 233 000 000 000 266 000 000 000 276 000 000 0003300 000 337 000 000 000 351 000 000 000 360 040 000 000 377 000 000 0003320 001 026 000 000 001 043 000 000 060 017 251 351 226 317 000 034 0003340 001 010 000 000 000 000 177 377 177 377 077 377 000 366 002 102 0003360 000 105 000 075 037 377 000 004 000 351 003 270 000 010 133 000 0003400 000 000 377 370 000 000 377 370 200 000 377 370 000 144 200 206 0003420 300 000 200 233 300 000 200 266 300 002 200 276 300 004 200 303 0003440 300 000 0003442