

  0 0 0  6 3 8  0 0 0
  7 0 6  0 0 1  3 0 0
  0 1 0  0 0 5  0 4 0

  3 5 8  7 1 2  4 0 0
  6 9 1  8 4 3  0 5 0
  4 7 2  5 6 9  1 0 0

  0 3 0  0 0 6  0 1 0
  1 0 5  0 0 7  6 0 0
  0 0 0  1 8 4  0 0 0


  422 012 410  000 000 000  522 502 523
  000 212 000  412 402 000  000 602 622
  602 000 404  402 502 000  702 000 742

  000 000 000  000 000 000  000 440 440
  000 000 000  000 000 000  102 000 102
  000 000 000  000 000 000  000 204 204

  602 000 510  402 422 000  722 000 732
  000 212 000  406 402 000  000 606 616
  402 042 500  000 000 000  522 506 526


!! ABORT 7777: Unknown fault
* c
search: entered

The heap
  1:72/2  2:35/2  3:34/2  4:73/2  5: 1/2  6:52/2  7: 2/2  8:66/3  9: 6/4
 10:44/2 11:74/2 12:54/3 13:53/2 14:22/3 15:57/2 16: 7/3 17: 0/3 18:80/5
 19:79/4 20:67/2 21:42/2 22:21/2 23:20/2 24:62/6 25:24/4 26:12/3 27:10/3
 28:58/3 29:18/3 30:13/2 31:56/3 32:70/4 33:64/3 34:78/4 35: 8/5 36:71/5
 37:60/5 38:17/4 39:26/5 40:16/3

