problem77.false

[
  1 ø 1 ø / \ * -
] m:

[
  n: 0~ r:
  2 n; > [ 0 r: ]?
  2 [
    $ n; \ >
  ] [
    $ n; \ m;! 0 = [ 0 r: ]?
    1 +
  ]#
  % r;
] p:

[
  b: k:
  0 t:
  k; 0 = [ 1 t: ]?
  k; $ b; > [ % b; ]?
  [
    $ 0 >
  ] [
    $ p;! [ k; t; @ $ $ k; \ - \ c;! @ + t: \ k: ]?
    1 -
  ]#
  % t;
] c:

[
  $ $ c;! \ p;! [ 1 - ]?
] a:

0 [ $ a;! 5001 \ > ] [ 1 + ]# .