directory /stoch/realized/ @ 2:1e94d64e1d9e tip

name size permissions
[up] drwxr-xr-x
file gioco-ex001.krn 2523 -rw-r--r--
file gioco-ex002.krn 2668 -rw-r--r--
file gioco-ex003.krn 2690 -rw-r--r--
file gioco-ex004.krn 2622 -rw-r--r--
file gioco-ex005.krn 2637 -rw-r--r--
file gioco-ex006.krn 2803 -rw-r--r--
file gioco-ex007.krn 2599 -rw-r--r--
file gioco-ex008.krn 2547 -rw-r--r--
file gioco-ex009.krn 2590 -rw-r--r--
file gioco-ex010.krn 2697 -rw-r--r--
file gioco-ex011.krn 2667 -rw-r--r--
file gioco-ex012.krn 2583 -rw-r--r--
file gioco-ex013.krn 2626 -rw-r--r--
file gioco-ex014.krn 2547 -rw-r--r--
file gioco-ex015.krn 2453 -rw-r--r--
file gioco-ex016.krn 2542 -rw-r--r--
file gioco-ex017.krn 2712 -rw-r--r--
file gioco-ex018.krn 2594 -rw-r--r--
file gioco-ex019.krn 2562 -rw-r--r--
file gioco-ex020.krn 2529 -rw-r--r--
file gioco-ex021.krn 2748 -rw-r--r--
file gioco-ex022.krn 2621 -rw-r--r--
file gioco-ex023.krn 2685 -rw-r--r--
file gioco-ex024.krn 2592 -rw-r--r--
file gioco-ex025.krn 2713 -rw-r--r--
file gioco-ex026.krn 2496 -rw-r--r--
file gioco-ex027.krn 2470 -rw-r--r--
file gioco-ex028.krn 2592 -rw-r--r--
file gioco-ex029.krn 2605 -rw-r--r--
file gioco-ex030.krn 2658 -rw-r--r--
file gioco-ex031.krn 2606 -rw-r--r--
file gioco-ex032.krn 2647 -rw-r--r--
file gioco-ex033.krn 2566 -rw-r--r--
file gioco-ex034.krn 2645 -rw-r--r--
file gioco-ex035.krn 2563 -rw-r--r--
file gioco-ex036.krn 2572 -rw-r--r--
file gioco-ex037.krn 2573 -rw-r--r--
file gioco-ex038.krn 2530 -rw-r--r--
file gioco-ex039.krn 2659 -rw-r--r--
file gioco-ex040.krn 2603 -rw-r--r--
file gioco-ex041.krn 2648 -rw-r--r--
file gioco-ex042.krn 2621 -rw-r--r--
file gioco-ex043.krn 2635 -rw-r--r--
file gioco-ex044.krn 2528 -rw-r--r--
file gioco-ex045.krn 2435 -rw-r--r--
file gioco-ex046.krn 2589 -rw-r--r--
file gioco-ex047.krn 2605 -rw-r--r--
file gioco-ex048.krn 2666 -rw-r--r--
file gioco-ex049.krn 2547 -rw-r--r--
file gioco-ex050.krn 2749 -rw-r--r--
file gioco-ex051.krn 2569 -rw-r--r--
file gioco-ex052.krn 2601 -rw-r--r--
file gioco-ex053.krn 2753 -rw-r--r--
file gioco-ex054.krn 2691 -rw-r--r--
file gioco-ex055.krn 2553 -rw-r--r--
file gioco-ex056.krn 2536 -rw-r--r--
file gioco-ex057.krn 2585 -rw-r--r--
file gioco-ex058.krn 2775 -rw-r--r--
file gioco-ex059.krn 2594 -rw-r--r--
file gioco-ex060.krn 2467 -rw-r--r--
file gioco-ex061.krn 2583 -rw-r--r--
file gioco-ex062.krn 2659 -rw-r--r--
file gioco-ex063.krn 2662 -rw-r--r--
file gioco-ex064.krn 2615 -rw-r--r--
file gioco-ex065.krn 2538 -rw-r--r--
file gioco-ex066.krn 2662 -rw-r--r--
file gioco-ex067.krn 2578 -rw-r--r--
file gioco-ex068.krn 2770 -rw-r--r--
file gioco-ex069.krn 2531 -rw-r--r--
file gioco-ex070.krn 2529 -rw-r--r--
file gioco-ex071.krn 2524 -rw-r--r--
file gioco-ex072.krn 2683 -rw-r--r--
file gioco-ex073.krn 2527 -rw-r--r--
file gioco-ex074.krn 2475 -rw-r--r--
file gioco-ex075.krn 2632 -rw-r--r--
file gioco-ex076.krn 2550 -rw-r--r--
file gioco-ex077.krn 2617 -rw-r--r--
file gioco-ex078.krn 2633 -rw-r--r--
file gioco-ex079.krn 2711 -rw-r--r--
file gioco-ex080.krn 2637 -rw-r--r--
file gioco-ex081.krn 2691 -rw-r--r--
file gioco-ex082.krn 2579 -rw-r--r--
file gioco-ex083.krn 2582 -rw-r--r--
file gioco-ex084.krn 2591 -rw-r--r--
file gioco-ex085.krn 2533 -rw-r--r--
file gioco-ex086.krn 2703 -rw-r--r--
file gioco-ex087.krn 2618 -rw-r--r--
file gioco-ex088.krn 2654 -rw-r--r--
file gioco-ex089.krn 2643 -rw-r--r--
file gioco-ex090.krn 2628 -rw-r--r--
file gioco-ex091.krn 2766 -rw-r--r--
file gioco-ex092.krn 2633 -rw-r--r--
file gioco-ex093.krn 2581 -rw-r--r--
file gioco-ex094.krn 2646 -rw-r--r--
file gioco-ex095.krn 2769 -rw-r--r--
file gioco-ex096.krn 2500 -rw-r--r--
file gioco-ex097.krn 2595 -rw-r--r--
file gioco-ex098.krn 2586 -rw-r--r--
file gioco-ex099.krn 2586 -rw-r--r--
file gioco-ex100.krn 2577 -rw-r--r--