]> matita.cs.unibo.it Git - helm.git/commitdiff
Duplicated doc removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2008 14:02:07 +0000 (14:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Jul 2008 14:02:07 +0000 (14:02 +0000)
helm/software/matita/contribs/assembly/freescale/doc/aurei.txt [deleted file]
helm/software/matita/contribs/assembly/freescale/doc/daa.txt [deleted file]
helm/software/matita/contribs/assembly/freescale/doc/freescale.txt [deleted file]
helm/software/matita/contribs/assembly/freescale/doc/ordinamento.txt [deleted file]
helm/software/matita/contribs/assembly/freescale/doc/ordine_compilazione.txt [deleted file]
helm/software/matita/contribs/assembly/freescale/doc/reverse.txt [deleted file]

diff --git a/helm/software/matita/contribs/assembly/freescale/doc/aurei.txt b/helm/software/matita/contribs/assembly/freescale/doc/aurei.txt
deleted file mode 100644 (file)
index dc62cf6..0000000
+++ /dev/null
@@ -1,235 +0,0 @@
-\r
-static unsigned int result[16]={ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 };\r
-\r
-void main(void)\r
-{\r
-unsigned int res_pos=0,tested_num=0,divisor=0;\r
-unsigned long int acc=0;\r
-\r
-for(tested_num=1;tested_num<2;tested_num++)\r
- {\r
- for(acc=0,divisor=1;divisor<tested_num;divisor++)\r
-  {\r
-  if(!(tested_num%divisor))\r
-   { acc+=divisor; }\r
-  }\r
\r
- if(acc==tested_num)\r
-  { result[res_pos++]=tested_num; }\r
- }\r
-}\r
-\r
-NUMERI AUREI: Somma divisori(x)=x\r
-Fino a 0xFFFF sono\r
-6/28/496/8128\r
-\r
- 1000: 545 -> 156.295.006          : stima di complessita' che dovrebbe essere\r
-  500: 545 ->  27.863.083          : T(n)=O(a+b*(n^3)) ma e' veramente enorme!\r
-  250: 545 ->   4.916.615          :\r
-  100: 545 ->     826.150          :\r
-   50: 545 ->     218.243 (213878) : 217698=64+217634 : /117649= 1,8\r
-   25: 545 ->      58.798 ( 57858) :  58253=64+ 58189 : / 13824= 4,2\r
-   10: 545 ->      10.212 ( 10127) :   9667=64+  9603 : /   729=13,2\r
-    5: 545 ->       2.789 (  2789) :   2244=64+  2180 : /    64=34,1\r
-    4: 545 ->       1.760 (  1765) :   1220=64+  1156 : /    27=42,8\r
-    3: 545 ->       1.136 (  1142) :    597=64+   533 : /    8 =66,6\r
-    2: 545 ->         661 (   664) :    119=64+    55 : /    1 =55\r
-    1: 545 ->         609 (   601) :        64        :\r
-\r
-word result[16] = 0x0100\r
-\r
-A: 0x00 HX: 0x1A00 PC: 0x18C0 SP: 0x0165 Z:1\r
-A: 0x00 HX: num    PC: 0x1941 SP: 0x0165 Z:1\r
-\r
-18C0 95          TSX\r
-18C1 6F 09       CLR 9,X\r
-18C3 6F 08       CLR 8,X\r
-18C5 AD 7D       BSR *+127 ; 1944\r
-18C7 9E FF 01    STHX 1,SP\r
-18CA AD 78       BSR *+122 ; 1944\r
-18CC 9E FF 07    STHX 7,SP\r
-18CF 20 38       BRA *+58\r
-18D1 9E FE 01    LDHX 1,SP\r
-18D4 89          PSHX\r
-18D5 8B          PSHH\r
-18D6 9E FE 09    LDHX 9,SP\r
-18D9 CD 1A 0D    JSR 0X1A0D\r
-18DC A7 02       AIS #2\r
-18DE 65 00 00    CPHX #0X0000\r
-18E1 26 1F       BNE *+33 ; 1902\r
-18E3 95          TSX\r
-18E4 E6 07       LDA 7,X\r
-18E6 EE 06       LDX 6,X\r
-18E8 87          PSHA\r
-18E9 89          PSHX\r
-18EA 4F          CLRA\r
-18EB 87          PSHA\r
-18EC 87          PSHA\r
-18ED 95          TSX\r
-18EE 89          PSHX\r
-18EF 8B          PSHH\r
-18F0 AF 06       AIX #6\r
-18F2 89          PSHX\r
-18F3 8B          PSHH\r
-18F4 9E FE 03    LDHX 3,SP\r
-18F7 CD 1A 1D    JSR 0X1A1D\r
-18FA 95          TSX\r
-18FB AF 0C       AIX #12\r
-18FD CD 1A 23    JSR 0X1A23\r
-1900 A7 06       AIS #6\r
-1902 95          TSX\r
-1903 6C 07       INC 7,X\r
-1905 26 02       BNE *+4 ; 1909\r
-1907 6C 06       INC 6,X\r
-1909 9E FE 01    LDHX 1,SP\r
-190C 9E F3 07    CPHX 7,SP\r
-190F 22 C0       BHI *-62 ; 18D1\r
-1911 9E F3 05    CPHX 5,SP\r
-1914 26 1D       BNE *+31 ; 1933\r
-1916 9E FE 03    LDHX 3,SP\r
-1919 26 18       BNE *+26 ; 1933\r
-191B 9E FE 09    LDHX 9,SP\r
-191E 89          PSHX\r
-191F AF 01       AIX #1\r
-1921 9E FF 0A    STHX 10,SP\r
-1924 88          PULX\r
-1925 58          LSLX\r
-1926 9E E6 02    LDA 2,SP\r
-1929 8C          CLRH\r
-192A D7 01 01    STA 257,X\r
-192D 9E E6 01    LDA 1,SP\r
-1930 D7 01 00    STA 256,X\r
-1933 95          TSX\r
-1934 6C 01       INC 1,X\r
-1936 26 01       BNE *+3 ; 1939\r
-1938 7C          INC ,X\r
-1939 9E FE 01    LDHX 1,SP\r
-193C 65 00 19    CPHX #0X0019\r
-193F 25 89       BCS *-117 ; 18CA\r
-\r
-1941-1943 STOP\r
-\r
-1944 5F          CLRX\r
-1945 8C          CLRH\r
-1946 9E FF 07    STHX 7,SP\r
-1949 8C          CLRH\r
-194A 9E FF 05    STHX 5,SP\r
-194D 5C          INCX\r
-194E 81          RTS\r
-194F E6 03       LDA 3,X\r
-1951 87          PSHA\r
-1952 E6 02       LDA 2,X\r
-1954 87          PSHA\r
-1955 9E AE       LDHX ,X\r
-1957 89          PSHX\r
-1958 8B          PSHH\r
-1959 9E FE 07    LDHX 7,SP\r
-195C E6 03       LDA 3,X\r
-195E 9E E7 11    STA 17,SP\r
-1961 E6 02       LDA 2,X\r
-1963 9E E7 10    STA 16,SP\r
-1966 9E AE       LDHX ,X\r
-1968 9E FF 0E    STHX 14,SP\r
-196B 9E FE 05    LDHX 5,SP\r
-196E FC          JMP ,X\r
-196F 87          PSHA\r
-1970 89          PSHX\r
-1971 8B          PSHH\r
-1972 89          PSHX\r
-1973 8B          PSHH\r
-1974 9E FE 06    LDHX 6,SP\r
-1977 89          PSHX\r
-1978 8B          PSHH\r
-1979 9E FE 0A    LDHX 10,SP\r
-197C 9E FF 08    STHX 8,SP\r
-197F 9E FE 0C    LDHX 12,SP\r
-1982 CC 19 4F    JMP 0X194F\r
-1985 9E 6D 04    TST 4,SP\r
-1988 26 1A       BNE *+28 ; 19A4\r
-198A 95          TSX\r
-198B E6 07       LDA 7,X\r
-198D EE 04       LDX 4,X\r
-198F 8C          CLRH\r
-1990 52          DIV\r
-1991 9E E7 04    STA 4,SP\r
-1994 9E E6 09    LDA 9,SP\r
-1997 52          DIV\r
-1998 9E E7 05    STA 5,SP\r
-199B 9E 6F 08    CLR 8,SP\r
-199E 8B          PSHH\r
-199F 86          PULA\r
-19A0 9E E7 09    STA 9,SP\r
-19A3 81          RTS\r
-19A4 4F          CLRA\r
-19A5 87          PSHA\r
-19A6 AE 08       LDX #0X08\r
-19A8 98          CLC\r
-19A9 9E 69 0A    ROL 10,SP\r
-19AC 9E 69 09    ROL 9,SP\r
-19AF 9E 69 01    ROL 1,SP\r
-19B2 9E E6 05    LDA 5,SP\r
-19B5 9E E1 01    CMP 1,SP\r
-19B8 22 1D       BHI *+31 ; 19D7\r
-19BA 26 08       BNE *+10 ; 19C4\r
-19BC 9E E6 06    LDA 6,SP\r
-19BF 9E E1 09    CMP 9,SP\r
-19C2 22 13       BHI *+21 ; 19D7\r
-19C4 9E E6 09    LDA 9,SP\r
-19C7 9E E0 06    SUB 6,SP\r
-19CA 9E E7 09    STA 9,SP\r
-19CD 9E E6 01    LDA 1,SP\r
-19D0 9E E2 05    SBC 5,SP\r
-19D3 9E E7 01    STA 1,SP\r
-19D6 99          SEC\r
-19D7 5B D0       DBNZX *-46 ; 19A9\r
-19D9 9E E6 0A    LDA 10,SP\r
-19DC 49          ROLA\r
-19DD 9E E7 06    STA 6,SP\r
-19E0 9E E6 09    LDA 9,SP\r
-19E3 9E E7 0A    STA 10,SP\r
-19E6 86          PULA\r
-19E7 9E E7 08    STA 8,SP\r
-19EA 9E 6F 04    CLR 4,SP\r
-19ED 81          RTS\r
-19EE 95          TSX\r
-19EF E6 12       LDA 18,X\r
-19F1 EB 05       ADD 5,X\r
-19F3 E7 12       STA 18,X\r
-19F5 E6 11       LDA 17,X\r
-19F7 E9 04       ADC 4,X\r
-19F9 E7 11       STA 17,X\r
-19FB E6 10       LDA 16,X\r
-19FD E9 03       ADC 3,X\r
-19FF E7 10       STA 16,X\r
-1A01 E6 0F       LDA 15,X\r
-1A03 E9 02       ADC 2,X\r
-1A05 E7 0F       STA 15,X\r
-1A07 A7 0A       AIS #10\r
-1A09 8A          PULH\r
-1A0A 88          PULX\r
-1A0B 86          PULA\r
-1A0C 81          RTS\r
-1A0D A7 FE       AIS #-2\r
-1A0F 9E FF 01    STHX 1,SP\r
-1A12 87          PSHA\r
-1A13 CD 19 85    JSR 0X1985\r
-1A16 86          PULA\r
-1A17 A7 02       AIS #2\r
-1A19 9E FE 03    LDHX 3,SP\r
-1A1C 81          RTS\r
-1A1D CD 19 6F    JSR 0X196F\r
-1A20 CD 19 EE    JSR 0X19EE\r
-1A23 87          PSHA\r
-1A24 9E E6 04    LDA 4,SP\r
-1A27 F7          STA ,X\r
-1A28 9E E6 05    LDA 5,SP\r
-1A2B E7 01       STA 1,X\r
-1A2D 9E E6 06    LDA 6,SP\r
-1A30 E7 02       STA 2,X\r
-1A32 9E E6 07    LDA 7,SP\r
-1A35 E7 03       STA 3,X\r
-1A37 86          PULA\r
-1A38 8A          PULH\r
-1A39 88          PULX\r
-1A3A A7 A4       AIS #4\r
-1A3C FC          JMP ,X\r
diff --git a/helm/software/matita/contribs/assembly/freescale/doc/daa.txt b/helm/software/matita/contribs/assembly/freescale/doc/daa.txt
deleted file mode 100644 (file)
index 9babf07..0000000
+++ /dev/null
@@ -1,1334 +0,0 @@
-sorgente utilizzato per produrre la tabella:\r
-\r
-unsigned int i;\r
-unsigned char val;\r
-\r
-for(i=0,val=0;i<0x100;i++,val++)\r
- {\r
- asm {\r
-  /* H=0 C=0 */\r
-  lda val\r
-  psha\r
-  tap\r
-  and #0x00\r
-  tpa\r
-  pula\r
-  daa\r
-  nop <- breakpoint/prelevare A,SR\r
-\r
-  /* H=0 C=1 */\r
-  lda val\r
-  psha\r
-  tap\r
-  and #0x00\r
-  or  #0x01\r
-  tpa\r
-  pula\r
-  daa\r
-  nop <- breakpoint/prelevare A,SR\r
-\r
-  /* H=1 C=0 */\r
-  lda val\r
-  psha\r
-  tap\r
-  and #0x00\r
-  or  #0x10\r
-  tpa\r
-  pula\r
-  daa\r
-  nop <- breakpoint/prelevare A,SR\r
-\r
-  /* H=1 C=1 */\r
-  lda val\r
-  psha\r
-  tap\r
-  and #0x00\r
-  or  #0x11\r
-  tpa\r
-  pula\r
-  daa\r
-  nop <- breakpoint/prelevare A,SR\r
-  }\r
- }\r
-\r
-************************************************\r
-\r
-H(0) C(0) A(0x00) -> V(0) N(0) Z(1) C(0) A(0x00)\r
-H(0) C(1) A(0x00) -> V(0) N(0) Z(0) C(1) A(0x60)\r
-H(1) C(0) A(0x00) -> V(0) N(0) Z(0) C(0) A(0x06)\r
-H(1) C(1) A(0x00) -> V(0) N(0) Z(0) C(1) A(0x66)\r
-\r
-H(0) C(0) A(0x01) -> V(0) N(0) Z(0) C(0) A(0x01)\r
-H(0) C(1) A(0x01) -> V(0) N(0) Z(0) C(1) A(0x61)\r
-H(1) C(0) A(0x01) -> V(0) N(0) Z(0) C(0) A(0x07)\r
-H(1) C(1) A(0x01) -> V(0) N(0) Z(0) C(1) A(0x67)\r
-\r
-H(0) C(0) A(0x02) -> V(0) N(0) Z(0) C(0) A(0x02)\r
-H(0) C(1) A(0x02) -> V(0) N(0) Z(0) C(1) A(0x62)\r
-H(1) C(0) A(0x02) -> V(0) N(0) Z(0) C(0) A(0x08)\r
-H(1) C(1) A(0x02) -> V(0) N(0) Z(0) C(1) A(0x68)\r
-\r
-H(0) C(0) A(0x03) -> V(0) N(0) Z(0) C(0) A(0x03)\r
-H(0) C(1) A(0x03) -> V(0) N(0) Z(0) C(1) A(0x63)\r
-H(1) C(0) A(0x03) -> V(0) N(0) Z(0) C(0) A(0x09)\r
-H(1) C(1) A(0x03) -> V(0) N(0) Z(0) C(1) A(0x69)\r
-\r
-H(0) C(0) A(0x04) -> V(0) N(0) Z(0) C(0) A(0x04)\r
-H(0) C(1) A(0x04) -> V(0) N(0) Z(0) C(1) A(0x64)\r
-H(1) C(0) A(0x04) -> V(0) N(0) Z(0) C(0) A(0x0A)\r
-H(1) C(1) A(0x04) -> V(0) N(0) Z(0) C(1) A(0x6A)\r
-\r
-H(0) C(0) A(0x05) -> V(0) N(0) Z(0) C(0) A(0x05)\r
-H(0) C(1) A(0x05) -> V(0) N(0) Z(0) C(1) A(0x65)\r
-H(1) C(0) A(0x05) -> V(0) N(0) Z(0) C(0) A(0x0B)\r
-H(1) C(1) A(0x05) -> V(0) N(0) Z(0) C(1) A(0x6B)\r
-\r
-H(0) C(0) A(0x06) -> V(0) N(0) Z(0) C(0) A(0x06)\r
-H(0) C(1) A(0x06) -> V(0) N(0) Z(0) C(1) A(0x66)\r
-H(1) C(0) A(0x06) -> V(0) N(0) Z(0) C(0) A(0x0C)\r
-H(1) C(1) A(0x06) -> V(0) N(0) Z(0) C(1) A(0x6C)\r
-\r
-H(0) C(0) A(0x07) -> V(0) N(0) Z(0) C(0) A(0x07)\r
-H(0) C(1) A(0x07) -> V(0) N(0) Z(0) C(1) A(0x67)\r
-H(1) C(0) A(0x07) -> V(0) N(0) Z(0) C(0) A(0x0D)\r
-H(1) C(1) A(0x07) -> V(0) N(0) Z(0) C(1) A(0x6D)\r
-\r
-H(0) C(0) A(0x08) -> V(0) N(0) Z(0) C(0) A(0x08)\r
-H(0) C(1) A(0x08) -> V(0) N(0) Z(0) C(1) A(0x68)\r
-H(1) C(0) A(0x08) -> V(0) N(0) Z(0) C(0) A(0x0E)\r
-H(1) C(1) A(0x08) -> V(0) N(0) Z(0) C(1) A(0x6E)\r
-\r
-H(0) C(0) A(0x09) -> V(0) N(0) Z(0) C(0) A(0x09)\r
-H(0) C(1) A(0x09) -> V(0) N(0) Z(0) C(1) A(0x69)\r
-H(1) C(0) A(0x09) -> V(0) N(0) Z(0) C(0) A(0x0F)\r
-H(1) C(1) A(0x09) -> V(0) N(0) Z(0) C(1) A(0x6F)\r
-\r
-H(0) C(0) A(0x0A) -> V(0) N(0) Z(0) C(0) A(0x10)\r
-H(0) C(1) A(0x0A) -> V(0) N(0) Z(0) C(1) A(0x70)\r
-H(1) C(0) A(0x0A) -> V(0) N(0) Z(0) C(0) A(0x10)\r
-H(1) C(1) A(0x0A) -> V(0) N(0) Z(0) C(1) A(0x70)\r
-\r
-H(0) C(0) A(0x0B) -> V(0) N(0) Z(0) C(0) A(0x11)\r
-H(0) C(1) A(0x0B) -> V(0) N(0) Z(0) C(1) A(0x71)\r
-H(1) C(0) A(0x0B) -> V(0) N(0) Z(0) C(0) A(0x11)\r
-H(1) C(1) A(0x0B) -> V(0) N(0) Z(0) C(1) A(0x71)\r
-\r
-H(0) C(0) A(0x0C) -> V(0) N(0) Z(0) C(0) A(0x12)\r
-H(0) C(1) A(0x0C) -> V(0) N(0) Z(0) C(1) A(0x72)\r
-H(1) C(0) A(0x0C) -> V(0) N(0) Z(0) C(0) A(0x12)\r
-H(1) C(1) A(0x0C) -> V(0) N(0) Z(0) C(1) A(0x72)\r
-\r
-H(0) C(0) A(0x0D) -> V(0) N(0) Z(0) C(0) A(0x13)\r
-H(0) C(1) A(0x0D) -> V(0) N(0) Z(0) C(1) A(0x73)\r
-H(1) C(0) A(0x0D) -> V(0) N(0) Z(0) C(0) A(0x13)\r
-H(1) C(1) A(0x0D) -> V(0) N(0) Z(0) C(1) A(0x73)\r
-\r
-H(0) C(0) A(0x0E) -> V(0) N(0) Z(0) C(0) A(0x14)\r
-H(0) C(1) A(0x0E) -> V(0) N(0) Z(0) C(1) A(0x74)\r
-H(1) C(0) A(0x0E) -> V(0) N(0) Z(0) C(0) A(0x14)\r
-H(1) C(1) A(0x0E) -> V(0) N(0) Z(0) C(1) A(0x74)\r
-\r
-H(0) C(0) A(0x0F) -> V(0) N(0) Z(0) C(0) A(0x15)\r
-H(0) C(1) A(0x0F) -> V(0) N(0) Z(0) C(1) A(0x75)\r
-H(1) C(0) A(0x0F) -> V(0) N(0) Z(0) C(0) A(0x15)\r
-H(1) C(1) A(0x0F) -> V(0) N(0) Z(0) C(1) A(0x75)\r
-\r
-H(0) C(0) A(0x10) -> V(0) N(0) Z(0) C(0) A(0x10)\r
-H(0) C(1) A(0x10) -> V(0) N(0) Z(0) C(1) A(0x70)\r
-H(1) C(0) A(0x10) -> V(0) N(0) Z(0) C(0) A(0x16)\r
-H(1) C(1) A(0x10) -> V(0) N(0) Z(0) C(1) A(0x76)\r
-\r
-H(0) C(0) A(0x11) -> V(0) N(0) Z(0) C(0) A(0x11)\r
-H(0) C(1) A(0x11) -> V(0) N(0) Z(0) C(1) A(0x71)\r
-H(1) C(0) A(0x11) -> V(0) N(0) Z(0) C(0) A(0x17)\r
-H(1) C(1) A(0x11) -> V(0) N(0) Z(0) C(1) A(0x77)\r
-\r
-H(0) C(0) A(0x12) -> V(0) N(0) Z(0) C(0) A(0x12)\r
-H(0) C(1) A(0x12) -> V(0) N(0) Z(0) C(1) A(0x72)\r
-H(1) C(0) A(0x12) -> V(0) N(0) Z(0) C(0) A(0x18)\r
-H(1) C(1) A(0x12) -> V(0) N(0) Z(0) C(1) A(0x78)\r
-\r
-H(0) C(0) A(0x13) -> V(0) N(0) Z(0) C(0) A(0x13)\r
-H(0) C(1) A(0x13) -> V(0) N(0) Z(0) C(1) A(0x73)\r
-H(1) C(0) A(0x13) -> V(0) N(0) Z(0) C(0) A(0x19)\r
-H(1) C(1) A(0x13) -> V(0) N(0) Z(0) C(1) A(0x79)\r
-\r
-H(0) C(0) A(0x14) -> V(0) N(0) Z(0) C(0) A(0x14)\r
-H(0) C(1) A(0x14) -> V(0) N(0) Z(0) C(1) A(0x74)\r
-H(1) C(0) A(0x14) -> V(0) N(0) Z(0) C(0) A(0x1A)\r
-H(1) C(1) A(0x14) -> V(0) N(0) Z(0) C(1) A(0x7A)\r
-\r
-H(0) C(0) A(0x15) -> V(0) N(0) Z(0) C(0) A(0x15)\r
-H(0) C(1) A(0x15) -> V(0) N(0) Z(0) C(1) A(0x75)\r
-H(1) C(0) A(0x15) -> V(0) N(0) Z(0) C(0) A(0x1B)\r
-H(1) C(1) A(0x15) -> V(0) N(0) Z(0) C(1) A(0x7B)\r
-\r
-H(0) C(0) A(0x16) -> V(0) N(0) Z(0) C(0) A(0x16)\r
-H(0) C(1) A(0x16) -> V(0) N(0) Z(0) C(1) A(0x76)\r
-H(1) C(0) A(0x16) -> V(0) N(0) Z(0) C(0) A(0x1C)\r
-H(1) C(1) A(0x16) -> V(0) N(0) Z(0) C(1) A(0x7C)\r
-\r
-H(0) C(0) A(0x17) -> V(0) N(0) Z(0) C(0) A(0x17)\r
-H(0) C(1) A(0x17) -> V(0) N(0) Z(0) C(1) A(0x77)\r
-H(1) C(0) A(0x17) -> V(0) N(0) Z(0) C(0) A(0x1D)\r
-H(1) C(1) A(0x17) -> V(0) N(0) Z(0) C(1) A(0x7D)\r
-\r
-H(0) C(0) A(0x18) -> V(0) N(0) Z(0) C(0) A(0x18)\r
-H(0) C(1) A(0x18) -> V(0) N(0) Z(0) C(1) A(0x78)\r
-H(1) C(0) A(0x18) -> V(0) N(0) Z(0) C(0) A(0x1E)\r
-H(1) C(1) A(0x18) -> V(0) N(0) Z(0) C(1) A(0x7E)\r
-\r
-H(0) C(0) A(0x19) -> V(0) N(0) Z(0) C(0) A(0x19)\r
-H(0) C(1) A(0x19) -> V(0) N(0) Z(0) C(1) A(0x79)\r
-H(1) C(0) A(0x19) -> V(0) N(0) Z(0) C(0) A(0x1F)\r
-H(1) C(1) A(0x19) -> V(0) N(0) Z(0) C(1) A(0x7F)\r
-\r
-H(0) C(0) A(0x1A) -> V(0) N(0) Z(0) C(0) A(0x20)\r
-H(0) C(1) A(0x1A) -> V(1) N(1) Z(0) C(1) A(0x80)\r
-H(1) C(0) A(0x1A) -> V(0) N(0) Z(0) C(0) A(0x20)\r
-H(1) C(1) A(0x1A) -> V(1) N(1) Z(0) C(1) A(0x80)\r
-\r
-H(0) C(0) A(0x1B) -> V(0) N(0) Z(0) C(0) A(0x21)\r
-H(0) C(1) A(0x1B) -> V(1) N(1) Z(0) C(1) A(0x81)\r
-H(1) C(0) A(0x1B) -> V(0) N(0) Z(0) C(0) A(0x21)\r
-H(1) C(1) A(0x1B) -> V(1) N(1) Z(0) C(1) A(0x81)\r
-\r
-H(0) C(0) A(0x1C) -> V(0) N(0) Z(0) C(0) A(0x22)\r
-H(0) C(1) A(0x1C) -> V(1) N(1) Z(0) C(1) A(0x82)\r
-H(1) C(0) A(0x1C) -> V(0) N(0) Z(0) C(0) A(0x22)\r
-H(1) C(1) A(0x1C) -> V(1) N(1) Z(0) C(1) A(0x82)\r
-\r
-H(0) C(0) A(0x1D) -> V(0) N(0) Z(0) C(0) A(0x23)\r
-H(0) C(1) A(0x1D) -> V(1) N(1) Z(0) C(1) A(0x83)\r
-H(1) C(0) A(0x1D) -> V(0) N(0) Z(0) C(0) A(0x23)\r
-H(1) C(1) A(0x1D) -> V(1) N(1) Z(0) C(1) A(0x83)\r
-\r
-H(0) C(0) A(0x1E) -> V(0) N(0) Z(0) C(0) A(0x24)\r
-H(0) C(1) A(0x1E) -> V(1) N(1) Z(0) C(1) A(0x84)\r
-H(1) C(0) A(0x1E) -> V(0) N(0) Z(0) C(0) A(0x24)\r
-H(1) C(1) A(0x1E) -> V(1) N(1) Z(0) C(1) A(0x84)\r
-\r
-H(0) C(0) A(0x1F) -> V(0) N(0) Z(0) C(0) A(0x25)\r
-H(0) C(1) A(0x1F) -> V(1) N(1) Z(0) C(1) A(0x85)\r
-H(1) C(0) A(0x1F) -> V(0) N(0) Z(0) C(0) A(0x25)\r
-H(1) C(1) A(0x1F) -> V(1) N(1) Z(0) C(1) A(0x85)\r
-\r
-H(0) C(0) A(0x20) -> V(0) N(0) Z(0) C(0) A(0x20)\r
-H(0) C(1) A(0x20) -> V(1) N(1) Z(0) C(1) A(0x80)\r
-H(1) C(0) A(0x20) -> V(0) N(0) Z(0) C(0) A(0x26)\r
-H(1) C(1) A(0x20) -> V(1) N(1) Z(0) C(1) A(0x86)\r
-\r
-H(0) C(0) A(0x21) -> V(0) N(0) Z(0) C(0) A(0x21)\r
-H(0) C(1) A(0x21) -> V(1) N(1) Z(0) C(1) A(0x81)\r
-H(1) C(0) A(0x21) -> V(0) N(0) Z(0) C(0) A(0x27)\r
-H(1) C(1) A(0x21) -> V(1) N(1) Z(0) C(1) A(0x87)\r
-\r
-H(0) C(0) A(0x22) -> V(0) N(0) Z(0) C(0) A(0x22)\r
-H(0) C(1) A(0x22) -> V(1) N(1) Z(0) C(1) A(0x82)\r
-H(1) C(0) A(0x22) -> V(0) N(0) Z(0) C(0) A(0x28)\r
-H(1) C(1) A(0x22) -> V(1) N(1) Z(0) C(1) A(0x88)\r
-\r
-H(0) C(0) A(0x23) -> V(0) N(0) Z(0) C(0) A(0x23)\r
-H(0) C(1) A(0x23) -> V(1) N(1) Z(0) C(1) A(0x83)\r
-H(1) C(0) A(0x23) -> V(0) N(0) Z(0) C(0) A(0x29)\r
-H(1) C(1) A(0x23) -> V(1) N(1) Z(0) C(1) A(0x89)\r
-\r
-H(0) C(0) A(0x24) -> V(0) N(0) Z(0) C(0) A(0x24)\r
-H(0) C(1) A(0x24) -> V(1) N(1) Z(0) C(1) A(0x84)\r
-H(1) C(0) A(0x24) -> V(0) N(0) Z(0) C(0) A(0x2A)\r
-H(1) C(1) A(0x24) -> V(1) N(1) Z(0) C(1) A(0x8A)\r
-\r
-H(0) C(0) A(0x25) -> V(0) N(0) Z(0) C(0) A(0x25)\r
-H(0) C(1) A(0x25) -> V(1) N(1) Z(0) C(1) A(0x85)\r
-H(1) C(0) A(0x25) -> V(0) N(0) Z(0) C(0) A(0x2B)\r
-H(1) C(1) A(0x25) -> V(1) N(1) Z(0) C(1) A(0x8B)\r
-\r
-H(0) C(0) A(0x26) -> V(0) N(0) Z(0) C(0) A(0x26)\r
-H(0) C(1) A(0x26) -> V(1) N(1) Z(0) C(1) A(0x86)\r
-H(1) C(0) A(0x26) -> V(0) N(0) Z(0) C(0) A(0x2C)\r
-H(1) C(1) A(0x26) -> V(1) N(1) Z(0) C(1) A(0x8C)\r
-\r
-H(0) C(0) A(0x27) -> V(0) N(0) Z(0) C(0) A(0x27)\r
-H(0) C(1) A(0x27) -> V(1) N(1) Z(0) C(1) A(0x87)\r
-H(1) C(0) A(0x27) -> V(0) N(0) Z(0) C(0) A(0x2D)\r
-H(1) C(1) A(0x27) -> V(1) N(1) Z(0) C(1) A(0x8D)\r
-\r
-H(0) C(0) A(0x28) -> V(0) N(0) Z(0) C(0) A(0x28)\r
-H(0) C(1) A(0x28) -> V(1) N(1) Z(0) C(1) A(0x88)\r
-H(1) C(0) A(0x28) -> V(0) N(0) Z(0) C(0) A(0x2E)\r
-H(1) C(1) A(0x28) -> V(1) N(1) Z(0) C(1) A(0x8E)\r
-\r
-H(0) C(0) A(0x29) -> V(0) N(0) Z(0) C(0) A(0x29)\r
-H(0) C(1) A(0x29) -> V(1) N(1) Z(0) C(1) A(0x89)\r
-H(1) C(0) A(0x29) -> V(0) N(0) Z(0) C(0) A(0x2F)\r
-H(1) C(1) A(0x29) -> V(1) N(1) Z(0) C(1) A(0x8F)\r
-\r
-H(0) C(0) A(0x2A) -> V(0) N(0) Z(0) C(0) A(0x30)\r
-H(0) C(1) A(0x2A) -> V(1) N(1) Z(0) C(1) A(0x90)\r
-H(1) C(0) A(0x2A) -> V(0) N(0) Z(0) C(0) A(0x30)\r
-H(1) C(1) A(0x2A) -> V(1) N(1) Z(0) C(1) A(0x90)\r
-\r
-H(0) C(0) A(0x2B) -> V(0) N(0) Z(0) C(0) A(0x31)\r
-H(0) C(1) A(0x2B) -> V(1) N(1) Z(0) C(1) A(0x91)\r
-H(1) C(0) A(0x2B) -> V(0) N(0) Z(0) C(0) A(0x31)\r
-H(1) C(1) A(0x2B) -> V(1) N(1) Z(0) C(1) A(0x91)\r
-\r
-H(0) C(0) A(0x2C) -> V(0) N(0) Z(0) C(0) A(0x32)\r
-H(0) C(1) A(0x2C) -> V(1) N(1) Z(0) C(1) A(0x92)\r
-H(1) C(0) A(0x2C) -> V(0) N(0) Z(0) C(0) A(0x32)\r
-H(1) C(1) A(0x2C) -> V(1) N(1) Z(0) C(1) A(0x92)\r
-\r
-H(0) C(0) A(0x2D) -> V(0) N(0) Z(0) C(0) A(0x33)\r
-H(0) C(1) A(0x2D) -> V(1) N(1) Z(0) C(1) A(0x93)\r
-H(1) C(0) A(0x2D) -> V(0) N(0) Z(0) C(0) A(0x33)\r
-H(1) C(1) A(0x2D) -> V(1) N(1) Z(0) C(1) A(0x93)\r
-\r
-H(0) C(0) A(0x2E) -> V(0) N(0) Z(0) C(0) A(0x34)\r
-H(0) C(1) A(0x2E) -> V(1) N(1) Z(0) C(1) A(0x94)\r
-H(1) C(0) A(0x2E) -> V(0) N(0) Z(0) C(0) A(0x34)\r
-H(1) C(1) A(0x2E) -> V(1) N(1) Z(0) C(1) A(0x94)\r
-\r
-H(0) C(0) A(0x2F) -> V(0) N(0) Z(0) C(0) A(0x35)\r
-H(0) C(1) A(0x2F) -> V(1) N(1) Z(0) C(1) A(0x95)\r
-H(1) C(0) A(0x2F) -> V(0) N(0) Z(0) C(0) A(0x35)\r
-H(1) C(1) A(0x2F) -> V(1) N(1) Z(0) C(1) A(0x95)\r
-\r
-H(0) C(0) A(0x30) -> V(0) N(0) Z(0) C(0) A(0x30)\r
-H(0) C(1) A(0x30) -> V(1) N(1) Z(0) C(1) A(0x90)\r
-H(1) C(0) A(0x30) -> V(0) N(0) Z(0) C(0) A(0x36)\r
-H(1) C(1) A(0x30) -> V(1) N(1) Z(0) C(1) A(0x96)\r
-\r
-H(0) C(0) A(0x31) -> V(0) N(0) Z(0) C(0) A(0x31)\r
-H(0) C(1) A(0x31) -> V(1) N(1) Z(0) C(1) A(0x91)\r
-H(1) C(0) A(0x31) -> V(0) N(0) Z(0) C(0) A(0x37)\r
-H(1) C(1) A(0x31) -> V(1) N(1) Z(0) C(1) A(0x97)\r
-\r
-H(0) C(0) A(0x32) -> V(0) N(0) Z(0) C(0) A(0x32)\r
-H(0) C(1) A(0x32) -> V(1) N(1) Z(0) C(1) A(0x92)\r
-H(1) C(0) A(0x32) -> V(0) N(0) Z(0) C(0) A(0x38)\r
-H(1) C(1) A(0x32) -> V(1) N(1) Z(0) C(1) A(0x98)\r
-\r
-H(0) C(0) A(0x33) -> V(0) N(0) Z(0) C(0) A(0x33)\r
-H(0) C(1) A(0x33) -> V(1) N(1) Z(0) C(1) A(0x93)\r
-H(1) C(0) A(0x33) -> V(0) N(0) Z(0) C(0) A(0x39)\r
-H(1) C(1) A(0x33) -> V(1) N(1) Z(0) C(1) A(0x99)\r
-\r
-H(0) C(0) A(0x34) -> V(0) N(0) Z(0) C(0) A(0x34)\r
-H(0) C(1) A(0x34) -> V(1) N(1) Z(0) C(1) A(0x94)\r
-H(1) C(0) A(0x34) -> V(0) N(0) Z(0) C(0) A(0x3A)\r
-H(1) C(1) A(0x34) -> V(1) N(1) Z(0) C(1) A(0x9A)\r
-\r
-H(0) C(0) A(0x35) -> V(0) N(0) Z(0) C(0) A(0x35)\r
-H(0) C(1) A(0x35) -> V(1) N(1) Z(0) C(1) A(0x95)\r
-H(1) C(0) A(0x35) -> V(0) N(0) Z(0) C(0) A(0x3B)\r
-H(1) C(1) A(0x35) -> V(1) N(1) Z(0) C(1) A(0x9B)\r
-\r
-H(0) C(0) A(0x36) -> V(0) N(0) Z(0) C(0) A(0x36)\r
-H(0) C(1) A(0x36) -> V(1) N(1) Z(0) C(1) A(0x96)\r
-H(1) C(0) A(0x36) -> V(0) N(0) Z(0) C(0) A(0x3C)\r
-H(1) C(1) A(0x36) -> V(1) N(1) Z(0) C(1) A(0x9C)\r
-\r
-H(0) C(0) A(0x37) -> V(0) N(0) Z(0) C(0) A(0x37)\r
-H(0) C(1) A(0x37) -> V(1) N(1) Z(0) C(1) A(0x97)\r
-H(1) C(0) A(0x37) -> V(0) N(0) Z(0) C(0) A(0x3D)\r
-H(1) C(1) A(0x37) -> V(1) N(1) Z(0) C(1) A(0x9D)\r
-\r
-H(0) C(0) A(0x38) -> V(0) N(0) Z(0) C(0) A(0x38)\r
-H(0) C(1) A(0x38) -> V(1) N(1) Z(0) C(1) A(0x98)\r
-H(1) C(0) A(0x38) -> V(0) N(0) Z(0) C(0) A(0x3E)\r
-H(1) C(1) A(0x38) -> V(1) N(1) Z(0) C(1) A(0x9E)\r
-\r
-H(0) C(0) A(0x39) -> V(0) N(0) Z(0) C(0) A(0x39)\r
-H(0) C(1) A(0x39) -> V(1) N(1) Z(0) C(1) A(0x99)\r
-H(1) C(0) A(0x39) -> V(0) N(0) Z(0) C(0) A(0x3F)\r
-H(1) C(1) A(0x39) -> V(1) N(1) Z(0) C(1) A(0x9F)\r
-\r
-H(0) C(0) A(0x3A) -> V(0) N(0) Z(0) C(0) A(0x40)\r
-H(0) C(1) A(0x3A) -> V(1) N(1) Z(0) C(1) A(0xA0)\r
-H(1) C(0) A(0x3A) -> V(0) N(0) Z(0) C(0) A(0x40)\r
-H(1) C(1) A(0x3A) -> V(1) N(1) Z(0) C(1) A(0xA0)\r
-\r
-H(0) C(0) A(0x3B) -> V(0) N(0) Z(0) C(0) A(0x41)\r
-H(0) C(1) A(0x3B) -> V(1) N(1) Z(0) C(1) A(0xA1)\r
-H(1) C(0) A(0x3B) -> V(0) N(0) Z(0) C(0) A(0x41)\r
-H(1) C(1) A(0x3B) -> V(1) N(1) Z(0) C(1) A(0xA1)\r
-\r
-H(0) C(0) A(0x3C) -> V(0) N(0) Z(0) C(0) A(0x42)\r
-H(0) C(1) A(0x3C) -> V(1) N(1) Z(0) C(1) A(0xA2)\r
-H(1) C(0) A(0x3C) -> V(0) N(0) Z(0) C(0) A(0x42)\r
-H(1) C(1) A(0x3C) -> V(1) N(1) Z(0) C(1) A(0xA2)\r
-\r
-H(0) C(0) A(0x3D) -> V(0) N(0) Z(0) C(0) A(0x43)\r
-H(0) C(1) A(0x3D) -> V(1) N(1) Z(0) C(1) A(0xA3)\r
-H(1) C(0) A(0x3D) -> V(0) N(0) Z(0) C(0) A(0x43)\r
-H(1) C(1) A(0x3D) -> V(1) N(1) Z(0) C(1) A(0xA3)\r
-\r
-H(0) C(0) A(0x3E) -> V(0) N(0) Z(0) C(0) A(0x44)\r
-H(0) C(1) A(0x3E) -> V(1) N(1) Z(0) C(1) A(0xA4)\r
-H(1) C(0) A(0x3E) -> V(0) N(0) Z(0) C(0) A(0x44)\r
-H(1) C(1) A(0x3E) -> V(1) N(1) Z(0) C(1) A(0xA4)\r
-\r
-H(0) C(0) A(0x3F) -> V(0) N(0) Z(0) C(0) A(0x45)\r
-H(0) C(1) A(0x3F) -> V(1) N(1) Z(0) C(1) A(0xA5)\r
-H(1) C(0) A(0x3F) -> V(0) N(0) Z(0) C(0) A(0x45)\r
-H(1) C(1) A(0x3F) -> V(1) N(1) Z(0) C(1) A(0xA5)\r
-\r
-H(0) C(0) A(0x40) -> V(0) N(0) Z(0) C(0) A(0x40)\r
-H(0) C(1) A(0x40) -> V(1) N(1) Z(0) C(1) A(0xA0)\r
-H(1) C(0) A(0x40) -> V(0) N(0) Z(0) C(0) A(0x46)\r
-H(1) C(1) A(0x40) -> V(1) N(1) Z(0) C(1) A(0xA6)\r
-\r
-H(0) C(0) A(0x41) -> V(0) N(0) Z(0) C(0) A(0x41)\r
-H(0) C(1) A(0x41) -> V(1) N(1) Z(0) C(1) A(0xA1)\r
-H(1) C(0) A(0x41) -> V(0) N(0) Z(0) C(0) A(0x47)\r
-H(1) C(1) A(0x41) -> V(1) N(1) Z(0) C(1) A(0xA7)\r
-\r
-H(0) C(0) A(0x42) -> V(0) N(0) Z(0) C(0) A(0x42)\r
-H(0) C(1) A(0x42) -> V(1) N(1) Z(0) C(1) A(0xA2)\r
-H(1) C(0) A(0x42) -> V(0) N(0) Z(0) C(0) A(0x48)\r
-H(1) C(1) A(0x42) -> V(1) N(1) Z(0) C(1) A(0xA8)\r
-\r
-H(0) C(0) A(0x43) -> V(0) N(0) Z(0) C(0) A(0x43)\r
-H(0) C(1) A(0x43) -> V(1) N(1) Z(0) C(1) A(0xA3)\r
-H(1) C(0) A(0x43) -> V(0) N(0) Z(0) C(0) A(0x49)\r
-H(1) C(1) A(0x43) -> V(1) N(1) Z(0) C(1) A(0xA9)\r
-\r
-H(0) C(0) A(0x44) -> V(0) N(0) Z(0) C(0) A(0x44)\r
-H(0) C(1) A(0x44) -> V(1) N(1) Z(0) C(1) A(0xA4)\r
-H(1) C(0) A(0x44) -> V(0) N(0) Z(0) C(0) A(0x4A)\r
-H(1) C(1) A(0x44) -> V(1) N(1) Z(0) C(1) A(0xAA)\r
-\r
-H(0) C(0) A(0x45) -> V(0) N(0) Z(0) C(0) A(0x45)\r
-H(0) C(1) A(0x45) -> V(1) N(1) Z(0) C(1) A(0xA5)\r
-H(1) C(0) A(0x45) -> V(0) N(0) Z(0) C(0) A(0x4B)\r
-H(1) C(1) A(0x45) -> V(1) N(1) Z(0) C(1) A(0xAB)\r
-\r
-H(0) C(0) A(0x46) -> V(0) N(0) Z(0) C(0) A(0x46)\r
-H(0) C(1) A(0x46) -> V(1) N(1) Z(0) C(1) A(0xA6)\r
-H(1) C(0) A(0x46) -> V(0) N(0) Z(0) C(0) A(0x4C)\r
-H(1) C(1) A(0x46) -> V(1) N(1) Z(0) C(1) A(0xAC)\r
-\r
-H(0) C(0) A(0x47) -> V(0) N(0) Z(0) C(0) A(0x47)\r
-H(0) C(1) A(0x47) -> V(1) N(1) Z(0) C(1) A(0xA7)\r
-H(1) C(0) A(0x47) -> V(0) N(0) Z(0) C(0) A(0x4D)\r
-H(1) C(1) A(0x47) -> V(1) N(1) Z(0) C(1) A(0xAD)\r
-\r
-H(0) C(0) A(0x48) -> V(0) N(0) Z(0) C(0) A(0x48)\r
-H(0) C(1) A(0x48) -> V(1) N(1) Z(0) C(1) A(0xA8)\r
-H(1) C(0) A(0x48) -> V(0) N(0) Z(0) C(0) A(0x4E)\r
-H(1) C(1) A(0x48) -> V(1) N(1) Z(0) C(1) A(0xAE)\r
-\r
-H(0) C(0) A(0x49) -> V(0) N(0) Z(0) C(0) A(0x49)\r
-H(0) C(1) A(0x49) -> V(1) N(1) Z(0) C(1) A(0xA9)\r
-H(1) C(0) A(0x49) -> V(0) N(0) Z(0) C(0) A(0x4F)\r
-H(1) C(1) A(0x49) -> V(1) N(1) Z(0) C(1) A(0xAF)\r
-\r
-H(0) C(0) A(0x4A) -> V(0) N(0) Z(0) C(0) A(0x50)\r
-H(0) C(1) A(0x4A) -> V(1) N(1) Z(0) C(1) A(0xB0)\r
-H(1) C(0) A(0x4A) -> V(0) N(0) Z(0) C(0) A(0x50)\r
-H(1) C(1) A(0x4A) -> V(1) N(1) Z(0) C(1) A(0xB0)\r
-\r
-H(0) C(0) A(0x4B) -> V(0) N(0) Z(0) C(0) A(0x51)\r
-H(0) C(1) A(0x4B) -> V(1) N(1) Z(0) C(1) A(0xB1)\r
-H(1) C(0) A(0x4B) -> V(0) N(0) Z(0) C(0) A(0x51)\r
-H(1) C(1) A(0x4B) -> V(1) N(1) Z(0) C(1) A(0xB1)\r
-\r
-H(0) C(0) A(0x4C) -> V(0) N(0) Z(0) C(0) A(0x52)\r
-H(0) C(1) A(0x4C) -> V(1) N(1) Z(0) C(1) A(0xB2)\r
-H(1) C(0) A(0x4C) -> V(0) N(0) Z(0) C(0) A(0x52)\r
-H(1) C(1) A(0x4C) -> V(1) N(1) Z(0) C(1) A(0xB2)\r
-\r
-H(0) C(0) A(0x4D) -> V(0) N(0) Z(0) C(0) A(0x53)\r
-H(0) C(1) A(0x4D) -> V(1) N(1) Z(0) C(1) A(0xB3)\r
-H(1) C(0) A(0x4D) -> V(0) N(0) Z(0) C(0) A(0x53)\r
-H(1) C(1) A(0x4D) -> V(1) N(1) Z(0) C(1) A(0xB3)\r
-\r
-H(0) C(0) A(0x4E) -> V(0) N(0) Z(0) C(0) A(0x54)\r
-H(0) C(1) A(0x4E) -> V(1) N(1) Z(0) C(1) A(0xB4)\r
-H(1) C(0) A(0x4E) -> V(0) N(0) Z(0) C(0) A(0x54)\r
-H(1) C(1) A(0x4E) -> V(1) N(1) Z(0) C(1) A(0xB4)\r
-\r
-H(0) C(0) A(0x4F) -> V(0) N(0) Z(0) C(0) A(0x55)\r
-H(0) C(1) A(0x4F) -> V(1) N(1) Z(0) C(1) A(0xB5)\r
-H(1) C(0) A(0x4F) -> V(0) N(0) Z(0) C(0) A(0x55)\r
-H(1) C(1) A(0x4F) -> V(1) N(1) Z(0) C(1) A(0xB5)\r
-\r
-H(0) C(0) A(0x50) -> V(0) N(0) Z(0) C(0) A(0x50)\r
-H(0) C(1) A(0x50) -> V(1) N(1) Z(0) C(1) A(0xB0)\r
-H(1) C(0) A(0x50) -> V(0) N(0) Z(0) C(0) A(0x56)\r
-H(1) C(1) A(0x50) -> V(1) N(1) Z(0) C(1) A(0xB6)\r
-\r
-H(0) C(0) A(0x51) -> V(0) N(0) Z(0) C(0) A(0x51)\r
-H(0) C(1) A(0x51) -> V(1) N(1) Z(0) C(1) A(0xB1)\r
-H(1) C(0) A(0x51) -> V(0) N(0) Z(0) C(0) A(0x57)\r
-H(1) C(1) A(0x51) -> V(1) N(1) Z(0) C(1) A(0xB7)\r
-\r
-H(0) C(0) A(0x52) -> V(0) N(0) Z(0) C(0) A(0x52)\r
-H(0) C(1) A(0x52) -> V(1) N(1) Z(0) C(1) A(0xB2)\r
-H(1) C(0) A(0x52) -> V(0) N(0) Z(0) C(0) A(0x58)\r
-H(1) C(1) A(0x52) -> V(1) N(1) Z(0) C(1) A(0xB8)\r
-\r
-H(0) C(0) A(0x53) -> V(0) N(0) Z(0) C(0) A(0x53)\r
-H(0) C(1) A(0x53) -> V(1) N(1) Z(0) C(1) A(0xB3)\r
-H(1) C(0) A(0x53) -> V(0) N(0) Z(0) C(0) A(0x59)\r
-H(1) C(1) A(0x53) -> V(1) N(1) Z(0) C(1) A(0xB9)\r
-\r
-H(0) C(0) A(0x54) -> V(0) N(0) Z(0) C(0) A(0x54)\r
-H(0) C(1) A(0x54) -> V(1) N(1) Z(0) C(1) A(0xB4)\r
-H(1) C(0) A(0x54) -> V(0) N(0) Z(0) C(0) A(0x5A)\r
-H(1) C(1) A(0x54) -> V(1) N(1) Z(0) C(1) A(0xBA)\r
-\r
-H(0) C(0) A(0x55) -> V(0) N(0) Z(0) C(0) A(0x55)\r
-H(0) C(1) A(0x55) -> V(1) N(1) Z(0) C(1) A(0xB5)\r
-H(1) C(0) A(0x55) -> V(0) N(0) Z(0) C(0) A(0x5B)\r
-H(1) C(1) A(0x55) -> V(1) N(1) Z(0) C(1) A(0xBB)\r
-\r
-H(0) C(0) A(0x56) -> V(0) N(0) Z(0) C(0) A(0x56)\r
-H(0) C(1) A(0x56) -> V(1) N(1) Z(0) C(1) A(0xB6)\r
-H(1) C(0) A(0x56) -> V(0) N(0) Z(0) C(0) A(0x5C)\r
-H(1) C(1) A(0x56) -> V(1) N(1) Z(0) C(1) A(0xBC)\r
-\r
-H(0) C(0) A(0x57) -> V(0) N(0) Z(0) C(0) A(0x57)\r
-H(0) C(1) A(0x57) -> V(1) N(1) Z(0) C(1) A(0xB7)\r
-H(1) C(0) A(0x57) -> V(0) N(0) Z(0) C(0) A(0x5D)\r
-H(1) C(1) A(0x57) -> V(1) N(1) Z(0) C(1) A(0xBD)\r
-\r
-H(0) C(0) A(0x58) -> V(0) N(0) Z(0) C(0) A(0x58)\r
-H(0) C(1) A(0x58) -> V(1) N(1) Z(0) C(1) A(0xB8)\r
-H(1) C(0) A(0x58) -> V(0) N(0) Z(0) C(0) A(0x5E)\r
-H(1) C(1) A(0x58) -> V(1) N(1) Z(0) C(1) A(0xBE)\r
-\r
-H(0) C(0) A(0x59) -> V(0) N(0) Z(0) C(0) A(0x59)\r
-H(0) C(1) A(0x59) -> V(1) N(1) Z(0) C(1) A(0xB9)\r
-H(1) C(0) A(0x59) -> V(0) N(0) Z(0) C(0) A(0x5F)\r
-H(1) C(1) A(0x59) -> V(1) N(1) Z(0) C(1) A(0xBF)\r
-\r
-H(0) C(0) A(0x5A) -> V(0) N(0) Z(0) C(0) A(0x60)\r
-H(0) C(1) A(0x5A) -> V(1) N(1) Z(0) C(1) A(0xC0)\r
-H(1) C(0) A(0x5A) -> V(0) N(0) Z(0) C(0) A(0x60)\r
-H(1) C(1) A(0x5A) -> V(1) N(1) Z(0) C(1) A(0xC0)\r
-\r
-H(0) C(0) A(0x5B) -> V(0) N(0) Z(0) C(0) A(0x61)\r
-H(0) C(1) A(0x5B) -> V(1) N(1) Z(0) C(1) A(0xC1)\r
-H(1) C(0) A(0x5B) -> V(0) N(0) Z(0) C(0) A(0x61)\r
-H(1) C(1) A(0x5B) -> V(1) N(1) Z(0) C(1) A(0xC1)\r
-\r
-H(0) C(0) A(0x5C) -> V(0) N(0) Z(0) C(0) A(0x62)\r
-H(0) C(1) A(0x5C) -> V(1) N(1) Z(0) C(1) A(0xC2)\r
-H(1) C(0) A(0x5C) -> V(0) N(0) Z(0) C(0) A(0x62)\r
-H(1) C(1) A(0x5C) -> V(1) N(1) Z(0) C(1) A(0xC2)\r
-\r
-H(0) C(0) A(0x5D) -> V(0) N(0) Z(0) C(0) A(0x63)\r
-H(0) C(1) A(0x5D) -> V(1) N(1) Z(0) C(1) A(0xC3)\r
-H(1) C(0) A(0x5D) -> V(0) N(0) Z(0) C(0) A(0x63)\r
-H(1) C(1) A(0x5D) -> V(1) N(1) Z(0) C(1) A(0xC3)\r
-\r
-H(0) C(0) A(0x5E) -> V(0) N(0) Z(0) C(0) A(0x64)\r
-H(0) C(1) A(0x5E) -> V(1) N(1) Z(0) C(1) A(0xC4)\r
-H(1) C(0) A(0x5E) -> V(0) N(0) Z(0) C(0) A(0x64)\r
-H(1) C(1) A(0x5E) -> V(1) N(1) Z(0) C(1) A(0xC4)\r
-\r
-H(0) C(0) A(0x5F) -> V(0) N(0) Z(0) C(0) A(0x65)\r
-H(0) C(1) A(0x5F) -> V(1) N(1) Z(0) C(1) A(0xC5)\r
-H(1) C(0) A(0x5F) -> V(0) N(0) Z(0) C(0) A(0x65)\r
-H(1) C(1) A(0x5F) -> V(1) N(1) Z(0) C(1) A(0xC5)\r
-\r
-H(0) C(0) A(0x60) -> V(0) N(0) Z(0) C(0) A(0x60)\r
-H(0) C(1) A(0x60) -> V(1) N(1) Z(0) C(1) A(0xC0)\r
-H(1) C(0) A(0x60) -> V(0) N(0) Z(0) C(0) A(0x66)\r
-H(1) C(1) A(0x60) -> V(1) N(1) Z(0) C(1) A(0xC6)\r
-\r
-H(0) C(0) A(0x61) -> V(0) N(0) Z(0) C(0) A(0x61)\r
-H(0) C(1) A(0x61) -> V(1) N(1) Z(0) C(1) A(0xC1)\r
-H(1) C(0) A(0x61) -> V(0) N(0) Z(0) C(0) A(0x67)\r
-H(1) C(1) A(0x61) -> V(1) N(1) Z(0) C(1) A(0xC7)\r
-\r
-H(0) C(0) A(0x62) -> V(0) N(0) Z(0) C(0) A(0x62)\r
-H(0) C(1) A(0x62) -> V(1) N(1) Z(0) C(1) A(0xC2)\r
-H(1) C(0) A(0x62) -> V(0) N(0) Z(0) C(0) A(0x68)\r
-H(1) C(1) A(0x62) -> V(1) N(1) Z(0) C(1) A(0xC8)\r
-\r
-H(0) C(0) A(0x63) -> V(0) N(0) Z(0) C(0) A(0x63)\r
-H(0) C(1) A(0x63) -> V(1) N(1) Z(0) C(1) A(0xC3)\r
-H(1) C(0) A(0x63) -> V(0) N(0) Z(0) C(0) A(0x69)\r
-H(1) C(1) A(0x63) -> V(1) N(1) Z(0) C(1) A(0xC9)\r
-\r
-H(0) C(0) A(0x64) -> V(0) N(0) Z(0) C(0) A(0x64)\r
-H(0) C(1) A(0x64) -> V(1) N(1) Z(0) C(1) A(0xC4)\r
-H(1) C(0) A(0x64) -> V(0) N(0) Z(0) C(0) A(0x6A)\r
-H(1) C(1) A(0x64) -> V(1) N(1) Z(0) C(1) A(0xCA)\r
-\r
-H(0) C(0) A(0x65) -> V(0) N(0) Z(0) C(0) A(0x65)\r
-H(0) C(1) A(0x65) -> V(1) N(1) Z(0) C(1) A(0xC5)\r
-H(1) C(0) A(0x65) -> V(0) N(0) Z(0) C(0) A(0x6B)\r
-H(1) C(1) A(0x65) -> V(1) N(1) Z(0) C(1) A(0xCB)\r
-\r
-H(0) C(0) A(0x66) -> V(0) N(0) Z(0) C(0) A(0x66)\r
-H(0) C(1) A(0x66) -> V(1) N(1) Z(0) C(1) A(0xC6)\r
-H(1) C(0) A(0x66) -> V(0) N(0) Z(0) C(0) A(0x6C)\r
-H(1) C(1) A(0x66) -> V(1) N(1) Z(0) C(1) A(0xCC)\r
-\r
-H(0) C(0) A(0x67) -> V(0) N(0) Z(0) C(0) A(0x67)\r
-H(0) C(1) A(0x67) -> V(1) N(1) Z(0) C(1) A(0xC7)\r
-H(1) C(0) A(0x67) -> V(0) N(0) Z(0) C(0) A(0x6D)\r
-H(1) C(1) A(0x67) -> V(1) N(1) Z(0) C(1) A(0xCD)\r
-\r
-H(0) C(0) A(0x68) -> V(0) N(0) Z(0) C(0) A(0x68)\r
-H(0) C(1) A(0x68) -> V(1) N(1) Z(0) C(1) A(0xC8)\r
-H(1) C(0) A(0x68) -> V(0) N(0) Z(0) C(0) A(0x6E)\r
-H(1) C(1) A(0x68) -> V(1) N(1) Z(0) C(1) A(0xCE)\r
-\r
-H(0) C(0) A(0x69) -> V(0) N(0) Z(0) C(0) A(0x69)\r
-H(0) C(1) A(0x69) -> V(1) N(1) Z(0) C(1) A(0xC9)\r
-H(1) C(0) A(0x69) -> V(0) N(0) Z(0) C(0) A(0x6F)\r
-H(1) C(1) A(0x69) -> V(1) N(1) Z(0) C(1) A(0xCF)\r
-\r
-H(0) C(0) A(0x6A) -> V(0) N(0) Z(0) C(0) A(0x70)\r
-H(0) C(1) A(0x6A) -> V(1) N(1) Z(0) C(1) A(0xD0)\r
-H(1) C(0) A(0x6A) -> V(0) N(0) Z(0) C(0) A(0x70)\r
-H(1) C(1) A(0x6A) -> V(1) N(1) Z(0) C(1) A(0xD0)\r
-\r
-H(0) C(0) A(0x6B) -> V(0) N(0) Z(0) C(0) A(0x71)\r
-H(0) C(1) A(0x6B) -> V(1) N(1) Z(0) C(1) A(0xD1)\r
-H(1) C(0) A(0x6B) -> V(0) N(0) Z(0) C(0) A(0x71)\r
-H(1) C(1) A(0x6B) -> V(1) N(1) Z(0) C(1) A(0xD1)\r
-\r
-H(0) C(0) A(0x6C) -> V(0) N(0) Z(0) C(0) A(0x72)\r
-H(0) C(1) A(0x6C) -> V(1) N(1) Z(0) C(1) A(0xD2)\r
-H(1) C(0) A(0x6C) -> V(0) N(0) Z(0) C(0) A(0x72)\r
-H(1) C(1) A(0x6C) -> V(1) N(1) Z(0) C(1) A(0xD2)\r
-\r
-H(0) C(0) A(0x6D) -> V(0) N(0) Z(0) C(0) A(0x73)\r
-H(0) C(1) A(0x6D) -> V(1) N(1) Z(0) C(1) A(0xD3)\r
-H(1) C(0) A(0x6D) -> V(0) N(0) Z(0) C(0) A(0x73)\r
-H(1) C(1) A(0x6D) -> V(1) N(1) Z(0) C(1) A(0xD3)\r
-\r
-H(0) C(0) A(0x6E) -> V(0) N(0) Z(0) C(0) A(0x74)\r
-H(0) C(1) A(0x6E) -> V(1) N(1) Z(0) C(1) A(0xD4)\r
-H(1) C(0) A(0x6E) -> V(0) N(0) Z(0) C(0) A(0x74)\r
-H(1) C(1) A(0x6E) -> V(1) N(1) Z(0) C(1) A(0xD4)\r
-\r
-H(0) C(0) A(0x6F) -> V(0) N(0) Z(0) C(0) A(0x75)\r
-H(0) C(1) A(0x6F) -> V(1) N(1) Z(0) C(1) A(0xD5)\r
-H(1) C(0) A(0x6F) -> V(0) N(0) Z(0) C(0) A(0x75)\r
-H(1) C(1) A(0x6F) -> V(1) N(1) Z(0) C(1) A(0xD5)\r
-\r
-H(0) C(0) A(0x70) -> V(0) N(0) Z(0) C(0) A(0x70)\r
-H(0) C(1) A(0x70) -> V(1) N(1) Z(0) C(1) A(0xD0)\r
-H(1) C(0) A(0x70) -> V(0) N(0) Z(0) C(0) A(0x76)\r
-H(1) C(1) A(0x70) -> V(1) N(1) Z(0) C(1) A(0xD6)\r
-\r
-H(0) C(0) A(0x71) -> V(0) N(0) Z(0) C(0) A(0x71)\r
-H(0) C(1) A(0x71) -> V(1) N(1) Z(0) C(1) A(0xD1)\r
-H(1) C(0) A(0x71) -> V(0) N(0) Z(0) C(0) A(0x77)\r
-H(1) C(1) A(0x71) -> V(1) N(1) Z(0) C(1) A(0xD7)\r
-\r
-H(0) C(0) A(0x72) -> V(0) N(0) Z(0) C(0) A(0x72)\r
-H(0) C(1) A(0x72) -> V(1) N(1) Z(0) C(1) A(0xD2)\r
-H(1) C(0) A(0x72) -> V(0) N(0) Z(0) C(0) A(0x78)\r
-H(1) C(1) A(0x72) -> V(1) N(1) Z(0) C(1) A(0xD8)\r
-\r
-H(0) C(0) A(0x73) -> V(0) N(0) Z(0) C(0) A(0x73)\r
-H(0) C(1) A(0x73) -> V(1) N(1) Z(0) C(1) A(0xD3)\r
-H(1) C(0) A(0x73) -> V(0) N(0) Z(0) C(0) A(0x79)\r
-H(1) C(1) A(0x73) -> V(1) N(1) Z(0) C(1) A(0xD9)\r
-\r
-H(0) C(0) A(0x74) -> V(0) N(0) Z(0) C(0) A(0x74)\r
-H(0) C(1) A(0x74) -> V(1) N(1) Z(0) C(1) A(0xD4)\r
-H(1) C(0) A(0x74) -> V(0) N(0) Z(0) C(0) A(0x7A)\r
-H(1) C(1) A(0x74) -> V(1) N(1) Z(0) C(1) A(0xDA)\r
-\r
-H(0) C(0) A(0x75) -> V(0) N(0) Z(0) C(0) A(0x75)\r
-H(0) C(1) A(0x75) -> V(1) N(1) Z(0) C(1) A(0xD5)\r
-H(1) C(0) A(0x75) -> V(0) N(0) Z(0) C(0) A(0x7B)\r
-H(1) C(1) A(0x75) -> V(1) N(1) Z(0) C(1) A(0xDB)\r
-\r
-H(0) C(0) A(0x76) -> V(0) N(0) Z(0) C(0) A(0x76)\r
-H(0) C(1) A(0x76) -> V(1) N(1) Z(0) C(1) A(0xD6)\r
-H(1) C(0) A(0x76) -> V(0) N(0) Z(0) C(0) A(0x7C)\r
-H(1) C(1) A(0x76) -> V(1) N(1) Z(0) C(1) A(0xDC)\r
-\r
-H(0) C(0) A(0x77) -> V(0) N(0) Z(0) C(0) A(0x77)\r
-H(0) C(1) A(0x77) -> V(1) N(1) Z(0) C(1) A(0xD7)\r
-H(1) C(0) A(0x77) -> V(0) N(0) Z(0) C(0) A(0x7D)\r
-H(1) C(1) A(0x77) -> V(1) N(1) Z(0) C(1) A(0xDD)\r
-\r
-H(0) C(0) A(0x78) -> V(0) N(0) Z(0) C(0) A(0x78)\r
-H(0) C(1) A(0x78) -> V(1) N(1) Z(0) C(1) A(0xD8)\r
-H(1) C(0) A(0x78) -> V(0) N(0) Z(0) C(0) A(0x7E)\r
-H(1) C(1) A(0x78) -> V(1) N(1) Z(0) C(1) A(0xDE)\r
-\r
-H(0) C(0) A(0x79) -> V(0) N(0) Z(0) C(0) A(0x79)\r
-H(0) C(1) A(0x79) -> V(1) N(1) Z(0) C(1) A(0xD9)\r
-H(1) C(0) A(0x79) -> V(0) N(0) Z(0) C(0) A(0x7F)\r
-H(1) C(1) A(0x79) -> V(1) N(1) Z(0) C(1) A(0xDF)\r
-\r
-H(0) C(0) A(0x7A) -> V(1) N(1) Z(0) C(0) A(0x80)\r
-H(0) C(1) A(0x7A) -> V(1) N(1) Z(0) C(1) A(0xE0)\r
-H(1) C(0) A(0x7A) -> V(1) N(1) Z(0) C(0) A(0x80)\r
-H(1) C(1) A(0x7A) -> V(1) N(1) Z(0) C(1) A(0xE0)\r
-\r
-H(0) C(0) A(0x7B) -> V(1) N(1) Z(0) C(0) A(0x81)\r
-H(0) C(1) A(0x7B) -> V(1) N(1) Z(0) C(1) A(0xE1)\r
-H(1) C(0) A(0x7B) -> V(1) N(1) Z(0) C(0) A(0x81)\r
-H(1) C(1) A(0x7B) -> V(1) N(1) Z(0) C(1) A(0xE1)\r
-\r
-H(0) C(0) A(0x7C) -> V(1) N(1) Z(0) C(0) A(0x82)\r
-H(0) C(1) A(0x7C) -> V(1) N(1) Z(0) C(1) A(0xE2)\r
-H(1) C(0) A(0x7C) -> V(1) N(1) Z(0) C(0) A(0x82)\r
-H(1) C(1) A(0x7C) -> V(1) N(1) Z(0) C(1) A(0xE2)\r
-\r
-H(0) C(0) A(0x7D) -> V(1) N(1) Z(0) C(0) A(0x83)\r
-H(0) C(1) A(0x7D) -> V(1) N(1) Z(0) C(1) A(0xE3)\r
-H(1) C(0) A(0x7D) -> V(1) N(1) Z(0) C(0) A(0x83)\r
-H(1) C(1) A(0x7D) -> V(1) N(1) Z(0) C(1) A(0xE3)\r
-\r
-H(0) C(0) A(0x7E) -> V(1) N(1) Z(0) C(0) A(0x84)\r
-H(0) C(1) A(0x7E) -> V(1) N(1) Z(0) C(1) A(0xE4)\r
-H(1) C(0) A(0x7E) -> V(1) N(1) Z(0) C(0) A(0x84)\r
-H(1) C(1) A(0x7E) -> V(1) N(1) Z(0) C(1) A(0xE4)\r
-\r
-H(0) C(0) A(0x7F) -> V(1) N(1) Z(0) C(0) A(0x85)\r
-H(0) C(1) A(0x7F) -> V(1) N(1) Z(0) C(1) A(0xE5)\r
-H(1) C(0) A(0x7F) -> V(1) N(1) Z(0) C(0) A(0x85)\r
-H(1) C(1) A(0x7F) -> V(1) N(1) Z(0) C(1) A(0xE5)\r
-\r
-H(0) C(0) A(0x80) -> V(0) N(1) Z(0) C(0) A(0x80)\r
-H(0) C(1) A(0x80) -> V(0) N(1) Z(0) C(1) A(0xE0)\r
-H(1) C(0) A(0x80) -> V(0) N(1) Z(0) C(0) A(0x86)\r
-H(1) C(1) A(0x80) -> V(0) N(1) Z(0) C(1) A(0xE6)\r
-\r
-H(0) C(0) A(0x81) -> V(0) N(1) Z(0) C(0) A(0x81)\r
-H(0) C(1) A(0x81) -> V(0) N(1) Z(0) C(1) A(0xE1)\r
-H(1) C(0) A(0x81) -> V(0) N(1) Z(0) C(0) A(0x87)\r
-H(1) C(1) A(0x81) -> V(0) N(1) Z(0) C(1) A(0xE7)\r
-\r
-H(0) C(0) A(0x82) -> V(0) N(1) Z(0) C(0) A(0x82)\r
-H(0) C(1) A(0x82) -> V(0) N(1) Z(0) C(1) A(0xE2)\r
-H(1) C(0) A(0x82) -> V(0) N(1) Z(0) C(0) A(0x88)\r
-H(1) C(1) A(0x82) -> V(0) N(1) Z(0) C(1) A(0xE8)\r
-\r
-H(0) C(0) A(0x83) -> V(0) N(1) Z(0) C(0) A(0x83)\r
-H(0) C(1) A(0x83) -> V(0) N(1) Z(0) C(1) A(0xE3)\r
-H(1) C(0) A(0x83) -> V(0) N(1) Z(0) C(0) A(0x89)\r
-H(1) C(1) A(0x83) -> V(0) N(1) Z(0) C(1) A(0xE9)\r
-\r
-H(0) C(0) A(0x84) -> V(0) N(1) Z(0) C(0) A(0x84)\r
-H(0) C(1) A(0x84) -> V(0) N(1) Z(0) C(1) A(0xE4)\r
-H(1) C(0) A(0x84) -> V(0) N(1) Z(0) C(0) A(0x8A)\r
-H(1) C(1) A(0x84) -> V(0) N(1) Z(0) C(1) A(0xEA)\r
-\r
-H(0) C(0) A(0x85) -> V(0) N(1) Z(0) C(0) A(0x85)\r
-H(0) C(1) A(0x85) -> V(0) N(1) Z(0) C(1) A(0xE5)\r
-H(1) C(0) A(0x85) -> V(0) N(1) Z(0) C(0) A(0x8B)\r
-H(1) C(1) A(0x85) -> V(0) N(1) Z(0) C(1) A(0xEB)\r
-\r
-H(0) C(0) A(0x86) -> V(0) N(1) Z(0) C(0) A(0x86)\r
-H(0) C(1) A(0x86) -> V(0) N(1) Z(0) C(1) A(0xE6)\r
-H(1) C(0) A(0x86) -> V(0) N(1) Z(0) C(0) A(0x8C)\r
-H(1) C(1) A(0x86) -> V(0) N(1) Z(0) C(1) A(0xEC)\r
-\r
-H(0) C(0) A(0x87) -> V(0) N(1) Z(0) C(0) A(0x87)\r
-H(0) C(1) A(0x87) -> V(0) N(1) Z(0) C(1) A(0xE7)\r
-H(1) C(0) A(0x87) -> V(0) N(1) Z(0) C(0) A(0x8D)\r
-H(1) C(1) A(0x87) -> V(0) N(1) Z(0) C(1) A(0xED)\r
-\r
-H(0) C(0) A(0x88) -> V(0) N(1) Z(0) C(0) A(0x88)\r
-H(0) C(1) A(0x88) -> V(0) N(1) Z(0) C(1) A(0xE8)\r
-H(1) C(0) A(0x88) -> V(0) N(1) Z(0) C(0) A(0x8E)\r
-H(1) C(1) A(0x88) -> V(0) N(1) Z(0) C(1) A(0xEE)\r
-\r
-H(0) C(0) A(0x89) -> V(0) N(1) Z(0) C(0) A(0x89)\r
-H(0) C(1) A(0x89) -> V(0) N(1) Z(0) C(1) A(0xE9)\r
-H(1) C(0) A(0x89) -> V(0) N(1) Z(0) C(0) A(0x8F)\r
-H(1) C(1) A(0x89) -> V(0) N(1) Z(0) C(1) A(0xEF)\r
-\r
-H(0) C(0) A(0x8A) -> V(0) N(1) Z(0) C(0) A(0x90)\r
-H(0) C(1) A(0x8A) -> V(0) N(1) Z(0) C(1) A(0xF0)\r
-H(1) C(0) A(0x8A) -> V(0) N(1) Z(0) C(0) A(0x90)\r
-H(1) C(1) A(0x8A) -> V(0) N(1) Z(0) C(1) A(0xF0)\r
-\r
-H(0) C(0) A(0x8B) -> V(0) N(1) Z(0) C(0) A(0x91)\r
-H(0) C(1) A(0x8B) -> V(0) N(1) Z(0) C(1) A(0xF1)\r
-H(1) C(0) A(0x8B) -> V(0) N(1) Z(0) C(0) A(0x91)\r
-H(1) C(1) A(0x8B) -> V(0) N(1) Z(0) C(1) A(0xF1)\r
-\r
-H(0) C(0) A(0x8C) -> V(0) N(1) Z(0) C(0) A(0x92)\r
-H(0) C(1) A(0x8C) -> V(0) N(1) Z(0) C(1) A(0xF2)\r
-H(1) C(0) A(0x8C) -> V(0) N(1) Z(0) C(0) A(0x92)\r
-H(1) C(1) A(0x8C) -> V(0) N(1) Z(0) C(1) A(0xF2)\r
-\r
-H(0) C(0) A(0x8D) -> V(0) N(1) Z(0) C(0) A(0x93)\r
-H(0) C(1) A(0x8D) -> V(0) N(1) Z(0) C(1) A(0xF3)\r
-H(1) C(0) A(0x8D) -> V(0) N(1) Z(0) C(0) A(0x93)\r
-H(1) C(1) A(0x8D) -> V(0) N(1) Z(0) C(1) A(0xF3)\r
-\r
-H(0) C(0) A(0x8E) -> V(0) N(1) Z(0) C(0) A(0x94)\r
-H(0) C(1) A(0x8E) -> V(0) N(1) Z(0) C(1) A(0xF4)\r
-H(1) C(0) A(0x8E) -> V(0) N(1) Z(0) C(0) A(0x94)\r
-H(1) C(1) A(0x8E) -> V(0) N(1) Z(0) C(1) A(0xF4)\r
-\r
-H(0) C(0) A(0x8F) -> V(0) N(1) Z(0) C(0) A(0x95)\r
-H(0) C(1) A(0x8F) -> V(0) N(1) Z(0) C(1) A(0xF5)\r
-H(1) C(0) A(0x8F) -> V(0) N(1) Z(0) C(0) A(0x95)\r
-H(1) C(1) A(0x8F) -> V(0) N(1) Z(0) C(1) A(0xF5)\r
-\r
-H(0) C(0) A(0x90) -> V(0) N(1) Z(0) C(0) A(0x90)\r
-H(0) C(1) A(0x90) -> V(0) N(1) Z(0) C(1) A(0xF0)\r
-H(1) C(0) A(0x90) -> V(0) N(1) Z(0) C(0) A(0x96)\r
-H(1) C(1) A(0x90) -> V(0) N(1) Z(0) C(1) A(0xF6)\r
-\r
-H(0) C(0) A(0x91) -> V(0) N(1) Z(0) C(0) A(0x91)\r
-H(0) C(1) A(0x91) -> V(0) N(1) Z(0) C(1) A(0xF1)\r
-H(1) C(0) A(0x91) -> V(0) N(1) Z(0) C(0) A(0x97)\r
-H(1) C(1) A(0x91) -> V(0) N(1) Z(0) C(1) A(0xF7)\r
-\r
-H(0) C(0) A(0x92) -> V(0) N(1) Z(0) C(0) A(0x92)\r
-H(0) C(1) A(0x92) -> V(0) N(1) Z(0) C(1) A(0xF2)\r
-H(1) C(0) A(0x92) -> V(0) N(1) Z(0) C(0) A(0x98)\r
-H(1) C(1) A(0x92) -> V(0) N(1) Z(0) C(1) A(0xF8)\r
-\r
-H(0) C(0) A(0x93) -> V(0) N(1) Z(0) C(0) A(0x93)\r
-H(0) C(1) A(0x93) -> V(0) N(1) Z(0) C(1) A(0xF3)\r
-H(1) C(0) A(0x93) -> V(0) N(1) Z(0) C(0) A(0x99)\r
-H(1) C(1) A(0x93) -> V(0) N(1) Z(0) C(1) A(0xF9)\r
-\r
-H(0) C(0) A(0x94) -> V(0) N(1) Z(0) C(0) A(0x94)\r
-H(0) C(1) A(0x94) -> V(0) N(1) Z(0) C(1) A(0xF4)\r
-H(1) C(0) A(0x94) -> V(0) N(1) Z(0) C(0) A(0x9A)\r
-H(1) C(1) A(0x94) -> V(0) N(1) Z(0) C(1) A(0xFA)\r
-\r
-H(0) C(0) A(0x95) -> V(0) N(1) Z(0) C(0) A(0x95)\r
-H(0) C(1) A(0x95) -> V(0) N(1) Z(0) C(1) A(0xF5)\r
-H(1) C(0) A(0x95) -> V(0) N(1) Z(0) C(0) A(0x9B)\r
-H(1) C(1) A(0x95) -> V(0) N(1) Z(0) C(1) A(0xFB)\r
-\r
-H(0) C(0) A(0x96) -> V(0) N(1) Z(0) C(0) A(0x96)\r
-H(0) C(1) A(0x96) -> V(0) N(1) Z(0) C(1) A(0xF6)\r
-H(1) C(0) A(0x96) -> V(0) N(1) Z(0) C(0) A(0x9C)\r
-H(1) C(1) A(0x96) -> V(0) N(1) Z(0) C(1) A(0xFC)\r
-\r
-H(0) C(0) A(0x97) -> V(0) N(1) Z(0) C(0) A(0x97)\r
-H(0) C(1) A(0x97) -> V(0) N(1) Z(0) C(1) A(0xF7)\r
-H(1) C(0) A(0x97) -> V(0) N(1) Z(0) C(0) A(0x9D)\r
-H(1) C(1) A(0x97) -> V(0) N(1) Z(0) C(1) A(0xFD)\r
-\r
-H(0) C(0) A(0x98) -> V(0) N(1) Z(0) C(0) A(0x98)\r
-H(0) C(1) A(0x98) -> V(0) N(1) Z(0) C(1) A(0xF8)\r
-H(1) C(0) A(0x98) -> V(0) N(1) Z(0) C(0) A(0x9E)\r
-H(1) C(1) A(0x98) -> V(0) N(1) Z(0) C(1) A(0xFE)\r
-\r
-H(0) C(0) A(0x99) -> V(0) N(1) Z(0) C(0) A(0x99)\r
-H(0) C(1) A(0x99) -> V(0) N(1) Z(0) C(1) A(0xF9)\r
-H(1) C(0) A(0x99) -> V(0) N(1) Z(0) C(0) A(0x9F)\r
-H(1) C(1) A(0x99) -> V(0) N(1) Z(0) C(1) A(0xFF)\r
-\r
-H(0) C(0) A(0x9A) -> V(0) N(0) Z(1) C(1) A(0x00)\r
-H(0) C(1) A(0x9A) -> V(0) N(0) Z(1) C(1) A(0x00)\r
-H(1) C(0) A(0x9A) -> V(0) N(0) Z(1) C(1) A(0x00)\r
-H(1) C(1) A(0x9A) -> V(0) N(0) Z(1) C(1) A(0x00)\r
-\r
-H(0) C(0) A(0x9B) -> V(0) N(0) Z(0) C(1) A(0x01)\r
-H(0) C(1) A(0x9B) -> V(0) N(0) Z(0) C(1) A(0x01)\r
-H(1) C(0) A(0x9B) -> V(0) N(0) Z(0) C(1) A(0x01)\r
-H(1) C(1) A(0x9B) -> V(0) N(0) Z(0) C(1) A(0x01)\r
-\r
-H(0) C(0) A(0x9C) -> V(0) N(0) Z(0) C(1) A(0x02)\r
-H(0) C(1) A(0x9C) -> V(0) N(0) Z(0) C(1) A(0x02)\r
-H(1) C(0) A(0x9C) -> V(0) N(0) Z(0) C(1) A(0x02)\r
-H(1) C(1) A(0x9C) -> V(0) N(0) Z(0) C(1) A(0x02)\r
-\r
-H(0) C(0) A(0x9D) -> V(0) N(0) Z(0) C(1) A(0x03)\r
-H(0) C(1) A(0x9D) -> V(0) N(0) Z(0) C(1) A(0x03)\r
-H(1) C(0) A(0x9D) -> V(0) N(0) Z(0) C(1) A(0x03)\r
-H(1) C(1) A(0x9D) -> V(0) N(0) Z(0) C(1) A(0x03)\r
-\r
-H(0) C(0) A(0x9E) -> V(0) N(0) Z(0) C(1) A(0x04)\r
-H(0) C(1) A(0x9E) -> V(0) N(0) Z(0) C(1) A(0x04)\r
-H(1) C(0) A(0x9E) -> V(0) N(0) Z(0) C(1) A(0x04)\r
-H(1) C(1) A(0x9E) -> V(0) N(0) Z(0) C(1) A(0x04)\r
-\r
-H(0) C(0) A(0x9F) -> V(0) N(0) Z(0) C(1) A(0x05)\r
-H(0) C(1) A(0x9F) -> V(0) N(0) Z(0) C(1) A(0x05)\r
-H(1) C(0) A(0x9F) -> V(0) N(0) Z(0) C(1) A(0x05)\r
-H(1) C(1) A(0x9F) -> V(0) N(0) Z(0) C(1) A(0x05)\r
-\r
-H(0) C(0) A(0xA0) -> V(0) N(0) Z(1) C(1) A(0x00)\r
-H(0) C(1) A(0xA0) -> V(0) N(0) Z(1) C(1) A(0x00)\r
-H(1) C(0) A(0xA0) -> V(0) N(0) Z(0) C(1) A(0x06)\r
-H(1) C(1) A(0xA0) -> V(0) N(0) Z(0) C(1) A(0x06)\r
-\r
-H(0) C(0) A(0xA1) -> V(0) N(0) Z(0) C(1) A(0x01)\r
-H(0) C(1) A(0xA1) -> V(0) N(0) Z(0) C(1) A(0x01)\r
-H(1) C(0) A(0xA1) -> V(0) N(0) Z(0) C(1) A(0x07)\r
-H(1) C(1) A(0xA1) -> V(0) N(0) Z(0) C(1) A(0x07)\r
-\r
-H(0) C(0) A(0xA2) -> V(0) N(0) Z(0) C(1) A(0x02)\r
-H(0) C(1) A(0xA2) -> V(0) N(0) Z(0) C(1) A(0x02)\r
-H(1) C(0) A(0xA2) -> V(0) N(0) Z(0) C(1) A(0x08)\r
-H(1) C(1) A(0xA2) -> V(0) N(0) Z(0) C(1) A(0x08)\r
-\r
-H(0) C(0) A(0xA3) -> V(0) N(0) Z(0) C(1) A(0x03)\r
-H(0) C(1) A(0xA3) -> V(0) N(0) Z(0) C(1) A(0x03)\r
-H(1) C(0) A(0xA3) -> V(0) N(0) Z(0) C(1) A(0x09)\r
-H(1) C(1) A(0xA3) -> V(0) N(0) Z(0) C(1) A(0x09)\r
-\r
-H(0) C(0) A(0xA4) -> V(0) N(0) Z(0) C(1) A(0x04)\r
-H(0) C(1) A(0xA4) -> V(0) N(0) Z(0) C(1) A(0x04)\r
-H(1) C(0) A(0xA4) -> V(0) N(0) Z(0) C(1) A(0x0A)\r
-H(1) C(1) A(0xA4) -> V(0) N(0) Z(0) C(1) A(0x0A)\r
-\r
-H(0) C(0) A(0xA5) -> V(0) N(0) Z(0) C(1) A(0x05)\r
-H(0) C(1) A(0xA5) -> V(0) N(0) Z(0) C(1) A(0x05)\r
-H(1) C(0) A(0xA5) -> V(0) N(0) Z(0) C(1) A(0x0B)\r
-H(1) C(1) A(0xA5) -> V(0) N(0) Z(0) C(1) A(0x0B)\r
-\r
-H(0) C(0) A(0xA6) -> V(0) N(0) Z(0) C(1) A(0x06)\r
-H(0) C(1) A(0xA6) -> V(0) N(0) Z(0) C(1) A(0x06)\r
-H(1) C(0) A(0xA6) -> V(0) N(0) Z(0) C(1) A(0x0C)\r
-H(1) C(1) A(0xA6) -> V(0) N(0) Z(0) C(1) A(0x0C)\r
-\r
-H(0) C(0) A(0xA7) -> V(0) N(0) Z(0) C(1) A(0x07)\r
-H(0) C(1) A(0xA7) -> V(0) N(0) Z(0) C(1) A(0x07)\r
-H(1) C(0) A(0xA7) -> V(0) N(0) Z(0) C(1) A(0x0D)\r
-H(1) C(1) A(0xA7) -> V(0) N(0) Z(0) C(1) A(0x0D)\r
-\r
-H(0) C(0) A(0xA8) -> V(0) N(0) Z(0) C(1) A(0x08)\r
-H(0) C(1) A(0xA8) -> V(0) N(0) Z(0) C(1) A(0x08)\r
-H(1) C(0) A(0xA8) -> V(0) N(0) Z(0) C(1) A(0x0E)\r
-H(1) C(1) A(0xA8) -> V(0) N(0) Z(0) C(1) A(0x0E)\r
-\r
-H(0) C(0) A(0xA9) -> V(0) N(0) Z(0) C(1) A(0x09)\r
-H(0) C(1) A(0xA9) -> V(0) N(0) Z(0) C(1) A(0x09)\r
-H(1) C(0) A(0xA9) -> V(0) N(0) Z(0) C(1) A(0x0F)\r
-H(1) C(1) A(0xA9) -> V(0) N(0) Z(0) C(1) A(0x0F)\r
-\r
-H(0) C(0) A(0xAA) -> V(0) N(0) Z(0) C(1) A(0x10)\r
-H(0) C(1) A(0xAA) -> V(0) N(0) Z(0) C(1) A(0x10)\r
-H(1) C(0) A(0xAA) -> V(0) N(0) Z(0) C(1) A(0x10)\r
-H(1) C(1) A(0xAA) -> V(0) N(0) Z(0) C(1) A(0x10)\r
-\r
-H(0) C(0) A(0xAB) -> V(0) N(0) Z(0) C(1) A(0x11)\r
-H(0) C(1) A(0xAB) -> V(0) N(0) Z(0) C(1) A(0x11)\r
-H(1) C(0) A(0xAB) -> V(0) N(0) Z(0) C(1) A(0x11)\r
-H(1) C(1) A(0xAB) -> V(0) N(0) Z(0) C(1) A(0x11)\r
-\r
-H(0) C(0) A(0xAC) -> V(0) N(0) Z(0) C(1) A(0x12)\r
-H(0) C(1) A(0xAC) -> V(0) N(0) Z(0) C(1) A(0x12)\r
-H(1) C(0) A(0xAC) -> V(0) N(0) Z(0) C(1) A(0x12)\r
-H(1) C(1) A(0xAC) -> V(0) N(0) Z(0) C(1) A(0x12)\r
-\r
-H(0) C(0) A(0xAD) -> V(0) N(0) Z(0) C(1) A(0x13)\r
-H(0) C(1) A(0xAD) -> V(0) N(0) Z(0) C(1) A(0x13)\r
-H(1) C(0) A(0xAD) -> V(0) N(0) Z(0) C(1) A(0x13)\r
-H(1) C(1) A(0xAD) -> V(0) N(0) Z(0) C(1) A(0x13)\r
-\r
-H(0) C(0) A(0xAE) -> V(0) N(0) Z(0) C(1) A(0x14)\r
-H(0) C(1) A(0xAE) -> V(0) N(0) Z(0) C(1) A(0x14)\r
-H(1) C(0) A(0xAE) -> V(0) N(0) Z(0) C(1) A(0x14)\r
-H(1) C(1) A(0xAE) -> V(0) N(0) Z(0) C(1) A(0x14)\r
-\r
-H(0) C(0) A(0xAF) -> V(0) N(0) Z(0) C(1) A(0x15)\r
-H(0) C(1) A(0xAF) -> V(0) N(0) Z(0) C(1) A(0x15)\r
-H(1) C(0) A(0xAF) -> V(0) N(0) Z(0) C(1) A(0x15)\r
-H(1) C(1) A(0xAF) -> V(0) N(0) Z(0) C(1) A(0x15)\r
-\r
-H(0) C(0) A(0xB0) -> V(0) N(0) Z(0) C(1) A(0x10)\r
-H(0) C(1) A(0xB0) -> V(0) N(0) Z(0) C(1) A(0x10)\r
-H(1) C(0) A(0xB0) -> V(0) N(0) Z(0) C(1) A(0x16)\r
-H(1) C(1) A(0xB0) -> V(0) N(0) Z(0) C(1) A(0x16)\r
-\r
-H(0) C(0) A(0xB1) -> V(0) N(0) Z(0) C(1) A(0x11)\r
-H(0) C(1) A(0xB1) -> V(0) N(0) Z(0) C(1) A(0x11)\r
-H(1) C(0) A(0xB1) -> V(0) N(0) Z(0) C(1) A(0x17)\r
-H(1) C(1) A(0xB1) -> V(0) N(0) Z(0) C(1) A(0x17)\r
-\r
-H(0) C(0) A(0xB2) -> V(0) N(0) Z(0) C(1) A(0x12)\r
-H(0) C(1) A(0xB2) -> V(0) N(0) Z(0) C(1) A(0x12)\r
-H(1) C(0) A(0xB2) -> V(0) N(0) Z(0) C(1) A(0x18)\r
-H(1) C(1) A(0xB2) -> V(0) N(0) Z(0) C(1) A(0x18)\r
-\r
-H(0) C(0) A(0xB3) -> V(0) N(0) Z(0) C(1) A(0x13)\r
-H(0) C(1) A(0xB3) -> V(0) N(0) Z(0) C(1) A(0x13)\r
-H(1) C(0) A(0xB3) -> V(0) N(0) Z(0) C(1) A(0x19)\r
-H(1) C(1) A(0xB3) -> V(0) N(0) Z(0) C(1) A(0x19)\r
-\r
-H(0) C(0) A(0xB4) -> V(0) N(0) Z(0) C(1) A(0x14)\r
-H(0) C(1) A(0xB4) -> V(0) N(0) Z(0) C(1) A(0x14)\r
-H(1) C(0) A(0xB4) -> V(0) N(0) Z(0) C(1) A(0x1A)\r
-H(1) C(1) A(0xB4) -> V(0) N(0) Z(0) C(1) A(0x1A)\r
-\r
-H(0) C(0) A(0xB5) -> V(0) N(0) Z(0) C(1) A(0x15)\r
-H(0) C(1) A(0xB5) -> V(0) N(0) Z(0) C(1) A(0x15)\r
-H(1) C(0) A(0xB5) -> V(0) N(0) Z(0) C(1) A(0x1B)\r
-H(1) C(1) A(0xB5) -> V(0) N(0) Z(0) C(1) A(0x1B)\r
-\r
-H(0) C(0) A(0xB6) -> V(0) N(0) Z(0) C(1) A(0x16)\r
-H(0) C(1) A(0xB6) -> V(0) N(0) Z(0) C(1) A(0x16)\r
-H(1) C(0) A(0xB6) -> V(0) N(0) Z(0) C(1) A(0x1C)\r
-H(1) C(1) A(0xB6) -> V(0) N(0) Z(0) C(1) A(0x1C)\r
-\r
-H(0) C(0) A(0xB7) -> V(0) N(0) Z(0) C(1) A(0x17)\r
-H(0) C(1) A(0xB7) -> V(0) N(0) Z(0) C(1) A(0x17)\r
-H(1) C(0) A(0xB7) -> V(0) N(0) Z(0) C(1) A(0x1D)\r
-H(1) C(1) A(0xB7) -> V(0) N(0) Z(0) C(1) A(0x1D)\r
-\r
-H(0) C(0) A(0xB8) -> V(0) N(0) Z(0) C(1) A(0x18)\r
-H(0) C(1) A(0xB8) -> V(0) N(0) Z(0) C(1) A(0x18)\r
-H(1) C(0) A(0xB8) -> V(0) N(0) Z(0) C(1) A(0x1E)\r
-H(1) C(1) A(0xB8) -> V(0) N(0) Z(0) C(1) A(0x1E)\r
-\r
-H(0) C(0) A(0xB9) -> V(0) N(0) Z(0) C(1) A(0x19)\r
-H(0) C(1) A(0xB9) -> V(0) N(0) Z(0) C(1) A(0x19)\r
-H(1) C(0) A(0xB9) -> V(0) N(0) Z(0) C(1) A(0x1F)\r
-H(1) C(1) A(0xB9) -> V(0) N(0) Z(0) C(1) A(0x1F)\r
-\r
-H(0) C(0) A(0xBA) -> V(0) N(0) Z(0) C(1) A(0x20)\r
-H(0) C(1) A(0xBA) -> V(0) N(0) Z(0) C(1) A(0x20)\r
-H(1) C(0) A(0xBA) -> V(0) N(0) Z(0) C(1) A(0x20)\r
-H(1) C(1) A(0xBA) -> V(0) N(0) Z(0) C(1) A(0x20)\r
-\r
-H(0) C(0) A(0xBB) -> V(0) N(0) Z(0) C(1) A(0x21)\r
-H(0) C(1) A(0xBB) -> V(0) N(0) Z(0) C(1) A(0x21)\r
-H(1) C(0) A(0xBB) -> V(0) N(0) Z(0) C(1) A(0x21)\r
-H(1) C(1) A(0xBB) -> V(0) N(0) Z(0) C(1) A(0x21)\r
-\r
-H(0) C(0) A(0xBC) -> V(0) N(0) Z(0) C(1) A(0x22)\r
-H(0) C(1) A(0xBC) -> V(0) N(0) Z(0) C(1) A(0x22)\r
-H(1) C(0) A(0xBC) -> V(0) N(0) Z(0) C(1) A(0x22)\r
-H(1) C(1) A(0xBC) -> V(0) N(0) Z(0) C(1) A(0x22)\r
-\r
-H(0) C(0) A(0xBD) -> V(0) N(0) Z(0) C(1) A(0x23)\r
-H(0) C(1) A(0xBD) -> V(0) N(0) Z(0) C(1) A(0x23)\r
-H(1) C(0) A(0xBD) -> V(0) N(0) Z(0) C(1) A(0x23)\r
-H(1) C(1) A(0xBD) -> V(0) N(0) Z(0) C(1) A(0x23)\r
-\r
-H(0) C(0) A(0xBE) -> V(0) N(0) Z(0) C(1) A(0x24)\r
-H(0) C(1) A(0xBE) -> V(0) N(0) Z(0) C(1) A(0x24)\r
-H(1) C(0) A(0xBE) -> V(0) N(0) Z(0) C(1) A(0x24)\r
-H(1) C(1) A(0xBE) -> V(0) N(0) Z(0) C(1) A(0x24)\r
-\r
-H(0) C(0) A(0xBF) -> V(0) N(0) Z(0) C(1) A(0x25)\r
-H(0) C(1) A(0xBF) -> V(0) N(0) Z(0) C(1) A(0x25)\r
-H(1) C(0) A(0xBF) -> V(0) N(0) Z(0) C(1) A(0x25)\r
-H(1) C(1) A(0xBF) -> V(0) N(0) Z(0) C(1) A(0x25)\r
-\r
-H(0) C(0) A(0xC0) -> V(0) N(0) Z(0) C(1) A(0x20)\r
-H(0) C(1) A(0xC0) -> V(0) N(0) Z(0) C(1) A(0x20)\r
-H(1) C(0) A(0xC0) -> V(0) N(0) Z(0) C(1) A(0x26)\r
-H(1) C(1) A(0xC0) -> V(0) N(0) Z(0) C(1) A(0x26)\r
-\r
-H(0) C(0) A(0xC1) -> V(0) N(0) Z(0) C(1) A(0x21)\r
-H(0) C(1) A(0xC1) -> V(0) N(0) Z(0) C(1) A(0x21)\r
-H(1) C(0) A(0xC1) -> V(0) N(0) Z(0) C(1) A(0x27)\r
-H(1) C(1) A(0xC1) -> V(0) N(0) Z(0) C(1) A(0x27)\r
-\r
-H(0) C(0) A(0xC2) -> V(0) N(0) Z(0) C(1) A(0x22)\r
-H(0) C(1) A(0xC2) -> V(0) N(0) Z(0) C(1) A(0x22)\r
-H(1) C(0) A(0xC2) -> V(0) N(0) Z(0) C(1) A(0x28)\r
-H(1) C(1) A(0xC2) -> V(0) N(0) Z(0) C(1) A(0x28)\r
-\r
-H(0) C(0) A(0xC3) -> V(0) N(0) Z(0) C(1) A(0x23)\r
-H(0) C(1) A(0xC3) -> V(0) N(0) Z(0) C(1) A(0x23)\r
-H(1) C(0) A(0xC3) -> V(0) N(0) Z(0) C(1) A(0x29)\r
-H(1) C(1) A(0xC3) -> V(0) N(0) Z(0) C(1) A(0x29)\r
-\r
-H(0) C(0) A(0xC4) -> V(0) N(0) Z(0) C(1) A(0x24)\r
-H(0) C(1) A(0xC4) -> V(0) N(0) Z(0) C(1) A(0x24)\r
-H(1) C(0) A(0xC4) -> V(0) N(0) Z(0) C(1) A(0x2A)\r
-H(1) C(1) A(0xC4) -> V(0) N(0) Z(0) C(1) A(0x2A)\r
-\r
-H(0) C(0) A(0xC5) -> V(0) N(0) Z(0) C(1) A(0x25)\r
-H(0) C(1) A(0xC5) -> V(0) N(0) Z(0) C(1) A(0x25)\r
-H(1) C(0) A(0xC5) -> V(0) N(0) Z(0) C(1) A(0x2B)\r
-H(1) C(1) A(0xC5) -> V(0) N(0) Z(0) C(1) A(0x2B)\r
-\r
-H(0) C(0) A(0xC6) -> V(0) N(0) Z(0) C(1) A(0x26)\r
-H(0) C(1) A(0xC6) -> V(0) N(0) Z(0) C(1) A(0x26)\r
-H(1) C(0) A(0xC6) -> V(0) N(0) Z(0) C(1) A(0x2C)\r
-H(1) C(1) A(0xC6) -> V(0) N(0) Z(0) C(1) A(0x2C)\r
-\r
-H(0) C(0) A(0xC7) -> V(0) N(0) Z(0) C(1) A(0x27)\r
-H(0) C(1) A(0xC7) -> V(0) N(0) Z(0) C(1) A(0x27)\r
-H(1) C(0) A(0xC7) -> V(0) N(0) Z(0) C(1) A(0x2D)\r
-H(1) C(1) A(0xC7) -> V(0) N(0) Z(0) C(1) A(0x2D)\r
-\r
-H(0) C(0) A(0xC8) -> V(0) N(0) Z(0) C(1) A(0x28)\r
-H(0) C(1) A(0xC8) -> V(0) N(0) Z(0) C(1) A(0x28)\r
-H(1) C(0) A(0xC8) -> V(0) N(0) Z(0) C(1) A(0x2E)\r
-H(1) C(1) A(0xC8) -> V(0) N(0) Z(0) C(1) A(0x2E)\r
-\r
-H(0) C(0) A(0xC9) -> V(0) N(0) Z(0) C(1) A(0x29)\r
-H(0) C(1) A(0xC9) -> V(0) N(0) Z(0) C(1) A(0x29)\r
-H(1) C(0) A(0xC9) -> V(0) N(0) Z(0) C(1) A(0x2F)\r
-H(1) C(1) A(0xC9) -> V(0) N(0) Z(0) C(1) A(0x2F)\r
-\r
-H(0) C(0) A(0xCA) -> V(0) N(0) Z(0) C(1) A(0x30)\r
-H(0) C(1) A(0xCA) -> V(0) N(0) Z(0) C(1) A(0x30)\r
-H(1) C(0) A(0xCA) -> V(0) N(0) Z(0) C(1) A(0x30)\r
-H(1) C(1) A(0xCA) -> V(0) N(0) Z(0) C(1) A(0x30)\r
-\r
-H(0) C(0) A(0xCB) -> V(0) N(0) Z(0) C(1) A(0x31)\r
-H(0) C(1) A(0xCB) -> V(0) N(0) Z(0) C(1) A(0x31)\r
-H(1) C(0) A(0xCB) -> V(0) N(0) Z(0) C(1) A(0x31)\r
-H(1) C(1) A(0xCB) -> V(0) N(0) Z(0) C(1) A(0x31)\r
-\r
-H(0) C(0) A(0xCC) -> V(0) N(0) Z(0) C(1) A(0x32)\r
-H(0) C(1) A(0xCC) -> V(0) N(0) Z(0) C(1) A(0x32)\r
-H(1) C(0) A(0xCC) -> V(0) N(0) Z(0) C(1) A(0x32)\r
-H(1) C(1) A(0xCC) -> V(0) N(0) Z(0) C(1) A(0x32)\r
-\r
-H(0) C(0) A(0xCD) -> V(0) N(0) Z(0) C(1) A(0x33)\r
-H(0) C(1) A(0xCD) -> V(0) N(0) Z(0) C(1) A(0x33)\r
-H(1) C(0) A(0xCD) -> V(0) N(0) Z(0) C(1) A(0x33)\r
-H(1) C(1) A(0xCD) -> V(0) N(0) Z(0) C(1) A(0x33)\r
-\r
-H(0) C(0) A(0xCE) -> V(0) N(0) Z(0) C(1) A(0x34)\r
-H(0) C(1) A(0xCE) -> V(0) N(0) Z(0) C(1) A(0x34)\r
-H(1) C(0) A(0xCE) -> V(0) N(0) Z(0) C(1) A(0x34)\r
-H(1) C(1) A(0xCE) -> V(0) N(0) Z(0) C(1) A(0x34)\r
-\r
-H(0) C(0) A(0xCF) -> V(0) N(0) Z(0) C(1) A(0x35)\r
-H(0) C(1) A(0xCF) -> V(0) N(0) Z(0) C(1) A(0x35)\r
-H(1) C(0) A(0xCF) -> V(0) N(0) Z(0) C(1) A(0x35)\r
-H(1) C(1) A(0xCF) -> V(0) N(0) Z(0) C(1) A(0x35)\r
-\r
-H(0) C(0) A(0xD0) -> V(0) N(0) Z(0) C(1) A(0x30)\r
-H(0) C(1) A(0xD0) -> V(0) N(0) Z(0) C(1) A(0x30)\r
-H(1) C(0) A(0xD0) -> V(0) N(0) Z(0) C(1) A(0x36)\r
-H(1) C(1) A(0xD0) -> V(0) N(0) Z(0) C(1) A(0x36)\r
-\r
-H(0) C(0) A(0xD1) -> V(0) N(0) Z(0) C(1) A(0x31)\r
-H(0) C(1) A(0xD1) -> V(0) N(0) Z(0) C(1) A(0x31)\r
-H(1) C(0) A(0xD1) -> V(0) N(0) Z(0) C(1) A(0x37)\r
-H(1) C(1) A(0xD1) -> V(0) N(0) Z(0) C(1) A(0x37)\r
-\r
-H(0) C(0) A(0xD2) -> V(0) N(0) Z(0) C(1) A(0x32)\r
-H(0) C(1) A(0xD2) -> V(0) N(0) Z(0) C(1) A(0x32)\r
-H(1) C(0) A(0xD2) -> V(0) N(0) Z(0) C(1) A(0x38)\r
-H(1) C(1) A(0xD2) -> V(0) N(0) Z(0) C(1) A(0x38)\r
-\r
-H(0) C(0) A(0xD3) -> V(0) N(0) Z(0) C(1) A(0x33)\r
-H(0) C(1) A(0xD3) -> V(0) N(0) Z(0) C(1) A(0x33)\r
-H(1) C(0) A(0xD3) -> V(0) N(0) Z(0) C(1) A(0x39)\r
-H(1) C(1) A(0xD3) -> V(0) N(0) Z(0) C(1) A(0x39)\r
-\r
-H(0) C(0) A(0xD4) -> V(0) N(0) Z(0) C(1) A(0x34)\r
-H(0) C(1) A(0xD4) -> V(0) N(0) Z(0) C(1) A(0x34)\r
-H(1) C(0) A(0xD4) -> V(0) N(0) Z(0) C(1) A(0x3A)\r
-H(1) C(1) A(0xD4) -> V(0) N(0) Z(0) C(1) A(0x3A)\r
-\r
-H(0) C(0) A(0xD5) -> V(0) N(0) Z(0) C(1) A(0x35)\r
-H(0) C(1) A(0xD5) -> V(0) N(0) Z(0) C(1) A(0x35)\r
-H(1) C(0) A(0xD5) -> V(0) N(0) Z(0) C(1) A(0x3B)\r
-H(1) C(1) A(0xD5) -> V(0) N(0) Z(0) C(1) A(0x3B)\r
-\r
-H(0) C(0) A(0xD6) -> V(0) N(0) Z(0) C(1) A(0x36)\r
-H(0) C(1) A(0xD6) -> V(0) N(0) Z(0) C(1) A(0x36)\r
-H(1) C(0) A(0xD6) -> V(0) N(0) Z(0) C(1) A(0x3C)\r
-H(1) C(1) A(0xD6) -> V(0) N(0) Z(0) C(1) A(0x3C)\r
-\r
-H(0) C(0) A(0xD7) -> V(0) N(0) Z(0) C(1) A(0x37)\r
-H(0) C(1) A(0xD7) -> V(0) N(0) Z(0) C(1) A(0x37)\r
-H(1) C(0) A(0xD7) -> V(0) N(0) Z(0) C(1) A(0x3D)\r
-H(1) C(1) A(0xD7) -> V(0) N(0) Z(0) C(1) A(0x3D)\r
-\r
-H(0) C(0) A(0xD8) -> V(0) N(0) Z(0) C(1) A(0x38)\r
-H(0) C(1) A(0xD8) -> V(0) N(0) Z(0) C(1) A(0x38)\r
-H(1) C(0) A(0xD8) -> V(0) N(0) Z(0) C(1) A(0x3E)\r
-H(1) C(1) A(0xD8) -> V(0) N(0) Z(0) C(1) A(0x3E)\r
-\r
-H(0) C(0) A(0xD9) -> V(0) N(0) Z(0) C(1) A(0x39)\r
-H(0) C(1) A(0xD9) -> V(0) N(0) Z(0) C(1) A(0x39)\r
-H(1) C(0) A(0xD9) -> V(0) N(0) Z(0) C(1) A(0x3F)\r
-H(1) C(1) A(0xD9) -> V(0) N(0) Z(0) C(1) A(0x3F)\r
-\r
-H(0) C(0) A(0xDA) -> V(0) N(0) Z(0) C(1) A(0x40)\r
-H(0) C(1) A(0xDA) -> V(0) N(0) Z(0) C(1) A(0x40)\r
-H(1) C(0) A(0xDA) -> V(0) N(0) Z(0) C(1) A(0x40)\r
-H(1) C(1) A(0xDA) -> V(0) N(0) Z(0) C(1) A(0x40)\r
-\r
-H(0) C(0) A(0xDB) -> V(0) N(0) Z(0) C(1) A(0x41)\r
-H(0) C(1) A(0xDB) -> V(0) N(0) Z(0) C(1) A(0x41)\r
-H(1) C(0) A(0xDB) -> V(0) N(0) Z(0) C(1) A(0x41)\r
-H(1) C(1) A(0xDB) -> V(0) N(0) Z(0) C(1) A(0x41)\r
-\r
-H(0) C(0) A(0xDC) -> V(0) N(0) Z(0) C(1) A(0x42)\r
-H(0) C(1) A(0xDC) -> V(0) N(0) Z(0) C(1) A(0x42)\r
-H(1) C(0) A(0xDC) -> V(0) N(0) Z(0) C(1) A(0x42)\r
-H(1) C(1) A(0xDC) -> V(0) N(0) Z(0) C(1) A(0x42)\r
-\r
-H(0) C(0) A(0xDD) -> V(0) N(0) Z(0) C(1) A(0x43)\r
-H(0) C(1) A(0xDD) -> V(0) N(0) Z(0) C(1) A(0x43)\r
-H(1) C(0) A(0xDD) -> V(0) N(0) Z(0) C(1) A(0x43)\r
-H(1) C(1) A(0xDD) -> V(0) N(0) Z(0) C(1) A(0x43)\r
-\r
-H(0) C(0) A(0xDE) -> V(0) N(0) Z(0) C(1) A(0x44)\r
-H(0) C(1) A(0xDE) -> V(0) N(0) Z(0) C(1) A(0x44)\r
-H(1) C(0) A(0xDE) -> V(0) N(0) Z(0) C(1) A(0x44)\r
-H(1) C(1) A(0xDE) -> V(0) N(0) Z(0) C(1) A(0x44)\r
-\r
-H(0) C(0) A(0xDF) -> V(0) N(0) Z(0) C(1) A(0x45)\r
-H(0) C(1) A(0xDF) -> V(0) N(0) Z(0) C(1) A(0x45)\r
-H(1) C(0) A(0xDF) -> V(0) N(0) Z(0) C(1) A(0x45)\r
-H(1) C(1) A(0xDF) -> V(0) N(0) Z(0) C(1) A(0x45)\r
-\r
-H(0) C(0) A(0xE0) -> V(0) N(0) Z(0) C(1) A(0x40)\r
-H(0) C(1) A(0xE0) -> V(0) N(0) Z(0) C(1) A(0x40)\r
-H(1) C(0) A(0xE0) -> V(0) N(0) Z(0) C(1) A(0x46)\r
-H(1) C(1) A(0xE0) -> V(0) N(0) Z(0) C(1) A(0x46)\r
-\r
-H(0) C(0) A(0xE1) -> V(0) N(0) Z(0) C(1) A(0x41)\r
-H(0) C(1) A(0xE1) -> V(0) N(0) Z(0) C(1) A(0x41)\r
-H(1) C(0) A(0xE1) -> V(0) N(0) Z(0) C(1) A(0x47)\r
-H(1) C(1) A(0xE1) -> V(0) N(0) Z(0) C(1) A(0x47)\r
-\r
-H(0) C(0) A(0xE2) -> V(0) N(0) Z(0) C(1) A(0x42)\r
-H(0) C(1) A(0xE2) -> V(0) N(0) Z(0) C(1) A(0x42)\r
-H(1) C(0) A(0xE2) -> V(0) N(0) Z(0) C(1) A(0x48)\r
-H(1) C(1) A(0xE2) -> V(0) N(0) Z(0) C(1) A(0x48)\r
-\r
-H(0) C(0) A(0xE3) -> V(0) N(0) Z(0) C(1) A(0x43)\r
-H(0) C(1) A(0xE3) -> V(0) N(0) Z(0) C(1) A(0x43)\r
-H(1) C(0) A(0xE3) -> V(0) N(0) Z(0) C(1) A(0x49)\r
-H(1) C(1) A(0xE3) -> V(0) N(0) Z(0) C(1) A(0x49)\r
-\r
-H(0) C(0) A(0xE4) -> V(0) N(0) Z(0) C(1) A(0x44)\r
-H(0) C(1) A(0xE4) -> V(0) N(0) Z(0) C(1) A(0x44)\r
-H(1) C(0) A(0xE4) -> V(0) N(0) Z(0) C(1) A(0x4A)\r
-H(1) C(1) A(0xE4) -> V(0) N(0) Z(0) C(1) A(0x4A)\r
-\r
-H(0) C(0) A(0xE5) -> V(0) N(0) Z(0) C(1) A(0x45)\r
-H(0) C(1) A(0xE5) -> V(0) N(0) Z(0) C(1) A(0x45)\r
-H(1) C(0) A(0xE5) -> V(0) N(0) Z(0) C(1) A(0x4B)\r
-H(1) C(1) A(0xE5) -> V(0) N(0) Z(0) C(1) A(0x4B)\r
-\r
-H(0) C(0) A(0xE6) -> V(0) N(0) Z(0) C(1) A(0x46)\r
-H(0) C(1) A(0xE6) -> V(0) N(0) Z(0) C(1) A(0x46)\r
-H(1) C(0) A(0xE6) -> V(0) N(0) Z(0) C(1) A(0x4C)\r
-H(1) C(1) A(0xE6) -> V(0) N(0) Z(0) C(1) A(0x4C)\r
-\r
-H(0) C(0) A(0xE7) -> V(0) N(0) Z(0) C(1) A(0x47)\r
-H(0) C(1) A(0xE7) -> V(0) N(0) Z(0) C(1) A(0x47)\r
-H(1) C(0) A(0xE7) -> V(0) N(0) Z(0) C(1) A(0x4D)\r
-H(1) C(1) A(0xE7) -> V(0) N(0) Z(0) C(1) A(0x4D)\r
-\r
-H(0) C(0) A(0xE8) -> V(0) N(0) Z(0) C(1) A(0x48)\r
-H(0) C(1) A(0xE8) -> V(0) N(0) Z(0) C(1) A(0x48)\r
-H(1) C(0) A(0xE8) -> V(0) N(0) Z(0) C(1) A(0x4E)\r
-H(1) C(1) A(0xE8) -> V(0) N(0) Z(0) C(1) A(0x4E)\r
-\r
-H(0) C(0) A(0xE9) -> V(0) N(0) Z(0) C(1) A(0x49)\r
-H(0) C(1) A(0xE9) -> V(0) N(0) Z(0) C(1) A(0x49)\r
-H(1) C(0) A(0xE9) -> V(0) N(0) Z(0) C(1) A(0x4F)\r
-H(1) C(1) A(0xE9) -> V(0) N(0) Z(0) C(1) A(0x4F)\r
-\r
-H(0) C(0) A(0xEA) -> V(0) N(0) Z(0) C(1) A(0x50)\r
-H(0) C(1) A(0xEA) -> V(0) N(0) Z(0) C(1) A(0x50)\r
-H(1) C(0) A(0xEA) -> V(0) N(0) Z(0) C(1) A(0x50)\r
-H(1) C(1) A(0xEA) -> V(0) N(0) Z(0) C(1) A(0x50)\r
-\r
-H(0) C(0) A(0xEB) -> V(0) N(0) Z(0) C(1) A(0x51)\r
-H(0) C(1) A(0xEB) -> V(0) N(0) Z(0) C(1) A(0x51)\r
-H(1) C(0) A(0xEB) -> V(0) N(0) Z(0) C(1) A(0x51)\r
-H(1) C(1) A(0xEB) -> V(0) N(0) Z(0) C(1) A(0x51)\r
-\r
-H(0) C(0) A(0xEC) -> V(0) N(0) Z(0) C(1) A(0x52)\r
-H(0) C(1) A(0xEC) -> V(0) N(0) Z(0) C(1) A(0x52)\r
-H(1) C(0) A(0xEC) -> V(0) N(0) Z(0) C(1) A(0x52)\r
-H(1) C(1) A(0xEC) -> V(0) N(0) Z(0) C(1) A(0x52)\r
-\r
-H(0) C(0) A(0xED) -> V(0) N(0) Z(0) C(1) A(0x53)\r
-H(0) C(1) A(0xED) -> V(0) N(0) Z(0) C(1) A(0x53)\r
-H(1) C(0) A(0xED) -> V(0) N(0) Z(0) C(1) A(0x53)\r
-H(1) C(1) A(0xED) -> V(0) N(0) Z(0) C(1) A(0x53)\r
-\r
-H(0) C(0) A(0xEE) -> V(0) N(0) Z(0) C(1) A(0x54)\r
-H(0) C(1) A(0xEE) -> V(0) N(0) Z(0) C(1) A(0x54)\r
-H(1) C(0) A(0xEE) -> V(0) N(0) Z(0) C(1) A(0x54)\r
-H(1) C(1) A(0xEE) -> V(0) N(0) Z(0) C(1) A(0x54)\r
-\r
-H(0) C(0) A(0xEF) -> V(0) N(0) Z(0) C(1) A(0x55)\r
-H(0) C(1) A(0xEF) -> V(0) N(0) Z(0) C(1) A(0x55)\r
-H(1) C(0) A(0xEF) -> V(0) N(0) Z(0) C(1) A(0x55)\r
-H(1) C(1) A(0xEF) -> V(0) N(0) Z(0) C(1) A(0x55)\r
-\r
-H(0) C(0) A(0xF0) -> V(0) N(0) Z(0) C(1) A(0x50)\r
-H(0) C(1) A(0xF0) -> V(0) N(0) Z(0) C(1) A(0x50)\r
-H(1) C(0) A(0xF0) -> V(0) N(0) Z(0) C(1) A(0x56)\r
-H(1) C(1) A(0xF0) -> V(0) N(0) Z(0) C(1) A(0x56)\r
-\r
-H(0) C(0) A(0xF1) -> V(0) N(0) Z(0) C(1) A(0x51)\r
-H(0) C(1) A(0xF1) -> V(0) N(0) Z(0) C(1) A(0x51)\r
-H(1) C(0) A(0xF1) -> V(0) N(0) Z(0) C(1) A(0x57)\r
-H(1) C(1) A(0xF1) -> V(0) N(0) Z(0) C(1) A(0x57)\r
-\r
-H(0) C(0) A(0xF2) -> V(0) N(0) Z(0) C(1) A(0x52)\r
-H(0) C(1) A(0xF2) -> V(0) N(0) Z(0) C(1) A(0x52)\r
-H(1) C(0) A(0xF2) -> V(0) N(0) Z(0) C(1) A(0x58)\r
-H(1) C(1) A(0xF2) -> V(0) N(0) Z(0) C(1) A(0x58)\r
-\r
-H(0) C(0) A(0xF3) -> V(0) N(0) Z(0) C(1) A(0x53)\r
-H(0) C(1) A(0xF3) -> V(0) N(0) Z(0) C(1) A(0x53)\r
-H(1) C(0) A(0xF3) -> V(0) N(0) Z(0) C(1) A(0x59)\r
-H(1) C(1) A(0xF3) -> V(0) N(0) Z(0) C(1) A(0x59)\r
-\r
-H(0) C(0) A(0xF4) -> V(0) N(0) Z(0) C(1) A(0x54)\r
-H(0) C(1) A(0xF4) -> V(0) N(0) Z(0) C(1) A(0x54)\r
-H(1) C(0) A(0xF4) -> V(0) N(0) Z(0) C(1) A(0x5A)\r
-H(1) C(1) A(0xF4) -> V(0) N(0) Z(0) C(1) A(0x5A)\r
-\r
-H(0) C(0) A(0xF5) -> V(0) N(0) Z(0) C(1) A(0x55)\r
-H(0) C(1) A(0xF5) -> V(0) N(0) Z(0) C(1) A(0x55)\r
-H(1) C(0) A(0xF5) -> V(0) N(0) Z(0) C(1) A(0x5B)\r
-H(1) C(1) A(0xF5) -> V(0) N(0) Z(0) C(1) A(0x5B)\r
-\r
-H(0) C(0) A(0xF6) -> V(0) N(0) Z(0) C(1) A(0x56)\r
-H(0) C(1) A(0xF6) -> V(0) N(0) Z(0) C(1) A(0x56)\r
-H(1) C(0) A(0xF6) -> V(0) N(0) Z(0) C(1) A(0x5C)\r
-H(1) C(1) A(0xF6) -> V(0) N(0) Z(0) C(1) A(0x5C)\r
-\r
-H(0) C(0) A(0xF7) -> V(0) N(0) Z(0) C(1) A(0x57)\r
-H(0) C(1) A(0xF7) -> V(0) N(0) Z(0) C(1) A(0x57)\r
-H(1) C(0) A(0xF7) -> V(0) N(0) Z(0) C(1) A(0x5D)\r
-H(1) C(1) A(0xF7) -> V(0) N(0) Z(0) C(1) A(0x5D)\r
-\r
-H(0) C(0) A(0xF8) -> V(0) N(0) Z(0) C(1) A(0x58)\r
-H(0) C(1) A(0xF8) -> V(0) N(0) Z(0) C(1) A(0x58)\r
-H(1) C(0) A(0xF8) -> V(0) N(0) Z(0) C(1) A(0x5E)\r
-H(1) C(1) A(0xF8) -> V(0) N(0) Z(0) C(1) A(0x5E)\r
-\r
-H(0) C(0) A(0xF9) -> V(0) N(0) Z(0) C(1) A(0x59)\r
-H(0) C(1) A(0xF9) -> V(0) N(0) Z(0) C(1) A(0x59)\r
-H(1) C(0) A(0xF9) -> V(0) N(0) Z(0) C(1) A(0x5F)\r
-H(1) C(1) A(0xF9) -> V(0) N(0) Z(0) C(1) A(0x5F)\r
-\r
-H(0) C(0) A(0xFA) -> V(0) N(0) Z(0) C(1) A(0x60)\r
-H(0) C(1) A(0xFA) -> V(0) N(0) Z(0) C(1) A(0x60)\r
-H(1) C(0) A(0xFA) -> V(0) N(0) Z(0) C(1) A(0x60)\r
-H(1) C(1) A(0xFA) -> V(0) N(0) Z(0) C(1) A(0x60)\r
-\r
-H(0) C(0) A(0xFB) -> V(0) N(0) Z(0) C(1) A(0x61)\r
-H(0) C(1) A(0xFB) -> V(0) N(0) Z(0) C(1) A(0x61)\r
-H(1) C(0) A(0xFB) -> V(0) N(0) Z(0) C(1) A(0x61)\r
-H(1) C(1) A(0xFB) -> V(0) N(0) Z(0) C(1) A(0x61)\r
-\r
-H(0) C(0) A(0xFC) -> V(0) N(0) Z(0) C(1) A(0x62)\r
-H(0) C(1) A(0xFC) -> V(0) N(0) Z(0) C(1) A(0x62)\r
-H(1) C(0) A(0xFC) -> V(0) N(0) Z(0) C(1) A(0x62)\r
-H(1) C(1) A(0xFC) -> V(0) N(0) Z(0) C(1) A(0x62)\r
-\r
-H(0) C(0) A(0xFD) -> V(0) N(0) Z(0) C(1) A(0x63)\r
-H(0) C(1) A(0xFD) -> V(0) N(0) Z(0) C(1) A(0x63)\r
-H(1) C(0) A(0xFD) -> V(0) N(0) Z(0) C(1) A(0x63)\r
-H(1) C(1) A(0xFD) -> V(0) N(0) Z(0) C(1) A(0x63)\r
-\r
-H(0) C(0) A(0xFE) -> V(0) N(0) Z(0) C(1) A(0x64)\r
-H(0) C(1) A(0xFE) -> V(0) N(0) Z(0) C(1) A(0x64)\r
-H(1) C(0) A(0xFE) -> V(0) N(0) Z(0) C(1) A(0x64)\r
-H(1) C(1) A(0xFE) -> V(0) N(0) Z(0) C(1) A(0x64)\r
-\r
-H(0) C(0) A(0xFF) -> V(0) N(0) Z(0) C(1) A(0x65)\r
-H(0) C(1) A(0xFF) -> V(0) N(0) Z(0) C(1) A(0x65)\r
-H(1) C(0) A(0xFF) -> V(0) N(0) Z(0) C(1) A(0x65)\r
-H(1) C(1) A(0xFF) -> V(0) N(0) Z(0) C(1) A(0x65)\r
diff --git a/helm/software/matita/contribs/assembly/freescale/doc/freescale.txt b/helm/software/matita/contribs/assembly/freescale/doc/freescale.txt
deleted file mode 100644 (file)
index 5a7ea8d..0000000
+++ /dev/null
@@ -1,21 +0,0 @@
-INDIRIZZI ITALIA\r
-\r
-http://www.freescale.com/webapp/sps/site/overview.jsp?nodeId=0671479183#it\r
-http://www.freescale.com/webapp/sps/site/homepage.jsp?nodeId=06714769568830\r
-\r
-Italy:\r
-Freescale Semiconductor\r
-Via Muzio Attendolo Detto\r
-Sforza, 13\r
-20141 Milano\r
-Italia \r
-\r
-TOOL TEST\r
-\r
-http://www.freescale.com/webapp/sps/site/prod_summary.jsp?code=DEMO9RS08KA2\r
-DEMO9RS08KA2 (50$)\r
-per MC9RS08KA2 (<=1$)\r
-\r
-http://www.freescale.com/webapp/sps/site/prod_summary.jsp?code=USBSPYDER08\r
-USBSPYDER08 (29$)\r
-per MC9RS08KA1/2, MC9S08QD2/4, MC9S08QG4/8 (<=1$)\r
diff --git a/helm/software/matita/contribs/assembly/freescale/doc/ordinamento.txt b/helm/software/matita/contribs/assembly/freescale/doc/ordinamento.txt
deleted file mode 100644 (file)
index cb63d9c..0000000
+++ /dev/null
@@ -1,613 +0,0 @@
-PROCESSORE\r
-\r
-A : 0x00\r
-PC: 0x18C8 -> 0x1966\r
-SP: 0x0F4B\r
-HX: 0x0F4C\r
-Status: I=1 Z=1\r
-\r
-TEMPI COMPLETI\r
-0   esempi: 183941 -> 219568: 35627 tick\r
-10  esempi: 183941 -> 221074: 37133 =35633+  10*150 tick\r
-20  esempi: 183941 -> 222573: 38632 =35632+  20*150 tick\r
-30  esempi: 183941 -> 224063: 40122 =35622+  30*150 tick\r
-40  esempi: 183941 -> 225553: 41612 =35612+  40*150 tick\r
-50  esempi: 183941 -> 227043: 43102 =35602+  50*150 tick\r
-100 esempi: 183941 -> 234493: 50552 =35552+ 100*150 tick\r
-200 esempi: 183941 -> 249393: 65453 =35453+ 200*150 tick\r
-\r
-oltre bisogna introdurre __RESET_WATCHDOG(); e quindi approssimare ancora di piu'\r
-\r
-500 esempi: 183941 -> 297886: 113945=38945+500 *150 tick\r
- => con tara di (256+500)*4=3024 e' 35921+...\r
-1024esempi: 183941 -> 378070: 194129=40529+1024*150 tick\r
- => con tara di (256+1024)*4=5120 e' 35409+...\r
-2048esempi: 183941 -> 534758: 350817=43617+2048*150 tick\r
- => con tara di (256+2048)*4=9216 e' 34401+...\r
-3072esempi: 183941 -> 691446: 507505=46705+3072*150 tick\r
- => con tara di (256+3072)*4=13312 e' 33393+...\r
-\r
-si puo' quindi dare un'interpretazione del tipo T(n)=fix+n*esempi=36000+150n\r
-chiaramente utile solo per definire un bound superiore \r
-\r
-NB: per l'ultimo 1s circa di esecuzione con emulatore,\r
-    tutti questi esempi sono stati fatti girare in emulazione\r
-    e non con IN-CIRCUIT debug.\r
-\r
-NB: __RESET_WATCHDOG(); e' in pratica una singola istruzione\r
-    STA 0x1800 cioe' scrivi qualsiasi cosa su locazione di reset (4 tick)\r
-\r
-TEMPI PARZIALI\r
-1) senza ripristino di counters, index, position...\r
-2) calcolati con tara di _RESET_WATCHDOG() sempre per uniformare\r
-\r
-0   : 183941 -> 209557:  25616: ( 25616+   0*4): k          :  25700 >  25616\r
-8   : 183941 -> 210794:  26853: ( 26821+   8*4): k+150.62*n :  26900 >  26821\r
-16  : 183941 -> 212018:  28077: ( 28013+  16*4): k+149.81*n :  28100 >  28013\r
-32  : 183941 -> 214466:  30525: ( 30397+  32*4): k+149.41*n :  30500 >  30397\r
-64  : 183941 -> 219362:  35421: ( 35165+  64*4): k+149.20*n :  35300 >  35165\r
-128 : 183941 -> 229154:  45213: ( 44701+ 128*4): k+149.10*n :  44900 >  44701\r
-256 : 183941 -> 248742:  64801: ( 63777+ 256*4): k+149.07*n :  64100 >  63777\r
-512 : 183941 -> 287914: 103973: (101925+ 512*4): k+149.04*n : 102500 > 101925\r
-1024: 183941 -> 366258: 182317: (178221+1024*4): k+149.03*n : 179300 > 178221\r
-2048: 183941 -> 522946: 339005: (330813+2048*4): k+149.02*n : 332900 > 330813\r
-3072: 183941 -> 679634: 495693: (483405+3072*4): k+149.02*n : 486500 > 483405\r
-\r
-quindi generalizziamo in T(n)=25700+150*n (0x6464+0x96*n)\r
-\r
-ma registri diversi\r
-A : 0x00   -> 0xFF\r
-PC: 0x18C8 -> 0x193B\r
-SP: 0x0F4B\r
-HX: 0x0F4C -> 0x0100\r
-Status: I=1 Z=1\r
-\r
-LOCAZIONI\r
-dati=3072 byte [100-CFF]\r
-counters=256 word [D00-EFF]\r
-index=1 word [F4C-F4D]\r
-position=1 word [F4E-F4F]
-
-(fine RAM a 0x107F)
-=> poiche' counters e stack finali sono difficili da formalizzare meglio azzerare
-   da 0x0D00 a 0x107F, cioe' 380 (1KB - 0x80, la zona iniziale non usata)\r
-\r
-sostanzialmente si puo' riassumere in tesi:\r
- tutto a 0 tranne dati\r
-\r
-***********************************\r
-\r
-static unsigned int counters[256]={ 0, ... };\r
-static unsigned char dati[3072]={ ... };\r
-\r
-void sort(void)\r
-{\r
-unsigned int index=0,position=0;\r
-\r
-/* prologo: si puo' saltare e inglobare nell'ipotesi */\r
-\r
-for(;index<3072;index++)\r
-    {\r
-    __RESET_WATCHDOG(); /* #solo per esempi > 200 */\r
-    counters[dati[index]]++;\r
-    }\r
-\r
-jmp blocco controllo del for\r
-18C8 20 1D       BRA *+31 ; 18E7\r
-corpo del for\r
-18CA 9E FE 01    LDHX 1,SP\r
-18CD D6 01 00    LDA 256,X\r
-18D0 48          LSLA\r
-18D1 5F          CLRX\r
-18D2 59          ROLX\r
-18D3 AB 00       ADD #0X00\r
-18D5 87          PSHA\r
-18D6 9F          TXA\r
-18D7 A9 0D       ADC #0X0D\r
-18D9 87          PSHA\r
-18DA 8A          PULH\r
-18DB 88          PULX\r
-passo del for\r
-18DC 6C 01       INC 1,X\r
-18DE 26 01       BNE *+3 ; 18E1\r
-18E0 7C          INC ,X\r
-18E1 95          TSX\r
-18E2 6C 01       INC 1,X\r
-18E4 26 01       BNE *+3 ; 18E7\r
-18E6 7C          INC ,X\r
-blocco controllo del for\r
-18E7 9E FE 01    LDHX 1,SP\r
-18EA 65 0C 00    CPHX #0X0C00 ; DIMENSIONE DEI DATI\r
-18ED 25 DB       BCS *-35 ; 18CA\r
-uscita dal for\r
-\r
-for(index=0;index<256;index++)\r
-    {\r
-    __RESET_WATCHDOG(); /* #solo per esempi > 200 */\r
-    while(counters[index]--)\r
-        { dati[position++]=index; }\r
-    }\r
-\r
-init del for\r
-18EF 95          TSX\r
-18F0 6F 01       CLR 1,X\r
-18F2 7F          CLR ,X\r
-salto a condizione del while\r
-18F3 20 0E       BRA *+16 ; 1903\r
-corpo del while\r
-18F5 95          TSX\r
-18F6 E6 01       LDA 1,X\r
-18F8 9E FE 03    LDHX 3,SP\r
-18FB D7 01 00    STA 256,X\r
-18FE AF 01       AIX #1\r
-1900 9E FF 03    STHX 3,SP\r
-condizione del while\r
-1903 95          TSX\r
-1904 EE 01       LDX 1,X\r
-1906 58          LSLX\r
-1907 9E E6 01    LDA 1,SP\r
-190A 49          ROLA\r
-190B 87          PSHA\r
-190C 8A          PULH\r
-190D 89          PSHX\r
-190E 9E BE 0D 00 LDHX 3328,X\r
-1912 89          PSHX\r
-1913 8B          PSHH\r
-1914 AF FF       AIX #-1\r
-1916 8B          PSHH\r
-1917 87          PSHA\r
-1918 8A          PULH\r
-1919 89          PSHX\r
-191A 9E EE 05    LDX 5,SP\r
-191D 86          PULA\r
-191E D7 0D 01    STA 3329,X\r
-1921 86          PULA\r
-1922 D7 0D 00    STA 3328,X\r
-1925 8A          PULH\r
-1926 88          PULX\r
-1927 65 00 00    CPHX #0X0000\r
-192A 8A          PULH\r
-192B 26 C8       BNE *-54 ; 18F5\r
-uscita dal while/passo del for\r
-192D 95          TSX\r
-192E 6C 01       INC 1,X\r
-1930 26 01       BNE *+3 ; 1933\r
-1932 7C          INC ,X\r
-blocco di controllo del for\r
-1933 9E FE 01    LDHX 1,SP\r
-1936 65 01 00    CPHX #0X0100\r
-1939 25 C8       BNE *-54 ; 1903\r
-uscita dal for\r
-\r
-for(index=0;index<256;index++)\r
-    { counters[index]=0; }\r
-\r
-init del for\r
-193B 95          TSX\r
-193C 6F 01       CLR 1,X\r
-193E 7F          CLR ,X\r
-corpo del for\r
-193F 95          TSX\r
-1940 EE 01       LDX 1,X\r
-1942 58          LSLX\r
-1943 9E E6 01    LDA 1,SP\r
-1946 49          ROLA\r
-1947 87          PSHA\r
-1948 8A          PULH\r
-1949 4F          CLRA\r
-194A D7 0D 01    STA 3329,X\r
-194D D7 0D 00    STA 3328,X\r
-passo del for\r
-1950 95          TSX\r
-1951 6C 01       INC 1,X\r
-1953 26 01       BNE *+3 ; 1956\r
-1955 7C          INC ,X\r
-blocco di controllo del for\r
-1956 9E FE 01    LDHX 1,SP\r
-1959 65 01 00    CPHX #0X0100\r
-195C 25 E1       BCS *-29 ; 193F\r
-\r
-position=0;\r
-index=0;\r
-\r
-195E 95          TSX\r
-195F 6F 03       CLR 3,X\r
-1961 6F 02       CLR 2,X\r
-1963 6F 01       CLR 1,X\r
-1965 7F          CLR ,x\r
-\r
-***********************************\r
-\r
-esempio generato con mathematica\r
-\r
-{129, 94, 118, 209, 117, 16, 133, 144, 31, 18, 226, 60, 29, 6, 60, 209, 131, \\r
-235, 114, 31, 144, 240, 71, 163, 208, 70, 197, 50, 201, 11, 27, 115, 17, 175, \\r
-210, 191, 11, 188, 8, 229, 254, 172, 252, 148, 52, 136, 40, 219, 211, 61, 56, \\r
-106, 77, 116, 73, 126, 111, 77, 61, 58, 194, 211, 54, 112, 128, 201, 59, 82, \\r
-143, 30, 132, 82, 45, 175, 27, 1, 53, 114, 16, 7, 93, 171, 224, 118, 189, 60, \\r
-13, 206, 183, 157, 169, 243, 193, 147, 140, 78, 248, 195, 19, 58, 162, 189, \\r
-16, 155, 92, 200, 229, 200, 166, 251, 19, 200, 100, 9, 214, 215, 57, 249, \\r
-228, 3, 73, 206, 113, 87, 52, 46, 163, 83, 249, 42, 240, 225, 102, 137, 46, \\r
-134, 199, 45, 18, 213, 74, 121, 109, 27, 65, 148, 108, 109, 244, 93, 139, \\r
-190, 200, 229, 164, 186, 177, 33, 80, 107, 149, 6, 69, 224, 15, 90, 206, 200, \\r
-130, 79, 194, 245, 248, 19, 218, 43, 121, 191, 164, 90, 210, 118, 141, 31, \\r
-21, 90, 222, 35, 157, 126, 103, 99, 17, 245, 36, 214, 106, 12, 127, 18, 214, \\r
-238, 186, 68, 57, 146, 102, 234, 35, 68, 207, 116, 107, 131, 119, 4, 100, \\r
-179, 60, 38, 252, 213, 65, 183, 36, 224, 180, 19, 50, 69, 24, 219, 0, 182, \\r
-95, 58, 183, 79, 180, 223, 244, 26, 16, 233, 197, 44, 188, 91, 5, 74, 82, \\r
-192, 31, 89, 242, 229, 151, 81, 247, 60, 119, 129, 124, 176, 29, 26, 123, 71, \\r
-121, 194, 63, 211, 182, 215, 201, 146, 13, 127, 11, 117, 14, 81, 159, 76, \\r
-229, 208, 193, 57, 127, 234, 65, 5, 8, 126, 118, 47, 98, 113, 248, 56, 182, \\r
-112, 221, 208, 173, 120, 61, 123, 204, 109, 63, 172, 199, 110, 255, 69, 193, \\r
-116, 191, 41, 73, 197, 124, 45, 242, 204, 250, 88, 172, 88, 81, 14, 72, 112, \\r
-65, 237, 149, 180, 71, 241, 129, 228, 64, 84, 123, 161, 210, 2, 197, 125, \\r
-122, 241, 0, 141, 102, 176, 169, 122, 43, 44, 111, 95, 111, 78, 43, 17, 255, \\r
-71, 127, 207, 211, 133, 184, 77, 153, 131, 118, 232, 48, 248, 208, 89, 184, \\r
-113, 87, 175, 181, 213, 252, 130, 22, 16, 179, 193, 26, 1, 17, 255, 89, 36, \\r
-197, 114, 216, 208, 173, 254, 215, 17, 206, 249, 184, 119, 58, 31, 97, 27, \\r
-187, 85, 128, 124, 37, 52, 137, 242, 201, 223, 53, 197, 18, 240, 5, 222, 38, \\r
-73, 183, 57, 5, 194, 219, 252, 159, 169, 102, 173, 74, 63, 191, 109, 135, \\r
-106, 177, 62, 182, 14, 122, 59, 69, 233, 206, 106, 106, 112, 96, 106, 44, \\r
-210, 184, 54, 33, 0, 84, 49, 96, 27, 76, 202, 190, 95, 129, 183, 155, 38, \\r
-148, 43, 65, 43, 152, 99, 102, 101, 70, 35, 229, 7, 158, 28, 56, 92, 151, 99, \\r
-83, 102, 8, 93, 8, 219, 110, 86, 112, 50, 69, 2, 99, 114, 156, 217, 80, 6, \\r
-89, 23, 104, 210, 215, 142, 105, 95, 129, 132, 135, 220, 152, 229, 181, 195, \\r
-37, 108, 146, 221, 42, 209, 20, 126, 23, 178, 152, 85, 252, 61, 141, 239, \\r
-129, 184, 187, 81, 0, 180, 46, 48, 96, 126, 144, 227, 244, 114, 28, 179, 120, \\r
-27, 159, 27, 3, 163, 5, 222, 56, 186, 14, 237, 236, 31, 56, 227, 247, 170, \\r
-233, 61, 255, 243, 20, 44, 136, 97, 48, 171, 24, 220, 254, 106, 41, 241, 203, \\r
-144, 120, 153, 31, 40, 249, 203, 20, 132, 243, 214, 126, 236, 86, 206, 218, \\r
-94, 97, 241, 102, 105, 147, 89, 60, 29, 107, 244, 89, 77, 56, 169, 59, 127, \\r
-178, 236, 174, 246, 178, 34, 100, 39, 108, 32, 238, 81, 62, 136, 221, 193, \\r
-220, 193, 102, 97, 66, 119, 54, 8, 41, 96, 169, 252, 124, 167, 180, 252, 135, \\r
-29, 108, 162, 63, 29, 23, 15, 2, 38, 162, 106, 92, 237, 39, 197, 123, 245, \\r
-156, 133, 99, 86, 195, 75, 27, 160, 27, 137, 53, 214, 217, 221, 46, 98, 117, \\r
-231, 24, 77, 215, 88, 167, 95, 148, 135, 168, 231, 43, 242, 231, 185, 6, 175, \\r
-218, 220, 198, 63, 141, 121, 149, 218, 91, 146, 238, 60, 254, 73, 90, 16, 77, \\r
-137, 131, 38, 236, 141, 201, 119, 238, 241, 64, 109, 73, 87, 155, 196, 31, \\r
-128, 149, 188, 232, 249, 215, 20, 62, 195, 111, 143, 114, 213, 190, 138, 163, \\r
-247, 96, 58, 116, 251, 189, 116, 131, 227, 157, 217, 184, 19, 80, 64, 138, \\r
-150, 58, 166, 236, 124, 21, 135, 77, 106, 170, 224, 186, 255, 59, 226, 81, \\r
-34, 34, 31, 161, 33, 175, 55, 138, 223, 227, 105, 238, 196, 231, 113, 150, \\r
-17, 228, 57, 229, 175, 245, 87, 235, 85, 101, 139, 62, 141, 70, 83, 178, 25, \\r
-52, 233, 74, 75, 82, 48, 63, 167, 79, 26, 184, 100, 91, 217, 109, 97, 165, \\r
-207, 140, 221, 230, 213, 54, 12, 141, 247, 78, 156, 191, 43, 68, 209, 192, \\r
-128, 8, 173, 206, 189, 76, 83, 101, 182, 72, 246, 100, 124, 152, 16, 157, \\r
-253, 73, 196, 221, 20, 182, 111, 59, 70, 215, 26, 68, 164, 129, 49, 162, 64, \\r
-112, 57, 154, 76, 79, 147, 157, 212, 151, 57, 168, 168, 249, 179, 231, 216, \\r
-77, 109, 136, 107, 84, 85, 146, 25, 228, 177, 227, 70, 213, 108, 249, 51, \\r
-229, 210, 119, 24, 134, 20, 126, 30, 200, 180, 206, 199, 87, 45, 82, 231, 87, \\r
-155, 26, 73, 9, 75, 246, 181, 10, 44, 186, 31, 38, 56, 96, 52, 196, 137, 191, \\r
-4, 95, 244, 17, 243, 74, 226, 216, 54, 250, 67, 12, 96, 81, 45, 3, 252, 146, \\r
-33, 202, 117, 102, 220, 132, 196, 111, 240, 4, 82, 171, 154, 206, 170, 47, \\r
-54, 243, 167, 66, 7, 94, 182, 91, 152, 121, 67, 136, 154, 10, 85, 227, 152, \\r
-117, 162, 234, 185, 50, 65, 7, 56, 177, 3, 78, 111, 151, 60, 84, 187, 188, \\r
-11, 12, 171, 59, 40, 170, 4, 80, 163, 107, 250, 240, 230, 24, 216, 122, 95, \\r
-3, 130, 150, 154, 191, 21, 133, 239, 179, 123, 238, 239, 16, 105, 194, 249, \\r
-45, 129, 243, 14, 195, 127, 221, 46, 42, 189, 234, 146, 255, 250, 123, 211, \\r
-48, 117, 103, 168, 15, 33, 220, 229, 226, 137, 41, 197, 163, 162, 66, 63, \\r
-163, 88, 224, 124, 3, 255, 40, 139, 139, 18, 216, 168, 118, 185, 226, 254, \\r
-33, 63, 172, 70, 188, 248, 211, 235, 252, 159, 231, 97, 203, 191, 78, 196, \\r
-151, 30, 13, 121, 131, 171, 76, 38, 99, 111, 238, 89, 129, 2, 44, 237, 111, \\r
-4, 16, 224, 218, 190, 238, 87, 176, 49, 65, 220, 60, 204, 88, 40, 44, 27, \\r
-134, 214, 249, 213, 74, 234, 11, 32, 44, 66, 206, 69, 43, 1, 170, 177, 110, \\r
-183, 183, 40, 149, 25, 167, 92, 78, 123, 62, 211, 144, 134, 113, 20, 210, \\r
-212, 180, 242, 49, 40, 69, 253, 120, 93, 250, 243, 149, 77, 49, 184, 204, 33, \\r
-25, 66, 42, 242, 186, 4, 159, 67, 69, 28, 116, 187, 112, 94, 1, 172, 109, \\r
-215, 156, 157, 26, 152, 177, 252, 97, 163, 65, 65, 175, 29, 225, 50, 25, 96, \\r
-41, 151, 133, 83, 83, 145, 179, 148, 213, 157, 76, 54, 14, 132, 161, 70, 106, \\r
-31, 243, 107, 190, 74, 25, 117, 252, 198, 234, 126, 209, 51, 103, 183, 238, \\r
-89, 226, 221, 34, 140, 155, 62, 152, 252, 19, 226, 12, 78, 49, 135, 103, 106, \\r
-76, 76, 114, 0, 5, 31, 246, 48, 238, 222, 177, 76, 247, 236, 44, 64, 107, \\r
-104, 144, 136, 111, 179, 71, 98, 146, 155, 43, 50, 64, 167, 137, 64, 35, 92, \\r
-249, 41, 98, 174, 91, 201, 44, 146, 111, 245, 160, 14, 222, 249, 9, 16, 57, \\r
-70, 197, 226, 131, 213, 142, 70, 76, 172, 127, 79, 193, 79, 26, 97, 150, 11, \\r
-0, 111, 38, 140, 238, 147, 27, 158, 165, 150, 42, 235, 70, 95, 60, 214, 45, \\r
-148, 107, 244, 218, 105, 89, 172, 189, 158, 72, 2, 220, 92, 96, 42, 110, 202, \\r
-110, 31, 212, 58, 176, 158, 143, 171, 178, 2, 71, 125, 171, 219, 181, 109, \\r
-226, 137, 77, 4, 190, 250, 34, 20, 113, 18, 27, 13, 186, 90, 108, 30, 58, 15, \\r
-110, 68, 200, 181, 140, 3, 6, 100, 133, 40, 100, 34, 129, 118, 254, 250, 98, \\r
-145, 190, 188, 97, 75, 126, 80, 188, 238, 99, 207, 29, 253, 98, 92, 133, 158, \\r
-165, 38, 231, 70, 59, 234, 190, 4, 136, 242, 146, 11, 217, 233, 41, 56, 136, \\r
-138, 105, 23, 75, 191, 12, 242, 253, 115, 89, 190, 84, 28, 211, 49, 98, 27, \\r
-183, 50, 164, 241, 112, 154, 70, 161, 28, 4, 108, 242, 230, 193, 164, 242, \\r
-42, 75, 53, 155, 153, 255, 1, 19, 249, 92, 60, 81, 138, 165, 95, 158, 94, \\r
-198, 33, 55, 210, 185, 152, 161, 96, 233, 69, 202, 215, 189, 207, 15, 36, \\r
-229, 121, 75, 28, 87, 58, 36, 34, 8, 51, 226, 162, 88, 37, 84, 113, 43, 255, \\r
-237, 72, 246, 35, 49, 186, 81, 159, 170, 204, 3, 21, 199, 45, 211, 235, 143, \\r
-132, 64, 83, 173, 103, 236, 175, 220, 28, 116, 107, 173, 205, 167, 17, 16, \\r
-207, 190, 161, 1, 63, 192, 133, 40, 107, 195, 109, 216, 117, 90, 240, 34, 75, \\r
-156, 49, 228, 231, 198, 252, 48, 213, 249, 26, 64, 31, 109, 213, 120, 181, \\r
-118, 201, 225, 223, 18, 97, 223, 159, 87, 125, 11, 173, 90, 161, 132, 229, \\r
-247, 188, 211, 165, 180, 133, 103, 54, 252, 177, 179, 203, 30, 236, 110, 225, \\r
-28, 165, 83, 152, 246, 223, 65, 19, 46, 127, 14, 56, 60, 212, 140, 42, 40, \\r
-78, 126, 14, 247, 202, 62, 228, 180, 5, 88, 220, 120, 217, 249, 121, 132, 2, \\r
-63, 207, 56, 215, 38, 29, 24, 77, 234, 122, 212, 36, 13, 77, 144, 23, 30, \\r
-110, 182, 204, 192, 176, 94, 153, 109, 207, 238, 41, 207, 162, 12, 171, 116, \\r
-41, 78, 130, 147, 105, 123, 236, 199, 137, 202, 221, 172, 101, 128, 20, 9, \\r
-85, 14, 132, 94, 111, 52, 24, 201, 139, 228, 62, 196, 22, 164, 25, 52, 14, \\r
-94, 249, 3, 19, 114, 39, 40, 167, 109, 193, 29, 240, 40, 251, 246, 56, 1, \\r
-249, 188, 102, 248, 110, 209, 181, 56, 67, 182, 104, 172, 9, 253, 9, 104, \\r
-224, 34, 175, 64, 38, 12, 82, 167, 173, 195, 130, 220, 60, 101, 242, 232, \\r
-192, 6, 100, 177, 32, 149, 34, 221, 173, 255, 27, 139, 182, 74, 187, 152, 26, \\r
-236, 123, 166, 44, 225, 199, 220, 25, 6, 10, 159, 82, 43, 202, 47, 64, 248, \\r
-234, 135, 137, 253, 93, 0, 110, 0, 13, 48, 67, 90, 143, 138, 164, 80, 143, \\r
-12, 119, 242, 101, 228, 45, 229, 168, 127, 120, 227, 149, 218, 7, 41, 81, \\r
-148, 228, 1, 191, 110, 152, 156, 144, 168, 10, 61, 60, 80, 235, 18, 196, 95, \\r
-71, 123, 44, 223, 120, 19, 116, 224, 123, 113, 71, 72, 27, 227, 107, 11, 75, \\r
-89, 147, 223, 225, 27, 208, 237, 71, 77, 194, 222, 92, 218, 149, 200, 16, \\r
-119, 127, 192, 167, 211, 211, 216, 52, 161, 21, 224, 4, 30, 130, 202, 217, \\r
-17, 177, 201, 76, 75, 9, 72, 252, 221, 110, 202, 118, 174, 142, 59, 251, 101, \\r
-131, 29, 219, 174, 79, 198, 30, 197, 204, 124, 40, 249, 210, 134, 21, 250, \\r
-65, 69, 46, 149, 191, 13, 139, 141, 17, 156, 184, 251, 38, 214, 145, 13, 205, \\r
-7, 80, 250, 41, 63, 12, 43, 254, 151, 85, 90, 109, 150, 5, 9, 69, 239, 15, \\r
-116, 147, 108, 130, 55, 235, 80, 245, 196, 11, 56, 45, 138, 147, 109, 29, \\r
-229, 247, 231, 215, 92, 180, 80, 117, 13, 243, 206, 49, 241, 142, 143, 219, \\r
-20, 246, 3, 171, 174, 188, 235, 200, 103, 204, 255, 79, 198, 41, 149, 188, \\r
-101, 82, 242, 53, 196, 244, 155, 69, 28, 219, 97, 254, 63, 185, 216, 241, \\r
-172, 7, 164, 184, 136, 149, 184, 86, 50, 90, 62, 34, 11, 150, 238, 111, 30, \\r
-50, 73, 79, 204, 219, 81, 77, 209, 79, 9, 90, 172, 231, 134, 88, 165, 167, \\r
-94, 54, 17, 58, 137, 130, 220, 98, 14, 171, 43, 37, 249, 119, 134, 29, 121, \\r
-81, 189, 152, 183, 187, 246, 217, 102, 1, 18, 235, 10, 205, 26, 170, 204, \\r
-101, 66, 143, 42, 72, 198, 186, 216, 45, 41, 232, 87, 119, 122, 180, 73, 101, \\r
-67, 87, 254, 198, 199, 98, 103, 88, 214, 154, 200, 232, 48, 96, 115, 137, 35, \\r
-8, 122, 172, 93, 109, 206, 12, 27, 23, 193, 66, 83, 21, 124, 116, 43, 37, 86, \\r
-97, 236, 11, 66, 4, 202, 9, 171, 27, 208, 159, 106, 127, 65, 248, 234, 130, \\r
-129, 65, 206, 206, 13, 43, 51, 163, 100, 250, 166, 57, 127, 246, 178, 85, \\r
-107, 172, 51, 147, 231, 190, 52, 207, 239, 162, 238, 237, 203, 176, 137, 218, \\r
-59, 190, 62, 51, 81, 165, 60, 204, 160, 253, 57, 203, 252, 31, 141, 104, 212, \\r
-140, 170, 142, 58, 151, 38, 107, 172, 138, 75, 116, 63, 183, 191, 12, 230, \\r
-205, 66, 250, 238, 249, 12, 44, 121, 126, 216, 64, 124, 56, 73, 113, 117, \\r
-183, 54, 7, 26, 44, 30, 60, 122, 56, 74, 52, 32, 149, 96, 247, 195, 177, 110, \\r
-177, 112, 116, 59, 13, 109, 251, 229, 226, 102, 104, 8, 251, 60, 140, 221, 2, \\r
-46, 110, 241, 175, 121, 103, 226, 76, 165, 121, 198, 181, 175, 21, 254, 226, \\r
-43, 202, 230, 62, 44, 88, 114, 206, 113, 140, 190, 32, 102, 7, 111, 209, 130, \\r
-49, 243, 149, 145, 18, 243, 79, 108, 166, 142, 178, 120, 222, 121, 197, 34, \\r
-243, 7, 231, 158, 146, 115, 60, 161, 218, 33, 35, 69, 229, 116, 132, 194, \\r
-104, 53, 154, 200, 46, 29, 209, 166, 223, 6, 127, 140, 40, 246, 195, 248, 98, \\r
-249, 87, 39, 209, 211, 11, 163, 135, 131, 201, 20, 180, 197, 237, 84, 225, \\r
-185, 41, 111, 227, 13, 204, 246, 13, 36, 69, 110, 228, 219, 249, 193, 212, \\r
-180, 181, 102, 28, 110, 175, 64, 230, 73, 126, 65, 24, 135, 223, 187, 96, 5, \\r
-244, 93, 161, 214, 103, 42, 200, 119, 249, 138, 249, 38, 239, 116, 88, 106, \\r
-200, 53, 16, 197, 30, 11, 131, 106, 68, 141, 92, 251, 254, 146, 3, 67, 5, \\r
-175, 192, 243, 4, 40, 157, 9, 53, 227, 95, 69, 171, 205, 140, 253, 44, 157, \\r
-175, 100, 67, 128, 130, 229, 142, 61, 45, 219, 223, 171, 8, 22, 236, 126, \\r
-167, 203, 216, 92, 44, 136, 152, 194, 173, 29, 176, 177, 206, 147, 226, 244, \\r
-219, 165, 182, 73, 135, 29, 162, 121, 53, 190, 85, 205, 99, 44, 16, 31, 236, \\r
-59, 138, 63, 56, 128, 28, 45, 146, 95, 225, 181, 188, 131, 182, 27, 237, 79, \\r
-58, 196, 254, 255, 203, 129, 103, 194, 89, 218, 10, 156, 34, 235, 147, 226, \\r
-127, 172, 74, 130, 129, 63, 235, 139, 15, 156, 65, 130, 155, 124, 81, 167, \\r
-171, 173, 146, 25, 240, 253, 147, 246, 173, 36, 203, 222, 181, 171, 129, 84, \\r
-174, 36, 100, 210, 208, 254, 51, 42, 117, 7, 143, 58, 18, 159, 190, 27, 27, \\r
-31, 199, 241, 124, 145, 93, 50, 217, 214, 234, 6, 91, 105, 107, 172, 9, 22, \\r
-163, 202, 142, 131, 52, 183, 65, 39, 179, 1, 230, 6, 140, 4, 61, 190, 44, \\r
-102, 181, 134, 17, 19, 109, 208, 190, 141, 199, 85, 2, 193, 118, 95, 32, 94, \\r
-228, 62, 119, 225, 63, 232, 108, 74, 160, 254, 206, 63, 103, 148, 63, 239, \\r
-239, 134, 217, 74, 8, 139, 200, 28, 173, 32, 167, 140, 6, 103, 175, 115, 205, \\r
-22, 132, 50, 208, 243, 220, 219, 183, 36, 106, 99, 28, 161, 222, 188, 146, \\r
-241, 92, 231, 224, 213, 164, 74, 0, 214, 34, 156, 82, 143, 232, 34, 162, 240, \\r
-152, 56, 13, 246, 67, 121, 130, 175, 213, 193, 130, 82, 219, 143, 126, 209, \\r
-157, 166, 142, 158, 169, 142, 209, 246, 176, 234, 131, 233, 247, 59, 74, 9, \\r
-30, 50, 210, 93, 215, 171, 77, 111, 89, 252, 67, 65, 0, 60, 148, 82, 89, 108, \\r
-110, 232, 102, 245, 156, 87, 108, 226, 59, 162, 33, 238, 246, 79, 243, 98, \\r
-219, 143, 100, 211, 128, 105, 151, 71, 139, 182, 56, 69, 190, 13, 97, 207, \\r
-120, 207, 65, 127, 244, 90, 139, 114, 230, 125, 76, 24, 238, 58, 18, 148, 52, \\r
-48, 57, 0, 149, 96, 250, 127, 166, 199, 177, 126, 13, 36, 255, 67, 120, 136, \\r
-108, 7, 115, 146, 200, 11, 80, 151, 244, 27, 219, 69, 98, 145, 135, 93, 245, \\r
-97, 56, 243, 138, 79, 219, 61, 67, 47, 186, 169, 180, 169, 38, 126, 140, 22, \\r
-252, 28, 167, 157, 124, 133, 167, 53, 134, 79, 200, 154, 13, 36, 4, 88, 66, \\r
-48, 117, 141, 188, 114, 52, 249, 70, 94, 244, 92, 103, 4, 136, 40, 169, 236, \\r
-236, 124, 70, 110, 28, 217, 192, 97, 88, 94, 55, 176, 153, 151, 160, 155, \\r
-119, 74, 208, 181, 29, 166, 74, 197, 58, 148, 180, 80, 6, 192, 168, 2, 95, \\r
-14, 33, 3, 177, 150, 2, 151, 128, 26, 11, 61, 33, 127, 3, 41, 50, 102, 191, \\r
-59, 87, 83, 231, 213, 229, 69, 163, 26, 27, 248, 207, 179, 149, 89, 78, 100, \\r
-67, 244, 37, 204, 97, 53, 223, 54, 85, 207, 154, 17, 246, 212, 79, 155, 175, \\r
-242, 3, 25, 155, 171, 196, 25, 161, 234, 27, 37, 173, 170, 0, 91, 157, 111, \\r
-136, 111, 48, 133, 198, 23, 87, 17, 171, 2, 221, 146, 77, 130, 2, 53, 203, \\r
-68, 164, 65, 213, 18, 231, 77}\r
-\r
-e riformattato per importazione\r
-\r
-〈x8,x1〉;〈x5,xE〉;〈x7,x6〉;〈xD,x1〉;〈x7,x5〉;〈x1,x0〉;〈x8,x5〉;〈x9,x0〉;〈x1,xF〉;〈x1,x2〉;〈xE,x2〉;〈x3,xC〉;〈x1,xD〉;〈x0,x6〉;〈x3,xC〉;〈xD,x1〉;\r
-〈x8,x3〉;〈xE,xB〉;〈x7,x2〉;〈x1,xF〉;〈x9,x0〉;〈xF,x0〉;〈x4,x7〉;〈xA,x3〉;〈xD,x0〉;〈x4,x6〉;〈xC,x5〉;〈x3,x2〉;〈xC,x9〉;〈x0,xB〉;〈x1,xB〉;〈x7,x3〉;\r
-〈x1,x1〉;〈xA,xF〉;〈xD,x2〉;〈xB,xF〉;〈x0,xB〉;〈xB,xC〉;〈x0,x8〉;〈xE,x5〉;〈xF,xE〉;〈xA,xC〉;〈xF,xC〉;〈x9,x4〉;〈x3,x4〉;〈x8,x8〉;〈x2,x8〉;〈xD,xB〉;\r
-〈xD,x3〉;〈x3,xD〉;〈x3,x8〉;〈x6,xA〉;〈x4,xD〉;〈x7,x4〉;〈x4,x9〉;〈x7,xE〉;〈x6,xF〉;〈x4,xD〉;〈x3,xD〉;〈x3,xA〉;〈xC,x2〉;〈xD,x3〉;〈x3,x6〉;〈x7,x0〉;\r
-〈x8,x0〉;〈xC,x9〉;〈x3,xB〉;〈x5,x2〉;〈x8,xF〉;〈x1,xE〉;〈x8,x4〉;〈x5,x2〉;〈x2,xD〉;〈xA,xF〉;〈x1,xB〉;〈x0,x1〉;〈x3,x5〉;〈x7,x2〉;〈x1,x0〉;〈x0,x7〉;\r
-〈x5,xD〉;〈xA,xB〉;〈xE,x0〉;〈x7,x6〉;〈xB,xD〉;〈x3,xC〉;〈x0,xD〉;〈xC,xE〉;〈xB,x7〉;〈x9,xD〉;〈xA,x9〉;〈xF,x3〉;〈xC,x1〉;〈x9,x3〉;〈x8,xC〉;〈x4,xE〉;\r
-〈xF,x8〉;〈xC,x3〉;〈x1,x3〉;〈x3,xA〉;〈xA,x2〉;〈xB,xD〉;〈x1,x0〉;〈x9,xB〉;〈x5,xC〉;〈xC,x8〉;〈xE,x5〉;〈xC,x8〉;〈xA,x6〉;〈xF,xB〉;〈x1,x3〉;〈xC,x8〉;\r
-〈x6,x4〉;〈x0,x9〉;〈xD,x6〉;〈xD,x7〉;〈x3,x9〉;〈xF,x9〉;〈xE,x4〉;〈x0,x3〉;〈x4,x9〉;〈xC,xE〉;〈x7,x1〉;〈x5,x7〉;〈x3,x4〉;〈x2,xE〉;〈xA,x3〉;〈x5,x3〉;\r
-〈xF,x9〉;〈x2,xA〉;〈xF,x0〉;〈xE,x1〉;〈x6,x6〉;〈x8,x9〉;〈x2,xE〉;〈x8,x6〉;〈xC,x7〉;〈x2,xD〉;〈x1,x2〉;〈xD,x5〉;〈x4,xA〉;〈x7,x9〉;〈x6,xD〉;〈x1,xB〉;\r
-〈x4,x1〉;〈x9,x4〉;〈x6,xC〉;〈x6,xD〉;〈xF,x4〉;〈x5,xD〉;〈x8,xB〉;〈xB,xE〉;〈xC,x8〉;〈xE,x5〉;〈xA,x4〉;〈xB,xA〉;〈xB,x1〉;〈x2,x1〉;〈x5,x0〉;〈x6,xB〉;\r
-〈x9,x5〉;〈x0,x6〉;〈x4,x5〉;〈xE,x0〉;〈x0,xF〉;〈x5,xA〉;〈xC,xE〉;〈xC,x8〉;〈x8,x2〉;〈x4,xF〉;〈xC,x2〉;〈xF,x5〉;〈xF,x8〉;〈x1,x3〉;〈xD,xA〉;〈x2,xB〉;\r
-〈x7,x9〉;〈xB,xF〉;〈xA,x4〉;〈x5,xA〉;〈xD,x2〉;〈x7,x6〉;〈x8,xD〉;〈x1,xF〉;〈x1,x5〉;〈x5,xA〉;〈xD,xE〉;〈x2,x3〉;〈x9,xD〉;〈x7,xE〉;〈x6,x7〉;〈x6,x3〉;\r
-〈x1,x1〉;〈xF,x5〉;〈x2,x4〉;〈xD,x6〉;〈x6,xA〉;〈x0,xC〉;〈x7,xF〉;〈x1,x2〉;〈xD,x6〉;〈xE,xE〉;〈xB,xA〉;〈x4,x4〉;〈x3,x9〉;〈x9,x2〉;〈x6,x6〉;〈xE,xA〉;\r
-〈x2,x3〉;〈x4,x4〉;〈xC,xF〉;〈x7,x4〉;〈x6,xB〉;〈x8,x3〉;〈x7,x7〉;〈x0,x4〉;〈x6,x4〉;〈xB,x3〉;〈x3,xC〉;〈x2,x6〉;〈xF,xC〉;〈xD,x5〉;〈x4,x1〉;〈xB,x7〉;\r
-〈x2,x4〉;〈xE,x0〉;〈xB,x4〉;〈x1,x3〉;〈x3,x2〉;〈x4,x5〉;〈x1,x8〉;〈xD,xB〉;〈x0,x0〉;〈xB,x6〉;〈x5,xF〉;〈x3,xA〉;〈xB,x7〉;〈x4,xF〉;〈xB,x4〉;〈xD,xF〉;\r
-〈xF,x4〉;〈x1,xA〉;〈x1,x0〉;〈xE,x9〉;〈xC,x5〉;〈x2,xC〉;〈xB,xC〉;〈x5,xB〉;〈x0,x5〉;〈x4,xA〉;〈x5,x2〉;〈xC,x0〉;〈x1,xF〉;〈x5,x9〉;〈xF,x2〉;〈xE,x5〉;\r
-\r
-〈x9,x7〉;〈x5,x1〉;〈xF,x7〉;〈x3,xC〉;〈x7,x7〉;〈x8,x1〉;〈x7,xC〉;〈xB,x0〉;〈x1,xD〉;〈x1,xA〉;〈x7,xB〉;〈x4,x7〉;〈x7,x9〉;〈xC,x2〉;〈x3,xF〉;〈xD,x3〉;\r
-〈xB,x6〉;〈xD,x7〉;〈xC,x9〉;〈x9,x2〉;〈x0,xD〉;〈x7,xF〉;〈x0,xB〉;〈x7,x5〉;〈x0,xE〉;〈x5,x1〉;〈x9,xF〉;〈x4,xC〉;〈xE,x5〉;〈xD,x0〉;〈xC,x1〉;〈x3,x9〉;\r
-〈x7,xF〉;〈xE,xA〉;〈x4,x1〉;〈x0,x5〉;〈x0,x8〉;〈x7,xE〉;〈x7,x6〉;〈x2,xF〉;〈x6,x2〉;〈x7,x1〉;〈xF,x8〉;〈x3,x8〉;〈xB,x6〉;〈x7,x0〉;〈xD,xD〉;〈xD,x0〉;\r
-〈xA,xD〉;〈x7,x8〉;〈x3,xD〉;〈x7,xB〉;〈xC,xC〉;〈x6,xD〉;〈x3,xF〉;〈xA,xC〉;〈xC,x7〉;〈x6,xE〉;〈xF,xF〉;〈x4,x5〉;〈xC,x1〉;〈x7,x4〉;〈xB,xF〉;〈x2,x9〉;\r
-〈x4,x9〉;〈xC,x5〉;〈x7,xC〉;〈x2,xD〉;〈xF,x2〉;〈xC,xC〉;〈xF,xA〉;〈x5,x8〉;〈xA,xC〉;〈x5,x8〉;〈x5,x1〉;〈x0,xE〉;〈x4,x8〉;〈x7,x0〉;〈x4,x1〉;〈xE,xD〉;\r
-〈x9,x5〉;〈xB,x4〉;〈x4,x7〉;〈xF,x1〉;〈x8,x1〉;〈xE,x4〉;〈x4,x0〉;〈x5,x4〉;〈x7,xB〉;〈xA,x1〉;〈xD,x2〉;〈x0,x2〉;〈xC,x5〉;〈x7,xD〉;〈x7,xA〉;〈xF,x1〉;\r
-〈x0,x0〉;〈x8,xD〉;〈x6,x6〉;〈xB,x0〉;〈xA,x9〉;〈x7,xA〉;〈x2,xB〉;〈x2,xC〉;〈x6,xF〉;〈x5,xF〉;〈x6,xF〉;〈x4,xE〉;〈x2,xB〉;〈x1,x1〉;〈xF,xF〉;〈x4,x7〉;\r
-〈x7,xF〉;〈xC,xF〉;〈xD,x3〉;〈x8,x5〉;〈xB,x8〉;〈x4,xD〉;〈x9,x9〉;〈x8,x3〉;〈x7,x6〉;〈xE,x8〉;〈x3,x0〉;〈xF,x8〉;〈xD,x0〉;〈x5,x9〉;〈xB,x8〉;〈x7,x1〉;\r
-〈x5,x7〉;〈xA,xF〉;〈xB,x5〉;〈xD,x5〉;〈xF,xC〉;〈x8,x2〉;〈x1,x6〉;〈x1,x0〉;〈xB,x3〉;〈xC,x1〉;〈x1,xA〉;〈x0,x1〉;〈x1,x1〉;〈xF,xF〉;〈x5,x9〉;〈x2,x4〉;\r
-〈xC,x5〉;〈x7,x2〉;〈xD,x8〉;〈xD,x0〉;〈xA,xD〉;〈xF,xE〉;〈xD,x7〉;〈x1,x1〉;〈xC,xE〉;〈xF,x9〉;〈xB,x8〉;〈x7,x7〉;〈x3,xA〉;〈x1,xF〉;〈x6,x1〉;〈x1,xB〉;\r
-〈xB,xB〉;〈x5,x5〉;〈x8,x0〉;〈x7,xC〉;〈x2,x5〉;〈x3,x4〉;〈x8,x9〉;〈xF,x2〉;〈xC,x9〉;〈xD,xF〉;〈x3,x5〉;〈xC,x5〉;〈x1,x2〉;〈xF,x0〉;〈x0,x5〉;〈xD,xE〉;\r
-〈x2,x6〉;〈x4,x9〉;〈xB,x7〉;〈x3,x9〉;〈x0,x5〉;〈xC,x2〉;〈xD,xB〉;〈xF,xC〉;〈x9,xF〉;〈xA,x9〉;〈x6,x6〉;〈xA,xD〉;〈x4,xA〉;〈x3,xF〉;〈xB,xF〉;〈x6,xD〉;\r
-〈x8,x7〉;〈x6,xA〉;〈xB,x1〉;〈x3,xE〉;〈xB,x6〉;〈x0,xE〉;〈x7,xA〉;〈x3,xB〉;〈x4,x5〉;〈xE,x9〉;〈xC,xE〉;〈x6,xA〉;〈x6,xA〉;〈x7,x0〉;〈x6,x0〉;〈x6,xA〉;\r
-〈x2,xC〉;〈xD,x2〉;〈xB,x8〉;〈x3,x6〉;〈x2,x1〉;〈x0,x0〉;〈x5,x4〉;〈x3,x1〉;〈x6,x0〉;〈x1,xB〉;〈x4,xC〉;〈xC,xA〉;〈xB,xE〉;〈x5,xF〉;〈x8,x1〉;〈xB,x7〉;\r
-〈x9,xB〉;〈x2,x6〉;〈x9,x4〉;〈x2,xB〉;〈x4,x1〉;〈x2,xB〉;〈x9,x8〉;〈x6,x3〉;〈x6,x6〉;〈x6,x5〉;〈x4,x6〉;〈x2,x3〉;〈xE,x5〉;〈x0,x7〉;〈x9,xE〉;〈x1,xC〉;\r
-〈x3,x8〉;〈x5,xC〉;〈x9,x7〉;〈x6,x3〉;〈x5,x3〉;〈x6,x6〉;〈x0,x8〉;〈x5,xD〉;〈x0,x8〉;〈xD,xB〉;〈x6,xE〉;〈x5,x6〉;〈x7,x0〉;〈x3,x2〉;〈x4,x5〉;〈x0,x2〉;\r
-\r
-〈x6,x3〉;〈x7,x2〉;〈x9,xC〉;〈xD,x9〉;〈x5,x0〉;〈x0,x6〉;〈x5,x9〉;〈x1,x7〉;〈x6,x8〉;〈xD,x2〉;〈xD,x7〉;〈x8,xE〉;〈x6,x9〉;〈x5,xF〉;〈x8,x1〉;〈x8,x4〉;\r
-〈x8,x7〉;〈xD,xC〉;〈x9,x8〉;〈xE,x5〉;〈xB,x5〉;〈xC,x3〉;〈x2,x5〉;〈x6,xC〉;〈x9,x2〉;〈xD,xD〉;〈x2,xA〉;〈xD,x1〉;〈x1,x4〉;〈x7,xE〉;〈x1,x7〉;〈xB,x2〉;\r
-〈x9,x8〉;〈x5,x5〉;〈xF,xC〉;〈x3,xD〉;〈x8,xD〉;〈xE,xF〉;〈x8,x1〉;〈xB,x8〉;〈xB,xB〉;〈x5,x1〉;〈x0,x0〉;〈xB,x4〉;〈x2,xE〉;〈x3,x0〉;〈x6,x0〉;〈x7,xE〉;\r
-〈x9,x0〉;〈xE,x3〉;〈xF,x4〉;〈x7,x2〉;〈x1,xC〉;〈xB,x3〉;〈x7,x8〉;〈x1,xB〉;〈x9,xF〉;〈x1,xB〉;〈x0,x3〉;〈xA,x3〉;〈x0,x5〉;〈xD,xE〉;〈x3,x8〉;〈xB,xA〉;\r
-〈x0,xE〉;〈xE,xD〉;〈xE,xC〉;〈x1,xF〉;〈x3,x8〉;〈xE,x3〉;〈xF,x7〉;〈xA,xA〉;〈xE,x9〉;〈x3,xD〉;〈xF,xF〉;〈xF,x3〉;〈x1,x4〉;〈x2,xC〉;〈x8,x8〉;〈x6,x1〉;\r
-〈x3,x0〉;〈xA,xB〉;〈x1,x8〉;〈xD,xC〉;〈xF,xE〉;〈x6,xA〉;〈x2,x9〉;〈xF,x1〉;〈xC,xB〉;〈x9,x0〉;〈x7,x8〉;〈x9,x9〉;〈x1,xF〉;〈x2,x8〉;〈xF,x9〉;〈xC,xB〉;\r
-〈x1,x4〉;〈x8,x4〉;〈xF,x3〉;〈xD,x6〉;〈x7,xE〉;〈xE,xC〉;〈x5,x6〉;〈xC,xE〉;〈xD,xA〉;〈x5,xE〉;〈x6,x1〉;〈xF,x1〉;〈x6,x6〉;〈x6,x9〉;〈x9,x3〉;〈x5,x9〉;\r
-〈x3,xC〉;〈x1,xD〉;〈x6,xB〉;〈xF,x4〉;〈x5,x9〉;〈x4,xD〉;〈x3,x8〉;〈xA,x9〉;〈x3,xB〉;〈x7,xF〉;〈xB,x2〉;〈xE,xC〉;〈xA,xE〉;〈xF,x6〉;〈xB,x2〉;〈x2,x2〉;\r
-〈x6,x4〉;〈x2,x7〉;〈x6,xC〉;〈x2,x0〉;〈xE,xE〉;〈x5,x1〉;〈x3,xE〉;〈x8,x8〉;〈xD,xD〉;〈xC,x1〉;〈xD,xC〉;〈xC,x1〉;〈x6,x6〉;〈x6,x1〉;〈x4,x2〉;〈x7,x7〉;\r
-〈x3,x6〉;〈x0,x8〉;〈x2,x9〉;〈x6,x0〉;〈xA,x9〉;〈xF,xC〉;〈x7,xC〉;〈xA,x7〉;〈xB,x4〉;〈xF,xC〉;〈x8,x7〉;〈x1,xD〉;〈x6,xC〉;〈xA,x2〉;〈x3,xF〉;〈x1,xD〉;\r
-〈x1,x7〉;〈x0,xF〉;〈x0,x2〉;〈x2,x6〉;〈xA,x2〉;〈x6,xA〉;〈x5,xC〉;〈xE,xD〉;〈x2,x7〉;〈xC,x5〉;〈x7,xB〉;〈xF,x5〉;〈x9,xC〉;〈x8,x5〉;〈x6,x3〉;〈x5,x6〉;\r
-〈xC,x3〉;〈x4,xB〉;〈x1,xB〉;〈xA,x0〉;〈x1,xB〉;〈x8,x9〉;〈x3,x5〉;〈xD,x6〉;〈xD,x9〉;〈xD,xD〉;〈x2,xE〉;〈x6,x2〉;〈x7,x5〉;〈xE,x7〉;〈x1,x8〉;〈x4,xD〉;\r
-〈xD,x7〉;〈x5,x8〉;〈xA,x7〉;〈x5,xF〉;〈x9,x4〉;〈x8,x7〉;〈xA,x8〉;〈xE,x7〉;〈x2,xB〉;〈xF,x2〉;〈xE,x7〉;〈xB,x9〉;〈x0,x6〉;〈xA,xF〉;〈xD,xA〉;〈xD,xC〉;\r
-〈xC,x6〉;〈x3,xF〉;〈x8,xD〉;〈x7,x9〉;〈x9,x5〉;〈xD,xA〉;〈x5,xB〉;〈x9,x2〉;〈xE,xE〉;〈x3,xC〉;〈xF,xE〉;〈x4,x9〉;〈x5,xA〉;〈x1,x0〉;〈x4,xD〉;〈x8,x9〉;\r
-〈x8,x3〉;〈x2,x6〉;〈xE,xC〉;〈x8,xD〉;〈xC,x9〉;〈x7,x7〉;〈xE,xE〉;〈xF,x1〉;〈x4,x0〉;〈x6,xD〉;〈x4,x9〉;〈x5,x7〉;〈x9,xB〉;〈xC,x4〉;〈x1,xF〉;〈x8,x0〉;\r
-〈x9,x5〉;〈xB,xC〉;〈xE,x8〉;〈xF,x9〉;〈xD,x7〉;〈x1,x4〉;〈x3,xE〉;〈xC,x3〉;〈x6,xF〉;〈x8,xF〉;〈x7,x2〉;〈xD,x5〉;〈xB,xE〉;〈x8,xA〉;〈xA,x3〉;〈xF,x7〉;\r
-\r
-〈x6,x0〉;〈x3,xA〉;〈x7,x4〉;〈xF,xB〉;〈xB,xD〉;〈x7,x4〉;〈x8,x3〉;〈xE,x3〉;〈x9,xD〉;〈xD,x9〉;〈xB,x8〉;〈x1,x3〉;〈x5,x0〉;〈x4,x0〉;〈x8,xA〉;〈x9,x6〉;\r
-〈x3,xA〉;〈xA,x6〉;〈xE,xC〉;〈x7,xC〉;〈x1,x5〉;〈x8,x7〉;〈x4,xD〉;〈x6,xA〉;〈xA,xA〉;〈xE,x0〉;〈xB,xA〉;〈xF,xF〉;〈x3,xB〉;〈xE,x2〉;〈x5,x1〉;〈x2,x2〉;\r
-〈x2,x2〉;〈x1,xF〉;〈xA,x1〉;〈x2,x1〉;〈xA,xF〉;〈x3,x7〉;〈x8,xA〉;〈xD,xF〉;〈xE,x3〉;〈x6,x9〉;〈xE,xE〉;〈xC,x4〉;〈xE,x7〉;〈x7,x1〉;〈x9,x6〉;〈x1,x1〉;\r
-〈xE,x4〉;〈x3,x9〉;〈xE,x5〉;〈xA,xF〉;〈xF,x5〉;〈x5,x7〉;〈xE,xB〉;〈x5,x5〉;〈x6,x5〉;〈x8,xB〉;〈x3,xE〉;〈x8,xD〉;〈x4,x6〉;〈x5,x3〉;〈xB,x2〉;〈x1,x9〉;\r
-〈x3,x4〉;〈xE,x9〉;〈x4,xA〉;〈x4,xB〉;〈x5,x2〉;〈x3,x0〉;〈x3,xF〉;〈xA,x7〉;〈x4,xF〉;〈x1,xA〉;〈xB,x8〉;〈x6,x4〉;〈x5,xB〉;〈xD,x9〉;〈x6,xD〉;〈x6,x1〉;\r
-〈xA,x5〉;〈xC,xF〉;〈x8,xC〉;〈xD,xD〉;〈xE,x6〉;〈xD,x5〉;〈x3,x6〉;〈x0,xC〉;〈x8,xD〉;〈xF,x7〉;〈x4,xE〉;〈x9,xC〉;〈xB,xF〉;〈x2,xB〉;〈x4,x4〉;〈xD,x1〉;\r
-〈xC,x0〉;〈x8,x0〉;〈x0,x8〉;〈xA,xD〉;〈xC,xE〉;〈xB,xD〉;〈x4,xC〉;〈x5,x3〉;〈x6,x5〉;〈xB,x6〉;〈x4,x8〉;〈xF,x6〉;〈x6,x4〉;〈x7,xC〉;〈x9,x8〉;〈x1,x0〉;\r
-〈x9,xD〉;〈xF,xD〉;〈x4,x9〉;〈xC,x4〉;〈xD,xD〉;〈x1,x4〉;〈xB,x6〉;〈x6,xF〉;〈x3,xB〉;〈x4,x6〉;〈xD,x7〉;〈x1,xA〉;〈x4,x4〉;〈xA,x4〉;〈x8,x1〉;〈x3,x1〉;\r
-〈xA,x2〉;〈x4,x0〉;〈x7,x0〉;〈x3,x9〉;〈x9,xA〉;〈x4,xC〉;〈x4,xF〉;〈x9,x3〉;〈x9,xD〉;〈xD,x4〉;〈x9,x7〉;〈x3,x9〉;〈xA,x8〉;〈xA,x8〉;〈xF,x9〉;〈xB,x3〉;\r
-〈xE,x7〉;〈xD,x8〉;〈x4,xD〉;〈x6,xD〉;〈x8,x8〉;〈x6,xB〉;〈x5,x4〉;〈x5,x5〉;〈x9,x2〉;〈x1,x9〉;〈xE,x4〉;〈xB,x1〉;〈xE,x3〉;〈x4,x6〉;〈xD,x5〉;〈x6,xC〉;\r
-〈xF,x9〉;〈x3,x3〉;〈xE,x5〉;〈xD,x2〉;〈x7,x7〉;〈x1,x8〉;〈x8,x6〉;〈x1,x4〉;〈x7,xE〉;〈x1,xE〉;〈xC,x8〉;〈xB,x4〉;〈xC,xE〉;〈xC,x7〉;〈x5,x7〉;〈x2,xD〉;\r
-〈x5,x2〉;〈xE,x7〉;〈x5,x7〉;〈x9,xB〉;〈x1,xA〉;〈x4,x9〉;〈x0,x9〉;〈x4,xB〉;〈xF,x6〉;〈xB,x5〉;〈x0,xA〉;〈x2,xC〉;〈xB,xA〉;〈x1,xF〉;〈x2,x6〉;〈x3,x8〉;\r
-〈x6,x0〉;〈x3,x4〉;〈xC,x4〉;〈x8,x9〉;〈xB,xF〉;〈x0,x4〉;〈x5,xF〉;〈xF,x4〉;〈x1,x1〉;〈xF,x3〉;〈x4,xA〉;〈xE,x2〉;〈xD,x8〉;〈x3,x6〉;〈xF,xA〉;〈x4,x3〉;\r
-〈x0,xC〉;〈x6,x0〉;〈x5,x1〉;〈x2,xD〉;〈x0,x3〉;〈xF,xC〉;〈x9,x2〉;〈x2,x1〉;〈xC,xA〉;〈x7,x5〉;〈x6,x6〉;〈xD,xC〉;〈x8,x4〉;〈xC,x4〉;〈x6,xF〉;〈xF,x0〉;\r
-〈x0,x4〉;〈x5,x2〉;〈xA,xB〉;〈x9,xA〉;〈xC,xE〉;〈xA,xA〉;〈x2,xF〉;〈x3,x6〉;〈xF,x3〉;〈xA,x7〉;〈x4,x2〉;〈x0,x7〉;〈x5,xE〉;〈xB,x6〉;〈x5,xB〉;〈x9,x8〉;\r
-〈x7,x9〉;〈x4,x3〉;〈x8,x8〉;〈x9,xA〉;〈x0,xA〉;〈x5,x5〉;〈xE,x3〉;〈x9,x8〉;〈x7,x5〉;〈xA,x2〉;〈xE,xA〉;〈xB,x9〉;〈x3,x2〉;〈x4,x1〉;〈x0,x7〉;〈x3,x8〉;\r
-\r
-〈xB,x1〉;〈x0,x3〉;〈x4,xE〉;〈x6,xF〉;〈x9,x7〉;〈x3,xC〉;〈x5,x4〉;〈xB,xB〉;〈xB,xC〉;〈x0,xB〉;〈x0,xC〉;〈xA,xB〉;〈x3,xB〉;〈x2,x8〉;〈xA,xA〉;〈x0,x4〉;\r
-〈x5,x0〉;〈xA,x3〉;〈x6,xB〉;〈xF,xA〉;〈xF,x0〉;〈xE,x6〉;〈x1,x8〉;〈xD,x8〉;〈x7,xA〉;〈x5,xF〉;〈x0,x3〉;〈x8,x2〉;〈x9,x6〉;〈x9,xA〉;〈xB,xF〉;〈x1,x5〉;\r
-〈x8,x5〉;〈xE,xF〉;〈xB,x3〉;〈x7,xB〉;〈xE,xE〉;〈xE,xF〉;〈x1,x0〉;〈x6,x9〉;〈xC,x2〉;〈xF,x9〉;〈x2,xD〉;〈x8,x1〉;〈xF,x3〉;〈x0,xE〉;〈xC,x3〉;〈x7,xF〉;\r
-〈xD,xD〉;〈x2,xE〉;〈x2,xA〉;〈xB,xD〉;〈xE,xA〉;〈x9,x2〉;〈xF,xF〉;〈xF,xA〉;〈x7,xB〉;〈xD,x3〉;〈x3,x0〉;〈x7,x5〉;〈x6,x7〉;〈xA,x8〉;〈x0,xF〉;〈x2,x1〉;\r
-〈xD,xC〉;〈xE,x5〉;〈xE,x2〉;〈x8,x9〉;〈x2,x9〉;〈xC,x5〉;〈xA,x3〉;〈xA,x2〉;〈x4,x2〉;〈x3,xF〉;〈xA,x3〉;〈x5,x8〉;〈xE,x0〉;〈x7,xC〉;〈x0,x3〉;〈xF,xF〉;\r
-〈x2,x8〉;〈x8,xB〉;〈x8,xB〉;〈x1,x2〉;〈xD,x8〉;〈xA,x8〉;〈x7,x6〉;〈xB,x9〉;〈xE,x2〉;〈xF,xE〉;〈x2,x1〉;〈x3,xF〉;〈xA,xC〉;〈x4,x6〉;〈xB,xC〉;〈xF,x8〉;\r
-〈xD,x3〉;〈xE,xB〉;〈xF,xC〉;〈x9,xF〉;〈xE,x7〉;〈x6,x1〉;〈xC,xB〉;〈xB,xF〉;〈x4,xE〉;〈xC,x4〉;〈x9,x7〉;〈x1,xE〉;〈x0,xD〉;〈x7,x9〉;〈x8,x3〉;〈xA,xB〉;\r
-〈x4,xC〉;〈x2,x6〉;〈x6,x3〉;〈x6,xF〉;〈xE,xE〉;〈x5,x9〉;〈x8,x1〉;〈x0,x2〉;〈x2,xC〉;〈xE,xD〉;〈x6,xF〉;〈x0,x4〉;〈x1,x0〉;〈xE,x0〉;〈xD,xA〉;〈xB,xE〉;\r
-〈xE,xE〉;〈x5,x7〉;〈xB,x0〉;〈x3,x1〉;〈x4,x1〉;〈xD,xC〉;〈x3,xC〉;〈xC,xC〉;〈x5,x8〉;〈x2,x8〉;〈x2,xC〉;〈x1,xB〉;〈x8,x6〉;〈xD,x6〉;〈xF,x9〉;〈xD,x5〉;\r
-〈x4,xA〉;〈xE,xA〉;〈x0,xB〉;〈x2,x0〉;〈x2,xC〉;〈x4,x2〉;〈xC,xE〉;〈x4,x5〉;〈x2,xB〉;〈x0,x1〉;〈xA,xA〉;〈xB,x1〉;〈x6,xE〉;〈xB,x7〉;〈xB,x7〉;〈x2,x8〉;\r
-〈x9,x5〉;〈x1,x9〉;〈xA,x7〉;〈x5,xC〉;〈x4,xE〉;〈x7,xB〉;〈x3,xE〉;〈xD,x3〉;〈x9,x0〉;〈x8,x6〉;〈x7,x1〉;〈x1,x4〉;〈xD,x2〉;〈xD,x4〉;〈xB,x4〉;〈xF,x2〉;\r
-〈x3,x1〉;〈x2,x8〉;〈x4,x5〉;〈xF,xD〉;〈x7,x8〉;〈x5,xD〉;〈xF,xA〉;〈xF,x3〉;〈x9,x5〉;〈x4,xD〉;〈x3,x1〉;〈xB,x8〉;〈xC,xC〉;〈x2,x1〉;〈x1,x9〉;〈x4,x2〉;\r
-〈x2,xA〉;〈xF,x2〉;〈xB,xA〉;〈x0,x4〉;〈x9,xF〉;〈x4,x3〉;〈x4,x5〉;〈x1,xC〉;〈x7,x4〉;〈xB,xB〉;〈x7,x0〉;〈x5,xE〉;〈x0,x1〉;〈xA,xC〉;〈x6,xD〉;〈xD,x7〉;\r
-〈x9,xC〉;〈x9,xD〉;〈x1,xA〉;〈x9,x8〉;〈xB,x1〉;〈xF,xC〉;〈x6,x1〉;〈xA,x3〉;〈x4,x1〉;〈x4,x1〉;〈xA,xF〉;〈x1,xD〉;〈xE,x1〉;〈x3,x2〉;〈x1,x9〉;〈x6,x0〉;\r
-〈x2,x9〉;〈x9,x7〉;〈x8,x5〉;〈x5,x3〉;〈x5,x3〉;〈x9,x1〉;〈xB,x3〉;〈x9,x4〉;〈xD,x5〉;〈x9,xD〉;〈x4,xC〉;〈x3,x6〉;〈x0,xE〉;〈x8,x4〉;〈xA,x1〉;〈x4,x6〉;\r
-〈x6,xA〉;〈x1,xF〉;〈xF,x3〉;〈x6,xB〉;〈xB,xE〉;〈x4,xA〉;〈x1,x9〉;〈x7,x5〉;〈xF,xC〉;〈xC,x6〉;〈xE,xA〉;〈x7,xE〉;〈xD,x1〉;〈x3,x3〉;〈x6,x7〉;〈xB,x7〉;\r
-\r
-〈xE,xE〉;〈x5,x9〉;〈xE,x2〉;〈xD,xD〉;〈x2,x2〉;〈x8,xC〉;〈x9,xB〉;〈x3,xE〉;〈x9,x8〉;〈xF,xC〉;〈x1,x3〉;〈xE,x2〉;〈x0,xC〉;〈x4,xE〉;〈x3,x1〉;〈x8,x7〉;\r
-〈x6,x7〉;〈x6,xA〉;〈x4,xC〉;〈x4,xC〉;〈x7,x2〉;〈x0,x0〉;〈x0,x5〉;〈x1,xF〉;〈xF,x6〉;〈x3,x0〉;〈xE,xE〉;〈xD,xE〉;〈xB,x1〉;〈x4,xC〉;〈xF,x7〉;〈xE,xC〉;\r
-〈x2,xC〉;〈x4,x0〉;〈x6,xB〉;〈x6,x8〉;〈x9,x0〉;〈x8,x8〉;〈x6,xF〉;〈xB,x3〉;〈x4,x7〉;〈x6,x2〉;〈x9,x2〉;〈x9,xB〉;〈x2,xB〉;〈x3,x2〉;〈x4,x0〉;〈xA,x7〉;\r
-〈x8,x9〉;〈x4,x0〉;〈x2,x3〉;〈x5,xC〉;〈xF,x9〉;〈x2,x9〉;〈x6,x2〉;〈xA,xE〉;〈x5,xB〉;〈xC,x9〉;〈x2,xC〉;〈x9,x2〉;〈x6,xF〉;〈xF,x5〉;〈xA,x0〉;〈x0,xE〉;\r
-〈xD,xE〉;〈xF,x9〉;〈x0,x9〉;〈x1,x0〉;〈x3,x9〉;〈x4,x6〉;〈xC,x5〉;〈xE,x2〉;〈x8,x3〉;〈xD,x5〉;〈x8,xE〉;〈x4,x6〉;〈x4,xC〉;〈xA,xC〉;〈x7,xF〉;〈x4,xF〉;\r
-〈xC,x1〉;〈x4,xF〉;〈x1,xA〉;〈x6,x1〉;〈x9,x6〉;〈x0,xB〉;〈x0,x0〉;〈x6,xF〉;〈x2,x6〉;〈x8,xC〉;〈xE,xE〉;〈x9,x3〉;〈x1,xB〉;〈x9,xE〉;〈xA,x5〉;〈x9,x6〉;\r
-〈x2,xA〉;〈xE,xB〉;〈x4,x6〉;〈x5,xF〉;〈x3,xC〉;〈xD,x6〉;〈x2,xD〉;〈x9,x4〉;〈x6,xB〉;〈xF,x4〉;〈xD,xA〉;〈x6,x9〉;〈x5,x9〉;〈xA,xC〉;〈xB,xD〉;〈x9,xE〉;\r
-〈x4,x8〉;〈x0,x2〉;〈xD,xC〉;〈x5,xC〉;〈x6,x0〉;〈x2,xA〉;〈x6,xE〉;〈xC,xA〉;〈x6,xE〉;〈x1,xF〉;〈xD,x4〉;〈x3,xA〉;〈xB,x0〉;〈x9,xE〉;〈x8,xF〉;〈xA,xB〉;\r
-〈xB,x2〉;〈x0,x2〉;〈x4,x7〉;〈x7,xD〉;〈xA,xB〉;〈xD,xB〉;〈xB,x5〉;〈x6,xD〉;〈xE,x2〉;〈x8,x9〉;〈x4,xD〉;〈x0,x4〉;〈xB,xE〉;〈xF,xA〉;〈x2,x2〉;〈x1,x4〉;\r
-〈x7,x1〉;〈x1,x2〉;〈x1,xB〉;〈x0,xD〉;〈xB,xA〉;〈x5,xA〉;〈x6,xC〉;〈x1,xE〉;〈x3,xA〉;〈x0,xF〉;〈x6,xE〉;〈x4,x4〉;〈xC,x8〉;〈xB,x5〉;〈x8,xC〉;〈x0,x3〉;\r
-〈x0,x6〉;〈x6,x4〉;〈x8,x5〉;〈x2,x8〉;〈x6,x4〉;〈x2,x2〉;〈x8,x1〉;〈x7,x6〉;〈xF,xE〉;〈xF,xA〉;〈x6,x2〉;〈x9,x1〉;〈xB,xE〉;〈xB,xC〉;〈x6,x1〉;〈x4,xB〉;\r
-〈x7,xE〉;〈x5,x0〉;〈xB,xC〉;〈xE,xE〉;〈x6,x3〉;〈xC,xF〉;〈x1,xD〉;〈xF,xD〉;〈x6,x2〉;〈x5,xC〉;〈x8,x5〉;〈x9,xE〉;〈xA,x5〉;〈x2,x6〉;〈xE,x7〉;〈x4,x6〉;\r
-〈x3,xB〉;〈xE,xA〉;〈xB,xE〉;〈x0,x4〉;〈x8,x8〉;〈xF,x2〉;〈x9,x2〉;〈x0,xB〉;〈xD,x9〉;〈xE,x9〉;〈x2,x9〉;〈x3,x8〉;〈x8,x8〉;〈x8,xA〉;〈x6,x9〉;〈x1,x7〉;\r
-〈x4,xB〉;〈xB,xF〉;〈x0,xC〉;〈xF,x2〉;〈xF,xD〉;〈x7,x3〉;〈x5,x9〉;〈xB,xE〉;〈x5,x4〉;〈x1,xC〉;〈xD,x3〉;〈x3,x1〉;〈x6,x2〉;〈x1,xB〉;〈xB,x7〉;〈x3,x2〉;\r
-〈xA,x4〉;〈xF,x1〉;〈x7,x0〉;〈x9,xA〉;〈x4,x6〉;〈xA,x1〉;〈x1,xC〉;〈x0,x4〉;〈x6,xC〉;〈xF,x2〉;〈xE,x6〉;〈xC,x1〉;〈xA,x4〉;〈xF,x2〉;〈x2,xA〉;〈x4,xB〉;\r
-〈x3,x5〉;〈x9,xB〉;〈x9,x9〉;〈xF,xF〉;〈x0,x1〉;〈x1,x3〉;〈xF,x9〉;〈x5,xC〉;〈x3,xC〉;〈x5,x1〉;〈x8,xA〉;〈xA,x5〉;〈x5,xF〉;〈x9,xE〉;〈x5,xE〉;〈xC,x6〉;\r
-\r
-〈x2,x1〉;〈x3,x7〉;〈xD,x2〉;〈xB,x9〉;〈x9,x8〉;〈xA,x1〉;〈x6,x0〉;〈xE,x9〉;〈x4,x5〉;〈xC,xA〉;〈xD,x7〉;〈xB,xD〉;〈xC,xF〉;〈x0,xF〉;〈x2,x4〉;〈xE,x5〉;\r
-〈x7,x9〉;〈x4,xB〉;〈x1,xC〉;〈x5,x7〉;〈x3,xA〉;〈x2,x4〉;〈x2,x2〉;〈x0,x8〉;〈x3,x3〉;〈xE,x2〉;〈xA,x2〉;〈x5,x8〉;〈x2,x5〉;〈x5,x4〉;〈x7,x1〉;〈x2,xB〉;\r
-〈xF,xF〉;〈xE,xD〉;〈x4,x8〉;〈xF,x6〉;〈x2,x3〉;〈x3,x1〉;〈xB,xA〉;〈x5,x1〉;〈x9,xF〉;〈xA,xA〉;〈xC,xC〉;〈x0,x3〉;〈x1,x5〉;〈xC,x7〉;〈x2,xD〉;〈xD,x3〉;\r
-〈xE,xB〉;〈x8,xF〉;〈x8,x4〉;〈x4,x0〉;〈x5,x3〉;〈xA,xD〉;〈x6,x7〉;〈xE,xC〉;〈xA,xF〉;〈xD,xC〉;〈x1,xC〉;〈x7,x4〉;〈x6,xB〉;〈xA,xD〉;〈xC,xD〉;〈xA,x7〉;\r
-〈x1,x1〉;〈x1,x0〉;〈xC,xF〉;〈xB,xE〉;〈xA,x1〉;〈x0,x1〉;〈x3,xF〉;〈xC,x0〉;〈x8,x5〉;〈x2,x8〉;〈x6,xB〉;〈xC,x3〉;〈x6,xD〉;〈xD,x8〉;〈x7,x5〉;〈x5,xA〉;\r
-〈xF,x0〉;〈x2,x2〉;〈x4,xB〉;〈x9,xC〉;〈x3,x1〉;〈xE,x4〉;〈xE,x7〉;〈xC,x6〉;〈xF,xC〉;〈x3,x0〉;〈xD,x5〉;〈xF,x9〉;〈x1,xA〉;〈x4,x0〉;〈x1,xF〉;〈x6,xD〉;\r
-〈xD,x5〉;〈x7,x8〉;〈xB,x5〉;〈x7,x6〉;〈xC,x9〉;〈xE,x1〉;〈xD,xF〉;〈x1,x2〉;〈x6,x1〉;〈xD,xF〉;〈x9,xF〉;〈x5,x7〉;〈x7,xD〉;〈x0,xB〉;〈xA,xD〉;〈x5,xA〉;\r
-〈xA,x1〉;〈x8,x4〉;〈xE,x5〉;〈xF,x7〉;〈xB,xC〉;〈xD,x3〉;〈xA,x5〉;〈xB,x4〉;〈x8,x5〉;〈x6,x7〉;〈x3,x6〉;〈xF,xC〉;〈xB,x1〉;〈xB,x3〉;〈xC,xB〉;〈x1,xE〉;\r
-〈xE,xC〉;〈x6,xE〉;〈xE,x1〉;〈x1,xC〉;〈xA,x5〉;〈x5,x3〉;〈x9,x8〉;〈xF,x6〉;〈xD,xF〉;〈x4,x1〉;〈x1,x3〉;〈x2,xE〉;〈x7,xF〉;〈x0,xE〉;〈x3,x8〉;〈x3,xC〉;\r
-〈xD,x4〉;〈x8,xC〉;〈x2,xA〉;〈x2,x8〉;〈x4,xE〉;〈x7,xE〉;〈x0,xE〉;〈xF,x7〉;〈xC,xA〉;〈x3,xE〉;〈xE,x4〉;〈xB,x4〉;〈x0,x5〉;〈x5,x8〉;〈xD,xC〉;〈x7,x8〉;\r
-〈xD,x9〉;〈xF,x9〉;〈x7,x9〉;〈x8,x4〉;〈x0,x2〉;〈x3,xF〉;〈xC,xF〉;〈x3,x8〉;〈xD,x7〉;〈x2,x6〉;〈x1,xD〉;〈x1,x8〉;〈x4,xD〉;〈xE,xA〉;〈x7,xA〉;〈xD,x4〉;\r
-〈x2,x4〉;〈x0,xD〉;〈x4,xD〉;〈x9,x0〉;〈x1,x7〉;〈x1,xE〉;〈x6,xE〉;〈xB,x6〉;〈xC,xC〉;〈xC,x0〉;〈xB,x0〉;〈x5,xE〉;〈x9,x9〉;〈x6,xD〉;〈xC,xF〉;〈xE,xE〉;\r
-〈x2,x9〉;〈xC,xF〉;〈xA,x2〉;〈x0,xC〉;〈xA,xB〉;〈x7,x4〉;〈x2,x9〉;〈x4,xE〉;〈x8,x2〉;〈x9,x3〉;〈x6,x9〉;〈x7,xB〉;〈xE,xC〉;〈xC,x7〉;〈x8,x9〉;〈xC,xA〉;\r
-〈xD,xD〉;〈xA,xC〉;〈x6,x5〉;〈x8,x0〉;〈x1,x4〉;〈x0,x9〉;〈x5,x5〉;〈x0,xE〉;〈x8,x4〉;〈x5,xE〉;〈x6,xF〉;〈x3,x4〉;〈x1,x8〉;〈xC,x9〉;〈x8,xB〉;〈xE,x4〉;\r
-〈x3,xE〉;〈xC,x4〉;〈x1,x6〉;〈xA,x4〉;〈x1,x9〉;〈x3,x4〉;〈x0,xE〉;〈x5,xE〉;〈xF,x9〉;〈x0,x3〉;〈x1,x3〉;〈x7,x2〉;〈x2,x7〉;〈x2,x8〉;〈xA,x7〉;〈x6,xD〉;\r
-〈xC,x1〉;〈x1,xD〉;〈xF,x0〉;〈x2,x8〉;〈xF,xB〉;〈xF,x6〉;〈x3,x8〉;〈x0,x1〉;〈xF,x9〉;〈xB,xC〉;〈x6,x6〉;〈xF,x8〉;〈x6,xE〉;〈xD,x1〉;〈xB,x5〉;〈x3,x8〉;\r
-\r
-〈x4,x3〉;〈xB,x6〉;〈x6,x8〉;〈xA,xC〉;〈x0,x9〉;〈xF,xD〉;〈x0,x9〉;〈x6,x8〉;〈xE,x0〉;〈x2,x2〉;〈xA,xF〉;〈x4,x0〉;〈x2,x6〉;〈x0,xC〉;〈x5,x2〉;〈xA,x7〉;\r
-〈xA,xD〉;〈xC,x3〉;〈x8,x2〉;〈xD,xC〉;〈x3,xC〉;〈x6,x5〉;〈xF,x2〉;〈xE,x8〉;〈xC,x0〉;〈x0,x6〉;〈x6,x4〉;〈xB,x1〉;〈x2,x0〉;〈x9,x5〉;〈x2,x2〉;〈xD,xD〉;\r
-〈xA,xD〉;〈xF,xF〉;〈x1,xB〉;〈x8,xB〉;〈xB,x6〉;〈x4,xA〉;〈xB,xB〉;〈x9,x8〉;〈x1,xA〉;〈xE,xC〉;〈x7,xB〉;〈xA,x6〉;〈x2,xC〉;〈xE,x1〉;〈xC,x7〉;〈xD,xC〉;\r
-〈x1,x9〉;〈x0,x6〉;〈x0,xA〉;〈x9,xF〉;〈x5,x2〉;〈x2,xB〉;〈xC,xA〉;〈x2,xF〉;〈x4,x0〉;〈xF,x8〉;〈xE,xA〉;〈x8,x7〉;〈x8,x9〉;〈xF,xD〉;〈x5,xD〉;〈x0,x0〉;\r
-〈x6,xE〉;〈x0,x0〉;〈x0,xD〉;〈x3,x0〉;〈x4,x3〉;〈x5,xA〉;〈x8,xF〉;〈x8,xA〉;〈xA,x4〉;〈x5,x0〉;〈x8,xF〉;〈x0,xC〉;〈x7,x7〉;〈xF,x2〉;〈x6,x5〉;〈xE,x4〉;\r
-〈x2,xD〉;〈xE,x5〉;〈xA,x8〉;〈x7,xF〉;〈x7,x8〉;〈xE,x3〉;〈x9,x5〉;〈xD,xA〉;〈x0,x7〉;〈x2,x9〉;〈x5,x1〉;〈x9,x4〉;〈xE,x4〉;〈x0,x1〉;〈xB,xF〉;〈x6,xE〉;\r
-〈x9,x8〉;〈x9,xC〉;〈x9,x0〉;〈xA,x8〉;〈x0,xA〉;〈x3,xD〉;〈x3,xC〉;〈x5,x0〉;〈xE,xB〉;〈x1,x2〉;〈xC,x4〉;〈x5,xF〉;〈x4,x7〉;〈x7,xB〉;〈x2,xC〉;〈xD,xF〉;\r
-〈x7,x8〉;〈x1,x3〉;〈x7,x4〉;〈xE,x0〉;〈x7,xB〉;〈x7,x1〉;〈x4,x7〉;〈x4,x8〉;〈x1,xB〉;〈xE,x3〉;〈x6,xB〉;〈x0,xB〉;〈x4,xB〉;〈x5,x9〉;〈x9,x3〉;〈xD,xF〉;\r
-〈xE,x1〉;〈x1,xB〉;〈xD,x0〉;〈xE,xD〉;〈x4,x7〉;〈x4,xD〉;〈xC,x2〉;〈xD,xE〉;〈x5,xC〉;〈xD,xA〉;〈x9,x5〉;〈xC,x8〉;〈x1,x0〉;〈x7,x7〉;〈x7,xF〉;〈xC,x0〉;\r
-〈xA,x7〉;〈xD,x3〉;〈xD,x3〉;〈xD,x8〉;〈x3,x4〉;〈xA,x1〉;〈x1,x5〉;〈xE,x0〉;〈x0,x4〉;〈x1,xE〉;〈x8,x2〉;〈xC,xA〉;〈xD,x9〉;〈x1,x1〉;〈xB,x1〉;〈xC,x9〉;\r
-〈x4,xC〉;〈x4,xB〉;〈x0,x9〉;〈x4,x8〉;〈xF,xC〉;〈xD,xD〉;〈x6,xE〉;〈xC,xA〉;〈x7,x6〉;〈xA,xE〉;〈x8,xE〉;〈x3,xB〉;〈xF,xB〉;〈x6,x5〉;〈x8,x3〉;〈x1,xD〉;\r
-〈xD,xB〉;〈xA,xE〉;〈x4,xF〉;〈xC,x6〉;〈x1,xE〉;〈xC,x5〉;〈xC,xC〉;〈x7,xC〉;〈x2,x8〉;〈xF,x9〉;〈xD,x2〉;〈x8,x6〉;〈x1,x5〉;〈xF,xA〉;〈x4,x1〉;〈x4,x5〉;\r
-〈x2,xE〉;〈x9,x5〉;〈xB,xF〉;〈x0,xD〉;〈x8,xB〉;〈x8,xD〉;〈x1,x1〉;〈x9,xC〉;〈xB,x8〉;〈xF,xB〉;〈x2,x6〉;〈xD,x6〉;〈x9,x1〉;〈x0,xD〉;〈xC,xD〉;〈x0,x7〉;\r
-〈x5,x0〉;〈xF,xA〉;〈x2,x9〉;〈x3,xF〉;〈x0,xC〉;〈x2,xB〉;〈xF,xE〉;〈x9,x7〉;〈x5,x5〉;〈x5,xA〉;〈x6,xD〉;〈x9,x6〉;〈x0,x5〉;〈x0,x9〉;〈x4,x5〉;〈xE,xF〉;\r
-〈x0,xF〉;〈x7,x4〉;〈x9,x3〉;〈x6,xC〉;〈x8,x2〉;〈x3,x7〉;〈xE,xB〉;〈x5,x0〉;〈xF,x5〉;〈xC,x4〉;〈x0,xB〉;〈x3,x8〉;〈x2,xD〉;〈x8,xA〉;〈x9,x3〉;〈x6,xD〉;\r
-〈x1,xD〉;〈xE,x5〉;〈xF,x7〉;〈xE,x7〉;〈xD,x7〉;〈x5,xC〉;〈xB,x4〉;〈x5,x0〉;〈x7,x5〉;〈x0,xD〉;〈xF,x3〉;〈xC,xE〉;〈x3,x1〉;〈xF,x1〉;〈x8,xE〉;〈x8,xF〉;\r
-\r
-〈xD,xB〉;〈x1,x4〉;〈xF,x6〉;〈x0,x3〉;〈xA,xB〉;〈xA,xE〉;〈xB,xC〉;〈xE,xB〉;〈xC,x8〉;〈x6,x7〉;〈xC,xC〉;〈xF,xF〉;〈x4,xF〉;〈xC,x6〉;〈x2,x9〉;〈x9,x5〉;\r
-〈xB,xC〉;〈x6,x5〉;〈x5,x2〉;〈xF,x2〉;〈x3,x5〉;〈xC,x4〉;〈xF,x4〉;〈x9,xB〉;〈x4,x5〉;〈x1,xC〉;〈xD,xB〉;〈x6,x1〉;〈xF,xE〉;〈x3,xF〉;〈xB,x9〉;〈xD,x8〉;\r
-〈xF,x1〉;〈xA,xC〉;〈x0,x7〉;〈xA,x4〉;〈xB,x8〉;〈x8,x8〉;〈x9,x5〉;〈xB,x8〉;〈x5,x6〉;〈x3,x2〉;〈x5,xA〉;〈x3,xE〉;〈x2,x2〉;〈x0,xB〉;〈x9,x6〉;〈xE,xE〉;\r
-〈x6,xF〉;〈x1,xE〉;〈x3,x2〉;〈x4,x9〉;〈x4,xF〉;〈xC,xC〉;〈xD,xB〉;〈x5,x1〉;〈x4,xD〉;〈xD,x1〉;〈x4,xF〉;〈x0,x9〉;〈x5,xA〉;〈xA,xC〉;〈xE,x7〉;〈x8,x6〉;\r
-〈x5,x8〉;〈xA,x5〉;〈xA,x7〉;〈x5,xE〉;〈x3,x6〉;〈x1,x1〉;〈x3,xA〉;〈x8,x9〉;〈x8,x2〉;〈xD,xC〉;〈x6,x2〉;〈x0,xE〉;〈xA,xB〉;〈x2,xB〉;〈x2,x5〉;〈xF,x9〉;\r
-〈x7,x7〉;〈x8,x6〉;〈x1,xD〉;〈x7,x9〉;〈x5,x1〉;〈xB,xD〉;〈x9,x8〉;〈xB,x7〉;〈xB,xB〉;〈xF,x6〉;〈xD,x9〉;〈x6,x6〉;〈x0,x1〉;〈x1,x2〉;〈xE,xB〉;〈x0,xA〉;\r
-〈xC,xD〉;〈x1,xA〉;〈xA,xA〉;〈xC,xC〉;〈x6,x5〉;〈x4,x2〉;〈x8,xF〉;〈x2,xA〉;〈x4,x8〉;〈xC,x6〉;〈xB,xA〉;〈xD,x8〉;〈x2,xD〉;〈x2,x9〉;〈xE,x8〉;〈x5,x7〉;\r
-〈x7,x7〉;〈x7,xA〉;〈xB,x4〉;〈x4,x9〉;〈x6,x5〉;〈x4,x3〉;〈x5,x7〉;〈xF,xE〉;〈xC,x6〉;〈xC,x7〉;〈x6,x2〉;〈x6,x7〉;〈x5,x8〉;〈xD,x6〉;〈x9,xA〉;〈xC,x8〉;\r
-〈xE,x8〉;〈x3,x0〉;〈x6,x0〉;〈x7,x3〉;〈x8,x9〉;〈x2,x3〉;〈x0,x8〉;〈x7,xA〉;〈xA,xC〉;〈x5,xD〉;〈x6,xD〉;〈xC,xE〉;〈x0,xC〉;〈x1,xB〉;〈x1,x7〉;〈xC,x1〉;\r
-〈x4,x2〉;〈x5,x3〉;〈x1,x5〉;〈x7,xC〉;〈x7,x4〉;〈x2,xB〉;〈x2,x5〉;〈x5,x6〉;〈x6,x1〉;〈xE,xC〉;〈x0,xB〉;〈x4,x2〉;〈x0,x4〉;〈xC,xA〉;〈x0,x9〉;〈xA,xB〉;\r
-〈x1,xB〉;〈xD,x0〉;〈x9,xF〉;〈x6,xA〉;〈x7,xF〉;〈x4,x1〉;〈xF,x8〉;〈xE,xA〉;〈x8,x2〉;〈x8,x1〉;〈x4,x1〉;〈xC,xE〉;〈xC,xE〉;〈x0,xD〉;〈x2,xB〉;〈x3,x3〉;\r
-〈xA,x3〉;〈x6,x4〉;〈xF,xA〉;〈xA,x6〉;〈x3,x9〉;〈x7,xF〉;〈xF,x6〉;〈xB,x2〉;〈x5,x5〉;〈x6,xB〉;〈xA,xC〉;〈x3,x3〉;〈x9,x3〉;〈xE,x7〉;〈xB,xE〉;〈x3,x4〉;\r
-〈xC,xF〉;〈xE,xF〉;〈xA,x2〉;〈xE,xE〉;〈xE,xD〉;〈xC,xB〉;〈xB,x0〉;〈x8,x9〉;〈xD,xA〉;〈x3,xB〉;〈xB,xE〉;〈x3,xE〉;〈x3,x3〉;〈x5,x1〉;〈xA,x5〉;〈x3,xC〉;\r
-〈xC,xC〉;〈xA,x0〉;〈xF,xD〉;〈x3,x9〉;〈xC,xB〉;〈xF,xC〉;〈x1,xF〉;〈x8,xD〉;〈x6,x8〉;〈xD,x4〉;〈x8,xC〉;〈xA,xA〉;〈x8,xE〉;〈x3,xA〉;〈x9,x7〉;〈x2,x6〉;\r
-〈x6,xB〉;〈xA,xC〉;〈x8,xA〉;〈x4,xB〉;〈x7,x4〉;〈x3,xF〉;〈xB,x7〉;〈xB,xF〉;〈x0,xC〉;〈xE,x6〉;〈xC,xD〉;〈x4,x2〉;〈xF,xA〉;〈xE,xE〉;〈xF,x9〉;〈x0,xC〉;\r
-〈x2,xC〉;〈x7,x9〉;〈x7,xE〉;〈xD,x8〉;〈x4,x0〉;〈x7,xC〉;〈x3,x8〉;〈x4,x9〉;〈x7,x1〉;〈x7,x5〉;〈xB,x7〉;〈x3,x6〉;〈x0,x7〉;〈x1,xA〉;〈x2,xC〉;〈x1,xE〉;\r
-\r
-〈x3,xC〉;〈x7,xA〉;〈x3,x8〉;〈x4,xA〉;〈x3,x4〉;〈x2,x0〉;〈x9,x5〉;〈x6,x0〉;〈xF,x7〉;〈xC,x3〉;〈xB,x1〉;〈x6,xE〉;〈xB,x1〉;〈x7,x0〉;〈x7,x4〉;〈x3,xB〉;\r
-〈x0,xD〉;〈x6,xD〉;〈xF,xB〉;〈xE,x5〉;〈xE,x2〉;〈x6,x6〉;〈x6,x8〉;〈x0,x8〉;〈xF,xB〉;〈x3,xC〉;〈x8,xC〉;〈xD,xD〉;〈x0,x2〉;〈x2,xE〉;〈x6,xE〉;〈xF,x1〉;\r
-〈xA,xF〉;〈x7,x9〉;〈x6,x7〉;〈xE,x2〉;〈x4,xC〉;〈xA,x5〉;〈x7,x9〉;〈xC,x6〉;〈xB,x5〉;〈xA,xF〉;〈x1,x5〉;〈xF,xE〉;〈xE,x2〉;〈x2,xB〉;〈xC,xA〉;〈xE,x6〉;\r
-〈x3,xE〉;〈x2,xC〉;〈x5,x8〉;〈x7,x2〉;〈xC,xE〉;〈x7,x1〉;〈x8,xC〉;〈xB,xE〉;〈x2,x0〉;〈x6,x6〉;〈x0,x7〉;〈x6,xF〉;〈xD,x1〉;〈x8,x2〉;〈x3,x1〉;〈xF,x3〉;\r
-〈x9,x5〉;〈x9,x1〉;〈x1,x2〉;〈xF,x3〉;〈x4,xF〉;〈x6,xC〉;〈xA,x6〉;〈x8,xE〉;〈xB,x2〉;〈x7,x8〉;〈xD,xE〉;〈x7,x9〉;〈xC,x5〉;〈x2,x2〉;〈xF,x3〉;〈x0,x7〉;\r
-〈xE,x7〉;〈x9,xE〉;〈x9,x2〉;〈x7,x3〉;〈x3,xC〉;〈xA,x1〉;〈xD,xA〉;〈x2,x1〉;〈x2,x3〉;〈x4,x5〉;〈xE,x5〉;〈x7,x4〉;〈x8,x4〉;〈xC,x2〉;〈x6,x8〉;〈x3,x5〉;\r
-〈x9,xA〉;〈xC,x8〉;〈x2,xE〉;〈x1,xD〉;〈xD,x1〉;〈xA,x6〉;〈xD,xF〉;〈x0,x6〉;〈x7,xF〉;〈x8,xC〉;〈x2,x8〉;〈xF,x6〉;〈xC,x3〉;〈xF,x8〉;〈x6,x2〉;〈xF,x9〉;\r
-〈x5,x7〉;〈x2,x7〉;〈xD,x1〉;〈xD,x3〉;〈x0,xB〉;〈xA,x3〉;〈x8,x7〉;〈x8,x3〉;〈xC,x9〉;〈x1,x4〉;〈xB,x4〉;〈xC,x5〉;〈xE,xD〉;〈x5,x4〉;〈xE,x1〉;〈xB,x9〉;\r
-〈x2,x9〉;〈x6,xF〉;〈xE,x3〉;〈x0,xD〉;〈xC,xC〉;〈xF,x6〉;〈x0,xD〉;〈x2,x4〉;〈x4,x5〉;〈x6,xE〉;〈xE,x4〉;〈xD,xB〉;〈xF,x9〉;〈xC,x1〉;〈xD,x4〉;〈xB,x4〉;\r
-〈xB,x5〉;〈x6,x6〉;〈x1,xC〉;〈x6,xE〉;〈xA,xF〉;〈x4,x0〉;〈xE,x6〉;〈x4,x9〉;〈x7,xE〉;〈x4,x1〉;〈x1,x8〉;〈x8,x7〉;〈xD,xF〉;〈xB,xB〉;〈x6,x0〉;〈x0,x5〉;\r
-〈xF,x4〉;〈x5,xD〉;〈xA,x1〉;〈xD,x6〉;〈x6,x7〉;〈x2,xA〉;〈xC,x8〉;〈x7,x7〉;〈xF,x9〉;〈x8,xA〉;〈xF,x9〉;〈x2,x6〉;〈xE,xF〉;〈x7,x4〉;〈x5,x8〉;〈x6,xA〉;\r
-〈xC,x8〉;〈x3,x5〉;〈x1,x0〉;〈xC,x5〉;〈x1,xE〉;〈x0,xB〉;〈x8,x3〉;〈x6,xA〉;〈x4,x4〉;〈x8,xD〉;〈x5,xC〉;〈xF,xB〉;〈xF,xE〉;〈x9,x2〉;〈x0,x3〉;〈x4,x3〉;\r
-〈x0,x5〉;〈xA,xF〉;〈xC,x0〉;〈xF,x3〉;〈x0,x4〉;〈x2,x8〉;〈x9,xD〉;〈x0,x9〉;〈x3,x5〉;〈xE,x3〉;〈x5,xF〉;〈x4,x5〉;〈xA,xB〉;〈xC,xD〉;〈x8,xC〉;〈xF,xD〉;\r
-〈x2,xC〉;〈x9,xD〉;〈xA,xF〉;〈x6,x4〉;〈x4,x3〉;〈x8,x0〉;〈x8,x2〉;〈xE,x5〉;〈x8,xE〉;〈x3,xD〉;〈x2,xD〉;〈xD,xB〉;〈xD,xF〉;〈xA,xB〉;〈x0,x8〉;〈x1,x6〉;\r
-〈xE,xC〉;〈x7,xE〉;〈xA,x7〉;〈xC,xB〉;〈xD,x8〉;〈x5,xC〉;〈x2,xC〉;〈x8,x8〉;〈x9,x8〉;〈xC,x2〉;〈xA,xD〉;〈x1,xD〉;〈xB,x0〉;〈xB,x1〉;〈xC,xE〉;〈x9,x3〉;\r
-〈xE,x2〉;〈xF,x4〉;〈xD,xB〉;〈xA,x5〉;〈xB,x6〉;〈x4,x9〉;〈x8,x7〉;〈x1,xD〉;〈xA,x2〉;〈x7,x9〉;〈x3,x5〉;〈xB,xE〉;〈x5,x5〉;〈xC,xD〉;〈x6,x3〉;〈x2,xC〉;\r
-\r
-〈x1,x0〉;〈x1,xF〉;〈xE,xC〉;〈x3,xB〉;〈x8,xA〉;〈x3,xF〉;〈x3,x8〉;〈x8,x0〉;〈x1,xC〉;〈x2,xD〉;〈x9,x2〉;〈x5,xF〉;〈xE,x1〉;〈xB,x5〉;〈xB,xC〉;〈x8,x3〉;\r
-〈xB,x6〉;〈x1,xB〉;〈xE,xD〉;〈x4,xF〉;〈x3,xA〉;〈xC,x4〉;〈xF,xE〉;〈xF,xF〉;〈xC,xB〉;〈x8,x1〉;〈x6,x7〉;〈xC,x2〉;〈x5,x9〉;〈xD,xA〉;〈x0,xA〉;〈x9,xC〉;\r
-〈x2,x2〉;〈xE,xB〉;〈x9,x3〉;〈xE,x2〉;〈x7,xF〉;〈xA,xC〉;〈x4,xA〉;〈x8,x2〉;〈x8,x1〉;〈x3,xF〉;〈xE,xB〉;〈x8,xB〉;〈x0,xF〉;〈x9,xC〉;〈x4,x1〉;〈x8,x2〉;\r
-〈x9,xB〉;〈x7,xC〉;〈x5,x1〉;〈xA,x7〉;〈xA,xB〉;〈xA,xD〉;〈x9,x2〉;〈x1,x9〉;〈xF,x0〉;〈xF,xD〉;〈x9,x3〉;〈xF,x6〉;〈xA,xD〉;〈x2,x4〉;〈xC,xB〉;〈xD,xE〉;\r
-〈xB,x5〉;〈xA,xB〉;〈x8,x1〉;〈x5,x4〉;〈xA,xE〉;〈x2,x4〉;〈x6,x4〉;〈xD,x2〉;〈xD,x0〉;〈xF,xE〉;〈x3,x3〉;〈x2,xA〉;〈x7,x5〉;〈x0,x7〉;〈x8,xF〉;〈x3,xA〉;\r
-〈x1,x2〉;〈x9,xF〉;〈xB,xE〉;〈x1,xB〉;〈x1,xB〉;〈x1,xF〉;〈xC,x7〉;〈xF,x1〉;〈x7,xC〉;〈x9,x1〉;〈x5,xD〉;〈x3,x2〉;〈xD,x9〉;〈xD,x6〉;〈xE,xA〉;〈x0,x6〉;\r
-〈x5,xB〉;〈x6,x9〉;〈x6,xB〉;〈xA,xC〉;〈x0,x9〉;〈x1,x6〉;〈xA,x3〉;〈xC,xA〉;〈x8,xE〉;〈x8,x3〉;〈x3,x4〉;〈xB,x7〉;〈x4,x1〉;〈x2,x7〉;〈xB,x3〉;〈x0,x1〉;\r
-〈xE,x6〉;〈x0,x6〉;〈x8,xC〉;〈x0,x4〉;〈x3,xD〉;〈xB,xE〉;〈x2,xC〉;〈x6,x6〉;〈xB,x5〉;〈x8,x6〉;〈x1,x1〉;〈x1,x3〉;〈x6,xD〉;〈xD,x0〉;〈xB,xE〉;〈x8,xD〉;\r
-〈xC,x7〉;〈x5,x5〉;〈x0,x2〉;〈xC,x1〉;〈x7,x6〉;〈x5,xF〉;〈x2,x0〉;〈x5,xE〉;〈xE,x4〉;〈x3,xE〉;〈x7,x7〉;〈xE,x1〉;〈x3,xF〉;〈xE,x8〉;〈x6,xC〉;〈x4,xA〉;\r
-〈xA,x0〉;〈xF,xE〉;〈xC,xE〉;〈x3,xF〉;〈x6,x7〉;〈x9,x4〉;〈x3,xF〉;〈xE,xF〉;〈xE,xF〉;〈x8,x6〉;〈xD,x9〉;〈x4,xA〉;〈x0,x8〉;〈x8,xB〉;〈xC,x8〉;〈x1,xC〉;\r
-〈xA,xD〉;〈x2,x0〉;〈xA,x7〉;〈x8,xC〉;〈x0,x6〉;〈x6,x7〉;〈xA,xF〉;〈x7,x3〉;〈xC,xD〉;〈x1,x6〉;〈x8,x4〉;〈x3,x2〉;〈xD,x0〉;〈xF,x3〉;〈xD,xC〉;〈xD,xB〉;\r
-〈xB,x7〉;〈x2,x4〉;〈x6,xA〉;〈x6,x3〉;〈x1,xC〉;〈xA,x1〉;〈xD,xE〉;〈xB,xC〉;〈x9,x2〉;〈xF,x1〉;〈x5,xC〉;〈xE,x7〉;〈xE,x0〉;〈xD,x5〉;〈xA,x4〉;〈x4,xA〉;\r
-〈x0,x0〉;〈xD,x6〉;〈x2,x2〉;〈x9,xC〉;〈x5,x2〉;〈x8,xF〉;〈xE,x8〉;〈x2,x2〉;〈xA,x2〉;〈xF,x0〉;〈x9,x8〉;〈x3,x8〉;〈x0,xD〉;〈xF,x6〉;〈x4,x3〉;〈x7,x9〉;\r
-〈x8,x2〉;〈xA,xF〉;〈xD,x5〉;〈xC,x1〉;〈x8,x2〉;〈x5,x2〉;〈xD,xB〉;〈x8,xF〉;〈x7,xE〉;〈xD,x1〉;〈x9,xD〉;〈xA,x6〉;〈x8,xE〉;〈x9,xE〉;〈xA,x9〉;〈x8,xE〉;\r
-〈xD,x1〉;〈xF,x6〉;〈xB,x0〉;〈xE,xA〉;〈x8,x3〉;〈xE,x9〉;〈xF,x7〉;〈x3,xB〉;〈x4,xA〉;〈x0,x9〉;〈x1,xE〉;〈x3,x2〉;〈xD,x2〉;〈x5,xD〉;〈xD,x7〉;〈xA,xB〉;\r
-〈x4,xD〉;〈x6,xF〉;〈x5,x9〉;〈xF,xC〉;〈x4,x3〉;〈x4,x1〉;〈x0,x0〉;〈x3,xC〉;〈x9,x4〉;〈x5,x2〉;〈x5,x9〉;〈x6,xC〉;〈x6,xE〉;〈xE,x8〉;〈x6,x6〉;〈xF,x5〉;\r
-\r
-〈x9,xC〉;〈x5,x7〉;〈x6,xC〉;〈xE,x2〉;〈x3,xB〉;〈xA,x2〉;〈x2,x1〉;〈xE,xE〉;〈xF,x6〉;〈x4,xF〉;〈xF,x3〉;〈x6,x2〉;〈xD,xB〉;〈x8,xF〉;〈x6,x4〉;〈xD,x3〉;\r
-〈x8,x0〉;〈x6,x9〉;〈x9,x7〉;〈x4,x7〉;〈x8,xB〉;〈xB,x6〉;〈x3,x8〉;〈x4,x5〉;〈xB,xE〉;〈x0,xD〉;〈x6,x1〉;〈xC,xF〉;〈x7,x8〉;〈xC,xF〉;〈x4,x1〉;〈x7,xF〉;\r
-〈xF,x4〉;〈x5,xA〉;〈x8,xB〉;〈x7,x2〉;〈xE,x6〉;〈x7,xD〉;〈x4,xC〉;〈x1,x8〉;〈xE,xE〉;〈x3,xA〉;〈x1,x2〉;〈x9,x4〉;〈x3,x4〉;〈x3,x0〉;〈x3,x9〉;〈x0,x0〉;\r
-〈x9,x5〉;〈x6,x0〉;〈xF,xA〉;〈x7,xF〉;〈xA,x6〉;〈xC,x7〉;〈xB,x1〉;〈x7,xE〉;〈x0,xD〉;〈x2,x4〉;〈xF,xF〉;〈x4,x3〉;〈x7,x8〉;〈x8,x8〉;〈x6,xC〉;〈x0,x7〉;\r
-〈x7,x3〉;〈x9,x2〉;〈xC,x8〉;〈x0,xB〉;〈x5,x0〉;〈x9,x7〉;〈xF,x4〉;〈x1,xB〉;〈xD,xB〉;〈x4,x5〉;〈x6,x2〉;〈x9,x1〉;〈x8,x7〉;〈x5,xD〉;〈xF,x5〉;〈x6,x1〉;\r
-〈x3,x8〉;〈xF,x3〉;〈x8,xA〉;〈x4,xF〉;〈xD,xB〉;〈x3,xD〉;〈x4,x3〉;〈x2,xF〉;〈xB,xA〉;〈xA,x9〉;〈xB,x4〉;〈xA,x9〉;〈x2,x6〉;〈x7,xE〉;〈x8,xC〉;〈x1,x6〉;\r
-〈xF,xC〉;〈x1,xC〉;〈xA,x7〉;〈x9,xD〉;〈x7,xC〉;〈x8,x5〉;〈xA,x7〉;〈x3,x5〉;〈x8,x6〉;〈x4,xF〉;〈xC,x8〉;〈x9,xA〉;〈x0,xD〉;〈x2,x4〉;〈x0,x4〉;〈x5,x8〉;\r
-〈x4,x2〉;〈x3,x0〉;〈x7,x5〉;〈x8,xD〉;〈xB,xC〉;〈x7,x2〉;〈x3,x4〉;〈xF,x9〉;〈x4,x6〉;〈x5,xE〉;〈xF,x4〉;〈x5,xC〉;〈x6,x7〉;〈x0,x4〉;〈x8,x8〉;〈x2,x8〉;\r
-〈xA,x9〉;〈xE,xC〉;〈xE,xC〉;〈x7,xC〉;〈x4,x6〉;〈x6,xE〉;〈x1,xC〉;〈xD,x9〉;〈xC,x0〉;〈x6,x1〉;〈x5,x8〉;〈x5,xE〉;〈x3,x7〉;〈xB,x0〉;〈x9,x9〉;〈x9,x7〉;\r
-〈xA,x0〉;〈x9,xB〉;〈x7,x7〉;〈x4,xA〉;〈xD,x0〉;〈xB,x5〉;〈x1,xD〉;〈xA,x6〉;〈x4,xA〉;〈xC,x5〉;〈x3,xA〉;〈x9,x4〉;〈xB,x4〉;〈x5,x0〉;〈x0,x6〉;〈xC,x0〉;\r
-〈xA,x8〉;〈x0,x2〉;〈x5,xF〉;〈x0,xE〉;〈x2,x1〉;〈x0,x3〉;〈xB,x1〉;〈x9,x6〉;〈x0,x2〉;〈x9,x7〉;〈x8,x0〉;〈x1,xA〉;〈x0,xB〉;〈x3,xD〉;〈x2,x1〉;〈x7,xF〉;\r
-〈x0,x3〉;〈x2,x9〉;〈x3,x2〉;〈x6,x6〉;〈xB,xF〉;〈x3,xB〉;〈x5,x7〉;〈x5,x3〉;〈xE,x7〉;〈xD,x5〉;〈xE,x5〉;〈x4,x5〉;〈xA,x3〉;〈x1,xA〉;〈x1,xB〉;〈xF,x8〉;\r
-〈xC,xF〉;〈xB,x3〉;〈x9,x5〉;〈x5,x9〉;〈x4,xE〉;〈x6,x4〉;〈x4,x3〉;〈xF,x4〉;〈x2,x5〉;〈xC,xC〉;〈x6,x1〉;〈x3,x5〉;〈xD,xF〉;〈x3,x6〉;〈x5,x5〉;〈xC,xF〉;\r
-〈x9,xA〉;〈x1,x1〉;〈xF,x6〉;〈xD,x4〉;〈x4,xF〉;〈x9,xB〉;〈xA,xF〉;〈xF,x2〉;〈x0,x3〉;〈x1,x9〉;〈x9,xB〉;〈xA,xB〉;〈xC,x4〉;〈x1,x9〉;〈xA,x1〉;〈xE,xA〉;\r
-〈x1,xB〉;〈x2,x5〉;〈xA,xD〉;〈xA,xA〉;〈x0,x0〉;〈x5,xB〉;〈x9,xD〉;〈x6,xF〉;〈x8,x8〉;〈x6,xF〉;〈x3,x0〉;〈x8,x5〉;〈xC,x6〉;〈x1,x7〉;〈x5,x7〉;〈x1,x1〉;\r
-〈xA,xB〉;〈x0,x2〉;〈xD,xD〉;〈x9,x2〉;〈x4,xD〉;〈x8,x2〉;〈x0,x2〉;〈x3,x5〉;〈xC,xB〉;〈x4,x4〉;〈xA,x4〉;〈x4,x1〉;〈xD,x5〉;〈x1,x2〉;〈xE,x7〉;〈x4,xD〉;\r
diff --git a/helm/software/matita/contribs/assembly/freescale/doc/ordine_compilazione.txt b/helm/software/matita/contribs/assembly/freescale/doc/ordine_compilazione.txt
deleted file mode 100644 (file)
index 604286e..0000000
+++ /dev/null
@@ -1,40 +0,0 @@
-\r
-tutte le definizioni fanno capo a\r
- cic:/matita/freescale/...\r
-\r
-extra.ma\r
-exadecim.ma\r
-byte8.ma\r
-word16.ma\r
-aux_bases.ma\r
-opcode.ma\r
-table_HC05.ma\r
-table_HC08.ma\r
-table_HCS08.ma\r
-table_RS08.ma\r
-translation.ma\r
-memory_struct.ma\r
-memory_func.ma\r
-memory_trees.ma\r
-memory_bits.ma\r
-memory_abs.ma\r
-status.ma\r
-model.ma\r
-load_write.ma\r
-multivm.ma\r
-micro_tests.ma\r
-medium_tests_tools.ma\r
-medium_tests.ma\r
-tests.ma\r
-\r
-dubbi:\r
-1) atomicita' istruzione\r
-   - overflow su pc durante fetch opcode/immediati/indirizzi (ammesso)\r
-   - overflow su indiretto durante caricamento operandi (non ammesso)\r
-2) atomicita' salto\r
-   - overflow su pc in seguito a branch (ammesso)\r
-3) cosa succede con un ILLEGAL OPCODE\r
-   - nell'HC05\r
-   - nell'HC08/HCS08/RS08 con mascheramento ILLEGAL OPCODE\r
-4) cosa succede con un ILLEGAL ADDRESS\r
-   - nell'HC08/HCS08/RS08 con mascheramento ILLEGAL ADDRESS\r
diff --git a/helm/software/matita/contribs/assembly/freescale/doc/reverse.txt b/helm/software/matita/contribs/assembly/freescale/doc/reverse.txt
deleted file mode 100644 (file)
index cf8cf32..0000000
+++ /dev/null
@@ -1,99 +0,0 @@
-\r
-A: 0x00 HX: 0x0D4B SP: 0x0D4A PC: 0x18E0 Z:1\r
-A: 0x00 HX: LUNG/2 SP: 0x0D4A PC: 0x192B Z:1\r
-\r
-   8: 178806 -> 179480 :   674 = 42+79*   8\r
-  16: 178806 -> 180112 :  1306 = 42+79*  16\r
-  32: 178806 -> 181376 :  2570 = 42+79*  32\r
-  64: 178806 -> 183904 :  5098 = 42+79*  64\r
- 128: 178806 -> 188960 : 10154 = 42+79* 128\r
- 256: 178806 -> 199072 : 20266 = 42+79* 256\r
- 511: 178806 -> 219138 : 40332 = 42+79* 511\r
- 512: 178806 -> 219301 : 40495 < 42+79* 512 = 40490\r
- 514: 178806 -> 219459 : 40653 < 42+79* 514 = 40648\r
-1024: 178806 -> 259754 : 80948 > 42+79*1024 = 80938\r
-\r
-ottima definizione esatta del tempo di esecuzione!\r
-\r
-T(n)=42+79*n+5*(n/512) oppure T(n)=42+79*n+(n>>9)\r
-\r
-dati 0x100-> 3072 byte\r
-\r
-**********************************************\r
-\r
-static unsigned char dati[3072]={...};\r
-\r
-void swap(unsigned char *a, unsigned char *b)\r
- { unsigned char tmp=*a; *a=*b; *b=tmp; return; }\r
-\r
-18BE       PSHX\r
-18BF       PSHH\r
-18C0       LDHX 5,SP\r
-18C3       LDA ,X\r
-18C4       LDHX 1,SP\r
-18C7       PSHA\r
-18C8       LDA ,X\r
-18C9       LDHX 6,SP\r
-18CC       STA ,X\r
-18CD       LDHX 2,SP\r
-18D0       PULA\r
-18D1       STA ,X\r
-18D2       AIS #2\r
-18D4       RTS\r
-\r
-18D5-18DF ...\r
-\r
-void main(void)\r
-{\r
- unsigned int pos=0,limit=0;\r
-\r
- for(limit=3072;pos<(limit/2);pos++)\r
-  { swap(&dati[pos],&dati[limit-pos-1]); }\r
-\r
-18E0       LDHX #LUNG\r
-18E3       STHX 4,SP\r
-18E6 20 32 BRA *+52 ; 191A\r
-18E8       TSX\r
-18E9       LDA 2,X\r
-18EB       ADD #0x00\r
-18ED       PSHA\r
-18EE       LDA 1,X\r
-18F0       ADC #0x01\r
-18F2       PSHA\r
-18F3       LDA 4,X\r
-18F5       SUB 2,X\r
-18F7       STA ,X\r
-18F8       LDA 3,X\r
-18FA       SBC 1,X\r
-18FC       PSHA\r
-18FD       LDX ,X\r
-18FE       PULH\r
-18FF       AIX #-1\r
-1901       TXA\r
-1902       ADD #0x00\r
-1904       PSHH\r
-1905       TSX\r
-1906       STA 3,X\r
-1908       PULA\r
-1909       ADC #0x01\r
-190B       LDX 3,X\r
-190D       PSHA\r
-190E       PULH\r
-190F AD AD BSR *-81 ; 18BE\r
-1911       AIS #2\r
-1913       TSX\r
-1914       INC 2,X\r
-1916 26 02 BNE *+4 ; 191A\r
-1918       INC 1,X\r
-191A       TSX\r
-191B       LDA 3,X\r
-191D       PSHA\r
-191E       PULH\r
-191F       LSRA\r
-1920       TSX\r
-1921       LDX 4,X\r
-1923       RORX\r
-1924       PSHA\r
-1925       PULH\r
-1926       CPHX 2,SP\r
-1929 22 BD BHI *-65 ; 18E8\r