{
"cell_type": "code",
"execution_count": 2,
+ "id": "cbc09c4a",
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "41 123"
+ ]
+ }
+ ],
+ "source": [
+ "123"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 3,
+ "id": "f310ec86",
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "5043"
+ ]
+ }
+ ],
+ "source": [
+ "*"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 4,
"id": "8d86c75f",
"metadata": {},
"outputs": [
},
{
"cell_type": "code",
- "execution_count": 3,
+ "execution_count": 5,
"id": "ff9b5754",
"metadata": {},
"outputs": [
},
{
"cell_type": "code",
- "execution_count": 4,
+ "execution_count": 6,
"id": "e1027ca3",
"metadata": {},
"outputs": [
},
{
"cell_type": "code",
- "execution_count": 5,
+ "execution_count": 7,
"id": "aef6f509",
"metadata": {},
"outputs": [
},
{
"cell_type": "code",
- "execution_count": 6,
+ "execution_count": 8,
"id": "f491e33f",
"metadata": {},
"outputs": [
},
{
"cell_type": "code",
- "execution_count": 7,
+ "execution_count": 9,
"id": "31d6ec54",
"metadata": {},
"outputs": [
"source": [
"trace"
]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 10,
+ "id": "f85a149a",
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": []
+ }
+ ],
+ "source": [
+ "clear"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 11,
+ "id": "2e13763d",
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "[dup cons]"
+ ]
+ }
+ ],
+ "source": [
+ "[dup cons]"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 12,
+ "id": "e4509e6a",
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ " [dup cons] • x\n",
+ " [dup cons] • dup cons\n",
+ "[dup cons] [dup cons] • cons\n",
+ "[[dup cons] dup cons] • \n",
+ "\n",
+ "[[dup cons] dup cons]"
+ ]
+ }
+ ],
+ "source": [
+ "[x] trace"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 13,
+ "id": "8170053c",
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": [
+ "[[dup cons] dup cons] • i\n",
+ " • [dup cons] dup cons\n",
+ " [dup cons] • dup cons\n",
+ "[dup cons] [dup cons] • cons\n",
+ "[[dup cons] dup cons] • \n",
+ "\n",
+ "[[dup cons] dup cons]"
+ ]
+ }
+ ],
+ "source": [
+ "[i] trace"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": 14,
+ "id": "50c24687",
+ "metadata": {},
+ "outputs": [
+ {
+ "name": "stdout",
+ "output_type": "stream",
+ "text": []
+ }
+ ],
+ "source": [
+ "clear"
+ ]
+ },
+ {
+ "cell_type": "code",
+ "execution_count": null,
+ "id": "21c86a84",
+ "metadata": {},
+ "outputs": [],
+ "source": []
}
],
"metadata": {