Interpreter and library.
Revision | fcd4c613e4a049a21fe0ed5bed42770390bc1b80 (tree) |
---|---|
Zeit | 2021-11-29 08:39:24 |
Autor | Simon Forman <sforman@hush...> |
Commiter | Simon Forman |
Clean up Zipper notebook.
@@ -69,7 +69,7 @@ | ||
69 | 69 | "source": [ |
70 | 70 | "[z-down [] swap uncons swap] inscribe\n", |
71 | 71 | "[z-up swons swap shunt] inscribe\n", |
72 | - "[z-right [swons] cons dip uncons swap] inscribe\n", | |
72 | + "[z-right roll< cons swap uncons swap] inscribe\n", | |
73 | 73 | "[z-left swons [uncons swap] dip swap] inscribe" |
74 | 74 | ] |
75 | 75 | }, |
@@ -106,16 +106,13 @@ | ||
106 | 106 | "name": "stdout", |
107 | 107 | "output_type": "stream", |
108 | 108 | "text": [ |
109 | - " [] [[2 [3 4 25 6] 7] 8] 1 • z-right\n", | |
110 | - " [] [[2 [3 4 25 6] 7] 8] 1 • [swons] cons dip uncons swap\n", | |
111 | - "[] [[2 [3 4 25 6] 7] 8] 1 [swons] • cons dip uncons swap\n", | |
112 | - "[] [[2 [3 4 25 6] 7] 8] [1 swons] • dip uncons swap\n", | |
113 | - " [] • 1 swons [[2 [3 4 25 6] 7] 8] uncons swap\n", | |
114 | - " [] 1 • swons [[2 [3 4 25 6] 7] 8] uncons swap\n", | |
115 | - " [1] • [[2 [3 4 25 6] 7] 8] uncons swap\n", | |
116 | - " [1] [[2 [3 4 25 6] 7] 8] • uncons swap\n", | |
117 | - " [1] [2 [3 4 25 6] 7] [8] • swap\n", | |
118 | - " [1] [8] [2 [3 4 25 6] 7] • \n", | |
109 | + "[] [[2 [3 4 25 6] 7] 8] 1 • z-right\n", | |
110 | + "[] [[2 [3 4 25 6] 7] 8] 1 • roll< cons swap uncons swap\n", | |
111 | + "[[2 [3 4 25 6] 7] 8] 1 [] • cons swap uncons swap\n", | |
112 | + " [[2 [3 4 25 6] 7] 8] [1] • swap uncons swap\n", | |
113 | + " [1] [[2 [3 4 25 6] 7] 8] • uncons swap\n", | |
114 | + " [1] [2 [3 4 25 6] 7] [8] • swap\n", | |
115 | + " [1] [8] [2 [3 4 25 6] 7] • \n", | |
119 | 116 | "\n", |
120 | 117 | "[1] [8] [2 [3 4 25 6] 7]" |
121 | 118 | ] |
@@ -301,146 +298,59 @@ | ||
301 | 298 | "name": "stdout", |
302 | 299 | "output_type": "stream", |
303 | 300 | "text": [ |
304 | - "[1 [2 [3 4 625 6] 7] 8] [[[[[[sqr] dipd] infra] dip] infra] dip] • infra\n", | |
305 | - " 8 [2 [3 4 625 6] 7] 1 • [[[[[sqr] dipd] infra] dip] infra] dip [] swaack\n", | |
306 | - " 8 [2 [3 4 625 6] 7] 1 [[[[[sqr] dipd] infra] dip] infra] • dip [] swaack\n", | |
307 | - " 8 [2 [3 4 625 6] 7] • [[[[sqr] dipd] infra] dip] infra 1 [] swaack\n", | |
308 | - " 8 [2 [3 4 625 6] 7] [[[[sqr] dipd] infra] dip] • infra 1 [] swaack\n", | |
309 | - " 7 [3 4 625 6] 2 • [[[sqr] dipd] infra] dip [8] swaack 1 [] swaack\n", | |
310 | - " 7 [3 4 625 6] 2 [[[sqr] dipd] infra] • dip [8] swaack 1 [] swaack\n", | |
311 | - " 7 [3 4 625 6] • [[sqr] dipd] infra 2 [8] swaack 1 [] swaack\n", | |
312 | - " 7 [3 4 625 6] [[sqr] dipd] • infra 2 [8] swaack 1 [] swaack\n", | |
313 | - " 6 625 4 3 • [sqr] dipd [7] swaack 2 [8] swaack 1 [] swaack\n", | |
314 | - " 6 625 4 3 [sqr] • dipd [7] swaack 2 [8] swaack 1 [] swaack\n", | |
315 | - " 6 625 • sqr 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n", | |
316 | - " 6 625 • dup * 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n", | |
317 | - " 6 625 625 • * 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n", | |
318 | - " 6 390625 • 4 3 [7] swaack 2 [8] swaack 1 [] swaack\n", | |
319 | - " 6 390625 4 • 3 [7] swaack 2 [8] swaack 1 [] swaack\n", | |
320 | - " 6 390625 4 3 • [7] swaack 2 [8] swaack 1 [] swaack\n", | |
321 | - " 6 390625 4 3 [7] • swaack 2 [8] swaack 1 [] swaack\n", | |
322 | - " 7 [3 4 390625 6] • 2 [8] swaack 1 [] swaack\n", | |
323 | - " 7 [3 4 390625 6] 2 • [8] swaack 1 [] swaack\n", | |
324 | - " 7 [3 4 390625 6] 2 [8] • swaack 1 [] swaack\n", | |
325 | - " 8 [2 [3 4 390625 6] 7] • 1 [] swaack\n", | |
326 | - " 8 [2 [3 4 390625 6] 7] 1 • [] swaack\n", | |
327 | - " 8 [2 [3 4 390625 6] 7] 1 [] • swaack\n", | |
328 | - " [1 [2 [3 4 390625 6] 7] 8] • \n", | |
329 | - "\n", | |
330 | 301 | "[1 [2 [3 4 390625 6] 7] 8]" |
331 | 302 | ] |
332 | 303 | } |
333 | 304 | ], |
334 | 305 | "source": [ |
335 | - "[[[[[[sqr] dipd] infra] dip] infra] dip] [infra] trace" | |
306 | + "[[[[[[sqr] dipd] infra] dip] infra] dip] infra" | |
336 | 307 | ] |
337 | 308 | }, |
338 | 309 | { |
339 | 310 | "cell_type": "markdown", |
340 | 311 | "metadata": {}, |
341 | 312 | "source": [ |
342 | - "If you read the trace carefully you'll see that about half of it is the `dip` and `infra` combinators de-quoting programs and \"digging\" into the subject datastructure. Instead of maintaining temporary results on the stack they are pushed into the pending expression (continuation). When `sqr` has run the rest of the pending expression rebuilds the datastructure.\n", | |
313 | + "If you were to trace the program you would see that about half of it is the `dip` and `infra` combinators de-quoting programs and \"digging\" into the subject datastructure. Instead of maintaining temporary results on the stack they are pushed into the pending expression (continuation). When `sqr` has run the rest of the pending expression rebuilds the datastructure.\n", | |
343 | 314 | "\n", |
344 | 315 | "## `Z`\n", |
345 | 316 | "Imagine a function `Z` that accepts a sequence of `dip` and `infra` combinators, a quoted program `[Q]`, and a datastructure to work on. It would effectively execute the quoted program as if it had been embedded in a nested series of quoted programs, e.g.:\n", |
346 | 317 | "\n", |
347 | - " [...] [Q] [dip dip infra dip infra dip infra] Z\n", | |
348 | - " -------------------------------------------------------------\n", | |
349 | - " [...] [[[[[[[Q] dip] dip] infra] dip] infra] dip] infra\n", | |
318 | + " [...] [Q] [[dip] [dip] [infra] [dip] [infra] [dip] [infra]] Z\n", | |
319 | + " -------------------------------------------------------------------\n", | |
320 | + " [...] [[[[[[[Q] dip] dip] infra] dip] infra] dip] infra\n", | |
350 | 321 | " \n", |
351 | 322 | "The `Z` function isn't hard to make." |
352 | 323 | ] |
353 | 324 | }, |
354 | 325 | { |
355 | 326 | "cell_type": "code", |
356 | - "execution_count": 4, | |
357 | - "metadata": {}, | |
358 | - "outputs": [ | |
359 | - { | |
360 | - "name": "stdout", | |
361 | - "output_type": "stream", | |
362 | - "text": [] | |
363 | - } | |
364 | - ], | |
365 | - "source": [ | |
366 | - "clear" | |
367 | - ] | |
368 | - }, | |
369 | - { | |
370 | - "cell_type": "code", | |
371 | - "execution_count": 2, | |
372 | - "metadata": {}, | |
373 | - "outputs": [ | |
374 | - { | |
375 | - "name": "stdout", | |
376 | - "output_type": "stream", | |
377 | - "text": [ | |
378 | - "[Q] [dip dip infra dip infra dip infra]" | |
379 | - ] | |
380 | - } | |
381 | - ], | |
382 | - "source": [ | |
383 | - "[Q] [dip dip infra dip infra dip infra]" | |
384 | - ] | |
385 | - }, | |
386 | - { | |
387 | - "cell_type": "code", | |
388 | - "execution_count": null, | |
389 | - "metadata": {}, | |
390 | - "outputs": [], | |
391 | - "source": [ | |
392 | - "[unit cons] step" | |
393 | - ] | |
394 | - }, | |
395 | - { | |
396 | - "cell_type": "markdown", | |
397 | - "metadata": {}, | |
398 | - "source": [ | |
399 | - "So that's broken with the current definition of `step` but this works:" | |
400 | - ] | |
401 | - }, | |
402 | - { | |
403 | - "cell_type": "code", | |
404 | - "execution_count": 6, | |
405 | - "metadata": {}, | |
406 | - "outputs": [ | |
407 | - { | |
408 | - "name": "stdout", | |
409 | - "output_type": "stream", | |
410 | - "text": [] | |
411 | - } | |
412 | - ], | |
413 | - "source": [ | |
414 | - "clear" | |
415 | - ] | |
416 | - }, | |
417 | - { | |
418 | - "cell_type": "code", | |
419 | - "execution_count": 7, | |
327 | + "execution_count": 15, | |
420 | 328 | "metadata": {}, |
421 | 329 | "outputs": [ |
422 | 330 | { |
423 | 331 | "name": "stdout", |
424 | 332 | "output_type": "stream", |
425 | 333 | "text": [ |
426 | - "[Q] [[dip] [dip] [infra] [dip] [infra] [dip] [infra]]" | |
334 | + "[sqr] [[dip] [dip] [infra] [dip] [infra] [dip] [infra]]" | |
427 | 335 | ] |
428 | 336 | } |
429 | 337 | ], |
430 | 338 | "source": [ |
431 | - "[Q] [[dip] [dip] [infra] [dip] [infra] [dip] [infra]]" | |
339 | + "clear\n", | |
340 | + "[sqr]\n", | |
341 | + "[[dip][dip][infra][dip][infra][dip][infra]]" | |
432 | 342 | ] |
433 | 343 | }, |
434 | 344 | { |
435 | 345 | "cell_type": "code", |
436 | - "execution_count": 8, | |
346 | + "execution_count": 16, | |
437 | 347 | "metadata": {}, |
438 | 348 | "outputs": [ |
439 | 349 | { |
440 | 350 | "name": "stdout", |
441 | 351 | "output_type": "stream", |
442 | 352 | "text": [ |
443 | - "[[[[[[[[Q] dip] dip] infra] dip] infra] dip] infra]" | |
353 | + "[[[[[[[[sqr] dip] dip] infra] dip] infra] dip] infra]" | |
444 | 354 | ] |
445 | 355 | } |
446 | 356 | ], |
@@ -452,844 +362,111 @@ | ||
452 | 362 | "cell_type": "markdown", |
453 | 363 | "metadata": {}, |
454 | 364 | "source": [ |
455 | - "Do I want to revisit `step` def? Insist that `Z` use `[[A][B][C]...]` rather than `[A B C ...]`? Seems clunky, special-cased, and not in the spirit of the thing, eh?\n", | |
456 | - "\n", | |
457 | - "Arguably,\n", | |
458 | - "\n", | |
459 | - " [dip dip infra dip infra dip infra] [unit cons] step\n", | |
460 | - "\n", | |
461 | - "*should* work, yes?\n", | |
462 | - "\n", | |
463 | - "\n", | |
464 | - " ... [] [Q] . step\n", | |
465 | - " -----------------------\n", | |
466 | - " ... .\n", | |
467 | - "\n", | |
468 | - "\n", | |
469 | - " ... [a] [Q] . step\n", | |
470 | - " ------------------------\n", | |
471 | - " ... a . Q\n", | |
472 | - "\n", | |
473 | - "\n", | |
474 | - " ... [a b c] [Q] . step\n", | |
475 | - " ----------------------------------------\n", | |
476 | - " ... a . Q [b c] [Q] step\n", | |
477 | - "\n" | |
478 | - ] | |
479 | - }, | |
480 | - { | |
481 | - "cell_type": "code", | |
482 | - "execution_count": 9, | |
483 | - "metadata": {}, | |
484 | - "outputs": [ | |
485 | - { | |
486 | - "name": "stdout", | |
487 | - "output_type": "stream", | |
488 | - "text": [] | |
489 | - } | |
490 | - ], | |
491 | - "source": [ | |
492 | - "clear" | |
365 | + "To use it you need to run the resulting program with the `i` combinator." | |
493 | 366 | ] |
494 | 367 | }, |
495 | 368 | { |
496 | 369 | "cell_type": "code", |
497 | - "execution_count": 10, | |
370 | + "execution_count": 17, | |
498 | 371 | "metadata": {}, |
499 | 372 | "outputs": [ |
500 | 373 | { |
501 | 374 | "name": "stdout", |
502 | 375 | "output_type": "stream", |
503 | 376 | "text": [ |
504 | - "[dip dip infra dip infra dip infra]" | |
377 | + "[1 [2 [3 4 25 6] 7] 8] [[[[[[[[sqr] dip] dip] infra] dip] infra] dip] infra]" | |
505 | 378 | ] |
506 | 379 | } |
507 | 380 | ], |
508 | 381 | "source": [ |
509 | - "[dip dip infra dip infra dip infra]" | |
382 | + "[1 [2 [3 4 25 6] 7] 8] swap" | |
510 | 383 | ] |
511 | 384 | }, |
512 | 385 | { |
513 | 386 | "cell_type": "code", |
514 | - "execution_count": 11, | |
387 | + "execution_count": 18, | |
515 | 388 | "metadata": {}, |
516 | 389 | "outputs": [ |
517 | 390 | { |
518 | 391 | "name": "stdout", |
519 | 392 | "output_type": "stream", |
520 | 393 | "text": [ |
521 | - "[[dip] dip infra dip infra dip infra]" | |
394 | + "[1 [2 [3 4 625 6] 7] 8]" | |
522 | 395 | ] |
523 | 396 | } |
524 | 397 | ], |
525 | 398 | "source": [ |
526 | - "[unit] infra" | |
399 | + "i" | |
527 | 400 | ] |
528 | 401 | }, |
529 | 402 | { |
530 | - "cell_type": "code", | |
531 | - "execution_count": null, | |
532 | - "metadata": {}, | |
533 | - "outputs": [], | |
534 | - "source": [] | |
535 | - }, | |
536 | - { | |
537 | - "cell_type": "code", | |
538 | - "execution_count": null, | |
539 | - "metadata": {}, | |
540 | - "outputs": [], | |
541 | - "source": [] | |
542 | - }, | |
543 | - { | |
544 | 403 | "cell_type": "markdown", |
545 | 404 | "metadata": {}, |
546 | 405 | "source": [ |
547 | - "Argh! It is inside `uncons` itself, isn't it!?" | |
548 | - ] | |
549 | - }, | |
550 | - { | |
551 | - "cell_type": "code", | |
552 | - "execution_count": 1, | |
553 | - "metadata": {}, | |
554 | - "outputs": [ | |
555 | - { | |
556 | - "name": "stdout", | |
557 | - "output_type": "stream", | |
558 | - "text": [] | |
559 | - } | |
560 | - ], | |
561 | - "source": [ | |
562 | - "clear" | |
563 | - ] | |
564 | - }, | |
565 | - { | |
566 | - "cell_type": "code", | |
567 | - "execution_count": 2, | |
568 | - "metadata": {}, | |
569 | - "outputs": [ | |
570 | - { | |
571 | - "name": "stdout", | |
572 | - "output_type": "stream", | |
573 | - "text": [ | |
574 | - "[Q] [dip dip infra dip infra dip infra]" | |
575 | - ] | |
576 | - } | |
577 | - ], | |
578 | - "source": [ | |
579 | - "[Q] [dip dip infra dip infra dip infra]" | |
580 | - ] | |
581 | - }, | |
582 | - { | |
583 | - "cell_type": "code", | |
584 | - "execution_count": null, | |
585 | - "metadata": {}, | |
586 | - "outputs": [], | |
587 | - "source": [ | |
588 | - "uncons" | |
589 | - ] | |
590 | - }, | |
591 | - { | |
592 | - "cell_type": "code", | |
593 | - "execution_count": null, | |
594 | - "metadata": {}, | |
595 | - "outputs": [], | |
596 | - "source": [] | |
597 | - }, | |
598 | - { | |
599 | - "cell_type": "code", | |
600 | - "execution_count": 4, | |
601 | - "metadata": {}, | |
602 | - "outputs": [ | |
603 | - { | |
604 | - "name": "stdout", | |
605 | - "output_type": "stream", | |
606 | - "text": [ | |
607 | - "[Q] [dip dip infra dip infra dip infra]" | |
608 | - ] | |
609 | - } | |
610 | - ], | |
611 | - "source": [ | |
612 | - "[popdd roll< pop] inscribe" | |
613 | - ] | |
614 | - }, | |
615 | - { | |
616 | - "cell_type": "code", | |
617 | - "execution_count": 5, | |
618 | - "metadata": {}, | |
619 | - "outputs": [ | |
620 | - { | |
621 | - "name": "stdout", | |
622 | - "output_type": "stream", | |
623 | - "text": [] | |
624 | - } | |
625 | - ], | |
626 | - "source": [ | |
627 | - "clear" | |
628 | - ] | |
629 | - }, | |
630 | - { | |
631 | - "cell_type": "code", | |
632 | - "execution_count": 6, | |
633 | - "metadata": {}, | |
634 | - "outputs": [ | |
635 | - { | |
636 | - "name": "stdout", | |
637 | - "output_type": "stream", | |
638 | - "text": [ | |
639 | - "[Q] [dip dip infra dip infra dip infra]" | |
640 | - ] | |
641 | - } | |
642 | - ], | |
643 | - "source": [ | |
644 | - "[Q] [dip dip infra dip infra dip infra]" | |
406 | + "So let's define `Z` as:\n", | |
407 | + "\n", | |
408 | + " Z == [cons] step i" | |
645 | 409 | ] |
646 | 410 | }, |
647 | 411 | { |
648 | 412 | "cell_type": "code", |
649 | - "execution_count": 7, | |
413 | + "execution_count": 19, | |
650 | 414 | "metadata": {}, |
651 | 415 | "outputs": [ |
652 | 416 | { |
653 | 417 | "name": "stdout", |
654 | 418 | "output_type": "stream", |
655 | 419 | "text": [ |
656 | - "[Q] dip [dip infra dip infra dip infra]" | |
420 | + "[1 [2 [3 4 625 6] 7] 8]" | |
657 | 421 | ] |
658 | 422 | } |
659 | 423 | ], |
660 | 424 | "source": [ |
661 | - "uncons" | |
662 | - ] | |
663 | - }, | |
664 | - { | |
665 | - "cell_type": "code", | |
666 | - "execution_count": null, | |
667 | - "metadata": {}, | |
668 | - "outputs": [], | |
669 | - "source": [] | |
670 | - }, | |
671 | - { | |
672 | - "cell_type": "code", | |
673 | - "execution_count": null, | |
674 | - "metadata": {}, | |
675 | - "outputs": [], | |
676 | - "source": [] | |
677 | - }, | |
678 | - { | |
679 | - "cell_type": "code", | |
680 | - "execution_count": null, | |
681 | - "metadata": {}, | |
682 | - "outputs": [], | |
683 | - "source": [] | |
684 | - }, | |
685 | - { | |
686 | - "cell_type": "code", | |
687 | - "execution_count": null, | |
688 | - "metadata": {}, | |
689 | - "outputs": [], | |
690 | - "source": [] | |
691 | - }, | |
692 | - { | |
693 | - "cell_type": "code", | |
694 | - "execution_count": 6, | |
695 | - "metadata": {}, | |
696 | - "outputs": [ | |
697 | - { | |
698 | - "name": "stdout", | |
699 | - "output_type": "stream", | |
700 | - "text": [] | |
701 | - } | |
702 | - ], | |
703 | - "source": [ | |
704 | - "[Z [[] ccons] step i] inscribe" | |
425 | + "[Z [cons] step i] inscribe" | |
705 | 426 | ] |
706 | 427 | }, |
707 | 428 | { |
708 | 429 | "cell_type": "markdown", |
709 | 430 | "metadata": {}, |
710 | 431 | "source": [ |
711 | - "Here it is in action in a simplified scenario." | |
432 | + "And here it is doing the thing." | |
712 | 433 | ] |
713 | 434 | }, |
714 | 435 | { |
715 | 436 | "cell_type": "code", |
716 | - "execution_count": 7, | |
437 | + "execution_count": 20, | |
717 | 438 | "metadata": {}, |
718 | 439 | "outputs": [ |
719 | 440 | { |
720 | 441 | "name": "stdout", |
721 | 442 | "output_type": "stream", |
722 | 443 | "text": [ |
723 | - " 1 [2 3 4] • Z\n", | |
724 | - " 1 [2 3 4] • [[] ccons] step i\n", | |
725 | - " 1 [2 3 4] [[] ccons] • step i\n", | |
726 | - " 1 [2 3 4] [[] ccons] • [_step0] x i\n", | |
727 | - " 1 [2 3 4] [[] ccons] [_step0] • x i\n", | |
728 | - " 1 [2 3 4] [[] ccons] [_step0] • dup i i\n", | |
729 | - " 1 [2 3 4] [[] ccons] [_step0] [_step0] • i i\n", | |
730 | - " 1 [2 3 4] [[] ccons] [_step0] • _step0 i\n", | |
731 | - " 1 [2 3 4] [[] ccons] [_step0] • _step1 [popopop] [_stept] branch i\n", | |
732 | - " 1 [2 3 4] [[] ccons] [_step0] • [?] dipd roll< [popopop] [_stept] branch i\n", | |
733 | - " 1 [2 3 4] [[] ccons] [_step0] [?] • dipd roll< [popopop] [_stept] branch i\n", | |
734 | - " 1 [2 3 4] [[] ccons] [_step0] [?] • [dip] codi roll< [popopop] [_stept] branch i\n", | |
735 | - " 1 [2 3 4] [[] ccons] [_step0] [?] [dip] • codi roll< [popopop] [_stept] branch i\n", | |
736 | - " 1 [2 3 4] [[] ccons] [_step0] [?] [dip] • cons dip roll< [popopop] [_stept] branch i\n", | |
737 | - " 1 [2 3 4] [[] ccons] [_step0] [[?] dip] • dip roll< [popopop] [_stept] branch i\n", | |
738 | - " 1 [2 3 4] [[] ccons] • [?] dip [_step0] roll< [popopop] [_stept] branch i\n", | |
739 | - " 1 [2 3 4] [[] ccons] [?] • dip [_step0] roll< [popopop] [_stept] branch i\n", | |
740 | - " 1 [2 3 4] • ? [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
741 | - " 1 [2 3 4] • dup bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
742 | - " 1 [2 3 4] [2 3 4] • bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
743 | - " 1 [2 3 4] true • [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
744 | - " 1 [2 3 4] true [[] ccons] • [_step0] roll< [popopop] [_stept] branch i\n", | |
745 | - " 1 [2 3 4] true [[] ccons] [_step0] • roll< [popopop] [_stept] branch i\n", | |
746 | - " 1 [2 3 4] true [[] ccons] [_step0] • swapd swap [popopop] [_stept] branch i\n", | |
747 | - " 1 [2 3 4] true [[] ccons] [_step0] • [swap] dip swap [popopop] [_stept] branch i\n", | |
748 | - " 1 [2 3 4] true [[] ccons] [_step0] [swap] • dip swap [popopop] [_stept] branch i\n", | |
749 | - " 1 [2 3 4] true [[] ccons] • swap [_step0] swap [popopop] [_stept] branch i\n", | |
750 | - " 1 [2 3 4] [[] ccons] true • [_step0] swap [popopop] [_stept] branch i\n", | |
751 | - " 1 [2 3 4] [[] ccons] true [_step0] • swap [popopop] [_stept] branch i\n", | |
752 | - " 1 [2 3 4] [[] ccons] [_step0] true • [popopop] [_stept] branch i\n", | |
753 | - " 1 [2 3 4] [[] ccons] [_step0] true [popopop] • [_stept] branch i\n", | |
754 | - " 1 [2 3 4] [[] ccons] [_step0] true [popopop] [_stept] • branch i\n", | |
755 | - " 1 [2 3 4] [[] ccons] [_step0] • _stept i\n", | |
756 | - " 1 [2 3 4] [[] ccons] [_step0] • [uncons] dipd [dupdipd] dip x i\n", | |
757 | - " 1 [2 3 4] [[] ccons] [_step0] [uncons] • dipd [dupdipd] dip x i\n", | |
758 | - " 1 [2 3 4] [[] ccons] [_step0] [uncons] • [dip] codi [dupdipd] dip x i\n", | |
759 | - " 1 [2 3 4] [[] ccons] [_step0] [uncons] [dip] • codi [dupdipd] dip x i\n", | |
760 | - " 1 [2 3 4] [[] ccons] [_step0] [uncons] [dip] • cons dip [dupdipd] dip x i\n", | |
761 | - " 1 [2 3 4] [[] ccons] [_step0] [[uncons] dip] • dip [dupdipd] dip x i\n", | |
762 | - " 1 [2 3 4] [[] ccons] • [uncons] dip [_step0] [dupdipd] dip x i\n", | |
763 | - " 1 [2 3 4] [[] ccons] [uncons] • dip [_step0] [dupdipd] dip x i\n", | |
764 | - " 1 [2 3 4] • uncons [[] ccons] [_step0] [dupdipd] dip x i\n", | |
765 | - " 1 [2 3 4] • [first] [rest] cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
766 | - " 1 [2 3 4] [first] • [rest] cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
767 | - " 1 [2 3 4] [first] [rest] • cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
768 | - " 1 [2 3 4] [first] [rest] • fork popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
769 | - " 1 [2 3 4] [first] [rest] • [i] app2 popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
770 | - " 1 [2 3 4] [first] [rest] [i] • app2 popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
771 | - " 1 [2 3 4] [first] [rest] [i] • [grba swap grba swap] dip [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
772 | - " 1 [2 3 4] [first] [rest] [i] [grba swap grba swap] • dip [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
773 | - " 1 [2 3 4] [first] [rest] • grba swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
774 | - " 1 [2 3 4] [first] [rest] • [stack popd] dip swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
775 | - " 1 [2 3 4] [first] [rest] [stack popd] • dip swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
776 | - " 1 [2 3 4] [first] • stack popd [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
777 | - " 1 [2 3 4] [first] [[first] [2 3 4] 1] • popd [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
778 | - " 1 [2 3 4] [first] [[first] [2 3 4] 1] • [pop] dip [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
779 | - " 1 [2 3 4] [first] [[first] [2 3 4] 1] [pop] • dip [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
780 | - " 1 [2 3 4] [first] • pop [[first] [2 3 4] 1] [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
781 | - " 1 [2 3 4] • [[first] [2 3 4] 1] [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
782 | - " 1 [2 3 4] [[first] [2 3 4] 1] • [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
783 | - " 1 [2 3 4] [[first] [2 3 4] 1] [rest] • swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
784 | - " 1 [2 3 4] [rest] [[first] [2 3 4] 1] • grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
785 | - " 1 [2 3 4] [rest] [[first] [2 3 4] 1] • [stack popd] dip swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
786 | - " 1 [2 3 4] [rest] [[first] [2 3 4] 1] [stack popd] • dip swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
787 | - " 1 [2 3 4] [rest] • stack popd [[first] [2 3 4] 1] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
788 | - " 1 [2 3 4] [rest] [[rest] [2 3 4] 1] • popd [[first] [2 3 4] 1] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
789 | - " 1 [2 3 4] [rest] [[rest] [2 3 4] 1] • [pop] dip [[first] [2 3 4] 1] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
790 | - " 1 [2 3 4] [rest] [[rest] [2 3 4] 1] [pop] • dip [[first] [2 3 4] 1] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
791 | - " 1 [2 3 4] [rest] • pop [[rest] [2 3 4] 1] [[first] [2 3 4] 1] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
792 | - " 1 [2 3 4] • [[rest] [2 3 4] 1] [[first] [2 3 4] 1] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
793 | - " 1 [2 3 4] [[rest] [2 3 4] 1] • [[first] [2 3 4] 1] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
794 | - " 1 [2 3 4] [[rest] [2 3 4] 1] [[first] [2 3 4] 1] • swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
795 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] • [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
796 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [i] • [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
797 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [i] [infrst] • cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
798 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] • ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
799 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] • [dip] dupdip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
800 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] [dip] • dupdip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
801 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] [dip] • dupd dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
802 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] [dip] • [dup] dip dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
803 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] [dip] [dup] • dip dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
804 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] • dup [dip] dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
805 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] [[i] infrst] • [dip] dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
806 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] [[i] infrst] [dip] • dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
807 | - " 1 [2 3 4] [[first] [2 3 4] 1] [[rest] [2 3 4] 1] [[i] infrst] • dip [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
808 | - " 1 [2 3 4] [[first] [2 3 4] 1] • [i] infrst [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
809 | - " 1 [2 3 4] [[first] [2 3 4] 1] [i] • infrst [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
810 | - " 1 [2 3 4] [[first] [2 3 4] 1] [i] • infra first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
811 | - " 1 [2 3 4] [[first] [2 3 4] 1] [i] • swons swaack [i] dip swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
812 | - " 1 [2 3 4] [[first] [2 3 4] 1] [i] • swap cons swaack [i] dip swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
813 | - " 1 [2 3 4] [i] [[first] [2 3 4] 1] • cons swaack [i] dip swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
814 | - " 1 [2 3 4] [[i] [first] [2 3 4] 1] • swaack [i] dip swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
815 | - " 1 [2 3 4] [first] [i] [[2 3 4] 1] • [i] dip swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
816 | - " 1 [2 3 4] [first] [i] [[2 3 4] 1] [i] • dip swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
817 | - " 1 [2 3 4] [first] [i] • i [[2 3 4] 1] swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
818 | - " 1 [2 3 4] [first] • i [[2 3 4] 1] swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
819 | - " 1 [2 3 4] • first [[2 3 4] 1] swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
820 | - " 1 2 • [[2 3 4] 1] swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
821 | - " 1 2 [[2 3 4] 1] • swaack first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
822 | - " 1 [2 3 4] [2 1] • first [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
823 | - " 1 [2 3 4] 2 • [[rest] [2 3 4] 1] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
824 | - " 1 [2 3 4] 2 [[rest] [2 3 4] 1] • [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
825 | - " 1 [2 3 4] 2 [[rest] [2 3 4] 1] [[i] infrst] • i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
826 | - " 1 [2 3 4] 2 [[rest] [2 3 4] 1] • [i] infrst popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
827 | - " 1 [2 3 4] 2 [[rest] [2 3 4] 1] [i] • infrst popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
828 | - " 1 [2 3 4] 2 [[rest] [2 3 4] 1] [i] • infra first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
829 | - " 1 [2 3 4] 2 [[rest] [2 3 4] 1] [i] • swons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
830 | - " 1 [2 3 4] 2 [[rest] [2 3 4] 1] [i] • swap cons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
831 | - " 1 [2 3 4] 2 [i] [[rest] [2 3 4] 1] • cons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
832 | - " 1 [2 3 4] 2 [[i] [rest] [2 3 4] 1] • swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
833 | - " 1 [2 3 4] [rest] [i] [2 [2 3 4] 1] • [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
834 | - " 1 [2 3 4] [rest] [i] [2 [2 3 4] 1] [i] • dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
835 | - " 1 [2 3 4] [rest] [i] • i [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
836 | - " 1 [2 3 4] [rest] • i [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
837 | - " 1 [2 3 4] • rest [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
838 | - " 1 [2 3 4] • [pop] infra [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
839 | - " 1 [2 3 4] [pop] • infra [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
840 | - " 1 [2 3 4] [pop] • swons swaack [i] dip swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
841 | - " 1 [2 3 4] [pop] • swap cons swaack [i] dip swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
842 | - " 1 [pop] [2 3 4] • cons swaack [i] dip swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
843 | - " 1 [[pop] 2 3 4] • swaack [i] dip swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
844 | - " 4 3 2 [pop] [1] • [i] dip swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
845 | - " 4 3 2 [pop] [1] [i] • dip swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
846 | - " 4 3 2 [pop] • i [1] swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
847 | - " 4 3 2 • pop [1] swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
848 | - " 4 3 • [1] swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
849 | - " 4 3 [1] • swaack [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
850 | - " 1 [3 4] • [2 [2 3 4] 1] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
851 | - " 1 [3 4] [2 [2 3 4] 1] • swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
852 | - " 1 [2 3 4] 2 [[3 4] 1] • first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
853 | - " 1 [2 3 4] 2 [3 4] • popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
854 | - " 1 [2 3 4] 2 [3 4] • [pop] dipd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
855 | - " 1 [2 3 4] 2 [3 4] [pop] • dipd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
856 | - " 1 [2 3 4] 2 [3 4] [pop] • [dip] codi [[] ccons] [_step0] [dupdipd] dip x i\n", | |
857 | - " 1 [2 3 4] 2 [3 4] [pop] [dip] • codi [[] ccons] [_step0] [dupdipd] dip x i\n", | |
858 | - " 1 [2 3 4] 2 [3 4] [pop] [dip] • cons dip [[] ccons] [_step0] [dupdipd] dip x i\n", | |
859 | - " 1 [2 3 4] 2 [3 4] [[pop] dip] • dip [[] ccons] [_step0] [dupdipd] dip x i\n", | |
860 | - " 1 [2 3 4] 2 • [pop] dip [3 4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
861 | - " 1 [2 3 4] 2 [pop] • dip [3 4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
862 | - " 1 [2 3 4] • pop 2 [3 4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
863 | - " 1 • 2 [3 4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
864 | - " 1 2 • [3 4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
865 | - " 1 2 [3 4] • [[] ccons] [_step0] [dupdipd] dip x i\n", | |
866 | - " 1 2 [3 4] [[] ccons] • [_step0] [dupdipd] dip x i\n", | |
867 | - " 1 2 [3 4] [[] ccons] [_step0] • [dupdipd] dip x i\n", | |
868 | - " 1 2 [3 4] [[] ccons] [_step0] [dupdipd] • dip x i\n", | |
869 | - " 1 2 [3 4] [[] ccons] • dupdipd [_step0] x i\n", | |
870 | - " 1 2 [3 4] [[] ccons] • dup dipd [_step0] x i\n", | |
871 | - " 1 2 [3 4] [[] ccons] [[] ccons] • dipd [_step0] x i\n", | |
872 | - " 1 2 [3 4] [[] ccons] [[] ccons] • [dip] codi [_step0] x i\n", | |
873 | - " 1 2 [3 4] [[] ccons] [[] ccons] [dip] • codi [_step0] x i\n", | |
874 | - " 1 2 [3 4] [[] ccons] [[] ccons] [dip] • cons dip [_step0] x i\n", | |
875 | - " 1 2 [3 4] [[] ccons] [[[] ccons] dip] • dip [_step0] x i\n", | |
876 | - " 1 2 [3 4] • [[] ccons] dip [[] ccons] [_step0] x i\n", | |
877 | - " 1 2 [3 4] [[] ccons] • dip [[] ccons] [_step0] x i\n", | |
878 | - " 1 2 • [] ccons [3 4] [[] ccons] [_step0] x i\n", | |
879 | - " 1 2 [] • ccons [3 4] [[] ccons] [_step0] x i\n", | |
880 | - " 1 2 [] • cons cons [3 4] [[] ccons] [_step0] x i\n", | |
881 | - " 1 [2] • cons [3 4] [[] ccons] [_step0] x i\n", | |
882 | - " [1 2] • [3 4] [[] ccons] [_step0] x i\n", | |
883 | - " [1 2] [3 4] • [[] ccons] [_step0] x i\n", | |
884 | - " [1 2] [3 4] [[] ccons] • [_step0] x i\n", | |
885 | - " [1 2] [3 4] [[] ccons] [_step0] • x i\n", | |
886 | - " [1 2] [3 4] [[] ccons] [_step0] • dup i i\n", | |
887 | - " [1 2] [3 4] [[] ccons] [_step0] [_step0] • i i\n", | |
888 | - " [1 2] [3 4] [[] ccons] [_step0] • _step0 i\n", | |
889 | - " [1 2] [3 4] [[] ccons] [_step0] • _step1 [popopop] [_stept] branch i\n", | |
890 | - " [1 2] [3 4] [[] ccons] [_step0] • [?] dipd roll< [popopop] [_stept] branch i\n", | |
891 | - " [1 2] [3 4] [[] ccons] [_step0] [?] • dipd roll< [popopop] [_stept] branch i\n", | |
892 | - " [1 2] [3 4] [[] ccons] [_step0] [?] • [dip] codi roll< [popopop] [_stept] branch i\n", | |
893 | - " [1 2] [3 4] [[] ccons] [_step0] [?] [dip] • codi roll< [popopop] [_stept] branch i\n", | |
894 | - " [1 2] [3 4] [[] ccons] [_step0] [?] [dip] • cons dip roll< [popopop] [_stept] branch i\n", | |
895 | - " [1 2] [3 4] [[] ccons] [_step0] [[?] dip] • dip roll< [popopop] [_stept] branch i\n", | |
896 | - " [1 2] [3 4] [[] ccons] • [?] dip [_step0] roll< [popopop] [_stept] branch i\n", | |
897 | - " [1 2] [3 4] [[] ccons] [?] • dip [_step0] roll< [popopop] [_stept] branch i\n", | |
898 | - " [1 2] [3 4] • ? [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
899 | - " [1 2] [3 4] • dup bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
900 | - " [1 2] [3 4] [3 4] • bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
901 | - " [1 2] [3 4] true • [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
902 | - " [1 2] [3 4] true [[] ccons] • [_step0] roll< [popopop] [_stept] branch i\n", | |
903 | - " [1 2] [3 4] true [[] ccons] [_step0] • roll< [popopop] [_stept] branch i\n", | |
904 | - " [1 2] [3 4] true [[] ccons] [_step0] • swapd swap [popopop] [_stept] branch i\n", | |
905 | - " [1 2] [3 4] true [[] ccons] [_step0] • [swap] dip swap [popopop] [_stept] branch i\n", | |
906 | - " [1 2] [3 4] true [[] ccons] [_step0] [swap] • dip swap [popopop] [_stept] branch i\n", | |
907 | - " [1 2] [3 4] true [[] ccons] • swap [_step0] swap [popopop] [_stept] branch i\n", | |
908 | - " [1 2] [3 4] [[] ccons] true • [_step0] swap [popopop] [_stept] branch i\n", | |
909 | - " [1 2] [3 4] [[] ccons] true [_step0] • swap [popopop] [_stept] branch i\n", | |
910 | - " [1 2] [3 4] [[] ccons] [_step0] true • [popopop] [_stept] branch i\n", | |
911 | - " [1 2] [3 4] [[] ccons] [_step0] true [popopop] • [_stept] branch i\n", | |
912 | - " [1 2] [3 4] [[] ccons] [_step0] true [popopop] [_stept] • branch i\n", | |
913 | - " [1 2] [3 4] [[] ccons] [_step0] • _stept i\n", | |
914 | - " [1 2] [3 4] [[] ccons] [_step0] • [uncons] dipd [dupdipd] dip x i\n", | |
915 | - " [1 2] [3 4] [[] ccons] [_step0] [uncons] • dipd [dupdipd] dip x i\n", | |
916 | - " [1 2] [3 4] [[] ccons] [_step0] [uncons] • [dip] codi [dupdipd] dip x i\n", | |
917 | - " [1 2] [3 4] [[] ccons] [_step0] [uncons] [dip] • codi [dupdipd] dip x i\n", | |
918 | - " [1 2] [3 4] [[] ccons] [_step0] [uncons] [dip] • cons dip [dupdipd] dip x i\n", | |
919 | - " [1 2] [3 4] [[] ccons] [_step0] [[uncons] dip] • dip [dupdipd] dip x i\n", | |
920 | - " [1 2] [3 4] [[] ccons] • [uncons] dip [_step0] [dupdipd] dip x i\n", | |
921 | - " [1 2] [3 4] [[] ccons] [uncons] • dip [_step0] [dupdipd] dip x i\n", | |
922 | - " [1 2] [3 4] • uncons [[] ccons] [_step0] [dupdipd] dip x i\n", | |
923 | - " [1 2] [3 4] • [first] [rest] cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
924 | - " [1 2] [3 4] [first] • [rest] cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
925 | - " [1 2] [3 4] [first] [rest] • cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
926 | - " [1 2] [3 4] [first] [rest] • fork popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
927 | - " [1 2] [3 4] [first] [rest] • [i] app2 popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
928 | - " [1 2] [3 4] [first] [rest] [i] • app2 popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
929 | - " [1 2] [3 4] [first] [rest] [i] • [grba swap grba swap] dip [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
930 | - " [1 2] [3 4] [first] [rest] [i] [grba swap grba swap] • dip [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
931 | - " [1 2] [3 4] [first] [rest] • grba swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
932 | - " [1 2] [3 4] [first] [rest] • [stack popd] dip swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
933 | - " [1 2] [3 4] [first] [rest] [stack popd] • dip swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
934 | - " [1 2] [3 4] [first] • stack popd [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
935 | - " [1 2] [3 4] [first] [[first] [3 4] [1 2]] • popd [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
936 | - " [1 2] [3 4] [first] [[first] [3 4] [1 2]] • [pop] dip [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
937 | - " [1 2] [3 4] [first] [[first] [3 4] [1 2]] [pop] • dip [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
938 | - " [1 2] [3 4] [first] • pop [[first] [3 4] [1 2]] [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
939 | - " [1 2] [3 4] • [[first] [3 4] [1 2]] [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
940 | - " [1 2] [3 4] [[first] [3 4] [1 2]] • [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
941 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [rest] • swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
942 | - " [1 2] [3 4] [rest] [[first] [3 4] [1 2]] • grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
943 | - " [1 2] [3 4] [rest] [[first] [3 4] [1 2]] • [stack popd] dip swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
944 | - " [1 2] [3 4] [rest] [[first] [3 4] [1 2]] [stack popd] • dip swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
945 | - " [1 2] [3 4] [rest] • stack popd [[first] [3 4] [1 2]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
946 | - " [1 2] [3 4] [rest] [[rest] [3 4] [1 2]] • popd [[first] [3 4] [1 2]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
947 | - " [1 2] [3 4] [rest] [[rest] [3 4] [1 2]] • [pop] dip [[first] [3 4] [1 2]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
948 | - " [1 2] [3 4] [rest] [[rest] [3 4] [1 2]] [pop] • dip [[first] [3 4] [1 2]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
949 | - " [1 2] [3 4] [rest] • pop [[rest] [3 4] [1 2]] [[first] [3 4] [1 2]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
950 | - " [1 2] [3 4] • [[rest] [3 4] [1 2]] [[first] [3 4] [1 2]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
951 | - " [1 2] [3 4] [[rest] [3 4] [1 2]] • [[first] [3 4] [1 2]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
952 | - " [1 2] [3 4] [[rest] [3 4] [1 2]] [[first] [3 4] [1 2]] • swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
953 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] • [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
954 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [i] • [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
955 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [i] [infrst] • cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
956 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] • ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
957 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] • [dip] dupdip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
958 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] [dip] • dupdip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
959 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] [dip] • dupd dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
960 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] [dip] • [dup] dip dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
961 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] [dip] [dup] • dip dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
962 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] • dup [dip] dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
963 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] [[i] infrst] • [dip] dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
964 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] [[i] infrst] [dip] • dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
965 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [[rest] [3 4] [1 2]] [[i] infrst] • dip [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
966 | - " [1 2] [3 4] [[first] [3 4] [1 2]] • [i] infrst [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
967 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [i] • infrst [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
968 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [i] • infra first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
969 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [i] • swons swaack [i] dip swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
970 | - " [1 2] [3 4] [[first] [3 4] [1 2]] [i] • swap cons swaack [i] dip swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
971 | - " [1 2] [3 4] [i] [[first] [3 4] [1 2]] • cons swaack [i] dip swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
972 | - " [1 2] [3 4] [[i] [first] [3 4] [1 2]] • swaack [i] dip swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
973 | - " [1 2] [3 4] [first] [i] [[3 4] [1 2]] • [i] dip swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
974 | - " [1 2] [3 4] [first] [i] [[3 4] [1 2]] [i] • dip swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
975 | - " [1 2] [3 4] [first] [i] • i [[3 4] [1 2]] swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
976 | - " [1 2] [3 4] [first] • i [[3 4] [1 2]] swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
977 | - " [1 2] [3 4] • first [[3 4] [1 2]] swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
978 | - " [1 2] 3 • [[3 4] [1 2]] swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
979 | - " [1 2] 3 [[3 4] [1 2]] • swaack first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
980 | - " [1 2] [3 4] [3 [1 2]] • first [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
981 | - " [1 2] [3 4] 3 • [[rest] [3 4] [1 2]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
982 | - " [1 2] [3 4] 3 [[rest] [3 4] [1 2]] • [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
983 | - " [1 2] [3 4] 3 [[rest] [3 4] [1 2]] [[i] infrst] • i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
984 | - " [1 2] [3 4] 3 [[rest] [3 4] [1 2]] • [i] infrst popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
985 | - " [1 2] [3 4] 3 [[rest] [3 4] [1 2]] [i] • infrst popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
986 | - " [1 2] [3 4] 3 [[rest] [3 4] [1 2]] [i] • infra first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
987 | - " [1 2] [3 4] 3 [[rest] [3 4] [1 2]] [i] • swons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
988 | - " [1 2] [3 4] 3 [[rest] [3 4] [1 2]] [i] • swap cons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
989 | - " [1 2] [3 4] 3 [i] [[rest] [3 4] [1 2]] • cons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
990 | - " [1 2] [3 4] 3 [[i] [rest] [3 4] [1 2]] • swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
991 | - " [1 2] [3 4] [rest] [i] [3 [3 4] [1 2]] • [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
992 | - " [1 2] [3 4] [rest] [i] [3 [3 4] [1 2]] [i] • dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
993 | - " [1 2] [3 4] [rest] [i] • i [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
994 | - " [1 2] [3 4] [rest] • i [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
995 | - " [1 2] [3 4] • rest [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
996 | - " [1 2] [3 4] • [pop] infra [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
997 | - " [1 2] [3 4] [pop] • infra [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
998 | - " [1 2] [3 4] [pop] • swons swaack [i] dip swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
999 | - " [1 2] [3 4] [pop] • swap cons swaack [i] dip swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1000 | - " [1 2] [pop] [3 4] • cons swaack [i] dip swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1001 | - " [1 2] [[pop] 3 4] • swaack [i] dip swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1002 | - " 4 3 [pop] [[1 2]] • [i] dip swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1003 | - " 4 3 [pop] [[1 2]] [i] • dip swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1004 | - " 4 3 [pop] • i [[1 2]] swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1005 | - " 4 3 • pop [[1 2]] swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1006 | - " 4 • [[1 2]] swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1007 | - " 4 [[1 2]] • swaack [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1008 | - " [1 2] [4] • [3 [3 4] [1 2]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1009 | - " [1 2] [4] [3 [3 4] [1 2]] • swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1010 | - " [1 2] [3 4] 3 [[4] [1 2]] • first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1011 | - " [1 2] [3 4] 3 [4] • popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1012 | - " [1 2] [3 4] 3 [4] • [pop] dipd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1013 | - " [1 2] [3 4] 3 [4] [pop] • dipd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1014 | - " [1 2] [3 4] 3 [4] [pop] • [dip] codi [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1015 | - " [1 2] [3 4] 3 [4] [pop] [dip] • codi [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1016 | - " [1 2] [3 4] 3 [4] [pop] [dip] • cons dip [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1017 | - " [1 2] [3 4] 3 [4] [[pop] dip] • dip [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1018 | - " [1 2] [3 4] 3 • [pop] dip [4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1019 | - " [1 2] [3 4] 3 [pop] • dip [4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1020 | - " [1 2] [3 4] • pop 3 [4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1021 | - " [1 2] • 3 [4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1022 | - " [1 2] 3 • [4] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1023 | - " [1 2] 3 [4] • [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1024 | - " [1 2] 3 [4] [[] ccons] • [_step0] [dupdipd] dip x i\n", | |
1025 | - " [1 2] 3 [4] [[] ccons] [_step0] • [dupdipd] dip x i\n", | |
1026 | - " [1 2] 3 [4] [[] ccons] [_step0] [dupdipd] • dip x i\n", | |
1027 | - " [1 2] 3 [4] [[] ccons] • dupdipd [_step0] x i\n", | |
1028 | - " [1 2] 3 [4] [[] ccons] • dup dipd [_step0] x i\n", | |
1029 | - " [1 2] 3 [4] [[] ccons] [[] ccons] • dipd [_step0] x i\n", | |
1030 | - " [1 2] 3 [4] [[] ccons] [[] ccons] • [dip] codi [_step0] x i\n", | |
1031 | - " [1 2] 3 [4] [[] ccons] [[] ccons] [dip] • codi [_step0] x i\n", | |
1032 | - " [1 2] 3 [4] [[] ccons] [[] ccons] [dip] • cons dip [_step0] x i\n", | |
1033 | - " [1 2] 3 [4] [[] ccons] [[[] ccons] dip] • dip [_step0] x i\n", | |
1034 | - " [1 2] 3 [4] • [[] ccons] dip [[] ccons] [_step0] x i\n", | |
1035 | - " [1 2] 3 [4] [[] ccons] • dip [[] ccons] [_step0] x i\n", | |
1036 | - " [1 2] 3 • [] ccons [4] [[] ccons] [_step0] x i\n", | |
1037 | - " [1 2] 3 [] • ccons [4] [[] ccons] [_step0] x i\n", | |
1038 | - " [1 2] 3 [] • cons cons [4] [[] ccons] [_step0] x i\n", | |
1039 | - " [1 2] [3] • cons [4] [[] ccons] [_step0] x i\n", | |
1040 | - " [[1 2] 3] • [4] [[] ccons] [_step0] x i\n", | |
1041 | - " [[1 2] 3] [4] • [[] ccons] [_step0] x i\n", | |
1042 | - " [[1 2] 3] [4] [[] ccons] • [_step0] x i\n", | |
1043 | - " [[1 2] 3] [4] [[] ccons] [_step0] • x i\n", | |
1044 | - " [[1 2] 3] [4] [[] ccons] [_step0] • dup i i\n", | |
1045 | - " [[1 2] 3] [4] [[] ccons] [_step0] [_step0] • i i\n", | |
1046 | - " [[1 2] 3] [4] [[] ccons] [_step0] • _step0 i\n", | |
1047 | - " [[1 2] 3] [4] [[] ccons] [_step0] • _step1 [popopop] [_stept] branch i\n", | |
1048 | - " [[1 2] 3] [4] [[] ccons] [_step0] • [?] dipd roll< [popopop] [_stept] branch i\n", | |
1049 | - " [[1 2] 3] [4] [[] ccons] [_step0] [?] • dipd roll< [popopop] [_stept] branch i\n", | |
1050 | - " [[1 2] 3] [4] [[] ccons] [_step0] [?] • [dip] codi roll< [popopop] [_stept] branch i\n", | |
1051 | - " [[1 2] 3] [4] [[] ccons] [_step0] [?] [dip] • codi roll< [popopop] [_stept] branch i\n", | |
1052 | - " [[1 2] 3] [4] [[] ccons] [_step0] [?] [dip] • cons dip roll< [popopop] [_stept] branch i\n", | |
1053 | - " [[1 2] 3] [4] [[] ccons] [_step0] [[?] dip] • dip roll< [popopop] [_stept] branch i\n", | |
1054 | - " [[1 2] 3] [4] [[] ccons] • [?] dip [_step0] roll< [popopop] [_stept] branch i\n", | |
1055 | - " [[1 2] 3] [4] [[] ccons] [?] • dip [_step0] roll< [popopop] [_stept] branch i\n", | |
1056 | - " [[1 2] 3] [4] • ? [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1057 | - " [[1 2] 3] [4] • dup bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1058 | - " [[1 2] 3] [4] [4] • bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1059 | - " [[1 2] 3] [4] true • [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1060 | - " [[1 2] 3] [4] true [[] ccons] • [_step0] roll< [popopop] [_stept] branch i\n", | |
1061 | - " [[1 2] 3] [4] true [[] ccons] [_step0] • roll< [popopop] [_stept] branch i\n", | |
1062 | - " [[1 2] 3] [4] true [[] ccons] [_step0] • swapd swap [popopop] [_stept] branch i\n", | |
1063 | - " [[1 2] 3] [4] true [[] ccons] [_step0] • [swap] dip swap [popopop] [_stept] branch i\n", | |
1064 | - " [[1 2] 3] [4] true [[] ccons] [_step0] [swap] • dip swap [popopop] [_stept] branch i\n", | |
1065 | - " [[1 2] 3] [4] true [[] ccons] • swap [_step0] swap [popopop] [_stept] branch i\n", | |
1066 | - " [[1 2] 3] [4] [[] ccons] true • [_step0] swap [popopop] [_stept] branch i\n", | |
1067 | - " [[1 2] 3] [4] [[] ccons] true [_step0] • swap [popopop] [_stept] branch i\n", | |
1068 | - " [[1 2] 3] [4] [[] ccons] [_step0] true • [popopop] [_stept] branch i\n", | |
1069 | - " [[1 2] 3] [4] [[] ccons] [_step0] true [popopop] • [_stept] branch i\n", | |
1070 | - " [[1 2] 3] [4] [[] ccons] [_step0] true [popopop] [_stept] • branch i\n", | |
1071 | - " [[1 2] 3] [4] [[] ccons] [_step0] • _stept i\n", | |
1072 | - " [[1 2] 3] [4] [[] ccons] [_step0] • [uncons] dipd [dupdipd] dip x i\n", | |
1073 | - " [[1 2] 3] [4] [[] ccons] [_step0] [uncons] • dipd [dupdipd] dip x i\n", | |
1074 | - " [[1 2] 3] [4] [[] ccons] [_step0] [uncons] • [dip] codi [dupdipd] dip x i\n", | |
1075 | - " [[1 2] 3] [4] [[] ccons] [_step0] [uncons] [dip] • codi [dupdipd] dip x i\n", | |
1076 | - " [[1 2] 3] [4] [[] ccons] [_step0] [uncons] [dip] • cons dip [dupdipd] dip x i\n", | |
1077 | - " [[1 2] 3] [4] [[] ccons] [_step0] [[uncons] dip] • dip [dupdipd] dip x i\n", | |
1078 | - " [[1 2] 3] [4] [[] ccons] • [uncons] dip [_step0] [dupdipd] dip x i\n", | |
1079 | - " [[1 2] 3] [4] [[] ccons] [uncons] • dip [_step0] [dupdipd] dip x i\n", | |
1080 | - " [[1 2] 3] [4] • uncons [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1081 | - " [[1 2] 3] [4] • [first] [rest] cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1082 | - " [[1 2] 3] [4] [first] • [rest] cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1083 | - " [[1 2] 3] [4] [first] [rest] • cleave [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1084 | - " [[1 2] 3] [4] [first] [rest] • fork popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1085 | - " [[1 2] 3] [4] [first] [rest] • [i] app2 popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1086 | - " [[1 2] 3] [4] [first] [rest] [i] • app2 popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1087 | - " [[1 2] 3] [4] [first] [rest] [i] • [grba swap grba swap] dip [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1088 | - " [[1 2] 3] [4] [first] [rest] [i] [grba swap grba swap] • dip [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1089 | - " [[1 2] 3] [4] [first] [rest] • grba swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1090 | - " [[1 2] 3] [4] [first] [rest] • [stack popd] dip swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1091 | - " [[1 2] 3] [4] [first] [rest] [stack popd] • dip swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1092 | - " [[1 2] 3] [4] [first] • stack popd [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1093 | - " [[1 2] 3] [4] [first] [[first] [4] [[1 2] 3]] • popd [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1094 | - " [[1 2] 3] [4] [first] [[first] [4] [[1 2] 3]] • [pop] dip [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1095 | - " [[1 2] 3] [4] [first] [[first] [4] [[1 2] 3]] [pop] • dip [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1096 | - " [[1 2] 3] [4] [first] • pop [[first] [4] [[1 2] 3]] [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1097 | - " [[1 2] 3] [4] • [[first] [4] [[1 2] 3]] [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1098 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] • [rest] swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1099 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [rest] • swap grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1100 | - " [[1 2] 3] [4] [rest] [[first] [4] [[1 2] 3]] • grba swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1101 | - " [[1 2] 3] [4] [rest] [[first] [4] [[1 2] 3]] • [stack popd] dip swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1102 | - " [[1 2] 3] [4] [rest] [[first] [4] [[1 2] 3]] [stack popd] • dip swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1103 | - " [[1 2] 3] [4] [rest] • stack popd [[first] [4] [[1 2] 3]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1104 | - " [[1 2] 3] [4] [rest] [[rest] [4] [[1 2] 3]] • popd [[first] [4] [[1 2] 3]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1105 | - " [[1 2] 3] [4] [rest] [[rest] [4] [[1 2] 3]] • [pop] dip [[first] [4] [[1 2] 3]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1106 | - " [[1 2] 3] [4] [rest] [[rest] [4] [[1 2] 3]] [pop] • dip [[first] [4] [[1 2] 3]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1107 | - " [[1 2] 3] [4] [rest] • pop [[rest] [4] [[1 2] 3]] [[first] [4] [[1 2] 3]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1108 | - " [[1 2] 3] [4] • [[rest] [4] [[1 2] 3]] [[first] [4] [[1 2] 3]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1109 | - " [[1 2] 3] [4] [[rest] [4] [[1 2] 3]] • [[first] [4] [[1 2] 3]] swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1110 | - " [[1 2] 3] [4] [[rest] [4] [[1 2] 3]] [[first] [4] [[1 2] 3]] • swap [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1111 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] • [i] [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1112 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [i] • [infrst] cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1113 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [i] [infrst] • cons ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1114 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] • ii popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1115 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] • [dip] dupdip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1116 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] [dip] • dupdip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1117 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] [dip] • dupd dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1118 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] [dip] • [dup] dip dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1119 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] [dip] [dup] • dip dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1120 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] • dup [dip] dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1121 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] [[i] infrst] • [dip] dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1122 | - "[[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] [[i] infrst] [dip] • dip i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1123 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [[rest] [4] [[1 2] 3]] [[i] infrst] • dip [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1124 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] • [i] infrst [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1125 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [i] • infrst [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1126 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [i] • infra first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1127 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [i] • swons swaack [i] dip swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1128 | - " [[1 2] 3] [4] [[first] [4] [[1 2] 3]] [i] • swap cons swaack [i] dip swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1129 | - " [[1 2] 3] [4] [i] [[first] [4] [[1 2] 3]] • cons swaack [i] dip swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1130 | - " [[1 2] 3] [4] [[i] [first] [4] [[1 2] 3]] • swaack [i] dip swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1131 | - " [[1 2] 3] [4] [first] [i] [[4] [[1 2] 3]] • [i] dip swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1132 | - " [[1 2] 3] [4] [first] [i] [[4] [[1 2] 3]] [i] • dip swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1133 | - " [[1 2] 3] [4] [first] [i] • i [[4] [[1 2] 3]] swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1134 | - " [[1 2] 3] [4] [first] • i [[4] [[1 2] 3]] swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1135 | - " [[1 2] 3] [4] • first [[4] [[1 2] 3]] swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1136 | - " [[1 2] 3] 4 • [[4] [[1 2] 3]] swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1137 | - " [[1 2] 3] 4 [[4] [[1 2] 3]] • swaack first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1138 | - " [[1 2] 3] [4] [4 [[1 2] 3]] • first [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1139 | - " [[1 2] 3] [4] 4 • [[rest] [4] [[1 2] 3]] [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1140 | - " [[1 2] 3] [4] 4 [[rest] [4] [[1 2] 3]] • [[i] infrst] i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1141 | - " [[1 2] 3] [4] 4 [[rest] [4] [[1 2] 3]] [[i] infrst] • i popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1142 | - " [[1 2] 3] [4] 4 [[rest] [4] [[1 2] 3]] • [i] infrst popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1143 | - " [[1 2] 3] [4] 4 [[rest] [4] [[1 2] 3]] [i] • infrst popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1144 | - " [[1 2] 3] [4] 4 [[rest] [4] [[1 2] 3]] [i] • infra first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1145 | - " [[1 2] 3] [4] 4 [[rest] [4] [[1 2] 3]] [i] • swons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1146 | - " [[1 2] 3] [4] 4 [[rest] [4] [[1 2] 3]] [i] • swap cons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1147 | - " [[1 2] 3] [4] 4 [i] [[rest] [4] [[1 2] 3]] • cons swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1148 | - " [[1 2] 3] [4] 4 [[i] [rest] [4] [[1 2] 3]] • swaack [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1149 | - " [[1 2] 3] [4] [rest] [i] [4 [4] [[1 2] 3]] • [i] dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1150 | - " [[1 2] 3] [4] [rest] [i] [4 [4] [[1 2] 3]] [i] • dip swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1151 | - " [[1 2] 3] [4] [rest] [i] • i [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1152 | - " [[1 2] 3] [4] [rest] • i [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1153 | - " [[1 2] 3] [4] • rest [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1154 | - " [[1 2] 3] [4] • [pop] infra [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1155 | - " [[1 2] 3] [4] [pop] • infra [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1156 | - " [[1 2] 3] [4] [pop] • swons swaack [i] dip swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1157 | - " [[1 2] 3] [4] [pop] • swap cons swaack [i] dip swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1158 | - " [[1 2] 3] [pop] [4] • cons swaack [i] dip swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1159 | - " [[1 2] 3] [[pop] 4] • swaack [i] dip swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1160 | - " 4 [pop] [[[1 2] 3]] • [i] dip swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1161 | - " 4 [pop] [[[1 2] 3]] [i] • dip swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1162 | - " 4 [pop] • i [[[1 2] 3]] swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1163 | - " 4 • pop [[[1 2] 3]] swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1164 | - " • [[[1 2] 3]] swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1165 | - " [[[1 2] 3]] • swaack [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1166 | - " [[1 2] 3] [] • [4 [4] [[1 2] 3]] swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1167 | - " [[1 2] 3] [] [4 [4] [[1 2] 3]] • swaack first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1168 | - " [[1 2] 3] [4] 4 [[] [[1 2] 3]] • first popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1169 | - " [[1 2] 3] [4] 4 [] • popdd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1170 | - " [[1 2] 3] [4] 4 [] • [pop] dipd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1171 | - " [[1 2] 3] [4] 4 [] [pop] • dipd [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1172 | - " [[1 2] 3] [4] 4 [] [pop] • [dip] codi [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1173 | - " [[1 2] 3] [4] 4 [] [pop] [dip] • codi [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1174 | - " [[1 2] 3] [4] 4 [] [pop] [dip] • cons dip [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1175 | - " [[1 2] 3] [4] 4 [] [[pop] dip] • dip [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1176 | - " [[1 2] 3] [4] 4 • [pop] dip [] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1177 | - " [[1 2] 3] [4] 4 [pop] • dip [] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1178 | - " [[1 2] 3] [4] • pop 4 [] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1179 | - " [[1 2] 3] • 4 [] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1180 | - " [[1 2] 3] 4 • [] [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1181 | - " [[1 2] 3] 4 [] • [[] ccons] [_step0] [dupdipd] dip x i\n", | |
1182 | - " [[1 2] 3] 4 [] [[] ccons] • [_step0] [dupdipd] dip x i\n", | |
1183 | - " [[1 2] 3] 4 [] [[] ccons] [_step0] • [dupdipd] dip x i\n", | |
1184 | - " [[1 2] 3] 4 [] [[] ccons] [_step0] [dupdipd] • dip x i\n", | |
1185 | - " [[1 2] 3] 4 [] [[] ccons] • dupdipd [_step0] x i\n", | |
1186 | - " [[1 2] 3] 4 [] [[] ccons] • dup dipd [_step0] x i\n", | |
1187 | - " [[1 2] 3] 4 [] [[] ccons] [[] ccons] • dipd [_step0] x i\n", | |
1188 | - " [[1 2] 3] 4 [] [[] ccons] [[] ccons] • [dip] codi [_step0] x i\n", | |
1189 | - " [[1 2] 3] 4 [] [[] ccons] [[] ccons] [dip] • codi [_step0] x i\n", | |
1190 | - " [[1 2] 3] 4 [] [[] ccons] [[] ccons] [dip] • cons dip [_step0] x i\n", | |
1191 | - " [[1 2] 3] 4 [] [[] ccons] [[[] ccons] dip] • dip [_step0] x i\n", | |
1192 | - " [[1 2] 3] 4 [] • [[] ccons] dip [[] ccons] [_step0] x i\n", | |
1193 | - " [[1 2] 3] 4 [] [[] ccons] • dip [[] ccons] [_step0] x i\n", | |
1194 | - " [[1 2] 3] 4 • [] ccons [] [[] ccons] [_step0] x i\n", | |
1195 | - " [[1 2] 3] 4 [] • ccons [] [[] ccons] [_step0] x i\n", | |
1196 | - " [[1 2] 3] 4 [] • cons cons [] [[] ccons] [_step0] x i\n", | |
1197 | - " [[1 2] 3] [4] • cons [] [[] ccons] [_step0] x i\n", | |
1198 | - " [[[1 2] 3] 4] • [] [[] ccons] [_step0] x i\n", | |
1199 | - " [[[1 2] 3] 4] [] • [[] ccons] [_step0] x i\n", | |
1200 | - " [[[1 2] 3] 4] [] [[] ccons] • [_step0] x i\n", | |
1201 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] • x i\n", | |
1202 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] • dup i i\n", | |
1203 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] [_step0] • i i\n", | |
1204 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] • _step0 i\n", | |
1205 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] • _step1 [popopop] [_stept] branch i\n", | |
1206 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] • [?] dipd roll< [popopop] [_stept] branch i\n", | |
1207 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] [?] • dipd roll< [popopop] [_stept] branch i\n", | |
1208 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] [?] • [dip] codi roll< [popopop] [_stept] branch i\n", | |
1209 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] [?] [dip] • codi roll< [popopop] [_stept] branch i\n", | |
1210 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] [?] [dip] • cons dip roll< [popopop] [_stept] branch i\n", | |
1211 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] [[?] dip] • dip roll< [popopop] [_stept] branch i\n", | |
1212 | - " [[[1 2] 3] 4] [] [[] ccons] • [?] dip [_step0] roll< [popopop] [_stept] branch i\n", | |
1213 | - " [[[1 2] 3] 4] [] [[] ccons] [?] • dip [_step0] roll< [popopop] [_stept] branch i\n", | |
1214 | - " [[[1 2] 3] 4] [] • ? [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1215 | - " [[[1 2] 3] 4] [] • dup bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1216 | - " [[[1 2] 3] 4] [] [] • bool [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1217 | - " [[[1 2] 3] 4] [] false • [[] ccons] [_step0] roll< [popopop] [_stept] branch i\n", | |
1218 | - " [[[1 2] 3] 4] [] false [[] ccons] • [_step0] roll< [popopop] [_stept] branch i\n", | |
1219 | - " [[[1 2] 3] 4] [] false [[] ccons] [_step0] • roll< [popopop] [_stept] branch i\n", | |
1220 | - " [[[1 2] 3] 4] [] false [[] ccons] [_step0] • swapd swap [popopop] [_stept] branch i\n", | |
1221 | - " [[[1 2] 3] 4] [] false [[] ccons] [_step0] • [swap] dip swap [popopop] [_stept] branch i\n", | |
1222 | - " [[[1 2] 3] 4] [] false [[] ccons] [_step0] [swap] • dip swap [popopop] [_stept] branch i\n", | |
1223 | - " [[[1 2] 3] 4] [] false [[] ccons] • swap [_step0] swap [popopop] [_stept] branch i\n", | |
1224 | - " [[[1 2] 3] 4] [] [[] ccons] false • [_step0] swap [popopop] [_stept] branch i\n", | |
1225 | - " [[[1 2] 3] 4] [] [[] ccons] false [_step0] • swap [popopop] [_stept] branch i\n", | |
1226 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] false • [popopop] [_stept] branch i\n", | |
1227 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] false [popopop] • [_stept] branch i\n", | |
1228 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] false [popopop] [_stept] • branch i\n", | |
1229 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] • popopop i\n", | |
1230 | - " [[[1 2] 3] 4] [] [[] ccons] [_step0] • pop popop i\n", | |
1231 | - " [[[1 2] 3] 4] [] [[] ccons] • popop i\n", | |
1232 | - " [[[1 2] 3] 4] [] [[] ccons] • pop pop i\n", | |
1233 | - " [[[1 2] 3] 4] [] • pop i\n", | |
1234 | - " [[[1 2] 3] 4] • i\n", | |
1235 | - " • [[1 2] 3] 4\n", | |
1236 | - " [[1 2] 3] • 4\n", | |
1237 | - " [[1 2] 3] 4 • \n", | |
1238 | - "\n", | |
1239 | - "[[1 2] 3] 4" | |
444 | + "[1 [2 [3 4 25 6] 7] 8] [sqr] [[dip] [dip] [infra] [dip] [infra] [dip] [infra]]" | |
1240 | 445 | ] |
1241 | 446 | } |
1242 | 447 | ], |
1243 | 448 | "source": [ |
1244 | - "1 [2 3 4] [Z] trace" | |
449 | + "clear\n", | |
450 | + "[1 [2 [3 4 25 6] 7] 8]\n", | |
451 | + "[sqr]\n", | |
452 | + "[[dip][dip][infra][dip][infra][dip][infra]]" | |
1245 | 453 | ] |
1246 | 454 | }, |
1247 | 455 | { |
1248 | 456 | "cell_type": "code", |
1249 | - "execution_count": 19, | |
1250 | - "metadata": {}, | |
1251 | - "outputs": [ | |
1252 | - { | |
1253 | - "name": "stdout", | |
1254 | - "output_type": "stream", | |
1255 | - "text": [] | |
1256 | - } | |
1257 | - ], | |
1258 | - "source": [ | |
1259 | - "clear" | |
1260 | - ] | |
1261 | - }, | |
1262 | - { | |
1263 | - "cell_type": "markdown", | |
1264 | - "metadata": {}, | |
1265 | - "source": [ | |
1266 | - "And here it is doing the thing." | |
1267 | - ] | |
1268 | - }, | |
1269 | - { | |
1270 | - "cell_type": "code", | |
1271 | - "execution_count": 20, | |
457 | + "execution_count": 21, | |
1272 | 458 | "metadata": {}, |
1273 | 459 | "outputs": [ |
1274 | 460 | { |
1275 | 461 | "name": "stdout", |
1276 | 462 | "output_type": "stream", |
1277 | 463 | "text": [ |
1278 | - "[1 [2 [3 4 25 6] 7] 8] [sqr] [dip dip infra dip infra dip infra]" | |
464 | + "[1 [2 [3 4 625 6] 7] 8]" | |
1279 | 465 | ] |
1280 | 466 | } |
1281 | 467 | ], |
1282 | 468 | "source": [ |
1283 | - "[1 [2 [3 4 25 6] 7] 8] [sqr] [dip dip infra dip infra dip infra]" | |
1284 | - ] | |
1285 | - }, | |
1286 | - { | |
1287 | - "cell_type": "code", | |
1288 | - "execution_count": null, | |
1289 | - "metadata": {}, | |
1290 | - "outputs": [], | |
1291 | - "source": [ | |
1292 | - " [[[] ccons] step i] trace" | |
469 | + "Z" | |
1293 | 470 | ] |
1294 | 471 | }, |
1295 | 472 | { |
@@ -201,9 +201,9 @@ class Def(object): | ||
201 | 201 | if line.lstrip().startswith('#'): |
202 | 202 | continue |
203 | 203 | name, body = text_to_expression(line) |
204 | -## if name not in dictionary: | |
205 | -## inscribe(class_(name, body), dictionary) | |
206 | - inscribe(class_(name, body), dictionary) | |
204 | + if name not in dictionary: | |
205 | + inscribe(class_(name, body), dictionary) | |
206 | +## inscribe(class_(name, body), dictionary) | |
207 | 207 | |
208 | 208 | |
209 | 209 | # |