A Documenting of my Roman Numerals CHIP-8 Program
This is an implementation of my Roman numerals program in machine code, for the ninth Octojam event.
It's a very simple program, and trivially proven to be correct; perhaps even most of its logic could
be recycled for a similar such program, even. I used the simpler tables of that tabular programming
approach for this, as it was easier to comprehend at this low level. I may have decomposed my first
example of this style into too many tables, truly just to demonstrate it better, but it matters not.
Follows is a view of the complete program, when loaded into the MMC:
[32m200-201 [31m0512-0513 [34m█▄█ ▄ █▄ A[4m2[m[34m[4mEB[m[34m 41707 [39m I ← [4millinc[m[K
[32m202-203 [31m0514-0515 [34m▀██▀▀█▀▄ FE[m[34m65[m[34m 65125 [39m Load V0→VE; I ← I + 15[K
[32m204-205 [31m0516-0517 [34m▀▀▀█▀█▀▄ FE[m[34m15[m[34m 65045[33m primus[39m delay ← VE[K
[32m206-207 [31m0518-0519 [34m█▄█ █ A[4m4[m[34m[4mE4[m[34m 42212 [39m I ← [4mfinis[m[K
[32m208-209 [31m0520-0521 [34m▀█▀█▀█▀▄ FE[m[34m55[m[34m 65109 [39m Save V0→VE; I ← I + 15[K
[32m20A-20B [31m0522-0523 [34m█ ▀▄▄█▄ A[4m4[m[34m[4m9E[m[34m 42142 [39m I ← [4mpraeter[m[K
[32m20C-20D [31m0524-0525 [34m▀██▀ ▄ ▄ F0[m[34m65[m[34m 61541[33m secundus[39m Load V0→V0; I ← I + 01[K
[32m20E-20F [31m0526-0527 [34m ▀ 40[m[34m00[m[34m 16384 [39m Skip next if V0 <> 000[K
[32m210-211 [31m0528-0529 [34m ▄▀▄▄▀ 1[4m2[m[34m[4m2C[m[34m 04652 [39m Jump to [4mregula[m[K
[32m212-213 [31m0530-0531 [34m▀██▀ ▄ █ F1[m[34m65[m[34m 61797 [39m Load V0→V1; I ← I + 02[K
[32m214-215 [31m0532-0533 [34m▄▀▄█ 50[m[34mB0[m[34m 20656 [39m Skip next if V0 = VB[K
[32m216-217 [31m0534-0535 [34m ▄▀▄ ▀ 1[4m2[m[34m[4m28[m[34m 04648 [39m Jump to [4miterum[m[K
[32m218-219 [31m0536-0537 [34m▄█ ▀ ▀ 51[m[34mC0[m[34m 20928 [39m Skip next if V1 = VC[K
[32m21A-21B [31m0538-0539 [34m ▄▀▄ ▀ 1[4m2[m[34m[4m28[m[34m 04648 [39m Jump to [4miterum[m[K
[32m21C-21D [31m0540-0541 [34m▀██▀▀█▀▄ FE[m[34m65[m[34m 65125 [39m Load V0→VE; I ← I + 15[K
[32m21E-21F [31m0542-0543 [34m█▄▀▄ █ ▄ A[4m4[m[34m[4mD5[m[34m 42197 [39m I ← [4mhuc[m[K
[32m220-221 [31m0544-0545 [34m▀█▀█▀█▀▄ FE[m[34m55[m[34m 65109 [39m Save V0→VE; I ← I + 15[K
[32m222-223 [31m0546-0547 [34m█▄█ █ A[4m4[m[34m[4mE4[m[34m 42212 [39m I ← [4mfinis[m[K
[32m224-225 [31m0548-0549 [34m▀██▀▀█▀▄ FE[m[34m65[m[34m 65125 [39m Load V0→VE; I ← I + 15[K
[32m226-227 [31m0550-0551 [34m▄ █▄ █ 1[4m2[m[34m[4m9A[m[34m 04762 [39m Jump to [4mostendo[m[K
[32m228-229 [31m0552-0553 [34m▀▀▀███▄▀ FD[m[34m1E[m[34m 64798[33m iterum[39m I ← I + VD[K
[32m22A-22B [31m0554-0555 [34m ▀▄▄▀ 1[4m2[m[34m[4m0C[m[34m 04620 [39m Jump to [4msecundus[m[K
[32m22C-22D [31m0556-0557 [34m▀ █ █▀ A[4m3[m[34m[4m22[m[34m 41762[33m regula[39m I ← [4mcentesima[m[K
[32m22E-22F [31m0558-0559 [34m▀▀▀██▄█▀ FB[m[34m1E[m[34m 64286 [39m I ← I + VB[K
[32m230-231 [31m0560-0561 [34m▀▀▀██▄█▀ FB[m[34m1E[m[34m 64286 [39m I ← I + VB[K
[32m232-233 [31m0562-0563 [34m▀██▀ ▄ █ F1[m[34m65[m[34m 61797 [39m Load V0→V1; I ← I + 02[K
[32m234-235 [31m0564-0565 [34m▀ ▀ ▀ 89[m[34m00[m[34m 35072 [39m V9 ← V0[K
[32m236-237 [31m0566-0567 [34m▀ ▄▀ 88[m[34m10[m[34m 34832 [39m V8 ← V1[K
[32m238-239 [31m0568-0569 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m23A-23B [31m0570-0571 [34m█ ▄ 80[m[34mA0[m[34m 32928 [39m V0 ← VA[K
[32m23C-23D [31m0572-0573 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m23E-23F [31m0574-0575 [34m█ ▄ ▀ 81[m[34mA0[m[34m 33184 [39m V1 ← VA[K
[32m240-241 [31m0576-0577 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m242-243 [31m0578-0579 [34m█ ▄ ▀ 82[m[34mA0[m[34m 33440 [39m V2 ← VA[K
[32m244-245 [31m0580-0581 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m246-247 [31m0582-0583 [34m█ ▄ ▀▀ 83[m[34mA0[m[34m 33696 [39m V3 ← VA[K
[32m248-249 [31m0584-0585 [34m█ ▀ ▀ 89[m[34m80[m[34m 35200 [39m V9 ← V8[K
[32m24A-24B [31m0586-0587 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m24C-24D [31m0588-0589 [34m█ ▄ ▀ 84[m[34mA0[m[34m 33952 [39m V4 ← VA[K
[32m24E-24F [31m0590-0591 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m250-251 [31m0592-0593 [34m█ ▄ ▀ ▀ 85[m[34mA0[m[34m 34208 [39m V5 ← VA[K
[32m252-253 [31m0594-0595 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m254-255 [31m0596-0597 [34m█ ▄ ▀▀ 86[m[34mA0[m[34m 34464 [39m V6 ← VA[K
[32m256-257 [31m0598-0599 [34m█▄▀▄ █ ▄ A[4m4[m[34m[4mD5[m[34m 42197 [39m I ← [4mhuc[m[K
[32m258-259 [31m0600-0601 [34m▀█▀█ █▀▄ F6[m[34m55[m[34m 63061 [39m Save V0→V6; I ← I + 07[K
[32m25A-25B [31m0602-0603 [34m▀▄█▄ █▀ A[4m3[m[34m[4m72[m[34m 41842 [39m I ← [4mde centum[m[K
[32m25C-25D [31m0604-0605 [34m▀▀▀███▄ FC[m[34m1E[m[34m 64542 [39m I ← I + VC[K
[32m25E-25F [31m0606-0607 [34m▀▀▀███▄ FC[m[34m1E[m[34m 64542 [39m I ← I + VC[K
[32m260-261 [31m0608-0609 [34m▀▀▀███▄ FC[m[34m1E[m[34m 64542 [39m I ← I + VC[K
[32m262-263 [31m0610-0611 [34m▀██▀ ▄▀▄ F2[m[34m65[m[34m 62053 [39m Load V0→V2; I ← I + 03[K
[32m264-265 [31m0612-0613 [34m▀ ▀ ▀ 89[m[34m00[m[34m 35072 [39m V9 ← V0[K
[32m266-267 [31m0614-0615 [34m▀ ▄ ▀▀▀ 87[m[34m10[m[34m 34576 [39m V7 ← V1[K
[32m268-269 [31m0616-0617 [34m▀ ▄ ▀ 88[m[34m20[m[34m 34848 [39m V8 ← V2[K
[32m26A-26B [31m0618-0619 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m26C-26D [31m0620-0621 [34m█ ▄ 80[m[34mA0[m[34m 32928 [39m V0 ← VA[K
[32m26E-26F [31m0622-0623 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m270-271 [31m0624-0625 [34m█ ▄ ▀ 81[m[34mA0[m[34m 33184 [39m V1 ← VA[K
[32m272-273 [31m0626-0627 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m274-275 [31m0628-0629 [34m█ ▄ ▀▄█ 8A[m[34mA6[m[34m 35494 [39m VA ← VA ÷ 2; VF ← LSB[K
[32m276-277 [31m0630-0631 [34m▀▄▄▄▀ ▀ 89[m[34m70[m[34m 35184 [39m V9 ← V7[K
[32m278-279 [31m0632-0633 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924 [39m Call [4msemel[m[K
[32m27A-27B [31m0634-0635 [34m█ ▄ ▀ 82[m[34mA0[m[34m 33440 [39m V2 ← VA[K
[32m27C-27D [31m0636-0637 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m27E-27F [31m0638-0639 [34m█ ▄ ▀▀ 83[m[34mA0[m[34m 33696 [39m V3 ← VA[K
[32m280-281 [31m0640-0641 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m282-283 [31m0642-0643 [34m█ ▄ ▀ 84[m[34mA0[m[34m 33952 [39m V4 ← VA[K
[32m284-285 [31m0644-0645 [34m ▀▀ ▀ ▀ 6A[m[34m00[m[34m 27136 [39m VA ← 000[K
[32m286-287 [31m0646-0647 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924 [39m Call [4msemel[m[K
[32m288-289 [31m0648-0649 [34m█ ▀ ▀ 89[m[34m80[m[34m 35200 [39m V9 ← V8[K
[32m28A-28B [31m0650-0651 [34m▄▄▀▄▄ █ 2[4m2[m[34m[4mDA[m[34m 08922 [39m Call [4mbis[m[K
[32m28C-28D [31m0652-0653 [34m█ ▄ ▀ ▀ 85[m[34mA0[m[34m 34208 [39m V5 ← VA[K
[32m28E-28F [31m0654-0655 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m290-291 [31m0656-0657 [34m█ ▄ ▀▀ 86[m[34mA0[m[34m 34464 [39m V6 ← VA[K
[32m292-293 [31m0658-0659 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m294-295 [31m0660-0661 [34m█ ▄ ▀▀▀ 87[m[34mA0[m[34m 34720 [39m V7 ← VA[K
[32m296-297 [31m0662-0663 [34m█▄▀▄▄█ A[4m4[m[34m[4mDC[m[34m 42204 [39m I ← [4milluc[m[K
[32m298-299 [31m0664-0665 [34m▀█▀█ █▀█ F7[m[34m55[m[34m 63317 [39m Save V0→V7; I ← I + 08[K
[32m29A-29B [31m0666-0667 [34m ▀▀ ▄▀ 61[m[34m02[m[34m 24834[33m ostendo[39m V1 ← 002[K
[32m29C-29D [31m0668-0669 [34m ▀▀ █ 62[m[34m02[m[34m 25090 [39m V2 ← 002[K
[32m29E-29F [31m0670-0671 [34m ▀▀ ▀▀ 63[m[34m00[m[34m 25344 [39m V3 ← 000[K
[32m2A0-2A1 [31m0672-0673 [34m█▄▀▄ █ ▄ A[4m4[m[34m[4mD5[m[34m 42197[33m rursus[39m I ← [4mhuc[m[K
[32m2A2-2A3 [31m0674-0675 [34m▀▀▀█▄▄█▀ F3[m[34m1E[m[34m 62238 [39m I ← I + V3[K
[32m2A4-2A5 [31m0676-0677 [34m▀██▀ ▄ ▄ F0[m[34m65[m[34m 61541 [39m Load V0→V0; I ← I + 01[K
[32m2A6-2A7 [31m0678-0679 [34m█▄█▄ ▄▀▄ A[4m2[m[34m[4mF5[m[34m 41717 [39m I ← [4mlitterae[m[K
[32m2A8-2A9 [31m0680-0681 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2AA-2AB [31m0682-0683 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2AC-2AD [31m0684-0685 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2AE-2AF [31m0686-0687 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2B0-2B1 [31m0688-0689 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2B2-2B3 [31m0690-0691 [34m ▀▀ 30[m[34m00[m[34m 12288 [39m Skip next if V0 = 000[K
[32m2B4-2B5 [31m0692-0693 [34m▀▀▄▀ ▄ █ D1[m[34m25[m[34m 53541 [39m Draw 08×05 at V1,V2; VF ← XOR[K
[32m2B6-2B7 [31m0694-0695 [34m ▀▀ 30[m[34m00[m[34m 12288 [39m Skip next if V0 = 000[K
[32m2B8-2B9 [31m0696-0697 [34m ▀▀▀ ▄ ▀ 71[m[34m04[m[34m 28932 [39m V1 ← V1 + 004[K
[32m2BA-2BB [31m0698-0699 [34m ▀▀▀ ▀█ 73[m[34m01[m[34m 29441 [39m V3 ← V3 + 001[K
[32m2BC-2BD [31m0700-0701 [34m ▀▀▄▄██ 33[m[34m0F[m[34m 13071 [39m Skip next if V3 = 015[K
[32m2BE-2BF [31m0702-0703 [34m▄ ▄▀ ▀ 1[4m2[m[34m[4mA0[m[34m 04768 [39m Jump to [4mrursus[m[K
[32m2C0-2C1 [31m0704-0705 [34m ▀▀▀▀▀ ▄ 7C[m[34m01[m[34m 31745 [39m VC ← VC + 001[K
[32m2C2-2C3 [31m0706-0707 [34m █▄ ▀█ 4C[m[34m64[m[34m 19556 [39m Skip next if VC <> 100[K
[32m2C4-2C5 [31m0708-0709 [34m ▀▀ ▀▀ 6C[m[34m00[m[34m 27648 [39m VC ← 000[K
[32m2C6-2C7 [31m0710-0711 [34m ▀ ▀▀ 4C[m[34m00[m[34m 19456 [39m Skip next if VC <> 000[K
[32m2C8-2C9 [31m0712-0713 [34m ▀▀▀▀ ▀█ 7B[m[34m01[m[34m 31489 [39m VB ← VB + 001[K
[32m2CA-2CB [31m0714-0715 [34m ▀▄ █ ▀▀ 4B[m[34m28[m[34m 19240 [39m Skip next if VB <> 040[K
[32m2CC-2CD [31m0716-0717 [34m▄▄ ▀▄▄▀ 1[4m2[m[34m[4mCC[m[34m 04812[33m se[39m Jump to [4mse[m[K
[32m2CE-2CF [31m0718-0719 [34m▀▀▀▀▀███ FF[m[34m07[m[34m 65287[33m mora[39m VF ← delay[K
[32m2D0-2D1 [31m0720-0721 [34m ▀▀▀▀▀▀ 3F[m[34m00[m[34m 16128 [39m Skip next if VF = 000[K
[32m2D2-2D3 [31m0722-0723 [34m▄▄ ▀▄▄█ 1[4m2[m[34m[4mCE[m[34m 04814 [39m Jump to [4mmora[m[K
[32m2D4-2D5 [31m0724-0725 [34m▄▄▄ 00[m[34mE0[m[34m 00224 [39m Clear the screen[K
[32m2D6-2D7 [31m0726-0727 [34m ▀ ▄▀ 1[4m2[m[34m[4m04[m[34m 04612 [39m Jump to [4mprimus[m[K
[32m2D8-2D9 [31m0728-0729 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924[33m ter[39m Call [4msemel[m[K
[32m2DA-2DB [31m0730-0731 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924[33m bis[39m Call [4msemel[m[K
[32m2DC-2DD [31m0732-0733 [34m█ ▄ █▄█ 8A[m[34mAE[m[34m 35502[33m semel[39m VA ← VA × 2; VF ← MSB[K
[32m2DE-2DF [31m0734-0735 [34m█ ▄█▄▄▀ 89[m[34m9E[m[34m 35230 [39m V9 ← V9 × 2; VF ← MSB[K
[32m2E0-2E1 [31m0736-0737 [34m ▀▀▀▀▀▀ 3F[m[34m00[m[34m 16128 [39m Skip next if VF = 000[K
[32m2E2-2E3 [31m0738-0739 [34m ▀▀▀▀ ▀▄ 7A[m[34m01[m[34m 31233 [39m VA ← VA + 001[K
[32m2E4-2E5 [31m0740-0741 [34m▄▄▄ ▄▄▄ 00[m[34mEE[m[34m 00238 [39m Return[K
[32m2E6-2E7 [31m0742-0743 [34m ▀▀ ▀ ▀ 6A[m[34m00[m[34m 27136[33m duo digiti[39m VA ← 000[K
[32m2E8-2E9 [31m0744-0745 [34m▄▄▀▄▄ █ 2[4m2[m[34m[4mDA[m[34m 08922 [39m Call [4mbis[m[K
[32m2EA-2EB [31m0746-0747 [34m ▀▀▀ ▀ 3A[m[34m00[m[34m 14848[38;2;255;127;63m! illinc[39m Skip next if VA = 000[K
[32m2EC-2ED [31m0748-0749 [34m ▀▀▀▀▄▀ 7A[m[34m04[m[34m 31236 [39m VA ← VA + 004[K
[32m2EE-2EF [31m0750-0751 [34m▄▄▄ ▄▄▄ 00[m[34mEE[m[34m 00238 [39m Return[K
[32m2F0-2F1 [31m0752-0753 [34m ▀▀ ▀ ▀ 6A[m[34m00[m[34m 27136[33m tres digiti[39m VA ← 000[K
[32m2F2-2F3 [31m0754-0755 [34m▄▄▀▄▄ ▀ 2[4m2[m[34m[4mD8[m[34m 08920 [39m Call [4mter[m[K
[32m2F4-2F5 [31m0756-0757 [34m▄▄▄ ▄▄▄ 00[m[34mEE[m[34m 00238[38;2;255;127;63m! litterae[39m Return[K
[32m2F6 [31m0758 [34m 00[m[34m 000 [39m [K
[32m2F7 [31m0759 [34m 00[m[34m 000 [39m [K
[32m2F8 [31m0760 [34m ████ 0F[m[34m 015 [39m [K
[32m2F9 [31m0761 [34m ████ 1E[m[34m 030 [39m [K
[32m2FA [31m0762 [34m███ E0[m[34m 224[33m I[39m [K
[32m2FB [31m0763 [34m █ 40[m[34m 064 [39m [K
[32m2FC [31m0764 [34m █ 40[m[34m 064 [39m [K
[32m2FD [31m0765 [34m █ 40[m[34m 064 [39m [K
[32m2FE [31m0766 [34m███ E0[m[34m 224 [39m [K
[32m2FF [31m0767 [34m█ █ A0[m[34m 160[33m V[39m [K
[32m300 [31m0768 [34m█ █ A0[m[34m 160 [39m [K
[32m301 [31m0769 [34m█ █ A0[m[34m 160 [39m [K
[32m302 [31m0770 [34m█ █ A0[m[34m 160 [39m [K
[32m303 [31m0771 [34m █ 40[m[34m 064 [39m [K
[32m304 [31m0772 [34m█ █ A0[m[34m 160[33m X[39m [K
[32m305 [31m0773 [34m█ █ A0[m[34m 160 [39m [K
[32m306 [31m0774 [34m █ 40[m[34m 064 [39m [K
[32m307 [31m0775 [34m█ █ A0[m[34m 160 [39m [K
[32m308 [31m0776 [34m█ █ A0[m[34m 160 [39m [K
[32m309 [31m0777 [34m█ 80[m[34m 128[33m L[39m [K
[32m30A [31m0778 [34m█ 80[m[34m 128 [39m [K
[32m30B [31m0779 [34m█ 80[m[34m 128 [39m [K
[32m30C [31m0780 [34m█ 80[m[34m 128 [39m [K
[32m30D [31m0781 [34m███ E0[m[34m 224 [39m [K
[32m30E [31m0782 [34m███ E0[m[34m 224[33m C[39m [K
[32m30F [31m0783 [34m█ 80[m[34m 128 [39m [K
[32m310 [31m0784 [34m█ 80[m[34m 128 [39m [K
[32m311 [31m0785 [34m█ 80[m[34m 128 [39m [K
[32m312 [31m0786 [34m███ E0[m[34m 224 [39m [K
[32m313 [31m0787 [34m██ C0[m[34m 192[33m D[39m [K
[32m314 [31m0788 [34m█ █ A0[m[34m 160 [39m [K
[32m315 [31m0789 [34m█ █ A0[m[34m 160 [39m [K
[32m316 [31m0790 [34m█ █ A0[m[34m 160 [39m [K
[32m317 [31m0791 [34m██ C0[m[34m 192 [39m [K
[32m318 [31m0792 [34m█ █ A0[m[34m 160[33m M[39m [K
[32m319 [31m0793 [34m███ E0[m[34m 224 [39m [K
[32m31A [31m0794 [34m███ E0[m[34m 224 [39m [K
[32m31B [31m0795 [34m███ E0[m[34m 224 [39m [K
[32m31C [31m0796 [34m█ █ A0[m[34m 160 [39m [K
[32m31D [31m0797 [34m█ █ 90[m[34m 144[33m N[39m [K
[32m31E [31m0798 [34m██ █ D0[m[34m 208 [39m [K
[32m31F [31m0799 [34m████ F0[m[34m 240 [39m [K
[32m320 [31m0800 [34m█ ██ B0[m[34m 176 [39m [K
[32m321 [31m0801 [34m█ █ 90[m[34m 144 [39m [K
[32m322 [31m0802 [34m 00[m[34m 000[33m centesima[39m [K
[32m323 [31m0803 [34m 00[m[34m 000 [39m [K
[32m324 [31m0804 [34m █ 40[m[34m 064 [39m [K
[32m325 [31m0805 [34m 00[m[34m 000 [39m [K
[32m326 [31m0806 [34m █ █ 50[m[34m 080 [39m [K
[32m327 [31m0807 [34m 00[m[34m 000 [39m [K
[32m328 [31m0808 [34m █ █ █ 54[m[34m 084 [39m [K
[32m329 [31m0809 [34m 00[m[34m 000 [39m [K
[32m32A [31m0810 [34m ██ 60[m[34m 096 [39m [K
[32m32B [31m0811 [34m 00[m[34m 000 [39m [K
[32m32C [31m0812 [34m█ 80[m[34m 128 [39m [K
[32m32D [31m0813 [34m 00[m[34m 000 [39m [K
[32m32E [31m0814 [34m█ █ 90[m[34m 144 [39m [K
[32m32F [31m0815 [34m 00[m[34m 000 [39m [K
[32m330 [31m0816 [34m█ █ █ 94[m[34m 148 [39m [K
[32m331 [31m0817 [34m 00[m[34m 000 [39m [K
[32m332 [31m0818 [34m█ █ █ █ 95[m[34m 149 [39m [K
[32m333 [31m0819 [34m 00[m[34m 000 [39m [K
[32m334 [31m0820 [34m ███ 70[m[34m 112 [39m [K
[32m335 [31m0821 [34m 00[m[34m 000 [39m [K
[32m336 [31m0822 [34m██ C0[m[34m 192 [39m [K
[32m337 [31m0823 [34m 00[m[34m 000 [39m [K
[32m338 [31m0824 [34m██ █ D0[m[34m 208 [39m [K
[32m339 [31m0825 [34m 00[m[34m 000 [39m [K
[32m33A [31m0826 [34m██ █ █ D4[m[34m 212 [39m [K
[32m33B [31m0827 [34m 00[m[34m 000 [39m [K
[32m33C [31m0828 [34m██ █ █ █ D5[m[34m 213 [39m [K
[32m33D [31m0829 [34m 00[m[34m 000 [39m [K
[32m33E [31m0830 [34m██ ██ D8[m[34m 216 [39m [K
[32m33F [31m0831 [34m 00[m[34m 000 [39m [K
[32m340 [31m0832 [34m███ E0[m[34m 224 [39m [K
[32m341 [31m0833 [34m 00[m[34m 000 [39m [K
[32m342 [31m0834 [34m███ █ E4[m[34m 228 [39m [K
[32m343 [31m0835 [34m 00[m[34m 000 [39m [K
[32m344 [31m0836 [34m███ █ █ E5[m[34m 229 [39m [K
[32m345 [31m0837 [34m 00[m[34m 000 [39m [K
[32m346 [31m0838 [34m███ █ █ E5[m[34m 229 [39m [K
[32m347 [31m0839 [34m █ 40[m[34m 064 [39m [K
[32m348 [31m0840 [34m██ ███ DC[m[34m 220 [39m [K
[32m349 [31m0841 [34m 00[m[34m 000 [39m [K
[32m34A [31m0842 [34m████ F0[m[34m 240 [39m [K
[32m34B [31m0843 [34m 00[m[34m 000 [39m [K
[32m34C [31m0844 [34m████ █ F4[m[34m 244 [39m [K
[32m34D [31m0845 [34m 00[m[34m 000 [39m [K
[32m34E [31m0846 [34m████ █ █ F5[m[34m 245 [39m [K
[32m34F [31m0847 [34m 00[m[34m 000 [39m [K
[32m350 [31m0848 [34m████ █ █ F5[m[34m 245 [39m [K
[32m351 [31m0849 [34m █ 40[m[34m 064 [39m [K
[32m352 [31m0850 [34m████ ██ F6[m[34m 246 [39m [K
[32m353 [31m0851 [34m 00[m[34m 000 [39m [K
[32m354 [31m0852 [34m█████ F8[m[34m 248 [39m [K
[32m355 [31m0853 [34m 00[m[34m 000 [39m [K
[32m356 [31m0854 [34m█████ █ F9[m[34m 249 [39m [K
[32m357 [31m0855 [34m 00[m[34m 000 [39m [K
[32m358 [31m0856 [34m█████ █ F9[m[34m 249 [39m [K
[32m359 [31m0857 [34m █ 40[m[34m 064 [39m [K
[32m35A [31m0858 [34m█████ █ F9[m[34m 249 [39m [K
[32m35B [31m0859 [34m █ █ 50[m[34m 080 [39m [K
[32m35C [31m0860 [34m████ ███ F7[m[34m 247 [39m [K
[32m35D [31m0861 [34m 00[m[34m 000 [39m [K
[32m35E [31m0862 [34m██████ FC[m[34m 252 [39m [K
[32m35F [31m0863 [34m 00[m[34m 000 [39m [K
[32m360 [31m0864 [34m██████ █ FD[m[34m 253 [39m [K
[32m361 [31m0865 [34m 00[m[34m 000 [39m [K
[32m362 [31m0866 [34m██████ █ FD[m[34m 253 [39m [K
[32m363 [31m0867 [34m █ 40[m[34m 064 [39m [K
[32m364 [31m0868 [34m██████ █ FD[m[34m 253 [39m [K
[32m365 [31m0869 [34m █ █ 50[m[34m 080 [39m [K
[32m366 [31m0870 [34m██████ █ FD[m[34m 253 [39m [K
[32m367 [31m0871 [34m█ 80[m[34m 128 [39m [K
[32m368 [31m0872 [34m███████ FE[m[34m 254 [39m [K
[32m369 [31m0873 [34m 00[m[34m 000 [39m [K
[32m36A [31m0874 [34m███████ FE[m[34m 254 [39m [K
[32m36B [31m0875 [34m █ 40[m[34m 064 [39m [K
[32m36C [31m0876 [34m███████ FE[m[34m 254 [39m [K
[32m36D [31m0877 [34m █ █ 50[m[34m 080 [39m [K
[32m36E [31m0878 [34m███████ FE[m[34m 254 [39m [K
[32m36F [31m0879 [34m █ █ █ 54[m[34m 084 [39m [K
[32m370 [31m0880 [34m██████ █ FD[m[34m 253 [39m [K
[32m371 [31m0881 [34m██ C0[m[34m 192 [39m [K
[32m372 [31m0882 [34m 00[m[34m 000[33m de centum[39m [K
[32m373 [31m0883 [34m 00[m[34m 000 [39m [K
[32m374 [31m0884 [34m 00[m[34m 000 [39m [K
[32m375 [31m0885 [34m █ 20[m[34m 032 [39m [K
[32m376 [31m0886 [34m 00[m[34m 000 [39m [K
[32m377 [31m0887 [34m 00[m[34m 000 [39m [K
[32m378 [31m0888 [34m █ █ 24[m[34m 036 [39m [K
[32m379 [31m0889 [34m 00[m[34m 000 [39m [K
[32m37A [31m0890 [34m 00[m[34m 000 [39m [K
[32m37B [31m0891 [34m █ █ 24[m[34m 036 [39m [K
[32m37C [31m0892 [34m█ 80[m[34m 128 [39m [K
[32m37D [31m0893 [34m 00[m[34m 000 [39m [K
[32m37E [31m0894 [34m █ █ 28[m[34m 040 [39m [K
[32m37F [31m0895 [34m 00[m[34m 000 [39m [K
[32m380 [31m0896 [34m 00[m[34m 000 [39m [K
[32m381 [31m0897 [34m █ 40[m[34m 064 [39m [K
[32m382 [31m0898 [34m 00[m[34m 000 [39m [K
[32m383 [31m0899 [34m 00[m[34m 000 [39m [K
[32m384 [31m0900 [34m █ █ 44[m[34m 068 [39m [K
[32m385 [31m0901 [34m 00[m[34m 000 [39m [K
[32m386 [31m0902 [34m 00[m[34m 000 [39m [K
[32m387 [31m0903 [34m █ █ 44[m[34m 068 [39m [K
[32m388 [31m0904 [34m█ 80[m[34m 128 [39m [K
[32m389 [31m0905 [34m 00[m[34m 000 [39m [K
[32m38A [31m0906 [34m █ █ 44[m[34m 068 [39m [K
[32m38B [31m0907 [34m█ █ 90[m[34m 144 [39m [K
[32m38C [31m0908 [34m 00[m[34m 000 [39m [K
[32m38D [31m0909 [34m █ ██ 2C[m[34m 044 [39m [K
[32m38E [31m0910 [34m 00[m[34m 000 [39m [K
[32m38F [31m0911 [34m 00[m[34m 000 [39m [K
[32m390 [31m0912 [34m ██ 60[m[34m 096 [39m [K
[32m391 [31m0913 [34m 00[m[34m 000 [39m [K
[32m392 [31m0914 [34m 00[m[34m 000 [39m [K
[32m393 [31m0915 [34m ██ █ 64[m[34m 100 [39m [K
[32m394 [31m0916 [34m 00[m[34m 000 [39m [K
[32m395 [31m0917 [34m 00[m[34m 000 [39m [K
[32m396 [31m0918 [34m ██ █ 64[m[34m 100 [39m [K
[32m397 [31m0919 [34m█ 80[m[34m 128 [39m [K
[32m398 [31m0920 [34m 00[m[34m 000 [39m [K
[32m399 [31m0921 [34m ██ █ 64[m[34m 100 [39m [K
[32m39A [31m0922 [34m█ █ 90[m[34m 144 [39m [K
[32m39B [31m0923 [34m 00[m[34m 000 [39m [K
[32m39C [31m0924 [34m ██ █ █ 65[m[34m 101 [39m [K
[32m39D [31m0925 [34m 00[m[34m 000 [39m [K
[32m39E [31m0926 [34m 00[m[34m 000 [39m [K
[32m39F [31m0927 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A0 [31m0928 [34m 00[m[34m 000 [39m [K
[32m3A1 [31m0929 [34m 00[m[34m 000 [39m [K
[32m3A2 [31m0930 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A3 [31m0931 [34m█ 80[m[34m 128 [39m [K
[32m3A4 [31m0932 [34m 00[m[34m 000 [39m [K
[32m3A5 [31m0933 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A6 [31m0934 [34m█ █ 90[m[34m 144 [39m [K
[32m3A7 [31m0935 [34m 00[m[34m 000 [39m [K
[32m3A8 [31m0936 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A9 [31m0937 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3AA [31m0938 [34m 00[m[34m 000 [39m [K
[32m3AB [31m0939 [34m ██ █ █ 65[m[34m 101 [39m [K
[32m3AC [31m0940 [34m█ 80[m[34m 128 [39m [K
[32m3AD [31m0941 [34m 00[m[34m 000 [39m [K
[32m3AE [31m0942 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3AF [31m0943 [34m 00[m[34m 000 [39m [K
[32m3B0 [31m0944 [34m 00[m[34m 000 [39m [K
[32m3B1 [31m0945 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3B2 [31m0946 [34m█ 80[m[34m 128 [39m [K
[32m3B3 [31m0947 [34m 00[m[34m 000 [39m [K
[32m3B4 [31m0948 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3B5 [31m0949 [34m█ █ 90[m[34m 144 [39m [K
[32m3B6 [31m0950 [34m 00[m[34m 000 [39m [K
[32m3B7 [31m0951 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3B8 [31m0952 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3B9 [31m0953 [34m 00[m[34m 000 [39m [K
[32m3BA [31m0954 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3BB [31m0955 [34m█ █ A0[m[34m 160 [39m [K
[32m3BC [31m0956 [34m 00[m[34m 000 [39m [K
[32m3BD [31m0957 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3BE [31m0958 [34m 00[m[34m 000 [39m [K
[32m3BF [31m0959 [34m 00[m[34m 000 [39m [K
[32m3C0 [31m0960 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3C1 [31m0961 [34m █ 10[m[34m 016 [39m [K
[32m3C2 [31m0962 [34m 00[m[34m 000 [39m [K
[32m3C3 [31m0963 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3C4 [31m0964 [34m █ █ 12[m[34m 018 [39m [K
[32m3C5 [31m0965 [34m 00[m[34m 000 [39m [K
[32m3C6 [31m0966 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3C7 [31m0967 [34m █ █ 12[m[34m 018 [39m [K
[32m3C8 [31m0968 [34m █ 40[m[34m 064 [39m [K
[32m3C9 [31m0969 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3CA [31m0970 [34m█ ██ B0[m[34m 176 [39m [K
[32m3CB [31m0971 [34m 00[m[34m 000 [39m [K
[32m3CC [31m0972 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3CD [31m0973 [34m█ 80[m[34m 128 [39m [K
[32m3CE [31m0974 [34m 00[m[34m 000 [39m [K
[32m3CF [31m0975 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D0 [31m0976 [34m█ █ 90[m[34m 144 [39m [K
[32m3D1 [31m0977 [34m 00[m[34m 000 [39m [K
[32m3D2 [31m0978 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D3 [31m0979 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3D4 [31m0980 [34m 00[m[34m 000 [39m [K
[32m3D5 [31m0981 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D6 [31m0982 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3D7 [31m0983 [34m █ 40[m[34m 064 [39m [K
[32m3D8 [31m0984 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D9 [31m0985 [34m█ █ █ 94[m[34m 148 [39m [K
[32m3DA [31m0986 [34m 00[m[34m 000 [39m [K
[32m3DB [31m0987 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3DC [31m0988 [34m█ █ A0[m[34m 160 [39m [K
[32m3DD [31m0989 [34m 00[m[34m 000 [39m [K
[32m3DE [31m0990 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3DF [31m0991 [34m█ █ █ A2[m[34m 162 [39m [K
[32m3E0 [31m0992 [34m 00[m[34m 000 [39m [K
[32m3E1 [31m0993 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3E2 [31m0994 [34m█ █ █ A2[m[34m 162 [39m [K
[32m3E3 [31m0995 [34m █ 40[m[34m 064 [39m [K
[32m3E4 [31m0996 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3E5 [31m0997 [34m█ █ █ A2[m[34m 162 [39m [K
[32m3E6 [31m0998 [34m █ █ 48[m[34m 072 [39m [K
[32m3E7 [31m0999 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3E8 [31m1000 [34m█ █ ██ 96[m[34m 150 [39m [K
[32m3E9 [31m1001 [34m 00[m[34m 000 [39m [K
[32m3EA [31m1002 [34m ███ 70[m[34m 112 [39m [K
[32m3EB [31m1003 [34m 00[m[34m 000 [39m [K
[32m3EC [31m1004 [34m 00[m[34m 000 [39m [K
[32m3ED [31m1005 [34m ███ 70[m[34m 112 [39m [K
[32m3EE [31m1006 [34m█ 80[m[34m 128 [39m [K
[32m3EF [31m1007 [34m 00[m[34m 000 [39m [K
[32m3F0 [31m1008 [34m ███ 70[m[34m 112 [39m [K
[32m3F1 [31m1009 [34m█ █ 90[m[34m 144 [39m [K
[32m3F2 [31m1010 [34m 00[m[34m 000 [39m [K
[32m3F3 [31m1011 [34m ███ 70[m[34m 112 [39m [K
[32m3F4 [31m1012 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3F5 [31m1013 [34m 00[m[34m 000 [39m [K
[32m3F6 [31m1014 [34m ███ 70[m[34m 112 [39m [K
[32m3F7 [31m1015 [34m█ █ A0[m[34m 160 [39m [K
[32m3F8 [31m1016 [34m 00[m[34m 000 [39m [K
[32m3F9 [31m1017 [34m ███ █ 71[m[34m 113 [39m [K
[32m3FA [31m1018 [34m 00[m[34m 000 [39m [K
[32m3FB [31m1019 [34m 00[m[34m 000 [39m [K
[32m3FC [31m1020 [34m ███ █ 71[m[34m 113 [39m [K
[32m3FD [31m1021 [34m █ 10[m[34m 016 [39m [K
[32m3FE [31m1022 [34m 00[m[34m 000 [39m [K
[32m3FF [31m1023 [34m ███ █ 71[m[34m 113 [39m [K
[32m400 [31m1024 [34m █ █ 12[m[34m 018 [39m [K
[32m401 [31m1025 [34m 00[m[34m 000 [39m [K
[32m402 [31m1026 [34m ███ █ 71[m[34m 113 [39m [K
[32m403 [31m1027 [34m █ █ 12[m[34m 018 [39m [K
[32m404 [31m1028 [34m █ 40[m[34m 064 [39m [K
[32m405 [31m1029 [34m ███ 70[m[34m 112 [39m [K
[32m406 [31m1030 [34m█ ██ B0[m[34m 176 [39m [K
[32m407 [31m1031 [34m 00[m[34m 000 [39m [K
[32m408 [31m1032 [34m█ 80[m[34m 128 [39m [K
[32m409 [31m1033 [34m 00[m[34m 000 [39m [K
[32m40A [31m1034 [34m 00[m[34m 000 [39m [K
[32m40B [31m1035 [34m█ █ 84[m[34m 132 [39m [K
[32m40C [31m1036 [34m 00[m[34m 000 [39m [K
[32m40D [31m1037 [34m 00[m[34m 000 [39m [K
[32m40E [31m1038 [34m█ █ 84[m[34m 132 [39m [K
[32m40F [31m1039 [34m█ 80[m[34m 128 [39m [K
[32m410 [31m1040 [34m 00[m[34m 000 [39m [K
[32m411 [31m1041 [34m█ █ 84[m[34m 132 [39m [K
[32m412 [31m1042 [34m█ █ 90[m[34m 144 [39m [K
[32m413 [31m1043 [34m 00[m[34m 000 [39m [K
[32m414 [31m1044 [34m█ █ █ 85[m[34m 133 [39m [K
[32m415 [31m1045 [34m 00[m[34m 000 [39m [K
[32m416 [31m1046 [34m 00[m[34m 000 [39m [K
[32m417 [31m1047 [34m█ █ 88[m[34m 136 [39m [K
[32m418 [31m1048 [34m 00[m[34m 000 [39m [K
[32m419 [31m1049 [34m 00[m[34m 000 [39m [K
[32m41A [31m1050 [34m█ █ 88[m[34m 136 [39m [K
[32m41B [31m1051 [34m█ 80[m[34m 128 [39m [K
[32m41C [31m1052 [34m 00[m[34m 000 [39m [K
[32m41D [31m1053 [34m█ █ 88[m[34m 136 [39m [K
[32m41E [31m1054 [34m█ █ 90[m[34m 144 [39m [K
[32m41F [31m1055 [34m 00[m[34m 000 [39m [K
[32m420 [31m1056 [34m█ █ 88[m[34m 136 [39m [K
[32m421 [31m1057 [34m█ █ █ 92[m[34m 146 [39m [K
[32m422 [31m1058 [34m 00[m[34m 000 [39m [K
[32m423 [31m1059 [34m█ █ █ 85[m[34m 133 [39m [K
[32m424 [31m1060 [34m█ 80[m[34m 128 [39m [K
[32m425 [31m1061 [34m 00[m[34m 000 [39m [K
[32m426 [31m1062 [34m█ ██ 8C[m[34m 140 [39m [K
[32m427 [31m1063 [34m 00[m[34m 000 [39m [K
[32m428 [31m1064 [34m 00[m[34m 000 [39m [K
[32m429 [31m1065 [34m█ ██ 8C[m[34m 140 [39m [K
[32m42A [31m1066 [34m█ 80[m[34m 128 [39m [K
[32m42B [31m1067 [34m 00[m[34m 000 [39m [K
[32m42C [31m1068 [34m█ ██ 8C[m[34m 140 [39m [K
[32m42D [31m1069 [34m█ █ 90[m[34m 144 [39m [K
[32m42E [31m1070 [34m 00[m[34m 000 [39m [K
[32m42F [31m1071 [34m█ ██ 8C[m[34m 140 [39m [K
[32m430 [31m1072 [34m█ █ █ 92[m[34m 146 [39m [K
[32m431 [31m1073 [34m 00[m[34m 000 [39m [K
[32m432 [31m1074 [34m█ ██ 8C[m[34m 140 [39m [K
[32m433 [31m1075 [34m█ █ A0[m[34m 160 [39m [K
[32m434 [31m1076 [34m 00[m[34m 000 [39m [K
[32m435 [31m1077 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m436 [31m1078 [34m 00[m[34m 000 [39m [K
[32m437 [31m1079 [34m 00[m[34m 000 [39m [K
[32m438 [31m1080 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m439 [31m1081 [34m █ 10[m[34m 016 [39m [K
[32m43A [31m1082 [34m 00[m[34m 000 [39m [K
[32m43B [31m1083 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m43C [31m1084 [34m █ █ 12[m[34m 018 [39m [K
[32m43D [31m1085 [34m 00[m[34m 000 [39m [K
[32m43E [31m1086 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m43F [31m1087 [34m █ █ 12[m[34m 018 [39m [K
[32m440 [31m1088 [34m █ 40[m[34m 064 [39m [K
[32m441 [31m1089 [34m█ ██ 8C[m[34m 140 [39m [K
[32m442 [31m1090 [34m█ ██ B0[m[34m 176 [39m [K
[32m443 [31m1091 [34m 00[m[34m 000 [39m [K
[32m444 [31m1092 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m445 [31m1093 [34m█ 80[m[34m 128 [39m [K
[32m446 [31m1094 [34m 00[m[34m 000 [39m [K
[32m447 [31m1095 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m448 [31m1096 [34m█ █ 90[m[34m 144 [39m [K
[32m449 [31m1097 [34m 00[m[34m 000 [39m [K
[32m44A [31m1098 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m44B [31m1099 [34m█ █ █ 92[m[34m 146 [39m [K
[32m44C [31m1100 [34m 00[m[34m 000 [39m [K
[32m44D [31m1101 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m44E [31m1102 [34m█ █ █ 92[m[34m 146 [39m [K
[32m44F [31m1103 [34m █ 40[m[34m 064 [39m [K
[32m450 [31m1104 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m451 [31m1105 [34m█ █ █ 94[m[34m 148 [39m [K
[32m452 [31m1106 [34m 00[m[34m 000 [39m [K
[32m453 [31m1107 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m454 [31m1108 [34m█ █ A0[m[34m 160 [39m [K
[32m455 [31m1109 [34m 00[m[34m 000 [39m [K
[32m456 [31m1110 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m457 [31m1111 [34m█ █ █ A2[m[34m 162 [39m [K
[32m458 [31m1112 [34m 00[m[34m 000 [39m [K
[32m459 [31m1113 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m45A [31m1114 [34m█ █ █ A2[m[34m 162 [39m [K
[32m45B [31m1115 [34m █ 40[m[34m 064 [39m [K
[32m45C [31m1116 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m45D [31m1117 [34m█ █ █ A2[m[34m 162 [39m [K
[32m45E [31m1118 [34m █ █ 48[m[34m 072 [39m [K
[32m45F [31m1119 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m460 [31m1120 [34m█ █ ██ 96[m[34m 150 [39m [K
[32m461 [31m1121 [34m 00[m[34m 000 [39m [K
[32m462 [31m1122 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m463 [31m1123 [34m█ ██ B0[m[34m 176 [39m [K
[32m464 [31m1124 [34m 00[m[34m 000 [39m [K
[32m465 [31m1125 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m466 [31m1126 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m467 [31m1127 [34m 00[m[34m 000 [39m [K
[32m468 [31m1128 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m469 [31m1129 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m46A [31m1130 [34m █ 40[m[34m 064 [39m [K
[32m46B [31m1131 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m46C [31m1132 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m46D [31m1133 [34m █ █ 48[m[34m 072 [39m [K
[32m46E [31m1134 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m46F [31m1135 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m470 [31m1136 [34m█ 80[m[34m 128 [39m [K
[32m471 [31m1137 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m472 [31m1138 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m473 [31m1139 [34m 00[m[34m 000 [39m [K
[32m474 [31m1140 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m475 [31m1141 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m476 [31m1142 [34m █ 40[m[34m 064 [39m [K
[32m477 [31m1143 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m478 [31m1144 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m479 [31m1145 [34m █ █ 48[m[34m 072 [39m [K
[32m47A [31m1146 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m47B [31m1147 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m47C [31m1148 [34m █ █ █ 49[m[34m 073 [39m [K
[32m47D [31m1149 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m47E [31m1150 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m47F [31m1151 [34m██ C0[m[34m 192 [39m [K
[32m480 [31m1152 [34m ███ █ 74[m[34m 116 [39m [K
[32m481 [31m1153 [34m 00[m[34m 000 [39m [K
[32m482 [31m1154 [34m 00[m[34m 000 [39m [K
[32m483 [31m1155 [34m ███ █ 74[m[34m 116 [39m [K
[32m484 [31m1156 [34m█ 80[m[34m 128 [39m [K
[32m485 [31m1157 [34m 00[m[34m 000 [39m [K
[32m486 [31m1158 [34m ███ █ 74[m[34m 116 [39m [K
[32m487 [31m1159 [34m█ █ 90[m[34m 144 [39m [K
[32m488 [31m1160 [34m 00[m[34m 000 [39m [K
[32m489 [31m1161 [34m ███ █ 74[m[34m 116 [39m [K
[32m48A [31m1162 [34m█ █ █ 92[m[34m 146 [39m [K
[32m48B [31m1163 [34m 00[m[34m 000 [39m [K
[32m48C [31m1164 [34m ███ █ 74[m[34m 116 [39m [K
[32m48D [31m1165 [34m█ █ A0[m[34m 160 [39m [K
[32m48E [31m1166 [34m 00[m[34m 000 [39m [K
[32m48F [31m1167 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m490 [31m1168 [34m 00[m[34m 000 [39m [K
[32m491 [31m1169 [34m 00[m[34m 000 [39m [K
[32m492 [31m1170 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m493 [31m1171 [34m █ 10[m[34m 016 [39m [K
[32m494 [31m1172 [34m 00[m[34m 000 [39m [K
[32m495 [31m1173 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m496 [31m1174 [34m █ █ 12[m[34m 018 [39m [K
[32m497 [31m1175 [34m 00[m[34m 000 [39m [K
[32m498 [31m1176 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m499 [31m1177 [34m █ █ 12[m[34m 018 [39m [K
[32m49A [31m1178 [34m █ 40[m[34m 064 [39m [K
[32m49B [31m1179 [34m ███ █ 74[m[34m 116 [39m [K
[32m49C [31m1180 [34m█ ██ B0[m[34m 176 [39m [K
[32m49D [31m1181 [34m 00[m[34m 000 [39m [K
[32m49E [31m1182 [34m █ 01[m[34m 001[33m praeter[39m [K
[32m49F [31m1183 [34m 00[m[34m 000 [39m [K
[32m4A0 [31m1184 [34m 00[m[34m 000 [39m [K
[32m4A1 [31m1185 [34m █ 08[m[34m 008 [39m [K
[32m4A2 [31m1186 [34m 00[m[34m 000 [39m [K
[32m4A3 [31m1187 [34m 00[m[34m 000 [39m [K
[32m4A4 [31m1188 [34m 00[m[34m 000 [39m [K
[32m4A5 [31m1189 [34m 00[m[34m 000 [39m [K
[32m4A6 [31m1190 [34m 00[m[34m 000 [39m [K
[32m4A7 [31m1191 [34m 00[m[34m 000 [39m [K
[32m4A8 [31m1192 [34m 00[m[34m 000 [39m [K
[32m4A9 [31m1193 [34m 00[m[34m 000 [39m [K
[32m4AA [31m1194 [34m 00[m[34m 000 [39m [K
[32m4AB [31m1195 [34m 00[m[34m 000 [39m [K
[32m4AC [31m1196 [34m 00[m[34m 000 [39m [K
[32m4AD [31m1197 [34m 00[m[34m 000 [39m [K
[32m4AE [31m1198 [34m 00[m[34m 000 [39m [K
[32m4AF [31m1199 [34m 00[m[34m 000 [39m [K
[32m4B0 [31m1200 [34m █ 02[m[34m 002 [39m [K
[32m4B1 [31m1201 [34m 00[m[34m 000 [39m [K
[32m4B2 [31m1202 [34m █ █ 12[m[34m 018 [39m [K
[32m4B3 [31m1203 [34m ██ 03[m[34m 003 [39m [K
[32m4B4 [31m1204 [34m █ 01[m[34m 001 [39m [K
[32m4B5 [31m1205 [34m █ 01[m[34m 001 [39m [K
[32m4B6 [31m1206 [34m ██ 03[m[34m 003 [39m [K
[32m4B7 [31m1207 [34m 00[m[34m 000 [39m [K
[32m4B8 [31m1208 [34m 00[m[34m 000 [39m [K
[32m4B9 [31m1209 [34m 00[m[34m 000 [39m [K
[32m4BA [31m1210 [34m 00[m[34m 000 [39m [K
[32m4BB [31m1211 [34m 00[m[34m 000 [39m [K
[32m4BC [31m1212 [34m 00[m[34m 000 [39m [K
[32m4BD [31m1213 [34m 00[m[34m 000 [39m [K
[32m4BE [31m1214 [34m 00[m[34m 000 [39m [K
[32m4BF [31m1215 [34m 00[m[34m 000 [39m [K
[32m4C0 [31m1216 [34m 00[m[34m 000 [39m [K
[32m4C1 [31m1217 [34m 00[m[34m 000 [39m [K
[32m4C2 [31m1218 [34m ██ 03[m[34m 003 [39m [K
[32m4C3 [31m1219 [34m 00[m[34m 000 [39m [K
[32m4C4 [31m1220 [34m █ ██ 16[m[34m 022 [39m [K
[32m4C5 [31m1221 [34m █ 01[m[34m 001 [39m [K
[32m4C6 [31m1222 [34m █ 01[m[34m 001 [39m [K
[32m4C7 [31m1223 [34m ██ 03[m[34m 003 [39m [K
[32m4C8 [31m1224 [34m ██ 03[m[34m 003 [39m [K
[32m4C9 [31m1225 [34m 00[m[34m 000 [39m [K
[32m4CA-4CB [31m1226-1227 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4CC-4CD [31m1228-1229 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4CE-4CF [31m1230-1231 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D0-4D1 [31m1232-1233 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D2-4D3 [31m1234-1235 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D4-4D5 [31m1236-1237 [34m 00[m[34m00[m[34m 00000[38;2;255;127;63m! huc[39m [K
[32m4D6-4D7 [31m1238-1239 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D8-4D9 [31m1240-1241 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4DA-4DB [31m1242-1243 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4DC-4DD [31m1244-1245 [34m 00[m[34m00[m[34m 00000[33m illuc[39m [K
[32m4DE-4DF [31m1246-1247 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4E0-4E1 [31m1248-1249 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4E2-4E3 [31m1250-1251 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4E4-4E5 [31m1252-1253 [34m 00[m[34m00[m[34m 00000[33m finis[39m [K
The register usage is as follows:
V0 Memory movement.
V1 Memory movement and horizontal sprite coordinates.
V2 Memory movement and vertical sprite coordinates.
V3 Memory movement and an index.
V4 Memory movement.
V5 Memory movement.
V6 Memory movement.
V7 Memory movement and serve as scratch.
V8 Serve as scratch.
V9 Serve as scratch.
VA Serve as scratch.
VB Hold a counter.
VC Hold a counter.
VD Hold a constant length.
VE Hold a delay.
VF Manipulate the delay register hold special results.
This program initializes registers, sets a delay, and saves its registers to the end of the program:
[32m200-201 [31m0512-0513 [34m█▄█ ▄ █▄ A[4m2[m[34m[4mEB[m[34m 41707 [39m I ← [4millinc[m[K
[32m202-203 [31m0514-0515 [34m▀██▀▀█▀▄ FE[m[34m65[m[34m 65125 [39m Load V0→VE; I ← I + 15[K
[32m204-205 [31m0516-0517 [34m▀▀▀█▀█▀▄ FE[m[34m15[m[34m 65045[33m primus[39m delay ← VE[K
[32m206-207 [31m0518-0519 [34m█▄█ █ A[4m4[m[34m[4mE4[m[34m 42212 [39m I ← [4mfinis[m[K
[32m208-209 [31m0520-0521 [34m▀█▀█▀█▀▄ FE[m[34m55[m[34m 65109 [39m Save V0→VE; I ← I + 15[K
The reason for saving the registers is this secondary loop which scans the list of exceptions during
each iteration. If the first octet be zero, then scanning is finished; otherwise, the following two
octets are taken to compare against registers eleven and twelve; if both match, the exception holds,
and the following fifteen octets will be shown, with the registers being restored beforehand; in all
other cases, the following fifteen octets will be skipped and the scanning of the list continues on:
[32m20A-20B [31m0522-0523 [34m█ ▀▄▄█▄ A[4m4[m[34m[4m9E[m[34m 42142 [39m I ← [4mpraeter[m[K
[32m20C-20D [31m0524-0525 [34m▀██▀ ▄ ▄ F0[m[34m65[m[34m 61541[33m secundus[39m Load V0→V0; I ← I + 01[K
[32m20E-20F [31m0526-0527 [34m ▀ 40[m[34m00[m[34m 16384 [39m Skip next if V0 <> 000[K
[32m210-211 [31m0528-0529 [34m ▄▀▄▄▀ 1[4m2[m[34m[4m2C[m[34m 04652 [39m Jump to [4mregula[m[K
[32m212-213 [31m0530-0531 [34m▀██▀ ▄ █ F1[m[34m65[m[34m 61797 [39m Load V0→V1; I ← I + 02[K
[32m214-215 [31m0532-0533 [34m▄▀▄█ 50[m[34mB0[m[34m 20656 [39m Skip next if V0 = VB[K
[32m216-217 [31m0534-0535 [34m ▄▀▄ ▀ 1[4m2[m[34m[4m28[m[34m 04648 [39m Jump to [4miterum[m[K
[32m218-219 [31m0536-0537 [34m▄█ ▀ ▀ 51[m[34mC0[m[34m 20928 [39m Skip next if V1 = VC[K
[32m21A-21B [31m0538-0539 [34m ▄▀▄ ▀ 1[4m2[m[34m[4m28[m[34m 04648 [39m Jump to [4miterum[m[K
[32m21C-21D [31m0540-0541 [34m▀██▀▀█▀▄ FE[m[34m65[m[34m 65125 [39m Load V0→VE; I ← I + 15[K
[32m21E-21F [31m0542-0543 [34m█▄▀▄ █ ▄ A[4m4[m[34m[4mD5[m[34m 42197 [39m I ← [4mhuc[m[K
[32m220-221 [31m0544-0545 [34m▀█▀█▀█▀▄ FE[m[34m55[m[34m 65109 [39m Save V0→VE; I ← I + 15[K
[32m222-223 [31m0546-0547 [34m█▄█ █ A[4m4[m[34m[4mE4[m[34m 42212 [39m I ← [4mfinis[m[K
[32m224-225 [31m0548-0549 [34m▀██▀▀█▀▄ FE[m[34m65[m[34m 65125 [39m Load V0→VE; I ← I + 15[K
[32m226-227 [31m0550-0551 [34m▄ █▄ █ 1[4m2[m[34m[4m9A[m[34m 04762 [39m Jump to [4mostendo[m[K
[32m228-229 [31m0552-0553 [34m▀▀▀███▄▀ FD[m[34m1E[m[34m 64798[33m iterum[39m I ← I + VD[K
[32m22A-22B [31m0554-0555 [34m ▀▄▄▀ 1[4m2[m[34m[4m0C[m[34m 04620 [39m Jump to [4msecundus[m[K
Regular iteration shows the result of concatenating two indexed tables; the first table, of hextets,
stores fourteen pairs of bits in each entry, taken successively by routine and stored in those first
seven registers; swapping the registers used, after the fourth call, produces no crease and is easy:
[32m22C-22D [31m0556-0557 [34m▀ █ █▀ A[4m3[m[34m[4m22[m[34m 41762[33m regula[39m I ← [4mcentesima[m[K
[32m22E-22F [31m0558-0559 [34m▀▀▀██▄█▀ FB[m[34m1E[m[34m 64286 [39m I ← I + VB[K
[32m230-231 [31m0560-0561 [34m▀▀▀██▄█▀ FB[m[34m1E[m[34m 64286 [39m I ← I + VB[K
[32m232-233 [31m0562-0563 [34m▀██▀ ▄ █ F1[m[34m65[m[34m 61797 [39m Load V0→V1; I ← I + 02[K
[32m234-235 [31m0564-0565 [34m▀ ▀ ▀ 89[m[34m00[m[34m 35072 [39m V9 ← V0[K
[32m236-237 [31m0566-0567 [34m▀ ▄▀ 88[m[34m10[m[34m 34832 [39m V8 ← V1[K
[32m238-239 [31m0568-0569 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m23A-23B [31m0570-0571 [34m█ ▄ 80[m[34mA0[m[34m 32928 [39m V0 ← VA[K
[32m23C-23D [31m0572-0573 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m23E-23F [31m0574-0575 [34m█ ▄ ▀ 81[m[34mA0[m[34m 33184 [39m V1 ← VA[K
[32m240-241 [31m0576-0577 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m242-243 [31m0578-0579 [34m█ ▄ ▀ 82[m[34mA0[m[34m 33440 [39m V2 ← VA[K
[32m244-245 [31m0580-0581 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m246-247 [31m0582-0583 [34m█ ▄ ▀▀ 83[m[34mA0[m[34m 33696 [39m V3 ← VA[K
[32m248-249 [31m0584-0585 [34m█ ▀ ▀ 89[m[34m80[m[34m 35200 [39m V9 ← V8[K
[32m24A-24B [31m0586-0587 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m24C-24D [31m0588-0589 [34m█ ▄ ▀ 84[m[34mA0[m[34m 33952 [39m V4 ← VA[K
[32m24E-24F [31m0590-0591 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m250-251 [31m0592-0593 [34m█ ▄ ▀ ▀ 85[m[34mA0[m[34m 34208 [39m V5 ← VA[K
[32m252-253 [31m0594-0595 [34m▄▄█ ▄█ 2[4m2[m[34m[4mE6[m[34m 08934 [39m Call [4mduo digiti[m[K
[32m254-255 [31m0596-0597 [34m█ ▄ ▀▀ 86[m[34mA0[m[34m 34464 [39m V6 ← VA[K
[32m256-257 [31m0598-0599 [34m█▄▀▄ █ ▄ A[4m4[m[34m[4mD5[m[34m 42197 [39m I ← [4mhuc[m[K
[32m258-259 [31m0600-0601 [34m▀█▀█ █▀▄ F6[m[34m55[m[34m 63061 [39m Save V0→V6; I ← I + 07[K
The second table, of octet triplets, stores eight triplets of bits in each entry, taken successively
by routine and stored in those first eight registers; swapping the registers used, after that second
call, produces a slight crease corrected by undoing a shift before swapping in the next and resuming
with a call of a more primitive routine. The next crease, after another two calls, is not as easily
corrected; it's easier to abandon the routine and call the primitive routine again, before calling a
second primitive routine, and only then resuming normally. Finally, the eight octets are deposited:
[32m25A-25B [31m0602-0603 [34m▀▄█▄ █▀ A[4m3[m[34m[4m72[m[34m 41842 [39m I ← [4mde centum[m[K
[32m25C-25D [31m0604-0605 [34m▀▀▀███▄ FC[m[34m1E[m[34m 64542 [39m I ← I + VC[K
[32m25E-25F [31m0606-0607 [34m▀▀▀███▄ FC[m[34m1E[m[34m 64542 [39m I ← I + VC[K
[32m260-261 [31m0608-0609 [34m▀▀▀███▄ FC[m[34m1E[m[34m 64542 [39m I ← I + VC[K
[32m262-263 [31m0610-0611 [34m▀██▀ ▄▀▄ F2[m[34m65[m[34m 62053 [39m Load V0→V2; I ← I + 03[K
[32m264-265 [31m0612-0613 [34m▀ ▀ ▀ 89[m[34m00[m[34m 35072 [39m V9 ← V0[K
[32m266-267 [31m0614-0615 [34m▀ ▄ ▀▀▀ 87[m[34m10[m[34m 34576 [39m V7 ← V1[K
[32m268-269 [31m0616-0617 [34m▀ ▄ ▀ 88[m[34m20[m[34m 34848 [39m V8 ← V2[K
[32m26A-26B [31m0618-0619 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m26C-26D [31m0620-0621 [34m█ ▄ 80[m[34mA0[m[34m 32928 [39m V0 ← VA[K
[32m26E-26F [31m0622-0623 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m270-271 [31m0624-0625 [34m█ ▄ ▀ 81[m[34mA0[m[34m 33184 [39m V1 ← VA[K
[32m272-273 [31m0626-0627 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m274-275 [31m0628-0629 [34m█ ▄ ▀▄█ 8A[m[34mA6[m[34m 35494 [39m VA ← VA ÷ 2; VF ← LSB[K
[32m276-277 [31m0630-0631 [34m▀▄▄▄▀ ▀ 89[m[34m70[m[34m 35184 [39m V9 ← V7[K
[32m278-279 [31m0632-0633 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924 [39m Call [4msemel[m[K
[32m27A-27B [31m0634-0635 [34m█ ▄ ▀ 82[m[34mA0[m[34m 33440 [39m V2 ← VA[K
[32m27C-27D [31m0636-0637 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m27E-27F [31m0638-0639 [34m█ ▄ ▀▀ 83[m[34mA0[m[34m 33696 [39m V3 ← VA[K
[32m280-281 [31m0640-0641 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m282-283 [31m0642-0643 [34m█ ▄ ▀ 84[m[34mA0[m[34m 33952 [39m V4 ← VA[K
[32m284-285 [31m0644-0645 [34m ▀▀ ▀ ▀ 6A[m[34m00[m[34m 27136 [39m VA ← 000[K
[32m286-287 [31m0646-0647 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924 [39m Call [4msemel[m[K
[32m288-289 [31m0648-0649 [34m█ ▀ ▀ 89[m[34m80[m[34m 35200 [39m V9 ← V8[K
[32m28A-28B [31m0650-0651 [34m▄▄▀▄▄ █ 2[4m2[m[34m[4mDA[m[34m 08922 [39m Call [4mbis[m[K
[32m28C-28D [31m0652-0653 [34m█ ▄ ▀ ▀ 85[m[34mA0[m[34m 34208 [39m V5 ← VA[K
[32m28E-28F [31m0654-0655 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m290-291 [31m0656-0657 [34m█ ▄ ▀▀ 86[m[34mA0[m[34m 34464 [39m V6 ← VA[K
[32m292-293 [31m0658-0659 [34m▄▄█▄ ▀ 2[4m2[m[34m[4mF0[m[34m 08944 [39m Call [4mtres digiti[m[K
[32m294-295 [31m0660-0661 [34m█ ▄ ▀▀▀ 87[m[34mA0[m[34m 34720 [39m V7 ← VA[K
[32m296-297 [31m0662-0663 [34m█▄▀▄▄█ A[4m4[m[34m[4mDC[m[34m 42204 [39m I ← [4milluc[m[K
[32m298-299 [31m0664-0665 [34m▀█▀█ █▀█ F7[m[34m55[m[34m 63317 [39m Save V0→V7; I ← I + 08[K
The ranges of both tables have blank values, and concatenation is achieved in the showing routine by
skipping such blanks. Firstly, the coordinates and index are initialized, and each letter is shown,
by indexing into a table of values five octets long; blanks are ignored only after indexing, causing
no coordinate changes. Once all fifteen possible letters have been shown or not, does the loop end:
[32m29A-29B [31m0666-0667 [34m ▀▀ ▄▀ 61[m[34m02[m[34m 24834[33m ostendo[39m V1 ← 002[K
[32m29C-29D [31m0668-0669 [34m ▀▀ █ 62[m[34m02[m[34m 25090 [39m V2 ← 002[K
[32m29E-29F [31m0670-0671 [34m ▀▀ ▀▀ 63[m[34m00[m[34m 25344 [39m V3 ← 000[K
[32m2A0-2A1 [31m0672-0673 [34m█▄▀▄ █ ▄ A[4m4[m[34m[4mD5[m[34m 42197[33m rursus[39m I ← [4mhuc[m[K
[32m2A2-2A3 [31m0674-0675 [34m▀▀▀█▄▄█▀ F3[m[34m1E[m[34m 62238 [39m I ← I + V3[K
[32m2A4-2A5 [31m0676-0677 [34m▀██▀ ▄ ▄ F0[m[34m65[m[34m 61541 [39m Load V0→V0; I ← I + 01[K
[32m2A6-2A7 [31m0678-0679 [34m█▄█▄ ▄▀▄ A[4m2[m[34m[4mF5[m[34m 41717 [39m I ← [4mlitterae[m[K
[32m2A8-2A9 [31m0680-0681 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2AA-2AB [31m0682-0683 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2AC-2AD [31m0684-0685 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2AE-2AF [31m0686-0687 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2B0-2B1 [31m0688-0689 [34m▀▀▀█▄▄▄ F0[m[34m1E[m[34m 61470 [39m I ← I + V0[K
[32m2B2-2B3 [31m0690-0691 [34m ▀▀ 30[m[34m00[m[34m 12288 [39m Skip next if V0 = 000[K
[32m2B4-2B5 [31m0692-0693 [34m▀▀▄▀ ▄ █ D1[m[34m25[m[34m 53541 [39m Draw 08×05 at V1,V2; VF ← XOR[K
[32m2B6-2B7 [31m0694-0695 [34m ▀▀ 30[m[34m00[m[34m 12288 [39m Skip next if V0 = 000[K
[32m2B8-2B9 [31m0696-0697 [34m ▀▀▀ ▄ ▀ 71[m[34m04[m[34m 28932 [39m V1 ← V1 + 004[K
[32m2BA-2BB [31m0698-0699 [34m ▀▀▀ ▀█ 73[m[34m01[m[34m 29441 [39m V3 ← V3 + 001[K
[32m2BC-2BD [31m0700-0701 [34m ▀▀▄▄██ 33[m[34m0F[m[34m 13071 [39m Skip next if V3 = 015[K
[32m2BE-2BF [31m0702-0703 [34m▄ ▄▀ ▀ 1[4m2[m[34m[4mA0[m[34m 04768 [39m Jump to [4mrursus[m[K
The integer to show is incremented and the registers holding it are kept within their domains: below
one hundred and below forty, respectively. The program ends when the integer becomes four thousand:
[32m2C0-2C1 [31m0704-0705 [34m ▀▀▀▀▀ ▄ 7C[m[34m01[m[34m 31745 [39m VC ← VC + 001[K
[32m2C2-2C3 [31m0706-0707 [34m █▄ ▀█ 4C[m[34m64[m[34m 19556 [39m Skip next if VC <> 100[K
[32m2C4-2C5 [31m0708-0709 [34m ▀▀ ▀▀ 6C[m[34m00[m[34m 27648 [39m VC ← 000[K
[32m2C6-2C7 [31m0710-0711 [34m ▀ ▀▀ 4C[m[34m00[m[34m 19456 [39m Skip next if VC <> 000[K
[32m2C8-2C9 [31m0712-0713 [34m ▀▀▀▀ ▀█ 7B[m[34m01[m[34m 31489 [39m VB ← VB + 001[K
[32m2CA-2CB [31m0714-0715 [34m ▀▄ █ ▀▀ 4B[m[34m28[m[34m 19240 [39m Skip next if VB <> 040[K
[32m2CC-2CD [31m0716-0717 [34m▄▄ ▀▄▄▀ 1[4m2[m[34m[4mCC[m[34m 04812[33m se[39m Jump to [4mse[m[K
Here the delay is exhausted before clearing the screen and restarting the prime loop of the program:
[32m2CE-2CF [31m0718-0719 [34m▀▀▀▀▀███ FF[m[34m07[m[34m 65287[33m mora[39m VF ← delay[K
[32m2D0-2D1 [31m0720-0721 [34m ▀▀▀▀▀▀ 3F[m[34m00[m[34m 16128 [39m Skip next if VF = 000[K
[32m2D2-2D3 [31m0722-0723 [34m▄▄ ▀▄▄█ 1[4m2[m[34m[4mCE[m[34m 04814 [39m Jump to [4mmora[m[K
[32m2D4-2D5 [31m0724-0725 [34m▄▄▄ 00[m[34mE0[m[34m 00224 [39m Clear the screen[K
[32m2D6-2D7 [31m0726-0727 [34m ▀ ▄▀ 1[4m2[m[34m[4m04[m[34m 04612 [39m Jump to [4mprimus[m[K
These three routines take the first three, two, or single bits from the ninth to the tenth register:
[32m2D8-2D9 [31m0728-0729 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924[33m ter[39m Call [4msemel[m[K
[32m2DA-2DB [31m0730-0731 [34m▄▄▀▄▄▄▀ 2[4m2[m[34m[4mDC[m[34m 08924[33m bis[39m Call [4msemel[m[K
[32m2DC-2DD [31m0732-0733 [34m█ ▄ █▄█ 8A[m[34mAE[m[34m 35502[33m semel[39m VA ← VA × 2; VF ← MSB[K
[32m2DE-2DF [31m0734-0735 [34m█ ▄█▄▄▀ 89[m[34m9E[m[34m 35230 [39m V9 ← V9 × 2; VF ← MSB[K
[32m2E0-2E1 [31m0736-0737 [34m ▀▀▀▀▀▀ 3F[m[34m00[m[34m 16128 [39m Skip next if VF = 000[K
[32m2E2-2E3 [31m0738-0739 [34m ▀▀▀▀ ▀▄ 7A[m[34m01[m[34m 31233 [39m VA ← VA + 001[K
[32m2E4-2E5 [31m0740-0741 [34m▄▄▄ ▄▄▄ 00[m[34mEE[m[34m 00238 [39m Return[K
These two routines blank the tenth register before calling the others, and the former normalizes the
result for the table of letters; I later saw I could've confused the table to save two instructions.
Following the code are the starting values for the eleventh through fourteenth registers. Following
those are the table of letters, with the zeroeth letter unused, and the last being for an exception;
the letters are four-by-five, as this is the biggest width that fits fifteen on the screen in a row;
notice how I cheated for that last letter, which is largest, so that I could have a decent letter N:
[32m2E6-2E7 [31m0742-0743 [34m ▀▀ ▀ ▀ 6A[m[34m00[m[34m 27136[33m duo digiti[39m VA ← 000[K
[32m2E8-2E9 [31m0744-0745 [34m▄▄▀▄▄ █ 2[4m2[m[34m[4mDA[m[34m 08922 [39m Call [4mbis[m[K
[32m2EA-2EB [31m0746-0747 [34m ▀▀▀ ▀ 3A[m[34m00[m[34m 14848[38;2;255;127;63m! illinc[39m Skip next if VA = 000[K
[32m2EC-2ED [31m0748-0749 [34m ▀▀▀▀▄▀ 7A[m[34m04[m[34m 31236 [39m VA ← VA + 004[K
[32m2EE-2EF [31m0750-0751 [34m▄▄▄ ▄▄▄ 00[m[34mEE[m[34m 00238 [39m Return[K
[32m2F0-2F1 [31m0752-0753 [34m ▀▀ ▀ ▀ 6A[m[34m00[m[34m 27136[33m tres digiti[39m VA ← 000[K
[32m2F2-2F3 [31m0754-0755 [34m▄▄▀▄▄ ▀ 2[4m2[m[34m[4mD8[m[34m 08920 [39m Call [4mter[m[K
[32m2F4-2F5 [31m0756-0757 [34m▄▄▄ ▄▄▄ 00[m[34mEE[m[34m 00238[38;2;255;127;63m! litterae[39m Return[K
[32m2F6 [31m0758 [34m 00[m[34m 000 [39m [K
[32m2F7 [31m0759 [34m 00[m[34m 000 [39m [K
[32m2F8 [31m0760 [34m ████ 0F[m[34m 015 [39m [K
[32m2F9 [31m0761 [34m ████ 1E[m[34m 030 [39m [K
[32m2FA [31m0762 [34m███ E0[m[34m 224[33m I[39m [K
[32m2FB [31m0763 [34m █ 40[m[34m 064 [39m [K
[32m2FC [31m0764 [34m █ 40[m[34m 064 [39m [K
[32m2FD [31m0765 [34m █ 40[m[34m 064 [39m [K
[32m2FE [31m0766 [34m███ E0[m[34m 224 [39m [K
[32m2FF [31m0767 [34m█ █ A0[m[34m 160[33m V[39m [K
[32m300 [31m0768 [34m█ █ A0[m[34m 160 [39m [K
[32m301 [31m0769 [34m█ █ A0[m[34m 160 [39m [K
[32m302 [31m0770 [34m█ █ A0[m[34m 160 [39m [K
[32m303 [31m0771 [34m █ 40[m[34m 064 [39m [K
[32m304 [31m0772 [34m█ █ A0[m[34m 160[33m X[39m [K
[32m305 [31m0773 [34m█ █ A0[m[34m 160 [39m [K
[32m306 [31m0774 [34m █ 40[m[34m 064 [39m [K
[32m307 [31m0775 [34m█ █ A0[m[34m 160 [39m [K
[32m308 [31m0776 [34m█ █ A0[m[34m 160 [39m [K
[32m309 [31m0777 [34m█ 80[m[34m 128[33m L[39m [K
[32m30A [31m0778 [34m█ 80[m[34m 128 [39m [K
[32m30B [31m0779 [34m█ 80[m[34m 128 [39m [K
[32m30C [31m0780 [34m█ 80[m[34m 128 [39m [K
[32m30D [31m0781 [34m███ E0[m[34m 224 [39m [K
[32m30E [31m0782 [34m███ E0[m[34m 224[33m C[39m [K
[32m30F [31m0783 [34m█ 80[m[34m 128 [39m [K
[32m310 [31m0784 [34m█ 80[m[34m 128 [39m [K
[32m311 [31m0785 [34m█ 80[m[34m 128 [39m [K
[32m312 [31m0786 [34m███ E0[m[34m 224 [39m [K
[32m313 [31m0787 [34m██ C0[m[34m 192[33m D[39m [K
[32m314 [31m0788 [34m█ █ A0[m[34m 160 [39m [K
[32m315 [31m0789 [34m█ █ A0[m[34m 160 [39m [K
[32m316 [31m0790 [34m█ █ A0[m[34m 160 [39m [K
[32m317 [31m0791 [34m██ C0[m[34m 192 [39m [K
[32m318 [31m0792 [34m█ █ A0[m[34m 160[33m M[39m [K
[32m319 [31m0793 [34m███ E0[m[34m 224 [39m [K
[32m31A [31m0794 [34m███ E0[m[34m 224 [39m [K
[32m31B [31m0795 [34m███ E0[m[34m 224 [39m [K
[32m31C [31m0796 [34m█ █ A0[m[34m 160 [39m [K
[32m31D [31m0797 [34m█ █ 90[m[34m 144[33m N[39m [K
[32m31E [31m0798 [34m██ █ D0[m[34m 208 [39m [K
[32m31F [31m0799 [34m████ F0[m[34m 240 [39m [K
[32m320 [31m0800 [34m█ ██ B0[m[34m 176 [39m [K
[32m321 [31m0801 [34m█ █ 90[m[34m 144 [39m [K
This table encodes a blank followed by every hundredth integer, from C to MMMCM. Its domain is from
zero to thirty-nine. Each value is two bits in length, with the seventh pair always ignored. These
values are encoded in the following order: blank, C, D, then M. I rather like it, and it's optimal:
[32m322 [31m0802 [34m 00[m[34m 000[33m centesima[39m [K
[32m323 [31m0803 [34m 00[m[34m 000 [39m [K
[32m324 [31m0804 [34m █ 40[m[34m 064 [39m [K
[32m325 [31m0805 [34m 00[m[34m 000 [39m [K
[32m326 [31m0806 [34m █ █ 50[m[34m 080 [39m [K
[32m327 [31m0807 [34m 00[m[34m 000 [39m [K
[32m328 [31m0808 [34m █ █ █ 54[m[34m 084 [39m [K
[32m329 [31m0809 [34m 00[m[34m 000 [39m [K
[32m32A [31m0810 [34m ██ 60[m[34m 096 [39m [K
[32m32B [31m0811 [34m 00[m[34m 000 [39m [K
[32m32C [31m0812 [34m█ 80[m[34m 128 [39m [K
[32m32D [31m0813 [34m 00[m[34m 000 [39m [K
[32m32E [31m0814 [34m█ █ 90[m[34m 144 [39m [K
[32m32F [31m0815 [34m 00[m[34m 000 [39m [K
[32m330 [31m0816 [34m█ █ █ 94[m[34m 148 [39m [K
[32m331 [31m0817 [34m 00[m[34m 000 [39m [K
[32m332 [31m0818 [34m█ █ █ █ 95[m[34m 149 [39m [K
[32m333 [31m0819 [34m 00[m[34m 000 [39m [K
[32m334 [31m0820 [34m ███ 70[m[34m 112 [39m [K
[32m335 [31m0821 [34m 00[m[34m 000 [39m [K
[32m336 [31m0822 [34m██ C0[m[34m 192 [39m [K
[32m337 [31m0823 [34m 00[m[34m 000 [39m [K
[32m338 [31m0824 [34m██ █ D0[m[34m 208 [39m [K
[32m339 [31m0825 [34m 00[m[34m 000 [39m [K
[32m33A [31m0826 [34m██ █ █ D4[m[34m 212 [39m [K
[32m33B [31m0827 [34m 00[m[34m 000 [39m [K
[32m33C [31m0828 [34m██ █ █ █ D5[m[34m 213 [39m [K
[32m33D [31m0829 [34m 00[m[34m 000 [39m [K
[32m33E [31m0830 [34m██ ██ D8[m[34m 216 [39m [K
[32m33F [31m0831 [34m 00[m[34m 000 [39m [K
[32m340 [31m0832 [34m███ E0[m[34m 224 [39m [K
[32m341 [31m0833 [34m 00[m[34m 000 [39m [K
[32m342 [31m0834 [34m███ █ E4[m[34m 228 [39m [K
[32m343 [31m0835 [34m 00[m[34m 000 [39m [K
[32m344 [31m0836 [34m███ █ █ E5[m[34m 229 [39m [K
[32m345 [31m0837 [34m 00[m[34m 000 [39m [K
[32m346 [31m0838 [34m███ █ █ E5[m[34m 229 [39m [K
[32m347 [31m0839 [34m █ 40[m[34m 064 [39m [K
[32m348 [31m0840 [34m██ ███ DC[m[34m 220 [39m [K
[32m349 [31m0841 [34m 00[m[34m 000 [39m [K
[32m34A [31m0842 [34m████ F0[m[34m 240 [39m [K
[32m34B [31m0843 [34m 00[m[34m 000 [39m [K
[32m34C [31m0844 [34m████ █ F4[m[34m 244 [39m [K
[32m34D [31m0845 [34m 00[m[34m 000 [39m [K
[32m34E [31m0846 [34m████ █ █ F5[m[34m 245 [39m [K
[32m34F [31m0847 [34m 00[m[34m 000 [39m [K
[32m350 [31m0848 [34m████ █ █ F5[m[34m 245 [39m [K
[32m351 [31m0849 [34m █ 40[m[34m 064 [39m [K
[32m352 [31m0850 [34m████ ██ F6[m[34m 246 [39m [K
[32m353 [31m0851 [34m 00[m[34m 000 [39m [K
[32m354 [31m0852 [34m█████ F8[m[34m 248 [39m [K
[32m355 [31m0853 [34m 00[m[34m 000 [39m [K
[32m356 [31m0854 [34m█████ █ F9[m[34m 249 [39m [K
[32m357 [31m0855 [34m 00[m[34m 000 [39m [K
[32m358 [31m0856 [34m█████ █ F9[m[34m 249 [39m [K
[32m359 [31m0857 [34m █ 40[m[34m 064 [39m [K
[32m35A [31m0858 [34m█████ █ F9[m[34m 249 [39m [K
[32m35B [31m0859 [34m █ █ 50[m[34m 080 [39m [K
[32m35C [31m0860 [34m████ ███ F7[m[34m 247 [39m [K
[32m35D [31m0861 [34m 00[m[34m 000 [39m [K
[32m35E [31m0862 [34m██████ FC[m[34m 252 [39m [K
[32m35F [31m0863 [34m 00[m[34m 000 [39m [K
[32m360 [31m0864 [34m██████ █ FD[m[34m 253 [39m [K
[32m361 [31m0865 [34m 00[m[34m 000 [39m [K
[32m362 [31m0866 [34m██████ █ FD[m[34m 253 [39m [K
[32m363 [31m0867 [34m █ 40[m[34m 064 [39m [K
[32m364 [31m0868 [34m██████ █ FD[m[34m 253 [39m [K
[32m365 [31m0869 [34m █ █ 50[m[34m 080 [39m [K
[32m366 [31m0870 [34m██████ █ FD[m[34m 253 [39m [K
[32m367 [31m0871 [34m█ 80[m[34m 128 [39m [K
[32m368 [31m0872 [34m███████ FE[m[34m 254 [39m [K
[32m369 [31m0873 [34m 00[m[34m 000 [39m [K
[32m36A [31m0874 [34m███████ FE[m[34m 254 [39m [K
[32m36B [31m0875 [34m █ 40[m[34m 064 [39m [K
[32m36C [31m0876 [34m███████ FE[m[34m 254 [39m [K
[32m36D [31m0877 [34m █ █ 50[m[34m 080 [39m [K
[32m36E [31m0878 [34m███████ FE[m[34m 254 [39m [K
[32m36F [31m0879 [34m █ █ █ 54[m[34m 084 [39m [K
[32m370 [31m0880 [34m██████ █ FD[m[34m 253 [39m [K
[32m371 [31m0881 [34m██ C0[m[34m 192 [39m [K
This table encodes a blank, then integers below one hundred, from I to XCIX; its domain is from zero
to ninety-nine. Each value is of three bits, encoded in this order: blank, I, V, X, L, C, D, and M.
[32m372 [31m0882 [34m 00[m[34m 000[33m de centum[39m [K
[32m373 [31m0883 [34m 00[m[34m 000 [39m [K
[32m374 [31m0884 [34m 00[m[34m 000 [39m [K
[32m375 [31m0885 [34m █ 20[m[34m 032 [39m [K
[32m376 [31m0886 [34m 00[m[34m 000 [39m [K
[32m377 [31m0887 [34m 00[m[34m 000 [39m [K
[32m378 [31m0888 [34m █ █ 24[m[34m 036 [39m [K
[32m379 [31m0889 [34m 00[m[34m 000 [39m [K
[32m37A [31m0890 [34m 00[m[34m 000 [39m [K
[32m37B [31m0891 [34m █ █ 24[m[34m 036 [39m [K
[32m37C [31m0892 [34m█ 80[m[34m 128 [39m [K
[32m37D [31m0893 [34m 00[m[34m 000 [39m [K
[32m37E [31m0894 [34m █ █ 28[m[34m 040 [39m [K
[32m37F [31m0895 [34m 00[m[34m 000 [39m [K
[32m380 [31m0896 [34m 00[m[34m 000 [39m [K
[32m381 [31m0897 [34m █ 40[m[34m 064 [39m [K
[32m382 [31m0898 [34m 00[m[34m 000 [39m [K
[32m383 [31m0899 [34m 00[m[34m 000 [39m [K
[32m384 [31m0900 [34m █ █ 44[m[34m 068 [39m [K
[32m385 [31m0901 [34m 00[m[34m 000 [39m [K
[32m386 [31m0902 [34m 00[m[34m 000 [39m [K
[32m387 [31m0903 [34m █ █ 44[m[34m 068 [39m [K
[32m388 [31m0904 [34m█ 80[m[34m 128 [39m [K
[32m389 [31m0905 [34m 00[m[34m 000 [39m [K
[32m38A [31m0906 [34m █ █ 44[m[34m 068 [39m [K
[32m38B [31m0907 [34m█ █ 90[m[34m 144 [39m [K
[32m38C [31m0908 [34m 00[m[34m 000 [39m [K
[32m38D [31m0909 [34m █ ██ 2C[m[34m 044 [39m [K
[32m38E [31m0910 [34m 00[m[34m 000 [39m [K
[32m38F [31m0911 [34m 00[m[34m 000 [39m [K
[32m390 [31m0912 [34m ██ 60[m[34m 096 [39m [K
[32m391 [31m0913 [34m 00[m[34m 000 [39m [K
[32m392 [31m0914 [34m 00[m[34m 000 [39m [K
[32m393 [31m0915 [34m ██ █ 64[m[34m 100 [39m [K
[32m394 [31m0916 [34m 00[m[34m 000 [39m [K
[32m395 [31m0917 [34m 00[m[34m 000 [39m [K
[32m396 [31m0918 [34m ██ █ 64[m[34m 100 [39m [K
[32m397 [31m0919 [34m█ 80[m[34m 128 [39m [K
[32m398 [31m0920 [34m 00[m[34m 000 [39m [K
[32m399 [31m0921 [34m ██ █ 64[m[34m 100 [39m [K
[32m39A [31m0922 [34m█ █ 90[m[34m 144 [39m [K
[32m39B [31m0923 [34m 00[m[34m 000 [39m [K
[32m39C [31m0924 [34m ██ █ █ 65[m[34m 101 [39m [K
[32m39D [31m0925 [34m 00[m[34m 000 [39m [K
[32m39E [31m0926 [34m 00[m[34m 000 [39m [K
[32m39F [31m0927 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A0 [31m0928 [34m 00[m[34m 000 [39m [K
[32m3A1 [31m0929 [34m 00[m[34m 000 [39m [K
[32m3A2 [31m0930 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A3 [31m0931 [34m█ 80[m[34m 128 [39m [K
[32m3A4 [31m0932 [34m 00[m[34m 000 [39m [K
[32m3A5 [31m0933 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A6 [31m0934 [34m█ █ 90[m[34m 144 [39m [K
[32m3A7 [31m0935 [34m 00[m[34m 000 [39m [K
[32m3A8 [31m0936 [34m ██ █ 68[m[34m 104 [39m [K
[32m3A9 [31m0937 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3AA [31m0938 [34m 00[m[34m 000 [39m [K
[32m3AB [31m0939 [34m ██ █ █ 65[m[34m 101 [39m [K
[32m3AC [31m0940 [34m█ 80[m[34m 128 [39m [K
[32m3AD [31m0941 [34m 00[m[34m 000 [39m [K
[32m3AE [31m0942 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3AF [31m0943 [34m 00[m[34m 000 [39m [K
[32m3B0 [31m0944 [34m 00[m[34m 000 [39m [K
[32m3B1 [31m0945 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3B2 [31m0946 [34m█ 80[m[34m 128 [39m [K
[32m3B3 [31m0947 [34m 00[m[34m 000 [39m [K
[32m3B4 [31m0948 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3B5 [31m0949 [34m█ █ 90[m[34m 144 [39m [K
[32m3B6 [31m0950 [34m 00[m[34m 000 [39m [K
[32m3B7 [31m0951 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3B8 [31m0952 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3B9 [31m0953 [34m 00[m[34m 000 [39m [K
[32m3BA [31m0954 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3BB [31m0955 [34m█ █ A0[m[34m 160 [39m [K
[32m3BC [31m0956 [34m 00[m[34m 000 [39m [K
[32m3BD [31m0957 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3BE [31m0958 [34m 00[m[34m 000 [39m [K
[32m3BF [31m0959 [34m 00[m[34m 000 [39m [K
[32m3C0 [31m0960 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3C1 [31m0961 [34m █ 10[m[34m 016 [39m [K
[32m3C2 [31m0962 [34m 00[m[34m 000 [39m [K
[32m3C3 [31m0963 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3C4 [31m0964 [34m █ █ 12[m[34m 018 [39m [K
[32m3C5 [31m0965 [34m 00[m[34m 000 [39m [K
[32m3C6 [31m0966 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3C7 [31m0967 [34m █ █ 12[m[34m 018 [39m [K
[32m3C8 [31m0968 [34m █ 40[m[34m 064 [39m [K
[32m3C9 [31m0969 [34m ██ ██ 6C[m[34m 108 [39m [K
[32m3CA [31m0970 [34m█ ██ B0[m[34m 176 [39m [K
[32m3CB [31m0971 [34m 00[m[34m 000 [39m [K
[32m3CC [31m0972 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3CD [31m0973 [34m█ 80[m[34m 128 [39m [K
[32m3CE [31m0974 [34m 00[m[34m 000 [39m [K
[32m3CF [31m0975 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D0 [31m0976 [34m█ █ 90[m[34m 144 [39m [K
[32m3D1 [31m0977 [34m 00[m[34m 000 [39m [K
[32m3D2 [31m0978 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D3 [31m0979 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3D4 [31m0980 [34m 00[m[34m 000 [39m [K
[32m3D5 [31m0981 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D6 [31m0982 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3D7 [31m0983 [34m █ 40[m[34m 064 [39m [K
[32m3D8 [31m0984 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3D9 [31m0985 [34m█ █ █ 94[m[34m 148 [39m [K
[32m3DA [31m0986 [34m 00[m[34m 000 [39m [K
[32m3DB [31m0987 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3DC [31m0988 [34m█ █ A0[m[34m 160 [39m [K
[32m3DD [31m0989 [34m 00[m[34m 000 [39m [K
[32m3DE [31m0990 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3DF [31m0991 [34m█ █ █ A2[m[34m 162 [39m [K
[32m3E0 [31m0992 [34m 00[m[34m 000 [39m [K
[32m3E1 [31m0993 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3E2 [31m0994 [34m█ █ █ A2[m[34m 162 [39m [K
[32m3E3 [31m0995 [34m █ 40[m[34m 064 [39m [K
[32m3E4 [31m0996 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3E5 [31m0997 [34m█ █ █ A2[m[34m 162 [39m [K
[32m3E6 [31m0998 [34m █ █ 48[m[34m 072 [39m [K
[32m3E7 [31m0999 [34m ██ ██ █ 6D[m[34m 109 [39m [K
[32m3E8 [31m1000 [34m█ █ ██ 96[m[34m 150 [39m [K
[32m3E9 [31m1001 [34m 00[m[34m 000 [39m [K
[32m3EA [31m1002 [34m ███ 70[m[34m 112 [39m [K
[32m3EB [31m1003 [34m 00[m[34m 000 [39m [K
[32m3EC [31m1004 [34m 00[m[34m 000 [39m [K
[32m3ED [31m1005 [34m ███ 70[m[34m 112 [39m [K
[32m3EE [31m1006 [34m█ 80[m[34m 128 [39m [K
[32m3EF [31m1007 [34m 00[m[34m 000 [39m [K
[32m3F0 [31m1008 [34m ███ 70[m[34m 112 [39m [K
[32m3F1 [31m1009 [34m█ █ 90[m[34m 144 [39m [K
[32m3F2 [31m1010 [34m 00[m[34m 000 [39m [K
[32m3F3 [31m1011 [34m ███ 70[m[34m 112 [39m [K
[32m3F4 [31m1012 [34m█ █ █ 92[m[34m 146 [39m [K
[32m3F5 [31m1013 [34m 00[m[34m 000 [39m [K
[32m3F6 [31m1014 [34m ███ 70[m[34m 112 [39m [K
[32m3F7 [31m1015 [34m█ █ A0[m[34m 160 [39m [K
[32m3F8 [31m1016 [34m 00[m[34m 000 [39m [K
[32m3F9 [31m1017 [34m ███ █ 71[m[34m 113 [39m [K
[32m3FA [31m1018 [34m 00[m[34m 000 [39m [K
[32m3FB [31m1019 [34m 00[m[34m 000 [39m [K
[32m3FC [31m1020 [34m ███ █ 71[m[34m 113 [39m [K
[32m3FD [31m1021 [34m █ 10[m[34m 016 [39m [K
[32m3FE [31m1022 [34m 00[m[34m 000 [39m [K
[32m3FF [31m1023 [34m ███ █ 71[m[34m 113 [39m [K
[32m400 [31m1024 [34m █ █ 12[m[34m 018 [39m [K
[32m401 [31m1025 [34m 00[m[34m 000 [39m [K
[32m402 [31m1026 [34m ███ █ 71[m[34m 113 [39m [K
[32m403 [31m1027 [34m █ █ 12[m[34m 018 [39m [K
[32m404 [31m1028 [34m █ 40[m[34m 064 [39m [K
[32m405 [31m1029 [34m ███ 70[m[34m 112 [39m [K
[32m406 [31m1030 [34m█ ██ B0[m[34m 176 [39m [K
[32m407 [31m1031 [34m 00[m[34m 000 [39m [K
[32m408 [31m1032 [34m█ 80[m[34m 128 [39m [K
[32m409 [31m1033 [34m 00[m[34m 000 [39m [K
[32m40A [31m1034 [34m 00[m[34m 000 [39m [K
[32m40B [31m1035 [34m█ █ 84[m[34m 132 [39m [K
[32m40C [31m1036 [34m 00[m[34m 000 [39m [K
[32m40D [31m1037 [34m 00[m[34m 000 [39m [K
[32m40E [31m1038 [34m█ █ 84[m[34m 132 [39m [K
[32m40F [31m1039 [34m█ 80[m[34m 128 [39m [K
[32m410 [31m1040 [34m 00[m[34m 000 [39m [K
[32m411 [31m1041 [34m█ █ 84[m[34m 132 [39m [K
[32m412 [31m1042 [34m█ █ 90[m[34m 144 [39m [K
[32m413 [31m1043 [34m 00[m[34m 000 [39m [K
[32m414 [31m1044 [34m█ █ █ 85[m[34m 133 [39m [K
[32m415 [31m1045 [34m 00[m[34m 000 [39m [K
[32m416 [31m1046 [34m 00[m[34m 000 [39m [K
[32m417 [31m1047 [34m█ █ 88[m[34m 136 [39m [K
[32m418 [31m1048 [34m 00[m[34m 000 [39m [K
[32m419 [31m1049 [34m 00[m[34m 000 [39m [K
[32m41A [31m1050 [34m█ █ 88[m[34m 136 [39m [K
[32m41B [31m1051 [34m█ 80[m[34m 128 [39m [K
[32m41C [31m1052 [34m 00[m[34m 000 [39m [K
[32m41D [31m1053 [34m█ █ 88[m[34m 136 [39m [K
[32m41E [31m1054 [34m█ █ 90[m[34m 144 [39m [K
[32m41F [31m1055 [34m 00[m[34m 000 [39m [K
[32m420 [31m1056 [34m█ █ 88[m[34m 136 [39m [K
[32m421 [31m1057 [34m█ █ █ 92[m[34m 146 [39m [K
[32m422 [31m1058 [34m 00[m[34m 000 [39m [K
[32m423 [31m1059 [34m█ █ █ 85[m[34m 133 [39m [K
[32m424 [31m1060 [34m█ 80[m[34m 128 [39m [K
[32m425 [31m1061 [34m 00[m[34m 000 [39m [K
[32m426 [31m1062 [34m█ ██ 8C[m[34m 140 [39m [K
[32m427 [31m1063 [34m 00[m[34m 000 [39m [K
[32m428 [31m1064 [34m 00[m[34m 000 [39m [K
[32m429 [31m1065 [34m█ ██ 8C[m[34m 140 [39m [K
[32m42A [31m1066 [34m█ 80[m[34m 128 [39m [K
[32m42B [31m1067 [34m 00[m[34m 000 [39m [K
[32m42C [31m1068 [34m█ ██ 8C[m[34m 140 [39m [K
[32m42D [31m1069 [34m█ █ 90[m[34m 144 [39m [K
[32m42E [31m1070 [34m 00[m[34m 000 [39m [K
[32m42F [31m1071 [34m█ ██ 8C[m[34m 140 [39m [K
[32m430 [31m1072 [34m█ █ █ 92[m[34m 146 [39m [K
[32m431 [31m1073 [34m 00[m[34m 000 [39m [K
[32m432 [31m1074 [34m█ ██ 8C[m[34m 140 [39m [K
[32m433 [31m1075 [34m█ █ A0[m[34m 160 [39m [K
[32m434 [31m1076 [34m 00[m[34m 000 [39m [K
[32m435 [31m1077 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m436 [31m1078 [34m 00[m[34m 000 [39m [K
[32m437 [31m1079 [34m 00[m[34m 000 [39m [K
[32m438 [31m1080 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m439 [31m1081 [34m █ 10[m[34m 016 [39m [K
[32m43A [31m1082 [34m 00[m[34m 000 [39m [K
[32m43B [31m1083 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m43C [31m1084 [34m █ █ 12[m[34m 018 [39m [K
[32m43D [31m1085 [34m 00[m[34m 000 [39m [K
[32m43E [31m1086 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m43F [31m1087 [34m █ █ 12[m[34m 018 [39m [K
[32m440 [31m1088 [34m █ 40[m[34m 064 [39m [K
[32m441 [31m1089 [34m█ ██ 8C[m[34m 140 [39m [K
[32m442 [31m1090 [34m█ ██ B0[m[34m 176 [39m [K
[32m443 [31m1091 [34m 00[m[34m 000 [39m [K
[32m444 [31m1092 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m445 [31m1093 [34m█ 80[m[34m 128 [39m [K
[32m446 [31m1094 [34m 00[m[34m 000 [39m [K
[32m447 [31m1095 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m448 [31m1096 [34m█ █ 90[m[34m 144 [39m [K
[32m449 [31m1097 [34m 00[m[34m 000 [39m [K
[32m44A [31m1098 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m44B [31m1099 [34m█ █ █ 92[m[34m 146 [39m [K
[32m44C [31m1100 [34m 00[m[34m 000 [39m [K
[32m44D [31m1101 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m44E [31m1102 [34m█ █ █ 92[m[34m 146 [39m [K
[32m44F [31m1103 [34m █ 40[m[34m 064 [39m [K
[32m450 [31m1104 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m451 [31m1105 [34m█ █ █ 94[m[34m 148 [39m [K
[32m452 [31m1106 [34m 00[m[34m 000 [39m [K
[32m453 [31m1107 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m454 [31m1108 [34m█ █ A0[m[34m 160 [39m [K
[32m455 [31m1109 [34m 00[m[34m 000 [39m [K
[32m456 [31m1110 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m457 [31m1111 [34m█ █ █ A2[m[34m 162 [39m [K
[32m458 [31m1112 [34m 00[m[34m 000 [39m [K
[32m459 [31m1113 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m45A [31m1114 [34m█ █ █ A2[m[34m 162 [39m [K
[32m45B [31m1115 [34m █ 40[m[34m 064 [39m [K
[32m45C [31m1116 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m45D [31m1117 [34m█ █ █ A2[m[34m 162 [39m [K
[32m45E [31m1118 [34m █ █ 48[m[34m 072 [39m [K
[32m45F [31m1119 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m460 [31m1120 [34m█ █ ██ 96[m[34m 150 [39m [K
[32m461 [31m1121 [34m 00[m[34m 000 [39m [K
[32m462 [31m1122 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m463 [31m1123 [34m█ ██ B0[m[34m 176 [39m [K
[32m464 [31m1124 [34m 00[m[34m 000 [39m [K
[32m465 [31m1125 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m466 [31m1126 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m467 [31m1127 [34m 00[m[34m 000 [39m [K
[32m468 [31m1128 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m469 [31m1129 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m46A [31m1130 [34m █ 40[m[34m 064 [39m [K
[32m46B [31m1131 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m46C [31m1132 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m46D [31m1133 [34m █ █ 48[m[34m 072 [39m [K
[32m46E [31m1134 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m46F [31m1135 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m470 [31m1136 [34m█ 80[m[34m 128 [39m [K
[32m471 [31m1137 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m472 [31m1138 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m473 [31m1139 [34m 00[m[34m 000 [39m [K
[32m474 [31m1140 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m475 [31m1141 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m476 [31m1142 [34m █ 40[m[34m 064 [39m [K
[32m477 [31m1143 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m478 [31m1144 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m479 [31m1145 [34m █ █ 48[m[34m 072 [39m [K
[32m47A [31m1146 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m47B [31m1147 [34m█ ██ █ B4[m[34m 180 [39m [K
[32m47C [31m1148 [34m █ █ █ 49[m[34m 073 [39m [K
[32m47D [31m1149 [34m█ ██ █ 8D[m[34m 141 [39m [K
[32m47E [31m1150 [34m█ ██ █ B2[m[34m 178 [39m [K
[32m47F [31m1151 [34m██ C0[m[34m 192 [39m [K
[32m480 [31m1152 [34m ███ █ 74[m[34m 116 [39m [K
[32m481 [31m1153 [34m 00[m[34m 000 [39m [K
[32m482 [31m1154 [34m 00[m[34m 000 [39m [K
[32m483 [31m1155 [34m ███ █ 74[m[34m 116 [39m [K
[32m484 [31m1156 [34m█ 80[m[34m 128 [39m [K
[32m485 [31m1157 [34m 00[m[34m 000 [39m [K
[32m486 [31m1158 [34m ███ █ 74[m[34m 116 [39m [K
[32m487 [31m1159 [34m█ █ 90[m[34m 144 [39m [K
[32m488 [31m1160 [34m 00[m[34m 000 [39m [K
[32m489 [31m1161 [34m ███ █ 74[m[34m 116 [39m [K
[32m48A [31m1162 [34m█ █ █ 92[m[34m 146 [39m [K
[32m48B [31m1163 [34m 00[m[34m 000 [39m [K
[32m48C [31m1164 [34m ███ █ 74[m[34m 116 [39m [K
[32m48D [31m1165 [34m█ █ A0[m[34m 160 [39m [K
[32m48E [31m1166 [34m 00[m[34m 000 [39m [K
[32m48F [31m1167 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m490 [31m1168 [34m 00[m[34m 000 [39m [K
[32m491 [31m1169 [34m 00[m[34m 000 [39m [K
[32m492 [31m1170 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m493 [31m1171 [34m █ 10[m[34m 016 [39m [K
[32m494 [31m1172 [34m 00[m[34m 000 [39m [K
[32m495 [31m1173 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m496 [31m1174 [34m █ █ 12[m[34m 018 [39m [K
[32m497 [31m1175 [34m 00[m[34m 000 [39m [K
[32m498 [31m1176 [34m ███ █ █ 75[m[34m 117 [39m [K
[32m499 [31m1177 [34m █ █ 12[m[34m 018 [39m [K
[32m49A [31m1178 [34m █ 40[m[34m 064 [39m [K
[32m49B [31m1179 [34m ███ █ 74[m[34m 116 [39m [K
[32m49C [31m1180 [34m█ ██ B0[m[34m 176 [39m [K
[32m49D [31m1181 [34m 00[m[34m 000 [39m [K
Lastly is the list of exceptions. No effort was wasted to make this particularly efficient in size.
Each entry of this list is an octet followed by another two corresponding to the values of registers
eleven and twelve, followed by another fifteen which directly encode the letters to be used for such
an exception, including custom letters. The list is ended by a zero, and I decided to number these:
[32m49E [31m1182 [34m █ 01[m[34m 001[33m praeter[39m [K
[32m49F [31m1183 [34m 00[m[34m 000 [39m [K
[32m4A0 [31m1184 [34m 00[m[34m 000 [39m [K
[32m4A1 [31m1185 [34m █ 08[m[34m 008 [39m [K
[32m4A2 [31m1186 [34m 00[m[34m 000 [39m [K
[32m4A3 [31m1187 [34m 00[m[34m 000 [39m [K
[32m4A4 [31m1188 [34m 00[m[34m 000 [39m [K
[32m4A5 [31m1189 [34m 00[m[34m 000 [39m [K
[32m4A6 [31m1190 [34m 00[m[34m 000 [39m [K
[32m4A7 [31m1191 [34m 00[m[34m 000 [39m [K
[32m4A8 [31m1192 [34m 00[m[34m 000 [39m [K
[32m4A9 [31m1193 [34m 00[m[34m 000 [39m [K
[32m4AA [31m1194 [34m 00[m[34m 000 [39m [K
[32m4AB [31m1195 [34m 00[m[34m 000 [39m [K
[32m4AC [31m1196 [34m 00[m[34m 000 [39m [K
[32m4AD [31m1197 [34m 00[m[34m 000 [39m [K
[32m4AE [31m1198 [34m 00[m[34m 000 [39m [K
[32m4AF [31m1199 [34m 00[m[34m 000 [39m [K
[32m4B0 [31m1200 [34m █ 02[m[34m 002 [39m [K
[32m4B1 [31m1201 [34m 00[m[34m 000 [39m [K
[32m4B2 [31m1202 [34m █ █ 12[m[34m 018 [39m [K
[32m4B3 [31m1203 [34m ██ 03[m[34m 003 [39m [K
[32m4B4 [31m1204 [34m █ 01[m[34m 001 [39m [K
[32m4B5 [31m1205 [34m █ 01[m[34m 001 [39m [K
[32m4B6 [31m1206 [34m ██ 03[m[34m 003 [39m [K
[32m4B7 [31m1207 [34m 00[m[34m 000 [39m [K
[32m4B8 [31m1208 [34m 00[m[34m 000 [39m [K
[32m4B9 [31m1209 [34m 00[m[34m 000 [39m [K
[32m4BA [31m1210 [34m 00[m[34m 000 [39m [K
[32m4BB [31m1211 [34m 00[m[34m 000 [39m [K
[32m4BC [31m1212 [34m 00[m[34m 000 [39m [K
[32m4BD [31m1213 [34m 00[m[34m 000 [39m [K
[32m4BE [31m1214 [34m 00[m[34m 000 [39m [K
[32m4BF [31m1215 [34m 00[m[34m 000 [39m [K
[32m4C0 [31m1216 [34m 00[m[34m 000 [39m [K
[32m4C1 [31m1217 [34m 00[m[34m 000 [39m [K
[32m4C2 [31m1218 [34m ██ 03[m[34m 003 [39m [K
[32m4C3 [31m1219 [34m 00[m[34m 000 [39m [K
[32m4C4 [31m1220 [34m █ ██ 16[m[34m 022 [39m [K
[32m4C5 [31m1221 [34m █ 01[m[34m 001 [39m [K
[32m4C6 [31m1222 [34m █ 01[m[34m 001 [39m [K
[32m4C7 [31m1223 [34m ██ 03[m[34m 003 [39m [K
[32m4C8 [31m1224 [34m ██ 03[m[34m 003 [39m [K
[32m4C9 [31m1225 [34m 00[m[34m 000 [39m [K
[32m4CA-4CB [31m1226-1227 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4CC-4CD [31m1228-1229 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4CE-4CF [31m1230-1231 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D0-4D1 [31m1232-1233 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D2-4D3 [31m1234-1235 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D4-4D5 [31m1236-1237 [34m 00[m[34m00[m[34m 00000[38;2;255;127;63m! huc[39m [K
[32m4D6-4D7 [31m1238-1239 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4D8-4D9 [31m1240-1241 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4DA-4DB [31m1242-1243 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4DC-4DD [31m1244-1245 [34m 00[m[34m00[m[34m 00000[33m illuc[39m [K
[32m4DE-4DF [31m1246-1247 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4E0-4E1 [31m1248-1249 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4E2-4E3 [31m1250-1251 [34m 00[m[34m00[m[34m 00000 [39m [K
[32m4E4-4E5 [31m1252-1253 [34m 00[m[34m00[m[34m 00000[33m finis[39m [K
Notice but one contiguous memory space is ever written, making proving this program correct simpler.