PROOF-TREES FOR THE
ORITATAMI CYCLIC TAG SYSTEM SIMULATION


ZIG-UP

A

Tags-0000-#0000-#0021-A_Zig_Init.pdf
Tags-0001-#0022-#0023-A_Zig_Init.pdf
Tags-0002-#0024-#0028-A_Zig_Init.pdf
Tags-0003-#0029-#0033-A_Zig_Init.pdf
Tags-0004-#0034-#0037-A_Zig_Init.pdf
Tags-0005-#0038-A_Zig_Init.pdf
Tags-0006-#0039-#0040-A_Zig_Init.pdf
Tags-0007-#0041-#0045-A_Zig_Init.pdf
Tags-0008-#0046-#0050-A_Zig_Init.pdf
Tags-0009-#0051-#0054-A_Zig_Init.pdf
Tags-0010-#0055-A_Zig_Init.pdf
Tags-0011-#0056-#0057-A_Zig_Init.pdf
Tags-0012-#0058-#0062-A_Zig_Init.pdf
Tags-0013-#0063-#0067-A_Zig_Init.pdf
Tags-0014-#0068-#0071-A_Zig_Init.pdf
Tags-0015-#0072-A_Zig_Init.pdf
Tags-0016-#0073-#0074-A_Zig_Init.pdf
Tags-0017-#0075-#0079-A_Zig_Init.pdf
Tags-0018-#0080-#0084-A_Zig_Init.pdf
Tags-0019-#0085-#0088-A_Zig_Init.pdf
Tags-0020-#0089-A_Zig_Init.pdf
Tags-0021-#0090-#0091-A_Zig_Init.pdf
Tags-0022-#0092-#0098-A_Zig_Init.pdf

B

Tags-0023-#0099-#0103-B_Empty_Word.pdf

C

Tags-0024-#0104-#0113-C_Tape_End.pdf
Tags-0025-#0114-#0123-C_Tape_End.pdf
Tags-0026-#0124-#0132-C_Tape_End.pdf
Tags-0027-#0133-#0145-C_Tape_End.pdf
Tags-0028-#0146-#0154-C_Tape_End.pdf
Tags-0029-#0155-#0159-C_Tape_End.pdf

D

Tags-0030-#0160-#0192-D1_Letter_1.pdf
Tags-0031-#0193-#0210-D1_Letter_1.pdf
Tags-0032-#0211-#0256-D1_Letter_1.pdf
Tags-0033-#0257-#0275-D1_Letter_1.pdf
Tags-0034-#0276-#0315-D1_Letter_1.pdf
Tags-0035-#0316-#0320-D1_Letter_1.pdf
Tags-0036-#0321-#0333-D1_Letter_1.pdf
Tags-0037-#0334-#0335-D1_Letter_1.pdf
Tags-0038-#0336-#0338-D1_Letter_1.pdf
Tags-0039-#0339-D1_Letter_1.pdf

D

Tags-0040-#0340-#0358-D0_Letter_0.pdf
Tags-0041-#0359-#0374-D0_Letter_0.pdf
Tags-0042-#0375-#0384-D0_Letter_0.pdf

E

Tags-0043-#0385-#0404-E_Padding.pdf
Tags-0044-#0405-#0422-E_Padding.pdf
Tags-0045-#0423-#0440-E_Padding.pdf
Tags-0046-#0441-#0459-E_Padding.pdf
Tags-0047-#0460-#0477-E_Padding.pdf
Tags-0048-#0478-#0482-E_Padding.pdf
Tags-0049-#0483-#0485-E_Padding.pdf
Tags-0050-#0486-#0488-E_Padding.pdf
Tags-0051-#0489-#0507-E_Padding.pdf
Tags-0052-#0508-#0526-E_Padding.pdf
Tags-0053-#0527-#0550-E_Padding.pdf
Tags-0054-#0551-#0569-E_Padding.pdf
Tags-0055-#0570-#0587-E_Padding.pdf
Tags-0056-#0588-#0592-E_Padding.pdf
Tags-0057-#0593-#0639-E_Padding.pdf
Tags-0058-#0640-#0642-E_Padding.pdf
Tags-0059-#0643-#0664-E_Padding.pdf
Tags-0060-#0665-#0668-E_Padding.pdf
Tags-0061-#0669-E_Padding.pdf
Tags-0062-#0670-#0696-E_Padding.pdf
Tags-0063-#0697-#0710-E_Padding.pdf
Tags-0064-#0711-#0723-E_Padding.pdf
Tags-0065-#0724-#0734-E_Padding.pdf
Tags-0066-#0735-#0746-E_Padding.pdf
Tags-0067-#0747-#0749-E_Padding.pdf

F

Tags-0068-#0750-#0775-F_Zag_Init.pdf
Tags-0069-#0776-#0778-F_Zag_Init.pdf
Tags-0070-#0779-#0808-F_Zag_Init.pdf
Tags-0071-#0809-#0826-F_Zag_Init.pdf
Tags-0072-#0827-#0838-F_Zag_Init.pdf
Tags-0073-#0839-#0851-F_Zag_Init.pdf
Tags-0074-#0852-#0856-F_Zag_Init.pdf

G: Read 0

Tags-0075-#0857-#0871-G_RCLF.pdf
Tags-0076-#0872-#0922-G_RCLF.pdf
Tags-0077-#0923-#0924-G_RCLF.pdf
Tags-0078-#0925-#0968-G_RCLF.pdf
Tags-0079-#0969-#0970-G_RCLF.pdf
Tags-0080-#0971-#0978-G_RCLF.pdf
Tags-0081-#0979-#1026-G_RCLF.pdf
Tags-0082-#1027-#1065-G_RCLF.pdf
Tags-0083-#1066-G_RCLF.pdf
Tags-0084-#1067-#1111-G_RCLF.pdf
Tags-0085-#1112-G_RCLF.pdf
Tags-0086-#1113-#1142-G_RCLF.pdf
Tags-0087-#1143-G_RCLF.pdf
Tags-0088-#1144-G_RCLF.pdf
Tags-0089-#1145-#1178-G_RCLF.pdf
Tags-0090-#1179-G_RCLF.pdf
Tags-0091-#1180-G_RCLF.pdf
Tags-0092-#1181-#1191-G_RCLF.pdf
Tags-0093-#1192-G_RCLF.pdf
Tags-0094-#1193-#1223-G_RCLF.pdf
Tags-0095-#1224-G_RCLF.pdf
Tags-0096-#1225-G_RCLF.pdf
Tags-0097-#1226-#1270-G_RCLF.pdf
Tags-0098-#1271-G_RCLF.pdf
Tags-0099-#1272-G_RCLF.pdf
Tags-0100-#1273-#1285-G_RCLF.pdf

A

Tags-0101-#1286-#1290-A_Zig_Init.pdf
Tags-0102-#1291-#1295-A_Zig_Init.pdf
Tags-0103-#1296-#1300-A_Zig_Init.pdf
Tags-0104-#1301-#1304-A_Zig_Init.pdf
Tags-0105-#1305-#1306-A_Zig_Init.pdf
Tags-0106-#1307-#1311-A_Zig_Init.pdf
Tags-0107-#1312-A_Zig_Init.pdf

B

Tags-0108-#1313-B_Empty_Word.pdf

C

Tags-0109-#1314-#1315-C_Tape_End.pdf

E

Tags-0110-#1316-#1333-E_Padding.pdf
Tags-0111-#1334-#1340-E_Padding.pdf
Tags-0112-#1341-#1344-E_Padding.pdf
Tags-0113-#1345-#1348-E_Padding.pdf
Tags-0114-#1349-#1354-E_Padding.pdf
Tags-0115-#1355-#1357-E_Padding.pdf
Tags-0116-#1358-E_Padding.pdf
Tags-0117-#1359-#1377-E_Padding.pdf
Tags-0118-#1378-#1381-E_Padding.pdf
Tags-0119-#1382-#1385-E_Padding.pdf
Tags-0120-#1386-#1389-E_Padding.pdf
Tags-0121-#1390-E_Padding.pdf
Tags-0122-#1391-E_Padding.pdf
Tags-0123-#1392-E_Padding.pdf

F

Tags-0124-#1393-#1401-F_Zag_Init.pdf

G: Read 1

Tags-0125-#1402-#1466-G_RCLF.pdf
Tags-0126-#1467-#1470-G_RCLF.pdf
Tags-0127-#1471-#1475-G_RCLF.pdf
Tags-0128-#1476-#1491-G_RCLF.pdf
Tags-0129-#1492-G_RCLF.pdf
Tags-0130-#1493-G_RCLF.pdf
Tags-0131-#1494-#1569-G_RCLF.pdf
Tags-0132-#1570-#1573-G_RCLF.pdf
Tags-0133-#1574-G_RCLF.pdf
Tags-0134-#1575-#1579-G_RCLF.pdf
Tags-0135-#1580-#1595-G_RCLF.pdf
Tags-0136-#1596-G_RCLF.pdf
Tags-0137-#1597-G_RCLF.pdf
Tags-0138-#1598-#1673-G_RCLF.pdf
Tags-0139-#1674-#1677-G_RCLF.pdf
Tags-0140-#1678-G_RCLF.pdf
Tags-0141-#1679-#1689-G_RCLF.pdf
Tags-0142-#1690-G_RCLF.pdf
Tags-0143-#1691-#1695-G_RCLF.pdf
Tags-0144-#1696-#1711-G_RCLF.pdf
Tags-0145-#1712-G_RCLF.pdf
Tags-0146-#1713-G_RCLF.pdf
Tags-0147-#1714-#1789-G_RCLF.pdf
Tags-0148-#1790-#1793-G_RCLF.pdf
Tags-0149-#1794-G_RCLF.pdf
Tags-0150-#1795-#1799-G_RCLF.pdf
Tags-0151-#1800-#1815-G_RCLF.pdf
Tags-0152-#1816-G_RCLF.pdf
Tags-0153-#1817-G_RCLF.pdf
Tags-0154-#1818-#1853-G_RCLF.pdf


ZIG-DOWN

A

Tags-0155-#1854-#1866-A_Zig_Init.pdf
Tags-0156-#1867-A_Zig_Init.pdf
Tags-0157-#1868-#1874-A_Zig_Init.pdf

B

Tags-0158-#1875-#1878-B_Empty_Word.pdf

C

Tags-0159-#1879-#1886-C_Tape_End.pdf
Tags-0160-#1887-#1889-C_Tape_End.pdf

D

Tags-0161-#1890-#1894-D1_Letter_1.pdf
Tags-0162-#1895-#1902-D1_Letter_1.pdf
Tags-0163-#1903-#1910-D1_Letter_1.pdf
Tags-0164-#1911-#1913-D1_Letter_1.pdf
Tags-0165-#1914-#1917-D1_Letter_1.pdf
Tags-0166-#1918-#1921-D1_Letter_1.pdf
Tags-0167-#1922-D1_Letter_1.pdf
Tags-0168-#1923-#1932-D1_Letter_1.pdf

E

Tags-0169-#1933-#1952-E_Padding.pdf
Tags-0170-#1953-#1956-E_Padding.pdf
Tags-0171-#1957-#1959-E_Padding.pdf
Tags-0172-#1960-#1962-E_Padding.pdf
Tags-0173-#1963-#1981-E_Padding.pdf
Tags-0174-#1982-#1986-E_Padding.pdf
Tags-0175-#1987-#1990-E_Padding.pdf
Tags-0176-#1991-E_Padding.pdf
Tags-0177-#1992-#1994-E_Padding.pdf
Tags-0178-#1995-#2002-E_Padding.pdf
Tags-0179-#2003-#2008-E_Padding.pdf
Tags-0180-#2009-#2011-E_Padding.pdf

F

Tags-0181-#2012-#2019-F_Zag_Init.pdf
Tags-0182-#2020-#2022-F_Zag_Init.pdf
Tags-0183-#2023-#2024-F_Zag_Init.pdf
Tags-0184-#2025-#2037-F_Zag_Init.pdf
Tags-0185-#2038-#2041-F_Zag_Init.pdf

G: Copy 0

Tags-0186-#2042-#2056-G_RCLF.pdf
Tags-0187-#2057-#2095-G_RCLF.pdf
Tags-0188-#2096-#2109-G_RCLF.pdf
Tags-0189-#2110-#2135-G_RCLF.pdf
Tags-0190-#2136-#2150-G_RCLF.pdf
Tags-0191-#2151-#2159-G_RCLF.pdf
Tags-0192-#2160-#2178-G_RCLF.pdf
Tags-0193-#2179-#2204-G_RCLF.pdf
Tags-0194-#2205-#2219-G_RCLF.pdf
Tags-0195-#2220-#2232-G_RCLF.pdf
Tags-0196-#2233-#2246-G_RCLF.pdf
Tags-0197-#2247-#2258-G_RCLF.pdf
Tags-0198-#2259-#2288-G_RCLF.pdf
Tags-0199-#2289-#2296-G_RCLF.pdf
Tags-0200-#2297-#2308-G_RCLF.pdf
Tags-0201-#2309-#2322-G_RCLF.pdf
Tags-0202-#2323-#2327-G_RCLF.pdf
Tags-0203-#2328-#2368-G_RCLF.pdf
Tags-0204-#2369-#2381-G_RCLF.pdf

A

Tags-0205-#2382-#2432-A_Zig_Init.pdf
Tags-0206-#2433-#2434-A_Zig_Init.pdf
Tags-0207-#2435-#2545-A_Zig_Init.pdf
Tags-0208-#2546-#2547-A_Zig_Init.pdf
Tags-0209-#2548-#2578-A_Zig_Init.pdf

B

Tags-0210-#2579-#2580-B_Empty_Word.pdf

D

Tags-0211-#2581-#2599-D0_Letter_0.pdf
Tags-0212-#2600-#2602-D0_Letter_0.pdf

E

Tags-0213-#2603-#2606-E_Padding.pdf
Tags-0214-#2607-#2610-E_Padding.pdf
Tags-0215-#2611-E_Padding.pdf
Tags-0216-#2612-#2628-E_Padding.pdf
Tags-0217-#2629-#2632-E_Padding.pdf

F

Tags-0218-#2633-F_Zag_Init.pdf
Tags-0219-#2634-#2637-F_Zag_Init.pdf
Tags-0220-#2638-#2640-F_Zag_Init.pdf
Tags-0221-#2641-#2643-F_Zag_Init.pdf

G: Copy 1

Tags-0222-#2644-#2649-G_RCLF.pdf
Tags-0223-#2650-#2670-G_RCLF.pdf
Tags-0224-#2671-#2685-G_RCLF.pdf
Tags-0225-#2686-#2697-G_RCLF.pdf
Tags-0226-#2698-#2720-G_RCLF.pdf
Tags-0227-#2721-#2728-G_RCLF.pdf
Tags-0228-#2729-#2744-G_RCLF.pdf

A

Tags-0229-#2745-#2754-A_Zig_Init.pdf
Tags-0230-#2755-A_Zig_Init.pdf

B

Tags-0231-#2756-B_Empty_Word.pdf

C

Tags-0232-#2757-#2758-C_Tape_End.pdf

E

Tags-0233-#2759-#2763-E_Padding.pdf
Tags-0234-#2764-#2771-E_Padding.pdf
Tags-0235-#2772-#2779-E_Padding.pdf
Tags-0236-#2780-#2786-E_Padding.pdf
Tags-0237-#2787-#2789-E_Padding.pdf

A

Tags-0238-#2790-A_Zig_Init.pdf
Tags-0239-#2791-#2794-A_Zig_Init.pdf
Tags-0240-#2795-#2797-A_Zig_Init.pdf

C: End of tape

Tags-0241-#2798-#2810-C_Tape_End.pdf
Tags-0242-#2811-#2819-C_Tape_End.pdf
Tags-0243-#2820-#2833-C_Tape_End.pdf
Tags-0244-#2834-#2838-C_Tape_End.pdf


WRITE

D: Write

Tags-0245-#2839-#2875-D1_Letter_1.pdf
Tags-0246-#2876-D1_Letter_1.pdf
Tags-0247-#2877-D1_Letter_1.pdf
Tags-0248-#2878-#2899-D1_Letter_1.pdf
Tags-0249-#2900-D1_Letter_1.pdf
Tags-0250-#2901-#2938-D1_Letter_1.pdf
Tags-0251-#2939-D1_Letter_1.pdf
Tags-0252-#2940-#2961-D1_Letter_1.pdf
Tags-0253-#2962-D1_Letter_1.pdf
Tags-0254-#2963-#2988-D1_Letter_1.pdf
Tags-0255-#2989-D1_Letter_1.pdf
Tags-0256-#2990-#2999-D1_Letter_1.pdf

E: Carriage return

Tags-0257-#3000-#3019-E_Padding.pdf
Tags-0258-#3020-E_Padding.pdf
Tags-0259-#3021-#3042-E_Padding.pdf
Tags-0260-#3043-E_Padding.pdf
Tags-0261-#3044-#3065-E_Padding.pdf
Tags-0262-#3066-E_Padding.pdf
Tags-0263-#3067-#3088-E_Padding.pdf
Tags-0264-#3089-E_Padding.pdf
Tags-0265-#3090-#3099-E_Padding.pdf
Tags-0266-#3100-E_Padding.pdf
Tags-0267-#3101-#3119-E_Padding.pdf
Tags-0268-#3120-#3134-E_Padding.pdf
Tags-0269-#3135-#3157-E_Padding.pdf
Tags-0270-#3158-#3172-E_Padding.pdf
Tags-0271-#3173-#3187-E_Padding.pdf
Tags-0272-#3188-#3210-E_Padding.pdf
Tags-0273-#3211-#3225-E_Padding.pdf
Tags-0274-#3226-#3240-E_Padding.pdf
Tags-0275-#3241-#3263-E_Padding.pdf
Tags-0276-#3264-#3278-E_Padding.pdf
Tags-0277-#3279-#3293-E_Padding.pdf
Tags-0278-#3294-#3316-E_Padding.pdf
Tags-0279-#3317-#3319-E_Padding.pdf
Tags-0280-#3320-#3343-E_Padding.pdf
Tags-0281-#3344-#3358-E_Padding.pdf
Tags-0282-#3359-#3373-E_Padding.pdf
Tags-0283-#3374-#3388-E_Padding.pdf
Tags-0284-#3389-#3391-E_Padding.pdf
Tags-0285-#3392-#3420-E_Padding.pdf
Tags-0286-#3421-#3435-E_Padding.pdf
Tags-0287-#3436-#3450-E_Padding.pdf
Tags-0288-#3451-#3465-E_Padding.pdf
Tags-0289-#3466-#3468-E_Padding.pdf
Tags-0290-#3469-#3491-E_Padding.pdf
Tags-0291-#3492-#3506-E_Padding.pdf
Tags-0292-#3507-#3521-E_Padding.pdf
Tags-0293-#3522-#3536-E_Padding.pdf
Tags-0294-#3537-E_Padding.pdf
Tags-0295-#3538-#3560-E_Padding.pdf
Tags-0296-#3561-#3575-E_Padding.pdf
Tags-0297-#3576-#3590-E_Padding.pdf
Tags-0298-#3591-#3605-E_Padding.pdf
Tags-0299-#3606-#3608-E_Padding.pdf
Tags-0300-#3609-#3629-E_Padding.pdf
Tags-0301-#3630-#3644-E_Padding.pdf
Tags-0302-#3645-#3659-E_Padding.pdf
Tags-0303-#3660-#3674-E_Padding.pdf
Tags-0304-#3675-#3677-E_Padding.pdf
Tags-0305-#3678-#3699-E_Padding.pdf
Tags-0306-#3700-#3714-E_Padding.pdf
Tags-0307-#3715-#3729-E_Padding.pdf
Tags-0308-#3730-#3744-E_Padding.pdf
Tags-0309-#3745-#3747-E_Padding.pdf
Tags-0310-#3748-#3749-E_Padding.pdf

F: Zag Init

Tags-0311-#3750-#3768-F_Zag_Init.pdf
Tags-0312-#3769-F_Zag_Init.pdf
Tags-0313-#3770-#3775-F_Zag_Init.pdf
Tags-0314-#3776-#3778-F_Zag_Init.pdf
Tags-0315-#3779-#3781-F_Zag_Init.pdf


ZAG-WRITE

G: Copy 1

Tags-0316-#3782-#3786-G_RCLF.pdf
Tags-0317-#3787-#3794-G_RCLF.pdf
Tags-0318-#3795-#3803-G_RCLF.pdf
Tags-0319-#3804-#3805-G_RCLF.pdf

A

Tags-0320-#3806-#3813-A_Zig_Init.pdf
Tags-0321-#3814-#3816-A_Zig_Init.pdf

C

Tags-0322-#3817-#3824-C_Tape_End.pdf
Tags-0323-#3825-#3827-C_Tape_End.pdf

D

Tags-0324-#3828-#3832-D0_Letter_0.pdf
Tags-0325-#3833-#3840-D0_Letter_0.pdf
Tags-0326-#3841-#3848-D0_Letter_0.pdf
Tags-0327-#3849-#3851-D0_Letter_0.pdf

E

Tags-0328-#3852-#3856-E_Padding.pdf
Tags-0329-#3857-#3864-E_Padding.pdf
Tags-0330-#3865-#3872-E_Padding.pdf
Tags-0331-#3873-#3880-E_Padding.pdf
Tags-0332-#3881-#3888-E_Padding.pdf
Tags-0333-#3889-#3891-E_Padding.pdf
Tags-0334-#3892-#3902-E_Padding.pdf
Tags-0335-#3903-#3905-E_Padding.pdf
Tags-0336-#3906-#3913-E_Padding.pdf
Tags-0337-#3914-#3921-E_Padding.pdf
Tags-0338-#3922-#3924-E_Padding.pdf

F

Tags-0339-#3925-#3932-F_Zag_Init.pdf
Tags-0340-#3933-#3935-F_Zag_Init.pdf
Tags-0341-#3936-#3938-F_Zag_Init.pdf

D

Tags-0342-#3939-#3941-D1_Letter_1.pdf

E

Tags-0343-#3942-#3949-E_Padding.pdf
Tags-0344-#3950-#3957-E_Padding.pdf
Tags-0345-#3958-#3965-E_Padding.pdf
Tags-0346-#3966-#3969-E_Padding.pdf
Tags-0347-#3970-#3971-E_Padding.pdf
Tags-0348-#3972-#3979-E_Padding.pdf
Tags-0349-#3980-#3987-E_Padding.pdf
Tags-0350-#3988-#3998-E_Padding.pdf
Tags-0351-#3999-#4001-E_Padding.pdf
Tags-0352-#4002-#4009-E_Padding.pdf
Tags-0353-#4010-#4017-E_Padding.pdf
Tags-0354-#4018-#4020-E_Padding.pdf

F

Tags-0355-#4021-#4028-F_Zag_Init.pdf
Tags-0356-#4029-#4031-F_Zag_Init.pdf
Tags-0357-#4032-#4034-F_Zag_Init.pdf

G: Copy 1

Tags-0358-#4035-#4039-G_RCLF.pdf
Tags-0359-#4040-#4047-G_RCLF.pdf
Tags-0360-#4048-#4056-G_RCLF.pdf
Tags-0361-#4057-#4058-G_RCLF.pdf

A

Tags-0362-#4059-#4066-A_Zig_Init.pdf
Tags-0363-#4067-#4069-A_Zig_Init.pdf

C

Tags-0364-#4070-#4077-C_Tape_End.pdf
Tags-0365-#4078-#4080-C_Tape_End.pdf

E

Tags-0366-#4081-#4085-E_Padding.pdf
Tags-0367-#4086-#4088-E_Padding.pdf
Tags-0368-#4089-#4096-E_Padding.pdf
Tags-0369-#4097-#4104-E_Padding.pdf
Tags-0370-#4105-#4112-E_Padding.pdf
Tags-0371-#4113-#4120-E_Padding.pdf
Tags-0372-#4121-#4124-E_Padding.pdf
Tags-0373-#4125-#4132-E_Padding.pdf
Tags-0374-#4133-#4140-E_Padding.pdf
Tags-0375-#4141-#4143-E_Padding.pdf
Tags-0376-#4144-#4154-E_Padding.pdf
Tags-0377-#4155-#4157-E_Padding.pdf
Tags-0378-#4158-#4165-E_Padding.pdf
Tags-0379-#4166-#4173-E_Padding.pdf
Tags-0380-#4174-#4176-E_Padding.pdf

F

Tags-0381-#4177-#4184-F_Zag_Init.pdf
Tags-0382-#4185-#4187-F_Zag_Init.pdf
Tags-0383-#4188-#4190-F_Zag_Init.pdf

G: Copy 1

Tags-0384-#4191-#4195-G_RCLF.pdf
Tags-0385-#4196-#4203-G_RCLF.pdf
Tags-0386-#4204-#4212-G_RCLF.pdf
Tags-0387-#4213-#4214-G_RCLF.pdf

A

Tags-0388-#4215-#4222-A_Zig_Init.pdf
Tags-0389-#4223-#4225-A_Zig_Init.pdf

C

Tags-0390-#4226-#4233-C_Tape_End.pdf
Tags-0391-#4234-#4236-C_Tape_End.pdf

D

Tags-0392-#4237-#4241-D1_Letter_1.pdf
Tags-0393-#4242-#4249-D1_Letter_1.pdf
Tags-0394-#4250-#4257-D1_Letter_1.pdf
Tags-0395-#4258-#4260-D1_Letter_1.pdf
Tags-0396-#4261-#4263-D1_Letter_1.pdf

E

Tags-0397-#4264-#4268-E_Padding.pdf
Tags-0398-#4269-#4271-E_Padding.pdf

F

Tags-0399-#4272-#4279-F_Zag_Init.pdf
Tags-0400-#4280-#4282-F_Zag_Init.pdf
Tags-0401-#4283-#4285-F_Zag_Init.pdf

G: Copy 1

Tags-0402-#4286-#4290-G_RCLF.pdf
Tags-0403-#4291-#4298-G_RCLF.pdf
Tags-0404-#4299-#4307-G_RCLF.pdf
Tags-0405-#4308-#4309-G_RCLF.pdf

A

Tags-0406-#4310-#4317-A_Zig_Init.pdf
Tags-0407-#4318-#4320-A_Zig_Init.pdf

C

Tags-0408-#4321-#4328-C_Tape_End.pdf
Tags-0409-#4329-#4331-C_Tape_End.pdf

D

Tags-0410-#4332-#4336-D0_Letter_0.pdf
Tags-0411-#4337-#4344-D0_Letter_0.pdf
Tags-0412-#4345-#4352-D0_Letter_0.pdf
Tags-0413-#4353-#4355-D0_Letter_0.pdf

E

Tags-0414-#4356-#4360-E_Padding.pdf
Tags-0415-#4361-#4368-E_Padding.pdf
Tags-0416-#4369-#4376-E_Padding.pdf
Tags-0417-#4377-#4384-E_Padding.pdf
Tags-0418-#4385-#4392-E_Padding.pdf
Tags-0419-#4393-#4395-E_Padding.pdf
Tags-0420-#4396-#4406-E_Padding.pdf
Tags-0421-#4407-#4409-E_Padding.pdf
Tags-0422-#4410-#4417-E_Padding.pdf
Tags-0423-#4418-#4425-E_Padding.pdf
Tags-0424-#4426-#4428-E_Padding.pdf

F

Tags-0425-#4429-#4433-F_Zag_Init.pdf

D

Tags-0426-#4434-#4436-D1_Letter_1.pdf

D

Tags-0427-#4437-#4439-D0_Letter_0.pdf

E

Tags-0428-#4440-#4444-E_Padding.pdf
Tags-0429-#4445-#4452-E_Padding.pdf
Tags-0430-#4453-#4456-E_Padding.pdf
Tags-0431-#4457-#4458-E_Padding.pdf

C

Tags-0432-#4459-#4460-C_Tape_End.pdf

E

Tags-0433-#4461-#4465-E_Padding.pdf
Tags-0434-#4466-#4468-E_Padding.pdf
Tags-0435-#4469-#4471-E_Padding.pdf
Tags-0436-#4472-#4474-E_Padding.pdf

C

Tags-0437-#4475-#4476-C_Tape_End.pdf

D

Tags-0438-#4477-#4481-D1_Letter_1.pdf
Tags-0439-#4482-#4489-D1_Letter_1.pdf
Tags-0440-#4490-#4497-D1_Letter_1.pdf
Tags-0441-#4498-#4500-D1_Letter_1.pdf
Tags-0442-#4501-#4503-D1_Letter_1.pdf

E

Tags-0443-#4504-#4508-E_Padding.pdf
Tags-0444-#4509-#4516-E_Padding.pdf
Tags-0445-#4517-#4519-E_Padding.pdf

F

Tags-0446-#4520-#4524-F_Zag_Init.pdf

D

Tags-0447-#4525-#4527-D0_Letter_0.pdf

E

Tags-0448-#4528-#4532-E_Padding.pdf
Tags-0449-#4533-#4535-E_Padding.pdf
Tags-0450-#4536-#4543-E_Padding.pdf
Tags-0451-#4544-#4547-E_Padding.pdf
Tags-0452-#4548-#4549-E_Padding.pdf

C

Tags-0453-#4550-#4551-C_Tape_End.pdf

E

Tags-0454-#4552-#4556-E_Padding.pdf
Tags-0455-#4557-#4559-E_Padding.pdf
Tags-0456-#4560-#4567-E_Padding.pdf
Tags-0457-#4568-#4570-E_Padding.pdf

D

Tags-0458-#4571-#4573-D1_Letter_1.pdf

E

Tags-0459-#4574-#4578-E_Padding.pdf
Tags-0460-#4579-#4581-E_Padding.pdf

F

Tags-0461-#4582-#4586-F_Zag_Init.pdf

D

Tags-0462-#4587-#4589-D0_Letter_0.pdf

E

Tags-0463-#4590-#4594-E_Padding.pdf

D

Tags-0464-#4595-#4597-D0_Letter_0.pdf

E

Tags-0465-#4598-#4602-E_Padding.pdf
Tags-0466-#4603-#4604-E_Padding.pdf

C

Tags-0467-#4605-#4606-C_Tape_End.pdf

E

Tags-0468-#4607-#4611-E_Padding.pdf
Tags-0469-#4612-#4614-E_Padding.pdf
Tags-0470-#4615-#4617-E_Padding.pdf

D

Tags-0471-#4618-#4620-D1_Letter_1.pdf

E

Tags-0472-#4621-#4625-E_Padding.pdf
Tags-0473-#4626-#4633-E_Padding.pdf
Tags-0474-#4634-#4641-E_Padding.pdf
Tags-0475-#4642-#4644-E_Padding.pdf

F

Tags-0476-#4645-#4646-F_Zag_Init.pdf
Tags-0477-#4647-#4648-F_Zag_Init.pdf
Tags-0478-#4649-#4650-F_Zag_Init.pdf
Tags-0479-#4651-#4653-F_Zag_Init.pdf


ZAG

G:Line Feed

Tags-0480-#4654-#4666-G_RCLF.pdf
Tags-0481-#4667-#4684-G_RCLF.pdf
Tags-0482-#4685-G_RCLF.pdf
Tags-0483-#4686-G_RCLF.pdf
Tags-0484-#4687-G_RCLF.pdf
Tags-0485-#4688-#4700-G_RCLF.pdf


ZIG-DOWN

C: End of Tape

Tags-0486-#4701-#4702-C_Tape_End.pdf


WRITE

E:Carriage Return

Tags-0487-#4703-#4718-E_Padding.pdf
Tags-0488-#4719-#4721-E_Padding.pdf
Tags-0489-#4722-#4728-E_Padding.pdf
Tags-0490-#4729-#4733-E_Padding.pdf

F

Tags-0491-#4734-#4741-F_Zag_Init.pdf
Tags-0492-#4742-#4744-F_Zag_Init.pdf


ZIG-DOWN

A

Tags-0493-#4745-A_Zig_Init.pdf
Tags-0494-#4746-#4749-A_Zig_Init.pdf
Tags-0495-#4750-#4752-A_Zig_Init.pdf


WRITE

D: Write 0

Tags-0496-#4753-#4775-D0_Letter_0.pdf
Tags-0497-#4776-D0_Letter_0.pdf
Tags-0498-#4777-#4786-D0_Letter_0.pdf

E: Carriage Return

Tags-0499-#4787-#4794-E_Padding.pdf
Tags-0500-#4795-E_Padding.pdf
Tags-0501-#4796-#4802-E_Padding.pdf
Tags-0502-#4803-#4812-E_Padding.pdf
Tags-0503-#4813-#4815-E_Padding.pdf
Tags-0504-#4816-#4821-E_Padding.pdf
Tags-0505-#4822-#4831-E_Padding.pdf
Tags-0506-#4832-#4834-E_Padding.pdf
Tags-0507-#4835-#4840-E_Padding.pdf
Tags-0508-#4841-#4850-E_Padding.pdf
Tags-0509-#4851-#4853-E_Padding.pdf
Tags-0510-#4854-#4859-E_Padding.pdf
Tags-0511-#4860-#4869-E_Padding.pdf
Tags-0512-#4870-#4872-E_Padding.pdf
Tags-0513-#4873-#4878-E_Padding.pdf
Tags-0514-#4879-#4890-E_Padding.pdf
Tags-0515-#4891-#4897-E_Padding.pdf
Tags-0516-#4898-#4904-E_Padding.pdf
Tags-0517-#4905-#4913-E_Padding.pdf
Tags-0518-#4914-#4924-E_Padding.pdf
Tags-0519-#4925-#4933-E_Padding.pdf
Tags-0520-#4934-#4943-E_Padding.pdf
Tags-0521-#4944-#4945-E_Padding.pdf


WRITE

F

Tags-0522-#4946-#4953-F_Zag_Init.pdf
Tags-0523-#4954-#4956-F_Zag_Init.pdf
Tags-0524-#4957-#4959-F_Zag_Init.pdf


ZAG-WRITE

F

Tags-0525-#4960-#4961-F_Zag_Init.pdf
Tags-0526-#4962-#4963-F_Zag_Init.pdf
Tags-0527-#4964-#4967-F_Zag_Init.pdf

G: Copy 0

Tags-0528-#4968-#4973-G_RCLF.pdf
Tags-0529-#4974-#4982-G_RCLF.pdf
Tags-0530-#4983-#4991-G_RCLF.pdf
Tags-0531-#4992-#4993-G_RCLF.pdf

A

Tags-0532-#4994-A_Zig_Init.pdf


HALT

A

Tags-0533-#4995-#4997-A_Zig_Init.pdf

B: Empty word - HALT

Tags-0534-#4998-#5000-B_Empty_Word.pdf


Alternative HALT

A

Tags-0535-#5001-#5007-A_Zig_Init.pdf

B: Empty word HALT

Tags-0536-#5008-#5012-B_Empty_Word.pdf

C

Tags-0537-#5013-#5019-C_Tape_End.pdf
Tags-0538-#5020-#5028-C_Tape_End.pdf
Tags-0539-#5029-#5037-C_Tape_End.pdf
Tags-0540-#5038-#5046-C_Tape_End.pdf
Tags-0541-#5047-#5055-C_Tape_End.pdf
Tags-0542-#5056-C_Tape_End.pdf