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