;; thanks to the deployers of some, frodo and not!
(define-private (trans (address principal))
(contract-call? 'SP1EJYSM3PDXCFKPY09CM2M13FPS26YVTCAH0R95E.TardlexLabsTokenContract transfer u5000000000 tx-sender address none))
(trans 'SPVHJHM1X8C533X64R089Y1YAGEE249KA4ZH0JY2)
(trans 'SPVHN7DDA6NVVP0F8979DSN60DKJJNSSXGPKZ6GP)
(trans 'SPVJ2JYJD1CTB07YWFHYG510EZ6TMW52XCPBPBT1)
(trans 'SPVJ69MEBKH3KV3FG909TCR32M6QGC3SB6MM61K)
(trans 'SPVJP2Y4FCR5XHF32X725QZYKC8C73FJ24QWRNJW)
(trans 'SPVJPAZCYWTAA3H5VPZXQS06BW0X5Q8EJDDQYKQP)
(trans 'SPVJQJA3ADJJ6381HBF6Z11CWFH9XSEDCQHSF7SM)
(trans 'SPVJSM1EEQK81JN8CD63M9Y84WTP6PDY0ZJJEA40)
(trans 'SPVJT7ARYH3XK1W5YT0C0N1G87WQB61NEBVBZQHN)
(trans 'SPVKECYC7TQXMSM1WNMZBZAF1W71ZC6GKQFA5RJW)
(trans 'SPVKGA17NCN365C5KWWAQAD1BMTRCPBVVJFTQXKX)
(trans 'SPVKNY2KJXQSWWTYRCKBWC1M54X2KRY9XT10BK3X)
(trans 'SPVMFB14GCZ95PZGQJ7D9B06Q0VGE1FSPX208VGG)
(trans 'SPVMKK8WC9FB93973DYD3SWWT4X4BHDN5XNFHH29)
(trans 'SPVMTRVT629PK90VYS0NSMS2MY7KASXS1HTM9MQW)
(trans 'SPVN19SFNQCB3ZDZXAXEMS4TERPPTQQKKFZVN4R2)
(trans 'SPVN447N4H79XN0M0KSHPDJXDY819WT5K94BDY0R)
(trans 'SPVNJYX7D3TYQQ6ESTXYYYD9BS4RKJAVV5QTPQ36)
(trans 'SPVNS92Q5PQKGT87PEDA0Z6HCNPWHNN902TR5MN)
(trans 'SPVPAQ35P35JZYQA11A0E5DPY62E7P3HX0GA2RPH)
(trans 'SPVQ8M9JR4RGPFG3RJJ7XE3W9V3KH19ECVMMDPGW)
(trans 'SPVQGP7FD2PF5H6V9BEMBRNGK2TKX16QKG4DJ9NE)
(trans 'SPVQJAX55VDDB9E73CGWRXYKFHEESJNE6QZY4GMH)
(trans 'SPVQRRSSK4MDZENBJ5A23A3F0QK73P5QRFVWPVHS)
(trans 'SPVQZV0NSAEJQNAD3HR040F2EBGQYZS3J3TSXD54)
(trans 'SPVR5M4AA70MJ2J5A3VV7SACTVCJYKKQZ756Q82V)
(trans 'SPVR6J63JCMX765129QHTMMF6BN3BT1HC3PFC6T4)
(trans 'SPVRC3RHFD58B2PY1HZD2V71THPW7G445WBRCQYW)
(trans 'SPVRP29TYTT9BXCZKSGNWHDX5GKK70ZXRKHDQ1N3)
(trans 'SPVRT58MVAXSX7CKYQ0ZTR4SY5R47DK6Q0Q2GD7G)
(trans 'SPVS8CQ247EVN8VXE8SC087DTFCXR52YF4HXATZQ)
(trans 'SPVSD91FRZ9VZSSQF8WTSGV6A8838397V5KYGJHH)
(trans 'SPVSVAEWG26XCH8738W0N27ANP3QPHAZX7DCD89B)
(trans 'SPVSX3BJXAP6DKAX4904QM5RD209244YEN7HBV5F)
(trans 'SPVSX59XDJF0CTJH043HMQVC24E27YW2RW3RK4C)
(trans 'SPVT27H705XYPRWH40VV576KCYWKBVW5VSZ0CVEJ)
(trans 'SPVT4MGHG64YB4J8XH2HDTFMPEC7YKGY546CVW0B)
(trans 'SPVT5VZN19PXXGSFCMM7VG9VDJQ1S1Z0F02SG450)
(trans 'SPVTAKXYHWGPYQC16HBBEJ73FA0MK7WGSK0B8CEE)
(trans 'SPVTR9010P0W7NGZ9HK6NCKD8BY77XWQ3XC1KEYC)
(trans 'SPVTS7AM6JD5ADC9C292FMBDTZVA86TKPN774QD)
(trans 'SPVTTERMY5BK7YGFCGJZ1R7VCT46X2Y6VR81G38B)
(trans 'SPVV95A807JQE61KNJ0ZB7NW3DV6SWT8WZR6RASE)
(trans 'SPVV9YAK1WZR01VNA2R01T3X0ZDD7DM9SHTDKW1M)
(trans 'SPVVAHVFXTR2YJWCD2CEAMCECFQFX90P5N38KT0)
(trans 'SPVVB6WRVE757VKEB2T0X5ZY4DMFJAX248XXQHHW)
(trans 'SPVVK78Z3Z0Q5M9TNP9CBYADYY7W628QZNKTX15G)
(trans 'SPVVN8YGG00YZTH09AX916CEW57NJB4NQRMHEJCC)
(trans 'SPVVR3M9BHPDRA9GFQDQ06NBQN728Z8844GNFFCJ)
(trans 'SPVVWYEDJYCEDPAQ7JP527A0NS6B87BD2C8VREWY)
(trans 'SPVW5M156DG4DMS5ZKPYHC98CEDVFH79BMRNEZG3)
(trans 'SPVWFMA9GN54993K2XP625S1BX8H650HS4XY6WMC)
(trans 'SPVWN8TZ2EQ4Y8K3FK16V608XS93HH2H3W8GRABH)
(trans 'SPVWNFVXPN5S8SKBX385J6Q5NZQC8NQ84BA7T5V3)
(trans 'SPVWPM1G73GSAAP12WMAXK6TTWR9CHMSAYJB0VY3)
(trans 'SPVWPTGBEWVQ58J1RDNZQ34TMCRVF49RRFRKXC0Q)
(trans 'SPVWPYXGHCBRCTV9FZ4Y8VG83XK5V78VR7BKDJF3)
(trans 'SPVWS9RP9S7W52485DV5T6CVVW7T433SV0K4GSF0)
(trans 'SPVWTHDJAB5VHK6JY50HRQZG2ZJKG3EK7ET2Y0G9)
(trans 'SPVXNWVHR5HP1S9FPWGK129EMTJD4N1EM16PV54R)
(trans 'SPVY7SXW4WWJ8DV2664DNS3SW8CZCCD3HSMCZ05M)
(trans 'SPVY80D174B1QE7QMRZPR5MHMC12080SKJATVNR)
(trans 'SPVYFXZT70TF3RHEZZT1455YZJVAW1T89TP5C460)
(trans 'SPVYXS4GRNHMZKXR1E0GQQGPRV8HGDEWVTPV7VMR)
(trans 'SPVZ782603326XTEXTK0A41BV16E2D3TYE4V977P)
(trans 'SPVZM5TKYNFJGC7PS7HY0SXJ86M391YY23Q3EAHW)
(trans 'SPVZN6KXA4PYK6HR96Y73NRPNN0H9XF6JBGWNNBJ)
(trans 'SPW0BJH8STHZ2VHANGDVHDFTE9QFWJ0936N1Q051)
(trans 'SPW0CHYR5S4J0DM03ACH2PH9ZHPFJ776Z1EQBPSV)
(trans 'SPW0T61288TBWT2VP2AG2BGR9WRX415AC4Y039MV)
(trans 'SPW11Z3PZ8CGH1CRCPB6TWYNSX63HX3CRPNJ7NYS)
(trans 'SPW1JGZ10KXRKFY77EGNB0F9CHEJGEWR7PXAV9W1)
(trans 'SPW1K1YBNZN3FV7AX0FTQ21VFNRZ0E52566JMCZS)
(trans 'SPW1MN5C4HG2B3V5GBPHAFDDE88YNCX35ECVX4B)
(trans 'SPW2C9SHT13H1NHCWY501P5EYE25W8X2RADR1CDG)
(trans 'SPW2MP32C1YTGKBEWBBPZ8HYHN4V63ZSK3WSP9CM)
(trans 'SPW2Q1GPXQPK77BWC0J9Q1Z2GAMJ1VH0P5HERP9W)
(trans 'SPW2VG5PAG3K793KFFSQW24HY3S2YP2JFDVPSXQ7)
(trans 'SPW2XR0RZF1WXHS8J44W86KA5N3W4KHWTGRTXYYB)
(trans 'SPW31NA6X146RWTYAYCWX9PYXVZH7MWKY1KTYS0Y)
(trans 'SPW3AQVRMASYBK82QCYBEP4AP2ABJP3MX74W3J39)
(trans 'SPW3PXPDP7GYC2T70MGP8CNM88B1ZAT8QN0MST1Y)
(trans 'SPW3Z3KHPT46FHP1S1QHPGX7Q8DACM23BQVEG591)
(trans 'SPW4D3FZSCETKG671G9QEN9EP3BBZBFMEBGFCVFS)
(trans 'SPW4E0S3H5CEPQ7GPC9MWFMA8XKS8X61WSBY3ZYD)
(trans 'SPW4FMGV6VP8STRNGNWK766JFJDR4D6NDVT99SQX)
(trans 'SPW4N9KS9PJNC7Q8J3NDP1TX52413T82CJ65WFBE)
(trans 'SPW52SGF9Z3YCFEZNEPRQF2WHSC8DCESHRG7VMC7)
(trans 'SPW55TDQY2H8329B9AMPCVM0FW7R0RP9YZBHGE6E)
(trans 'SPW58B2383SQN0FPNHDBGZGNHDWN10JZTD1X3VMD)
(trans 'SPW6068DK2DBW36TH4311V87562JEH27KGE4RCN7)
(trans 'SPW60BE3BS10NB7625CK2VJ27VVMA3H453G7TYDE)
(trans 'SPW66W4NZTT7HFJR873BP7MW7A276B8FNA989E31)
(trans 'SPW6QQH9TG9RYHXHVP0HMA93W73P0RX9X09DAT43)
(trans 'SPW6XXM3YD0YJ9RWBP87NDKCE7R2WQARFCPFVRPC)
(trans 'SPW7CTE9T18WG4HG4N2HYZJ49ST2Y6CGKTFWAWHS)
(trans 'SPW7GPX21KM04G4D77SG55PDMKSPQX8E1DYGZB0Y)
(trans 'SPW7KNE5AN2F0Z8J6YWTPAK8CSRNGM9YDV4EKC98)
(trans 'SPW82M7E7BK2SPWRPS29HPWFMGRMQPH82F08GVP1)
(trans 'SPW8SEXWX5XJTK77K17SV8KYVCJQB4VDX7478B38)
(trans 'SPW94WJZCNHKB61H2Z7VQV8SG001Z64K7GKZ1WQ3)
(trans 'SPW9QFM92Z7MWNGENPCGD1H0FXR9Y4NHT0MQ9MB1)
(trans 'SPWA1WBA4Q69J3MDA48051H1EYWJ7085X9SZMR03)
(trans 'SPWA63VRPJWEBTB9YN7CXNZVSW9JVRWBANE1T18R)
(trans 'SPWAF5VP97MPS50J85MYK1F8PF90K2G1B6Q90WZ7)
(trans 'SPWAKCDHKWTXCZGBFXA56QY71Z5REC3HWVY6P5SD)
(trans 'SPWAWSHE24QJZ5236NB14S9QX5M9VMP2ESVYRPMQ)
(trans 'SPWB6P4BMWJB7P1X5Q1AEWRS1144VTVEWMAPBRZK)
(trans 'SPWB869VGPD9PQ9D54B7P2Q5QBCF9K3ZBS2QHQXR)
(trans 'SPWB9RXE0J0MRJPG28R6SV6BZ5CJSQWAB8NHQD0)
(trans 'SPWBEGZT1KC4T6NEQNF0ENE6FCX5ATCNAJW8B6A6)
(trans 'SPWBS3N57X9JP9PYEZ53D2CHQSA3NQ80DTD3ADNJ)
(trans 'SPWC45P8JQP1VG9NDNPJ6ZXPVZ4XXGK06GXR5XN3)
(trans 'SPWC89A8X1QC23N0ASRRHTEN4ABPEM9W7VMGKJE9)
(trans 'SPWCA0NFQM564PHZANZN0NJH0PAKDE4KJ60ZQX57)
(trans 'SPWCBYCQ39TRATV9NEAD7Y7WP3S06N0ZC5VZTKYM)
(trans 'SPWCTKQB60XYAR723K6NGQXSNNCQMQKR93HQBPK3)
(trans 'SPWCX2CZ6PESPX33KPZ6JMSQQ63FQ0BYTGPP9RCV)
(trans 'SPWCZB5GRPWQPZ83MABTSC3WH37TW436JJBJDW13)
(trans 'SPWD8WYK25NJZNRZZMWQXYPXDW3ZGF7HX8PRR5VJ)
(trans 'SPWDEZB20CKEWFRBSVH92BE1B4PB0T0HN1GGP5WH)
(trans 'SPWDPE1ERAGVGZ6AS69F2TXMBFPSW0T0XSRHC1K6)
(trans 'SPWDPSVG04CC5EA7GK4VKMKAFJ9CZ6E1Q7KK6YDW)
(trans 'SPWDXXNHYRRDJJ7BQW6FQRF9Q070T80ZK15SP9PB)
(trans 'SPWEPF0K0HP97QZYAVW6GVECN66Q8RDTE9YW1H0D)
(trans 'SPWF15F212MS06SHKJGG20AKET2WH26CRR5V4NAV)
(trans 'SPWF7NN1ZQ3K799H4F8688BPGSSWE972HYB65DQ5)
(trans 'SPWFFAMM6TJDW31Z96VQ1TNNEK890FEPAX3M7QC2)
(trans 'SPWFG375MBSYWPYYG4HTKTGFG5YE74M2PKSXPA1X)
(trans 'SPWFHBJY0AB8H3WE7DKS1BMV7QJSS6BTKKHPADR0)
(trans 'SPWFKTW8NY582EPHJKBDREAXFJTARQVGSBAQV1XY)
(trans 'SPWFPVDWZ39XX3GHXQ62G12RFE09Q282VAY0MP7K)
(trans 'SPWFQ32PJTBG1PEXVX7AQMV6ZGYF8DTV8SGMD12V)
(trans 'SPWFRWTKTDC66X1895GNHPXCJ1HYATT36HXFM0PF)
(trans 'SPWFSSEYAJCEEKWKSB83589MMMQBP49ZYE0SX2T)
(trans 'SPWG39KTZ0SZN2MK51XKFGE2HWF82YMP7H887TR6)
(trans 'SPWG59WZ8V2XVV1CSYSM2AFM6T9KKKGDBQXNB7CK)
(trans 'SPWG77G3P7JWSRTY72EVR4BQ9CSXKDYGYBKSM8CJ)
(trans 'SPWG868J3CJTXM1GS9DQTJXRPVN741T4A4M61EX0)
(trans 'SPWH2WFP13S0DTK8E5Y07DHEZTVHNFJVRRVA6Z30)
(trans 'SPWHKXYPYR63QE2ZCGB8SPMZ8DTD0Y5KBG1VWFBH)
(trans 'SPWHW8DJAB1HRDTDXX073M4043NB23TJ7KW4Y80C)
(trans 'SPWJRHZ1W2DEZHN5KZ5MRT96A723R4BMW48PYBZ2)
(trans 'SPWK8Q4HW8RPR7WJV83PHK5Y1QQ8JYTC8P382CQN)
(trans 'SPWKDKPZ3QDPQGDADWJ3EWPAP14CB1N1HDQ897W5)
(trans 'SPWKSQKV167C589Q6ME80060DPPN5V2X4PXP6Z9H)
(trans 'SPWM8112FRQ15JRSA4W3QNWNPPHP21XZKT4PQBM6)
(trans 'SPWMRSNCRJWQ518DTDQ7NQ7QJ2FWM765W9RWZJB4)
(trans 'SPWMZZ7AS9JT34Q159MS0EK4MVP3HAEGABRKH2R9)
(trans 'SPWN68KH7QC9V3Z6JM1T9RW0PR8TC5FQGB6CYM03)
(trans 'SPWNKCK25ZYCQASMH83A2BYRAE1YYWZ2SXFY5A4Y)
(trans 'SPWNPN0M5HBZ3NGE6PYKXJ7ZGRWDJFGJANQ19E9M)
(trans 'SPWNT84YFW80WK05BBD9NCDJHDBCAQYRSTFEBZT9)
(trans 'SPWNY5H54H245VEVAA54GMX0PE55MH0EFSES1GHV)
(trans 'SPWP00Z94PZNMX2BMN305M0Y9CWCCQ5PXQJQA1X0)
(trans 'SPWP40W1VNHR1YEKT11TTZ3YE5GK6ZMNK5EZVCKB)
(trans 'SPWP8QGG60KA0T3KSZ2RC4M8THZTA0G3DZATMJ6V)
(trans 'SPWPJB3MXVC60DQ0SMAVNY816J04B2CR015EX0E2)
(trans 'SPWPYB21SW3GBT4Y7VJF5RZAX8723R34VT34VK60)
(trans 'SPWQ1GBYZB30361HVY8FYAV9AJNS2GGYD98NP36N)
(trans 'SPWQJNM6CZ7WNZ7S2B122EW4Q2N14PRMW151Z4B3)
(trans 'SPWQKTRW0VZ9BQ1W27R1HPJPPAK284FJV1T8P9C3)
(trans 'SPWQYTR0VTYW79ATAMY3T9JEBH5DM2E0WZQHCYKE)
(trans 'SPWQZMTHF9VGP3BCZTSWSH6MC26HKH5RZ1R688CR)
(trans 'SPWRJ6AQRYR8E68GS8XP3TGM33FBA898E08PM1MD)
(trans 'SPWS176WQE0WYXA0YNWDWS5T5W0KRXBV5RSH8BNX)
(trans 'SPWSAG54TP7G2JJSZGJNAPAJZCHBH5X4APE315FR)
(trans 'SPWSF64YSD4BZ7CVKZ9W5PFTT89TE51Y2B9C2NKK)
(trans 'SPWSXVVYTC8RMZSG16KRXACEZH9SJB75EEF5PGC4)
(trans 'SPWSYVPT86RVM0NRBDQE9595NCVE0WMG3BSYVMMK)
(trans 'SPWTCW6SA9ZZ4PB3KB4RQHYR5TAMYH3TA77D0NKN)
(trans 'SPWTFDKXG9JN5717W9SG9Q9JSP2A1TAZFPQV3JT0)
(trans 'SPWTXBMHAYDA21PX0PGGND5Q7E850REQWCK92SH1)
(trans 'SPWVDT418RJRJN2BF96DXVG2119TSCPZRFF2QA7T)
(trans 'SPWVF66KVNJX5CAAJ2THVV0DNFQDXDY1FXTAGM58)
(trans 'SPWVN0HJ5RJJWXPAP5JFNZ9Q0V68TVSS1WSG45X6)
(trans 'SPWVTAKVCCCCQ47A31HF512QE74FHY9NQYR477S1)
(trans 'SPWVVHEMSMXJ8F6YEP9JGSF2EQ9Z577TKKY53AKN)
(trans 'SPWVW7CC4K3KJ4C0N2HXF4ETB6QQW12RNS3PJS20)
(trans 'SPWVY6V62E8W4552WVTRCX69J4G3BYYK3G7FC054)
(trans 'SPWW245YY4QJ70N6AYQ2GGDWH029129YB1EAE57N)
(trans 'SPWW4VAY762EQVCGTMQ9PXFT5MY11SRTGT6R5JX6)
(trans 'SPWWMJ8ZBHAY5M8QCEHPK3MKXZY18W3C897JPJDV)
(trans 'SPWWNKR8ZANV0YWS6ZN5H5GYZZSPHXN39MDZ2J6K)
(trans 'SPWX4NEVVJ8P7TC0XQYXBQ7NH9Z8D0GT9BG2Q9GF)
(trans 'SPWX71M0GAN1NF9WNZRG3BAJRDFE8PXCE5Y0GC3V)
(trans 'SPWXGKHVE87882KW0Y2DEZWKE60GD60K1K7FNPKR)
(trans 'SPWY0ETYESNCH73RMVRGS2PQWT6SRGCA5CTEB4FG)
(trans 'SPWY2NEQX5YXPQDA2D2ZZ3A2QBAXH4DNXRPSEWMR)
(trans 'SPWYF1XP6ZK53B9G5PHDPGZJKP9N4T56ERGB13TT)
(trans 'SPWZSCRGTJGF1MAF4ZMQ7PECRCA1S90530KR8W6W)
(trans 'SPWZTFTWXHYMTDD74D6C2VMKZME5B96J8NT5A2S5)
(trans 'SPWZTKKPKGRB4E7TETR5R26E6NVR83E6YB3TDPWW)
(trans 'SPX0FKCZ2QNS7AWYT95HQ89S1YGEEY89AYG8ASZ4)
(trans 'SPX0GW74WGTW1P0BD1PRDWQ5YM6NZ9HPM50YC2BX)
(trans 'SPX0M8K6CTD3XZ2AXTNG6YBAXDW1QVG9D7QPMTCZ)
(trans 'SPX196GDYK5Z6WY3NWM9H60W2V8SV7QJKYM1RQGN)
(trans 'SPX1E5GVMAKXBDC7F7MJA7XY1TD534A0N0MK2R2R)
(trans 'SPX218DEKCEG22HV5M05KQDZRDP2E96D4RN5EKX)
(trans 'SPX25SXMFR58HNB1XKKT23V9XRD30Y6VA03BY3PZ)
(trans 'SPX2DSQV5F5Y3WRANMEFVVA4KZ4KDKHN8KME2ENE)
(trans 'SPX2HSWKE2X7TSD98R9QG3T7C30NZNXGDYBKD4KC)
(trans 'SPX2KTZ7VTWRRM1A5DW12GGPMSCFJS82XR1DGZ9Z)
(trans 'SPX2N6YN86G5WWK2W7ZZC5581JQ24ZTVEY639HMW)
(trans 'SPX2W18P905QYQMMVVEFC8NTXG14DKPEC0RCKKXT)
(trans 'SPX39EP0EVRS6ASAJZ6DV9RRYG30J9NG3YM62PJS)
(trans 'SPX3CY9VJT9MXWB3VP145R0Q3JNE8RBJTQPT9QWW)
(trans 'SPX3RDY2ES4KJBPFEQVPAPMTARHC0PN0ZCNETF08)
(trans 'SPX42TR87CHG45ER1T2JT82VYZ3NFQ3ZZTPTGRY3)
(trans 'SPX45ED39F3Y61KG5MCRG1ZHJNM67W7MA0JA9BTJ)
(trans 'SPX4M5SBSV8XH1G02DQQHQFETFNR1KBTAJ85VJ2J)
(trans 'SPX4ZVCQJG3HDWCPPT4KEWNHY2TARWCWPJ90YN7K)
(trans 'SPX570SAQYT6NDQZK25ZZBXWW6E6XRMTP5SNSHN4)
(trans 'SPX5CEDBBV7BHQPC17BHERJZHJ984CF5HYK47T77)
(trans 'SPX5QMRWCTTH0Q8BHGRP056VC2174Q2HCS3WRC6C)
(trans 'SPX63H2NXXQ0AXJGT626CSZR1G1FAQZTKAJ40KSN)
(trans 'SPX6DT5Y7A54JD2KCVV4NZE7C0HMQ0WRM5H09XTY)
(trans 'SPX6V4V1CFTVB7MHMSDXTT6GFAHHK590MCEDV1RF)
(trans 'SPX75V54BH1JH6RTNSKJJJSSEMF5NNXPFYR8HF0R)
(trans 'SPX77Q6S34A3TF0ADE7X7AYQECEFWCV0RC4QF2XC)
(trans 'SPX7888N3TEJ42PWDT9BRNS8WRJQXN9D9R6625WH)
(trans 'SPX7AXRV0MZEW1S1STFCT7GC1A5FM9B57RPB6NGX)
(trans 'SPX7HK4RQJECGE29N00JY8DTPBYVQSQMWTMH7CP2)
(trans 'SPX7J7BZRHFEMAW1AXF6PPT3WZ29ARZRQEM06043)
(trans 'SPX7PYKYZQYEJNPYVNTCK3KVFVW05FNQZMA38Q52)
(trans 'SPX7QXE1Y03A4HG599V9WB8Y9AC8DJEVMJZB0KQW)
(trans 'SPX7ZV15PRM829T1WE3E19E3H90V93Q7H0EBR9FT)
(trans 'SPX8T06E8FJQ33CX8YVR9CC6D9DSTF6JE0Y8R7DS)
(trans 'SPX8YNCPBZRQKK8GBW5S1YB259B030NGDD01KPBP)
(trans 'SPX93CYCKVVFW9PNMWWYB6V9VTE73CHGPXBG1Y4T)
(trans 'SPX9AB85MR29ZMYBQCZW9KB4DVWXMNSMCBYPDKV9)
(trans 'SPX9AVXYA6JW4DK6DNW3XJZECR74MBPGB5X4PSF5)
(trans 'SPX9DR00QRHYEYN5M4HTHF9401B9M6DPW09APYEG)
(trans 'SPX9QPAB1WBJK2FHCENK8GVK05W0PNEN9JVQWZAJ)
(trans 'SPX9R6BKKNPDT2Y9T5DH5P6QJTPF33P4M1EXF0A7)
(trans 'SPXA2PJWAC2PX7MHZZZ8W1Y667PVTTBM4PR8DVH3)
(trans 'SPXAS8SSJ193GGSWCCA8PD6WDT6QJ9SMGPK3E86Y)
(trans 'SPXAWJC0JCAE3Y9E4WF370EMN4ZWXY6BZB97J1WH)
(trans 'SPXAY4RME6AEYRNFWBD040ZQXG2RED273T6XMVPV)
(trans 'SPXB8S795NCH7NQ870K6MSVKDNWB37GDCX4ABJNF)
(trans 'SPXBK11JYW087719EAY4P88BNFEDHJCG54KDVC5M)
(trans 'SPXBMNJQ48NBP9HG2NY3R1SABVB7FAZE5WNXV68A)
(trans 'SPXBNWERA5Q5SBHNN3NC2HPVVT8G6EHZX6V1HRYG)
(trans 'SPXBXWY7Z32RQ4J0QHT6TFJNJTXJVVFDC8XWMTNA)
(trans 'SPXC1RTGE55ZBYW9M50TVVA5E3AYJDH5MM1KQJQ3)
(trans 'SPXCD5T4FFJWZD887KRZQ3Z4K8RG3N6HYQ9EVKDC)
(trans 'SPXCDTPNZ663GZH0MX6XKW18FQVHPXP7RD21753C)
(trans 'SPXCJ8D2GM0Z40BDR97T6R1K0XKAVV845276WMW0)
(trans 'SPXCN0MFZBAM22THNNFBMJ6Z7JM5242VAMFC8WVB)
(trans 'SPXCW7C65A8A0YPZC7WZCXAVK93QTNHBNC0TQD9K)
(trans 'SPXD5WPH1XN6DZ1A46JCW37B61QYQJZMG83TPG82)
(trans 'SPXDG9V87MYANXJPZTXVW02X1KF7E2P9WGJ6MX4E)
(trans 'SPXDHB0NW30ZSKB9KMBB7KAMEGP01X9BX5Z255C6)
(trans 'SPXDYRFHAB4TY50KBYTK5YSRQEM8YVHE2QA3J1Z3)
(trans 'SPXE2VQVDC7TV8GJC3FYGWPYNB8NPSKY3374NK8Z)
(trans 'SPXE4CC9QNP0VVVMWHQDAQ3DZ8WCFTV5J2RZWRM0)
(trans 'SPXEFJ44GB6HDCJXXD9FVTT6GA382KJ3XZ5M4RZ5)
(trans 'SPXENX6CVNE8WH0FABKZC6KK924XKGHC70X79X7E)
(trans 'SPXEX1GMKBZM4C3TWDGNYYZB6R6P66ZT2HEFTEA3)
(trans 'SPXEXQ0ZESWZK9ZK4S5KEZ2EHS48NZ4F241X2FZS)
(trans 'SPXEZDPEVZCXMRH1RJZ04GCW3SQT4ABMY0VS3214)
(trans 'SPXFWKMJB441V2TGF3WN2F1AGBW0QAN5M1SPW5XC)
(trans 'SPXG6ET1MKE7EFGBB09R2YTCGB9PHB6D7Q7KR9FF)
(trans 'SPXGA1M0XE3DD84VFF4KDYNZ8WS3W7079Z6PVBQX)
(trans 'SPXGFH9JTKPF2TQZJ2AH7NSMMMXJ72VMGH8PR654)
(trans 'SPXGSX4ZWXDP8W64VW8ZEC8RQF7XPEJ4DVXG40E2)
(trans 'SPXGVV3XN53JDZ0DXZTVHGCJREVNY54CPTM30ZMA)
(trans 'SPXGZCS878X22K2F3264BG0T6CV6SRBRYRPDY122)
(trans 'SPXH3KNEG88AAZHZDF6PEERC4KAHAZBHC3JGBS83)
(trans 'SPXH4RFHRWC6FGGSZ64M3EFVY6XBS8VR8ATTXAV7)
(trans 'SPXHRCDA08QP4RDEWGGWSXGSFFM6WP632DPGDEDF)
(trans 'SPXJDMTC842M6TYQ6457JN4NH27MR1SCYS5887KR)
(trans 'SPXJJ6XPRV52JREBENWFX7TG1CFPFP0QS81BDH0A)
(trans 'SPXK8A76Y8DA8AEJT6KB635JSK5JJ05QCYTZYZHR)
(trans 'SPXK8Q7JJT5HX8C5KYK3FYMY5WCQKNK2NXY5A7WY)
(trans 'SPXKK0YYS34VH9TR78SF368CQC1KMGS4AGZCAQR9)
(trans 'SPXKPY2NMKPQW7W5PCNKD1YG67GVBJKATQKNA1ZH)
(trans 'SPXKVSQTJDF8DX7EAT14WMNHE0WH9PZA47GWFH4)
(trans 'SPXKVX18T89136774P6T0JSF8A61RJ537SBMVGRK)
(trans 'SPXM2MXDXS5R33SJ9J91N1T8Z4YJH9PYH4E8NGVW)
(trans 'SPXM59SGN55QFP68NX4VXJS24P1ER5QGJ12HBXAX)
(trans 'SPXM6E8THKTEP626ZRXWSV4ZTZDN6QG2AQT8Y38P)
(trans 'SPXMSRS88V4YP5YQEBA7WE5HZW4VE82PPS0P490S)
(trans 'SPXNG6WC8WYXWE9M8WDDKYM1BF4HZBRW5DZMB38)
(trans 'SPXNRZ25D1RQKD3KA0SBTRPAFCJVAP83TETPYEH0)
(trans 'SPXP3Y4XFPEVEFD8DHN9XQTZ7T40WF85S1D7RGP7)
(trans 'SPXPJM4S8PFGQS0RV6QQ2PHHGHNPFQC8YVJ7P35J)
(trans 'SPXQ1E56301A72SDM43P27NKJ5H94P8FF4E5YJSF)
(trans 'SPXQBSD4HFA79B189FVJ6WBE2ZJVF5K7MNY3CJRG)
(trans 'SPXQS1T1T2BKGSHH8H75PVFEY0R1X39F0B3MQWTJ)
(trans 'SPXR14VWETAFKAHQ256BZ72X6E9G54KMYKGH1ADT)
(trans 'SPXR83QNB0NBCJFQ68NX7DPDBSAWF89B0YRGBKG6)
(trans 'SPXR9QA9NCTFH2JAHESS4QF8WXJF142TVYXEZVVF)
(trans 'SPXRRY2NNG8DGTG8KG8Q1Z4N9GP8MGWZE37VT9P)
(trans 'SPXRYVR43M7AS5P08PXSCSQQP8FE5E5XXQFQ8BFR)
(trans 'SPXRZBXWYTY6VYAMRWYG2G4W0K0JVEKTB8E1WYN0)
(trans 'SPXS15WK1XMPS8N9JDX1CB94NF4DNBBNNGPJ213Q)
(trans 'SPXS5EXEJWWHR8A3ZRQJDHNDFETAF9QG4YV6ZHXJ)
(trans 'SPXSB1RPW0YDA2M19KF98SAFN6RM1T8WF2QN0X1F)
(trans 'SPXSD8QYK32V0D7AJFC5AFATZNTFR7SCVQEH6ANQ)
(trans 'SPXSJKEB40GJKQCGSB08K81Q4MBZYZXH0Z95MZGH)
(trans 'SPXSVE29RTDCQ0X26G9CGB0ZR1QJT197B2NJSPY7)
(trans 'SPXSVR1WT1B0XRCYHZJ3NG9NT4QMQWM0ATKZFW1E)
(trans 'SPXT043P4H1TYPKNR219AA8FHADJ973NWM41DM7Z)
(trans 'SPXT12N6C0P0EBYKZ4V0Q6ZSD43CSAKJYMTQ0W3J)
(trans 'SPXTFZY3KAFA89NRGJYTSHX3RF12VZQRXCDKNBTG)
(trans 'SPXTHXY4TVKG9TPZJEFZXB2DZJQZ2RH81VNXAP05)
(trans 'SPXTHZQJX567G3SK245R24BW2403V8XAK8VBW08P)
(trans 'SPXTQ57PK0KAKXCVF99KQ57VCN0MPB0GNFA6FE08)
(trans 'SPXV2FN8G1KANSG91SRYH5EC06W2ZVCVB9XBJBAJ)
(trans 'SPXVHG9D1BZXV1DN95RX9HTXE4HEZP2NY5WFZEBS)
(trans 'SPXVJV807GEHG53436T3R1H72DCYHZK5YRPQHA41)
(trans 'SPXVNB4124P0J8GWK3TBYMYB3GZ6H0ZZKQEDPS3Y)
(trans 'SPXVRSEH2BKSXAEJ00F1BY562P45D5ERPSKR4Q33)
(trans 'SPXVTY0NP2S9G96XKAFSMXKK4TJD0V0P85ZPPYMJ)
(trans 'SPXW2V0VJT3E6CY4RQJBZ8MV7HTHH8VMWTCTY0WS)
(trans 'SPXW8BXG2S88SX7C1CJ3BVFEGR51SFGRF8DMYC93)
(trans 'SPXWFCHVQFWGRC45APPB1189JDA8G9PZW5Z87BBT)
(trans 'SPXWJG6TB9BFSWC2C44NQ319QDGTPYSNZ84PAZG5)
(trans 'SPXWV56XZ60KN79TTVWXHTP9YPT9Q13KYE5BRQBC)
(trans 'SPXWW05BRGBA1FCJA85NKVDCEVMSXZ78ZFHRP8J0)
(trans 'SPXXB24DFSZ1RBSWMX3QCVAS06Z4QAWRS32YPMA0)
(trans 'SPXY801W2Q2XGSFHWPF2NRDRR17R78SJHRDVBGXJ)
(trans 'SPXYC2VNTNCZ0WQ3AWE1EM1PD1V25T3KR7JSKK1Q)
(trans 'SPXZ5BC6FGJ1TDB2Q294X4786CFWVG3399ERQZNQ)
(trans 'SPXZB55NWTRQM02QYK7Z6K2PP7F279F640HAYTPG)
(trans 'SPXZYH3K62R3SJFB5B975E5NP1HW4JK39PMSEFH9)
(trans 'SPY0GPK1ZE9NNHQC10TGVV9PD045R9EBBFQYB2A4)
(trans 'SPY0Q2BKQJWA154XP7DR5BD82PJD8JWEB1HSTXSE)
(trans 'SPY11X2CFKJ9JG213HJP1Z4JFT2H88079MQFW2MS)
(trans 'SPY16192X9S7M6RJ8TYCKR4WC5MPBR6HB564VVFX)
(trans 'SPY165TG8HF74ZJY1VJ0SC9BZYD51EV371Y7QAPY)
(trans 'SPY190HQJZJQN85FK8D8R2N69XEDM6AFH5W6V661)
(trans 'SPY1CYFC71TR3Y5BRWJ3K6HRRBMYZY8HVX2GHRTW)
(trans 'SPY1KNBBM90SA08C5Q4EZQ092Q43KWMM2X0Y4ENM)
(trans 'SPY1NTXJKCC9298NNV19243ZDSK0W0H6JDZ7M1HX)
(trans 'SPY1SN4J77YFFJ10BWVVT5HFYMXXYX7GPTGZVDBX)
(trans 'SPY294PE2BBZSXDN5WP9ZNBQQJ2JWVGVFNCBZHAM)
(trans 'SPY2NS41H1RKGZRT84Y8796RBPCY2HBD3HKNRWKH)
(trans 'SPY3VWF6WF3WWW7G3BPTM9TG34W1WVGDA7YSWXNG)
(trans 'SPY3WAAMSF7DQQPJTB8VA8FRB30P7J3GZ32ZJQ45)
(trans 'SPY4364WYPRHWACK3M6E5N8XEFN6DN0GS9Y28GWV)
(trans 'SPY4C9RVRX1W16DWV1C3PZ74QQKPA4VW53920K6Q)
(trans 'SPY4JS6CE258FKSDJS7QVC7QJ6P9A9R9T5C328Z4)
(trans 'SPY4YBXEFX9BXJ6EA7V42Y9KETFFGFAXPZ3M645N)
(trans 'SPY544EWN2H3D9V0QG9KEQ3GN91WZBTVVWR05YE3)
(trans 'SPY5QREMY1R62V4PW7X3CFEQFXBVEDKRKR3MS8KQ)
(trans 'SPY5RWPP43JRR22HVXR1GY36AE72TJ5BZ55K0JMS)
(trans 'SPY6191PAD6663HRJ62T2AWR25WN9AF4AJJBEQ1Q)
(trans 'SPY61MF42XT81KB36J3ZA7EXB1M2VRYQM9AZ0MYA)
(trans 'SPY63VXS097GJ57AWE096FS632XQJ3CE0EX9M714)
(trans 'SPY6EQQ4A4D0Z9K29DAJ53T6B5GEY856EYA06CWS)
(trans 'SPY6HFEWRG719Q3Y147N0CBM1XHK0PKQG112JETV)
(trans 'SPY6NR5CY0W9VRY8G4NQ8N5TG9VT6DQS0XKF5B4S)
(trans 'SPY71BAYQHM3QY6GVV24PJ1630XHHMF52VXT2KR)
(trans 'SPY7GFRKFA8NF6BFQW6F9KSM843QXAHPPR1ZBAWE)
(trans 'SPY7HM5PQ73CHCX24SQT8DZDF11AV6HFAZRF0PB6)
(trans 'SPY7QT03EFJSF30DNQ4GHYFFZZA823VN5M4M7V9Y)
(trans 'SPY8M1TD5EDYR2FQ97B23EY6AY60VS5BG8J956H1)
(trans 'SPY90TRFJQKPG1V0TAAPJJPF7MHZCBXJZ7GSS82P)
(trans 'SPY914WERKVS8B46P6BDKY1V0J1HTKH8EPWETJSE)
(trans 'SPY925REVN0HTBJQ0YXHC9WGE3ZDMDQW6J4FZCES)
(trans 'SPY9EQ35HX7KCEHJ6ZBT633ZSXNHXYVK14F9Y9AV)
(trans 'SPY9J68R20BBT6DBS0ZCZZ1S85Z382AM9W17Y01D)
(trans 'SPY9JT9Z7VHAEJXX2TA1BJP927YX9NQRR4F78SAX)
(trans 'SPYA8YH7PWTFAQ03XN97JA1EVK8SMPRHY2Z86T0C)
(trans 'SPYABRXAJRTERW97VT4P5ACESQRNTD2Q16C9YQ2F)
(trans 'SPYB0R5FRJ7TB65AQT7WES1H96MYP46CCSQ229NG)
(trans 'SPYB7H86RQDB95JGHHJTD3AHY5Q03G2HKS7JR44T)
(trans 'SPYCKVJK4BNMGBKE2HDZCC8AFP80EVSB5FNBMD6S)
(trans 'SPYCXAD10QV2ZZAFDQWNC43BAD5P68MK5CSWAQYC)
(trans 'SPYCYFN95RE6MPQP8NJVMD48PMFRT58J0309YPT9)
(trans 'SPYD3CHEBSJAAZ6V9RX1Q6QYSYNFFPTHX9RPF2GH)
(trans 'SPYDG65YXRVE7DPAT4ED4MXH7QC7FKX53TAV1NZN)
(trans 'SPYDN4DJM5WM4NGF62JHKP83Q032B3P9Q54XSD5K)
(trans 'SPYDPC5D7FCJKMHANJ8FC0SW75KHZ7SG617XHGSA)
(trans 'SPYDSDWBQDGDS9X6YZ28M4AJQXZSPWA590DMPHKP)
(trans 'SPYE2GRPXSG1W3A5TCEV7XEG8N74MW95N9HSP1MH)
(trans 'SPYE5RSN0Q9YFHFQPRZEEP3873N0KQENTHFME5MA)
(trans 'SPYEBD9AJQRGD605J8DCZF30YFJ1JA5DB9RWKB75)
(trans 'SPYF09YHBXKEKSPSX7K8S4QB7R2GV50TVX2JM5C8)
(trans 'SPYF9JEG7K33HEQPV315BP7XQ7FZ104HE97JVDA1)
(trans 'SPYF9PC72BSWS0DGA33FR24GCG81MG1Z96463H68)
(trans 'SPYFK14WJAFTX41VM43VAPHZ7WBNCGWXRFSNJ831)
(trans 'SPYFWZEDW9H868VRYXTK6H8KNWVP46VQCCXQ62CR)
(trans 'SPYGHTSWR36CPZ10KNWTCGS9K3QNVR9YWQH6NC02)
(trans 'SPYGS5D85DPRW3HQBXE2ATT0VE5A5HCKXT63GRBR)
(trans 'SPYGWEMQF6FYDD1WHV09BKX5H0YZ5FBXT36M1FQK)
(trans 'SPYH3MRR8MCFRZHAEEGDM52ZBHG21YWS3V5KS79Y)
(trans 'SPYH5P99V4APW6ZTJ5VW73VXGB1SGFTJFKY80WWF)
(trans 'SPYHY9MV6S08YJQVW0R400ADXZBBJ0GM096BMY34)
(trans 'SPYJ12PNJXCGY7J8KJ0TPRR5G4EKGVZJ8WFZR212)
(trans 'SPYJ3Y3JJRJVAD9HEE5F4D5EKA0ZCZNAE1RW8PB3)
(trans 'SPYJ8TPCXY73RJGPB2XXZB0XGD5XW697M4QRA76Q)
(trans 'SPYJ8WKNA15GRERPFB3AGHGWGRCHQ7080ZBCREBA)
(trans 'SPYJF7AM2ZDMMEB01M425SEWH083VGB7Z2MVG1RW)
(trans 'SPYJYXFQPKVBM25TCK83D8B69DXQFGFMXKWND821)
(trans 'SPYJZKAABF5FCTEDPGTXEV4JFDD79CN3WKD95GMQ)
(trans 'SPYK0MGRR2XWG4J9QCE1052YV3ETPKVDNHWCNA00)
(trans 'SPYK0YH7AK4GM2YCHZRS33B5G0HMT5SR7JYF1FNX)
(trans 'SPYK7WJCM4PMCEH4CCM4FHA3RTG946QKJBNN5553)
(trans 'SPYKEN7YCBZ7SNPRC9E2E19QVDEVST25P9N8F26S)
(trans 'SPYKPFYQ53AYGYVT61SYCS22864VM8488ATG6D2J)
(trans 'SPYM12M2CNYEPFQAG2W6MQHHF5MQCFWDR3PP67QZ)
(trans 'SPYNSC8912WVNDPKFVTBHPBDR6MMQYDQ1AW7ENEY)
(trans 'SPYPAN1K8JACSFT4VKQKG9XBVA75ZESK5VY9D21G)
(trans 'SPYQ829C0KWNEVETW09C93CCBHV3AGM60AKS66AJ)
(trans 'SPYQB8P9D5HGZNKH0HYDQPKG0W10SYQ4YVA9VK6D)
(trans 'SPYQRAT1CYXJS8WQ6GC3778T36WQGAFZ3CPJ8PGT)
(trans 'SPYQW63PYXA8DFQS34GRMT5DPNRA6WR0TN19RY9F)
(trans 'SPYQYMC42PEKB75B5DRTXAPD5D9DT5CQW4R6X2XF)
(trans 'SPYQZBR1RKVCPXAF2AYECPETEV9X6R91ZS4HH8CH)
(trans 'SPYR3NSRS0G1JQADFYXH2RKYGKJAGH42EK207KSX)
(trans 'SPYR7NYWB6BXYCGBGGK78TSK06TC67Y5P950365G)
(trans 'SPYRR5KJ38Z358R7TJ239VFNA5HNYCZNAC2M5BMT)
(trans 'SPYRVFBN2ZJM5MGBEC236N22550JX31CVNE05SCR)
(trans 'SPYRY19HY4HGC7M7H6N4SY6D4FQCHCZW0RV4QV32)
(trans 'SPYS1T0BYTHAF65CZYN1A8N2E894KXFP6BAJYRJ2)
(trans 'SPYS54QW0VWYNRPCJG06G9SBSX7ZD4SC6R98GR4B)
(trans 'SPYS71RA1R5AE06K8CAD50SB66F2X097CVSW3S7)
(trans 'SPYSBR0WP7BYT0VTHC1FZ323ADBKZCZY3PSNGTYK)
(trans 'SPYSVQK2TAT2M78YRJ9TCJATFMA16Y0TVR81JK6J)
(trans 'SPYTB99NQ4KNS5STQ8QSAF4GMEQ6PF32X4BSZV0Z)
(trans 'SPYTFAGR3808H1350053KWRYAMR8SYAPTMY7T87N)
(trans 'SPYV31BTS7MA8X2DVAK4PN9HA5S8NBGXQC85961F)
(trans 'SPYV3R6Z83CMH3XD199EY3HWTXMZ6QXWMZZ8E2EV)
(trans 'SPYVFZ8Z7A5CFQNFVN6NS28KKFB2R990F2K2A5VM)
(trans 'SPYVZQ41MTY1ECX55H1P37ZATDNH3KRA6FG5QVR0)
(trans 'SPYWNWHVHRTT5R5XVNZSV984QA35MZBN8B4RV0EY)
(trans 'SPYWSTQA0A05BHETP1EMDF7RQ7976YE7BVJVVCEK)
(trans 'SPYWT3H4JQG72G0PVZW4E2M6FAK997KN6PDC26GM)
(trans 'SPYWY9T59NMCCZPDKK23GZB11PSR4WRFN81QBDNK)
(trans 'SPYX7ZEEM3JRND63W2D6YBD0CKDF71GFNKPEVEJE)
(trans 'SPYY773AMTX807WVMAV9H3TG84JER5DYASPPJR9J)
(trans 'SPYYGACE3AXA11168AT37Y9CV9V9SWKJA3R13D1H)
(trans 'SPYYKSV2P4RMT2TXW4YYD3Q7HDZBYXMAC6WWCJW8)
(trans 'SPYYT9KD836CQXKBS2PPCVJPBFYF864XDPAW82NQ)
(trans 'SPYYY94C5Q1C53CZBXW568KFGEWKP92ZV4GCG3R4)
(trans 'SPYYZJ61JG9SRG9CGT8Q5V9W1J9RW8TKY0QPPGX)
(trans 'SPYZ4V8AXEXT6KRA7AA16FEY9DF6DFGF9G6E342J)
(trans 'SPZ099DKHX983XYBH2WMTXYBSZF8F1ZQCK60025N)
(trans 'SPZ0FZ0162H8YH2535YJF6WHYMDENAS0FHXDGGR4)
(trans 'SPZ0RRJPW5J9G7HG18RC02XV3NGRFT7CNJYAP2HY)
(trans 'SPZ1HDTZQG8XGEYCDFSGZ15452615SH2KW82CJZK)
(trans 'SPZ1M0DNED82XWKA0RRECGQMQQM2CS2KB38TKJC1)
(trans 'SPZ1QYX43Y6MR16A2BHS256GYS0QTXEK8TJ61CXN)
(trans 'SPZ1WQQ3R94QT4T5FP2WE5HA7B8MGGH4VFAVB9NY)
(trans 'SPZ22NZ13PBRC3JN9KV78D8TM9MRANG46JPHD2YT)
(trans 'SPZ23AEJZ6WTW2GZA8083FZ0Z6XDAXC2RKKPZP54)
(trans 'SPZ240F1PRXK8Q1NQ5ZWP9QQKKHG63ZZGBAWNDB)
(trans 'SPZ245ZBKG60RNA0AVX1T7HK4C1B8FZS7PK3VXDE)
(trans 'SPZ24KBZVZETYFR4HX6HBFGR3Q2NQYVB0APDR7FM)
(trans 'SPZ2E9K71WEE1GCCHFX2KTZP2B1G32V5QCNPTNE1)
(trans 'SPZ2XZSVJHS4CF2T2JKR838V1E4B154XGWA2NYN3)
(trans 'SPZ3KG5031TP6JBWY2C085H508F44HH4DG0BZ6RF)
(trans 'SPZ3VWN5GMVPY20HWS2WH10KP4P0R99PWRQP2S4J)
(trans 'SPZ470JFW2WGWJYEZ1T76MGVGRTNXKVZZE1PHC9)
(trans 'SPZ48K5DMBJWTGFJ6QD5311MHC8HZEQWPBN50BJA)
(trans 'SPZ4ECVY466WZNS067W0WWFBH5WM82KMX4H79C8J)
(trans 'SPZ4EQXBNFABSSRRA02YQ6J7R9A20KKCMFQDP38Y)
(trans 'SPZ4QB693Z0Z1HVFSYE78BXR1603KTQQ8B8ZK1XW)
(trans 'SPZ56BX2DZMKSKQYQVPX6B3XG52DSQ3H1NTW3NFJ)
(trans 'SPZ5DJGRVZHXEEEYYGWEX84KQB8P69GC715ZRNW1)
(trans 'SPZ5MYJ1VEGFPGHREAD8K3575NEXW2Q9TSD4J240)
(trans 'SPZ5RE92M2B3V2Q15X27N1VCFNKMJCTBHRTENN6N)
(trans 'SPZ5RGAK5R60ZB9FFZ1XP7HPQS0CFRH8J85W91B6)
(trans 'SPZ5XENBTMR38JZYWZKX2HX82CXR4A4GYNE489CZ)
(trans 'SPZ6KH5ZWJJGSM8Q5E1PGQ41Y6F2N3AQPJ8JW43E)
(trans 'SPZ6NMWAKD2F9K2YRPE6EDZWDPKA4K56YDDHNWNG)
(trans 'SPZ6PBAHQ8J5QYR1XJCBAECDRAE2VBKB9YE97D46)
(trans 'SPZ6RE4H52X8MY6PF88YREAC27YWH8WA57K4YVX4)
(trans 'SPZ706QM79J28317ZYY2T9CJJJ7VVQ3NFDY0W1CH)
(trans 'SPZ726K0AHABYC5ZCAHBZV0VGSBV49SCT39R1DY3)
(trans 'SPZ7PH09T70WEFXXS9DGH8JS22ZQK4DNS1BB7G7D)
(trans 'SPZ7YBW5J8Z43T6VKR4JSY4GV222RM5QXETBWA6Z)
(trans 'SPZ8KVJAKQPA91AYF1WM3WDXMWAPN98CQZG982YD)
(trans 'SPZ8X8BCB8DBJ3JXDVHFGH2ZV22QAFX3K7HPPF3M)
(trans 'SPZ9733E2DM0WMEB21DZ5FBP1F0V7N6FPDDP9SCM)
(trans 'SPZ9CBT8YMRM4RA7VQ9TKTPHKJBB9WDKZ0Y8936Y)
(trans 'SPZ9G3BS7AQWTKPEP74A95F32TZTYKF1T4BZMKSK)
(trans 'SPZ9SAPXYWRNMX357717D11TC0E4EC8G17JFVZ0C)
(trans 'SPZ9TTR7VC1WPCWAY9ZSF94KNEW1TVVSTKXN19VS)
(trans 'SPZA7EXQX7219D2H0ES9PS156Y01G40V12E3E032)
(trans 'SPZAWXC98MMWKK1HZ9R03J6ZDGY1B2JT2KXDPXE8)
(trans 'SPZAXJC0XJ10HJ7GK54TW5KQS6TY7P2C6M2HWJ65)
(trans 'SPZB798SE5YKVZV8SW8G0GK43KHCTV6T634ZNXCA)
(trans 'SPZBR3JHKX1E4FD5PPF9JGVFJET97CMSD1NZ95C5)
(trans 'SPZC6AZT0GFKNV1M5900Q6X5H19NKDBRC160T53P)
(trans 'SPZCFP3486BF968TPQ3H6DBRK70YKKSAW3FBD2E0)
(trans 'SPZCTHDYKDEV23MXZZKTTXB3M9FG5FBC6DQGD7WJ)
(trans 'SPZD3EE1M7YMH3RCKNQE1CGPA4VDTGMDCT2QWGQN)
(trans 'SPZD51TXATPDBTVWMH8B8327TPB847RS4MHRBAEW)
(trans 'SPZDHDDDNF6ZJZ5MBY33BBGN8CGB1J5DW0CAK1DQ)
(trans 'SPZDQC6N21DTMSZ3S2R1JSZ4W0TVM2FC0A01AJ7D)
(trans 'SPZF8ND868RS4917EKM04950BTY2X1HQZVQW8F8T)
(trans 'SPZFD7JTKM5ZCT0DTY7A3RGDM70GBEXZ73T9J23M)
(trans 'SPZFK7F854SRDAJ0TY69ES22TT448TQ416WEJHVH)
(trans 'SPZG4WDJTZY7CP53TM00SGQDFWR6489401NK2JJV)
(trans 'SPZGFE0XA3V6YC383PCH6S8104EN9BWR2SPFYKBP)
(trans 'SPZGQQDNG2SC5ZY8E9ZQXB3PYQJRRWQJ39B43C1R)
(trans 'SPZGVGZ91R28AKSVYMA75JG4EC7D87JTPSZKDC3W)
(trans 'SPZGZ2K7QMH6AZRWS25AHH35VV2A6W045RMBB6V7)
(trans 'SPZHAHBA0HGFA8KEVE1D7WKXWF67VS63H4HTGYJ)
(trans 'SPZHCRB6K4FR6Z2NB6QEAWB7WCADB8V32VMRMYQH)
(trans 'SPZHEKHK7FYP9J4Q8V2QFS0J5YJXH070K6Q5RGBP)
(trans 'SPZHK7Q2MZXA0KM0915QH7B3AW59JWPCN4PHNGWG)
(trans 'SPZHYXAH8M0QB9E0CPZ2W7HRYT90WHMPW9PSJBJK)
(trans 'SPZJ2PNJ430XXH8A7W3HZSVFDRSFBTBYFERM7PY2)
(trans 'SPZJ7A5CJS2MCH5YDQZHREN6DX5Y1STJM0SWFDM7)
(trans 'SPZJANFWVGDQCCWA2N5PJBQ2RNHFNEYSP2EH4WN9)
(trans 'SPZJBMVJRE952PAS1S3W9ZPPA5J7SKXJ5BA7BX8W)
(trans 'SPZJG3XZ9EX0558V582RRQ7B33GKXZ4ESWQ7NNWP)
(trans 'SPZJSY1EQ6P4KMX1NX5CDFYJBEPWECFM4V58XB2G)
(trans 'SPZJYYG43RGD4R4RYPAN2FW2S7QNYCDMBATS8AQ9)
(trans 'SPZK3SD7KJGKM28K2Q5B65DQ3J3JW30VA1RZYBSF)
(trans 'SPZKBCMMR5EZ66V8P2V8TTP6QHKC8MXF6CNRE8TH)
(trans 'SPZKMK0V0VEPGAY1N694TPKT31RZ3FBAX95CQ9MA)
(trans 'SPZKS326Z1CJN3NVCABXEBB7WRSNTE3W0S1AKHCG)
(trans 'SPZKV81EDASW9CQ6G33PNQSC0P532WK3FJ515WNJ)
(trans 'SPZM4FNHP3XBVHJB4JT0V0EEDECW39ZNYZ9GHME6)
(trans 'SPZM61A8NMNPFWEBCN8QRR8DCTB6RV804EHPMJPG)
(trans 'SPZMDCNMRBFJ22B2TXDWZGZCTBECR4RBDTN97ACR)
(trans 'SPZMFFYR7YAJ3Q0GSA6SXCA79XC8QSBZ6ZXVMC15)
(trans 'SPZMKAHD75VVWDJDEX2YY2SNHD3HV27ZMVBAV4NP)
(trans 'SPZMKRNH6AM2WTKNP615FMC5W9PDPP887HZWJ46V)
(trans 'SPZMTHN7GEE1F1WB59T6F5W4JFR9BNGJEVWPH0DD)
(trans 'SPZN0SK6Y4JP96S342KR3HA108RGJBJJGE266CC0)
(trans 'SPZNABG4GB3Z62R66V08WDWSQ4KPYRQ6EENKCYP2)
(trans 'SPZNDFVQHVWH9C4PAV3Z9W52RPADDSEJ9R1PX4BT)
(trans 'SPZNS9D8R1NPXCYNXSRT5R9PCQW68SK6E5DWJXJV)
(trans 'SPZPG8BRXRADBMFTXA07GW7JFNBAHK27TWCJR1KM)
(trans 'SPZPNQGQ6NJ8W84BMH26QKC4BDS9Y0AV4D6GXCN7)
(trans 'SPZPWQSWEC4RPH2DK0Q8QMTGRD85M40MBVA2BT2P)
(trans 'SPZQ0XP3331T5YPHV13W7GZBB3H1269F0HN3FGN)
(trans 'SPZQ3NKB39TMEFYJJ3ANX75JNT6XYWQWSSD5F629)
(trans 'SPZQA7ZMDF3ZRJVC4DXFFATEB4JCBAGGJTP284B5)
(trans 'SPZQTCBRA7AXGYT023PPJCC7QXFEZQ7ERWR6QAE5)
(trans 'SPZQZ2ZDP5XA6KG2DM6J5Q93G872Q7K7VAJZM8D7)
(trans 'SPZRQ8HFCZE9CPNCXTEP65BCX78QJP8JZWGGAAXG)
(trans 'SPZRV0WD5BQXFMT85WAX6D8YQJPT22PWSYSNE1W1)
(trans 'SPZS3NGY9SDCYQK6483ZY87GW7AMSC261ZYS96MB)
(trans 'SPZSHMYN8PX732GV5C2MDJHJJE8ZCQPK4ZGHZXH0)
(trans 'SPZSQ94ADCS2DMAEMR2KNQ3XXKVNY73JJR9QJE6H)
(trans 'SPZV53PK1ABCDFD6W1C9R567GEKR4R1KFN086A9Z)
(trans 'SPZW18KDWAGRG0CK6VDCJV56QWYKCNKE7WHRK468)
(trans 'SPZWAMVTVVWYC6RX4TGPP90ESNV37ETZZHN935G3)
(trans 'SPZWY58BCWXSXK07XBYV8S3D4NQQ3T1FMHX8GH3X)
(trans 'SPZXA00TSDHGST961P6XM4DR0KV1MVW5AHYX5WCX)
(trans 'SPZXX4FGX9JE89Z53BZR5Q4CNPB9EVK4T2P6TVVW)
(trans 'SPZY0ARX4B7CGVNTTD9Q3BY9R7HASNC7JZXXTEJ0)
(trans 'SPZY2PR8WW2N3JSAWTFPJGTA7DW1AGFKCC0VHMVK)
(trans 'SPZY8KVJEGVTPV8TYDHMG0HWF5WKVAFXQCJ18K4S)
(trans 'SPZYARQK04SAFCEW3TAXZVGC22R5SEWG93R38JX8)
(trans 'SPZYC5JQ4SQ2Q82E0C79JRKF6P31HCDGS1MRJK85)
(trans 'SPZYN2AQRATSCMB2V5K6VZG9YW9E6ZHHD4PGYAAC)
(trans 'SPZYRGESRGMSCX9FFVG8WBTD1S5BGJPGXBGXXJJC)
(trans 'SPZZ3Z1GHKSB9TPMRYXYMHF9CJSVTJJ0BNZ45XRR)
(trans 'SPZZDFGRADAM0B3YNYMHW7Y9NAYJPWH9E18SRAJZ)
(trans 'SPZZEMZ68JQS43AA1E95NDA3CMV0PVJRPHE57RAC)
(trans 'SPZZQ4J6VBAQZQZ94QW5D7W0BJAQQSR2MBMEY8EX)