(define-private (trans (address principal))
(contract-call? 'SP1EJYSM3PDXCFKPY09CM2M13FPS26YVTCAH0R95E.TardlexLabsTokenContract transfer u5000000000 tx-sender address none))
(trans 'SPGNMNR3PZGDDMJ9BGD3PZZ6EVXBYG97W4J4Z784)
(trans 'SPGPCM7E3BX6YMC12KPF87P9NZH28BZHS84XTHAH)
(trans 'SPGPJ84JBPQTGXHQGD73REMB2RX0CS1CMNPHPP4N)
(trans 'SPGPJEVHZJ65K38XR6AWFKB017WA4ZQETAXV0Z35)
(trans 'SPGQHFJ28A9A6PZ56KGBYY4YAWWA0CNDZ0YWX1BS)
(trans 'SPGQMSR9B2V2ZKPVWG79SPBSPQ2CD14KXFB20PWP)
(trans 'SPGQSR8Y3EY571Q2ZBFT351HHMG3SQCGP4YVGT0K)
(trans 'SPGR0ZRYE9P63PXGEE0KH1888JHNBEXDFRCVG0HC)
(trans 'SPGR4Y3QFQ2RBH0BNV09D48E0PK474Z4FYCR8FWF)
(trans 'SPGRCAE9Q4RWGFSZGP88TNBXFA0H4W2VR67G7EEK)
(trans 'SPGRGMRZ9CWWJWYTEPKM08QA5XDEPBS6CRN4QTKT)
(trans 'SPGRN2K7J0VM12GNP77MKJX1NWFK0DEK95RSPJMT)
(trans 'SPGRQERDKBT29K5PYNBGF7QY2N68S1GVAC1ERWQW)
(trans 'SPGS7N9AV3YZYT9MFWBY12SZGSFDXFMBQYEMRFZA)
(trans 'SPGSAT9239F29KSHM56PSTJHYWD7M792FV7Z48RA)
(trans 'SPGSGCQEWKR1R48EYYECQPQX39N1N3RCDGWRCDTN)
(trans 'SPGT3PNE2Q92QPRTB7FM6FQM34NF17KFD68RSJ95)
(trans 'SPGTCTAFD8A4BDPNRCCX5BPAKTHJKHNK14ZW4HXB)
(trans 'SPGTD28AQJ9W1YEV5HQ3Y5Y67DDFG4QSVDRAGZVY)
(trans 'SPGTJPDRDVJH3D5ZRYK5VKFET0786WMBWR0WBTPZ)
(trans 'SPGTM2GF13PTDGWG8XF3GJHJBECKNT6ZZF4XNAK)
(trans 'SPGTRJ2Y582KNJP1VYZH2BE9G09KTT43AKXT2C2R)
(trans 'SPGV93PXJTFGBS78KBCF586N2PAH4JPVH91608V4)
(trans 'SPGW1AFFDCVR8479NFR2WW8D977TWSJ92BV77968)
(trans 'SPGWHG5NHYY7CYAZNRB95PWN8AY1ABJ1PF9EVFJN)
(trans 'SPGWRB61Z3MK9B9XGND857YYCYADVXXVKDGQ8YS2)
(trans 'SPGX6JCYPJEFD8SE0EAHPKM5M4ZDE8QWP1CQ7DK3)
(trans 'SPGXH114JA0R57W4M8RHS8XNGKWKSYSRTP9MADH4)
(trans 'SPGXJBN2PYMARJCE5F9BPMVQHGGK4MADBZ3ABZ0T)
(trans 'SPGXKJ0C1WZHR97JKHQ7ZEC6TMZQMRWD0T1M62M0)
(trans 'SPGXNQSF2QJ9KQA0HHVSA64WBE4SG1AXMDYVN1GJ)
(trans 'SPGXNR8809498XVXNYRSF8JR9GRAA8TKYNHVAP9C)
(trans 'SPGXWVJBR59RP1XK7H94AYCQFJHNZ7FSPJ1P9814)
(trans 'SPGYN0JFKZVEKB6KE4X5YTZATPG0M42A0Y1F8DMG)
(trans 'SPGYVECG634WDDNT34A5RRBB837F3GJCV8MG8Q23)
(trans 'SPGZMY6HQDTD69Q60ZJ2X11MG0B398TN1SBRBCVW)
(trans 'SPGZQKP50Z73XJS5DHWAG2CJE868CEYMW3HD272J)
(trans 'SPGZRPG97X81CZE5AJAN4PYS4NFDG1Z1K4Z2RXNT)
(trans 'SPGZWJPE8NMRJBN59Z0Q451790E3TNP5HQ0SXZQN)
(trans 'SPH04S52TRX19JZA8086XJPEFSST1XJV2YZRFG61)
(trans 'SPH105HTPB86T6P24YGBZ3XNPT8PMTMWS3ZFP6X4)
(trans 'SPH25NV3Q98E5C1SMTTW9NHM6RYXW7EGN712F0HM)
(trans 'SPH2ZXHDKG8SRTK0J7QQGSV7KZ8S3AP58CST0NXH)
(trans 'SPH3F1C379BKG5X7YXQEZJD215NG1C2SGHA185V6)
(trans 'SPH4171MVADSEJZ0MEDA01D726HT4NDARQ9NQWP1)
(trans 'SPH4PC8FKK06H227ESGK99XZRN7HZWNJPVJEWWY7)
(trans 'SPH4Q3QMQ1QKJ2Q3BD0FHVVMPRDJMM1P2MXDST42)
(trans 'SPH596KN1DNN5BA06GN6SBJSWCDBRV3W414ZF8VT)
(trans 'SPH5EGVRXQAN9DN2H88WHNRST4DVY8GM8GDD68A0)
(trans 'SPH5KNZJ4VHHF2B2MW9HX4H58WJNK0QRKYQJX7C8)
(trans 'SPH5MVQF812V2KJ81KZ8J2AD8PXCQ4C0YW8Q6DHW)
(trans 'SPH5X4ZTVRRFY1EEAKVANEJVQG0JHC0F183AS448)
(trans 'SPH61TW1E7RF86HAKN6WZS2YYC26QY71MR2B9X4E)
(trans 'SPH66HEX1CJ27Q72FMDH6ZNA561AXV5PS20X09S)
(trans 'SPH6FZ3TGS22E23RBMHXGAH6RK08JP1GQZD15J4K)
(trans 'SPH6M1NYC7M3ZY9BA9DHPV4N8VX085PAJZ4ZT93K)
(trans 'SPH6QZB392YWWTPCS6NX2R4R3YBAV7SHQ0QRGB6R)
(trans 'SPH76JZMDR6Y75W4DFP8SXDGGKZJC97PVZQ6PYJR)
(trans 'SPH7NJ85RF9YEECNQE7GVGHQRVBARAM2D198FFRE)
(trans 'SPH7P46DMTTFNSHDD33N6G8GFE1MQB2R0QW176B1)
(trans 'SPH7P7209RYS3JTH0WA6JAYKME4HEJFNF0C9EEP6)
(trans 'SPH7YCZ512SVCNWWR9C0H6K6JJKG6XSZ6J5YHS6S)
(trans 'SPH9010H3HR4SCK5V12FCZYTBYHKCXC1RGE9MY3X)
(trans 'SPH90GF1P19VRE35W0D433R5YSX3EAS4TR3WS7H4)
(trans 'SPH9XT862HCNSHCDW9JQP15GTK6MMTQFJ81CV9YM)
(trans 'SPHA23ABVVP73QJJM3SCEFVRB9NTYKBXEAHFE1VS)
(trans 'SPHAFF464DK5AFC4A24NKS4697EDVTBCC48GJ2GJ)
(trans 'SPHAH50AD6YYKQE63768DZH1NG84KMGVPKKCB7H2)
(trans 'SPHAMTP4B96XZ9H9XX9868FWA20XVMY4HEN9BKK6)
(trans 'SPHB3XX8HW3H1W6TK6Q37BRJB8QSYX8Z6MTRD3QF)
(trans 'SPHBK1PMBNWXDNGEZ7C1J2ACESEDXB8XP18PJM4Y)
(trans 'SPHBWK68PD08RS4Y13GRSB83Z37SKDGAB9J6CHCW)
(trans 'SPHD4XDKT644J5ZQ9C96A4741752GTQ5184MT5HJ)
(trans 'SPHD8JEVZ8Q7PMGJ147BWWQ2XYVMA413AAV9XRTK)
(trans 'SPHDA168NF1MSQMVYT7CC58M48C6XFABNQTFRKJZ)
(trans 'SPHDHKHRCEJR2HGH72MJ04YGY69TCBSKPFN2M3KV)
(trans 'SPHDN375JDERBEBKSZ61D4J677FQNQ6VSAER51H6)
(trans 'SPHDWQH9H6QKV24Q8K9BZJ7JS0JSHF5ATKPJ9V03)
(trans 'SPHE1RBKSK0TX6QM4N97SDHKS6M3VJMWQFJF5KZS)
(trans 'SPHE6TQPKBEDJDRTJ7XMVPBA7TSWPE4GBX37SMY7)
(trans 'SPHEYBZQJ61YVFXAD5NE7RE80PRC86NDWMRBPSFM)
(trans 'SPHFAXDZVFHMY8YR3P9J7ZCV6N89SBET203ZAY25)
(trans 'SPHFD74ZKRN6NCBYA09Y7XE4CG1AS1CA416E2AQ3)
(trans 'SPHFE6N86GH7JGP978ADGA95P4SGKGVPSCPG5Z6H)
(trans 'SPHFNT5EKP2E29NVBC6YFMQ9GPSC2BDBBQMG4CCK)
(trans 'SPHG0Q9Y9PG8J15F0M2XSD5EMNRD1RK7J5X0CN9R)
(trans 'SPHGRD89CPHBDQ5GTV1AASCN16VRS3462X67A2HW)
(trans 'SPHGVKS3RZE3260426M3709VQQZ1H2NECC8SHV76)
(trans 'SPHGVV4J4W1TRHE6MZVP4CXC7DNY7MHKA7SFAW4G)
(trans 'SPHGYTD6E5ZSCHMZSJF0HJB3HFE00XX2AD2GDBNW)
(trans 'SPHH404MR1FF4765EC27ARBX0F0G2ZK54A594J53)
(trans 'SPHH6R1YNM654AT9QAAK43WHKDGHZ31N7VN3SF7B)
(trans 'SPHH7JF7SF98X9JTZ2NVSS6EYAZ9C76GW1GPJZ13)
(trans 'SPHHGKXFM5AAPVW2DQ4K7YJRSADVDM5ATEZ4FJDN)
(trans 'SPHHGNDTW70J1VC3W31HVAQN4FW0CPT4WWXF6KK9)
(trans 'SPHHY5ZW681H9SZ80E2D3F9CJDQ3KNS5E7KXRF3S)
(trans 'SPHJ84TXMBBTP4M6FHRXSC3118R41CW5VHPPS3XB)
(trans 'SPHJT1T82A71ZZ9A00D08BZST4VE0KVKSRJ7XFYM)
(trans 'SPHK8A7P61C6ASWKYDX1PCDX9YA54DKVJN49EXGJ)
(trans 'SPHKCQSQDV5NXX3Y1PYSX529F50Q78FWY46GD6SF)
(trans 'SPHKJMAY85FVFVE7GQRK5JK2K33B6545S11HJZ5H)
(trans 'SPHKNB2BHPZZJZAQND4ND16P9N5WRK4JCXDEBNEW)
(trans 'SPHKPJXTXJ67E195R4Q7R5XWY4AJFNGW7300F5SP)
(trans 'SPHKT29YGPTZSM957VERFSR6SF43GX24V220EBN6)
(trans 'SPHKVR2GDASDFQ0BC2QB1J07GZ47BFE8C4XXTNC2)
(trans 'SPHM32PYAJJ11NSB5FK71CZ6BPAMVEHDHSP8H723)
(trans 'SPHMGRFET3RX65GCV2E2PMM1GVKVVT8RRYNQ3TS1)
(trans 'SPHMXCT3YFKKS3F3BPKA14W93DZ3113FYM9P4G8C)
(trans 'SPHN8DZZM7BJZ1P0SCMQ5KGC2ZWB9BBJQVRZVHZD)
(trans 'SPHNEK02MTZEWEDN437T91YQ67V23TDR67CNMP0J)
(trans 'SPHNEPXY2N25RTB6BMJGJXAH0XSHV55GZB2FC69D)
(trans 'SPHNN0GM8XJ7651E7C5733B65VZ9CSPCW82514G)
(trans 'SPHNS5EDY6NXD9JSATVXDTPP4XDXYV33QCHDSXQD)
(trans 'SPHNZPN8T1A0FC4TAK8011GP0TKNYKAEFA3HW7D6)
(trans 'SPHP4P6M53JR5J29TPXED23WDN7JHZ6CJ4AKM02A)
(trans 'SPHPCMEMSACYB37MHJ24BDC2CG42MRS405K1G429)
(trans 'SPHPGBNFA4PK7NCVWXZ75CPPRA9Y8W0P6G7GV8KA)
(trans 'SPHPHNN5XPAHCZWB5M5PVZ1KK8GY9C4KB1R7N6Z7)
(trans 'SPHQ1N4XAK7K3CT2Z6QSWMQXHKHJXJJ1WV12NVZ5)
(trans 'SPHQ41AFRRXBXRWA0DCHQ9YS3F9ZZAF6Y97Y9B67)
(trans 'SPHQ6RMW70NA9Y8QG7BA1MNYM1FDD02HWAEBHS3T)
(trans 'SPHQ7WH18PZYQH5ZTAHVHFXXM36613N78RZS2DHS)
(trans 'SPHQCGQM0DT1E8Z5GE6WXVQNV65H6256DZ80ZRE9)
(trans 'SPHQSRNGTFMSXYCMSBZYMRM9HCD6202TPST4APX3)
(trans 'SPHQZYMPJHYXCMT8BVRY854DHS8271SQ3FTEK6RB)
(trans 'SPHR5RFZR0D546CMBBKBXBGTJBNNQGHHQAST5K97)
(trans 'SPHR6AQM483RCN6RQZA82B21FWA2SDXXHBA9K99S)
(trans 'SPHREZKWDWV14AR65GPKTWVX9WFNWR1S6E0V8GFH)
(trans 'SPHRSPV4VB9GC97P9WHN2MSD5VXFDC23MX0C5M01)
(trans 'SPHRWKY1HTC2419KBP4XT8Y4F5Z8KSYB6GBXBJCY)
(trans 'SPHS59MMSCT0XNWTWJFVWGQPGZN6TTDAMAB7VGQG)
(trans 'SPHS7JMJV4Y9719955XAY87NJEWA5WE6CTREAHMS)
(trans 'SPHS9K4GSTSHCBE3PM9PNA4FBS3T03MA8GCZHKQB)
(trans 'SPHSFZ0H4N73HF432E9M46EN7E8F58BAK3BPS1CN)
(trans 'SPHSJ8X8NM1B59FRR9H643J93TC8G75F3TGWNRJ1)
(trans 'SPHSTN2FP9MTEGTKETXV4TD7EWFW8CGAVRHS1Y22)
(trans 'SPHT2P5JG23BG13PDMZMRGGZ0TGFBB0VJH8SRE6N)
(trans 'SPHTYHRWF34HC28HFSFGEPGHGDR4C4ZHGVVM5PT0)
(trans 'SPHVQ733PNHBZDR5NDP8Q5155WJ3TPMQZ84C1CBF)
(trans 'SPHVSRT8HSEMSTTAAHQ6TX227FA99VQZV7K8J646)
(trans 'SPHW2H4MJPHR2830EFG0RWFB1FJZVRHS6DV9CN6T)
(trans 'SPHW4T4S4AN5DTW10EZYDHV3KN182NHPQFAYC0YK)
(trans 'SPHWCHVHRY2Q4884XNNSV8B3J1T41PBN0GQE16A9)
(trans 'SPHWNP3PD6ZVNK59731BR7QR8BK1VACZ2NE0ACF9)
(trans 'SPHWZ1JJGYRT7MGQGAG3JJ4MQEVM7YE69WGCQ8R8)
(trans 'SPHX7JQ7DSEABF3956Y8ES7RBDGMKG72KZ85AJZQ)
(trans 'SPHX8K525GMMB4RVD9951M3172T1NAN5Y69HTSC9)
(trans 'SPHXMM75R2TRGW58BH1S5GS99HT7RD64D6EE9F6E)
(trans 'SPHY786H3MYCPENB6FZQ0P2TWHYENQBPVRKFR2QY)
(trans 'SPHY9QWAVXDKTAQM9EGYKDM7DC3HQQP9ACGZC1W3)
(trans 'SPHYAYE0Y0DK993JHGG6HA4V5XTT703E0P56F181)
(trans 'SPHYMWY8YJP03CEP8Y5C3BXMCC9J0BF5H8D7ZW3G)
(trans 'SPHYTTFFY3Z85F1KTS4F9N15ZVJVD8X009VY4ZTQ)
(trans 'SPHYYF20CF09CNMY1JN4Q6GPDRT5CECEFVX3JG7G)
(trans 'SPHYYQVC6Z5H94PE55DJWTB351WG2NJ5PP406FNX)
(trans 'SPHZ2D95YXCYTFZS266W790GC8RZ558RZPH287YH)
(trans 'SPHZJJXGNCT8R9XZPNNJ8FJ464SKPTBN1EAEAYSD)
(trans 'SPJ0D8BENTG3W2YHMN0YNHNJVVCKQY9T6K51QQS0)
(trans 'SPJ0DC935CW0EAGY5A2E2309S34TDHMCYFX6SKGG)
(trans 'SPJ0KFYFWVC57ZJ9ZWPEZQ7E6WDR0YPSFANHSTMP)
(trans 'SPJ123CRB52V398GAGE9P8FK00V224EACQ5PA4WF)
(trans 'SPJ15CQMWACWMXW9XBXRNQ20D4P7KFVW1VAZCQTK)
(trans 'SPJ16DHD8YJ4909HWH41CTT4QZA3S0JXJGERK1GD)
(trans 'SPJ1CARHETD7VDYJASPS84FAZN68JBK6JAV0NGQP)
(trans 'SPJ25PPMNNVYSHRP9ZG6D6KXN4R7B4JFKQPRSFK3)
(trans 'SPJ2D6C57S83TS58W74SW9GECCP9EJ2P5G818E3W)
(trans 'SPJ2G0T17D971W4H0PT0Y8T19TS1TSEDRA22RRVQ)
(trans 'SPJ2KFJG8D1PQ6YPG5KCVNVV6ADASFPYHCXRERDG)
(trans 'SPJ2S2JWKZYT9KT5XBKV05W0ZJZSSA2Z2TKTDY4T)
(trans 'SPJ2VA1Y5D66VSQ0DZ980S4TSEJ8HVPM51Q6PXYX)
(trans 'SPJ41SW7R6WJV4G42S51XB2QPJFMDQATDSASN9AK)
(trans 'SPJ4H6K94100H8GZEWSA046AN57RAMVXM1NZD3F2)
(trans 'SPJ4J1TF18CSGB2HBRMZHWYJEHK9BKQ1SDFX6BRN)
(trans 'SPJ4P2E8CRCHQTE2CQT6Z9V125N6FFH8S64W42HZ)
(trans 'SPJ52DQFJVJACKHY0QX5DRE559MBCXWTSGNBN76V)
(trans 'SPJ5B5FT007G606XTEMY6MCD0DY2KASXNQMWN6PP)
(trans 'SPJ5WQDECY8H25PGHPVG1B587ATRWJH448K69XVZ)
(trans 'SPJ5X8PJ6WKQHQ88KG8WGVNGKCH55WD3NNA0ZSTZ)
(trans 'SPJ6PK7F9Q7BR46KTGKFN4GH0QZGHBF6NS35BXEX)
(trans 'SPJ6SB99GTVXHJQR8TNS369CYERZ638P1H7RZP8D)
(trans 'SPJ6SFYTCJER9DQ6AWBM1T5JNW6AEM2X4T8JMN3C)
(trans 'SPJ6VHQJR340M8SRVR651TN4ZE90XBS2EX80B78B)
(trans 'SPJ6WWHAZTB329AHTW251E8EJR8X3RAY6CXXRWNC)
(trans 'SPJ6Y7D1TWZW8CBR5J6P3SJM2382BDZJC32WC9WE)
(trans 'SPJ81C2WPQHFB6XTG518JKPABWM639R2X0B331XE)
(trans 'SPJ8DSPTG60SMV4DZ88TZNJFAKAEAFFW25YKNPH6)
(trans 'SPJ8T60KXZ2ZHKSQCHNQBG3C04WY6D7QJ9NDFZ8N)
(trans 'SPJ8VC4DDR71FPKDD3HM1R4JV10NGAVAWYWMV6VW)
(trans 'SPJ921TJCZ7C71PVF3D5WBVPY2ZPXE86ZQVF74GY)
(trans 'SPJ9EMGQY2098MCE83E0C4FQF8WHK9ZQNDVF9BZ0)
(trans 'SPJA7YTQWKFT44YA0QDJ22H06T5GR8ETS172EAYW)
(trans 'SPJAZER4JSHAV9607YXDR9ZY8DXQN1NSP02E8VE5)
(trans 'SPJB6H96ACX05CHYE0QJ0Z7RTZVM14Z3NP3J3ECT)
(trans 'SPJBAMPJ1QCZ4RYT6W13BA4XYS4YHKB3T19TFJ9G)
(trans 'SPJBJANK6A06SER2CSFP8FFYQKEBF4W0ZBX1ZEYE)
(trans 'SPJCD6PNAG92E8N5ET8AX7J4AK10TKENY6GR87TM)
(trans 'SPJCDFWZP62W1EPKSWGDGKCG8KE8TKH6B4A4ZHXZ)
(trans 'SPJCMSM4S3Z8TCQTJBAWGF9V13EGJ6S63GRESS1T)
(trans 'SPJCSG2ZJD95JR4QG9Z0EP786WN7T3CAF7GKBD01)
(trans 'SPJD35V6GH0PQRHQ8D7X1VWVYTYWXS8ETHSH0QHR)
(trans 'SPJDE8WHJ4945VWV5JX2GE97FQSM45NJVV1NEQ4Z)
(trans 'SPJDFGHMPH9QJZF2085DG6YFBN7SBN7721MV9VHC)
(trans 'SPJDNAXSR9JY7DDH34M0FJATSW8PWT5JRY2QDDDZ)
(trans 'SPJEGKP6AX1TB329TWFYXSKHQ1X75F1Z13SP85J8)
(trans 'SPJEQ1DHMF0HAAC5WWB893G0PAKZ776Z8KVGSFG6)
(trans 'SPJEXDXRS44QP0HWT5YKKQ27VJXZCB9GGFT59PTW)
(trans 'SPJFHQVQNGRWNX90FA49QQ5RGPR31YVVFB3EJ71D)
(trans 'SPJFRZ3NC7FA3SX9G5PF9Y3PKFCAQ0RSNYYB0870)
(trans 'SPJG0XN0K9C7BBXFMNRRQAZ9PZSQDHP9HW2F4AND)
(trans 'SPJG3YDYXB1ACWPYE82XEF94HJM7VQCC4JN8EZBD)
(trans 'SPJG6SACSDCP172PDHRZKGQFAXZDQ7BG3TPAV1Z3)
(trans 'SPJG6YPP0SDMVYGXPDNBY3WG4RCYVRD0PTR08N6Y)
(trans 'SPJG7KK60G45VG2M51JNHDHN2TWBCK45V9F8KAVH)
(trans 'SPJGHFMCMZKVMP235HDH5KZ82BDY414VT3HWF9MV)
(trans 'SPJH1F1CDZGYYH1VN5RNEC6MGBMNWWA5BHMHS248)
(trans 'SPJH64FYTS1XTJSYSHCMGFRGFTJKEX3Q3KJHPY46)
(trans 'SPJJV838FEQ9K9CQFHBXX98AN1TW546V2583WXRZ)
(trans 'SPJK74R3P7VGQP7WZ2X00SVP8B3Y4NDG32DKKT09)
(trans 'SPJKA69XZ0ZA1PERTD45G46M25MY1V8DEVK6JJGV)
(trans 'SPJKE9ENFNTW8QPYP8XTGYGW9VB29HM2W5570HCG)
(trans 'SPJKJ22Y0R9GGW8XFR6AJPE3SGMRJMF762MKQ30G)
(trans 'SPJM3QMH1SC9DP1DG0DNBAHM4MNV578Y1C1DX9KC)
(trans 'SPJMHDGPPVBKPGPA49RKQJK4AMH39Z34JX3BXNBR)
(trans 'SPJMN4F9ESGRC3XVPKRYAV4MK4HEZ5R0704ZZ6TD)
(trans 'SPJMW4832TR95NH6CPW14MSGG10YH4J3PBR6QV03)
(trans 'SPJN6571KFDJ80QGJEFTBWB2E1J7CXMTARQJMMGD)
(trans 'SPJNBJ8MRQTMASDV5W18PPH43GEC9MW1MV5D6G2M)
(trans 'SPJNDBYSGM0Y6TVXDCQFVF7WT3GQ4Y511AVKV7Z2)
(trans 'SPJNFT63ZE5CKC1W825K91Q22FHSE3C0HC766WT)
(trans 'SPJNKAS90MM6GMJJ25Y3JC3TS7GYGMZRQ4D58XHK)
(trans 'SPJNRTH8AGXMCCX8M9W67DWBR60G3TACF6QYGH2T)
(trans 'SPJP49XPFNBRM2TP4EAE09HFXKHD9SY8NEZJXC10)
(trans 'SPJPF6V4B1M5A3YBB0X6JS9NDBW6BY2HQXDA5MEV)
(trans 'SPJQ1B126ET21J5938CJXVV8R5D60Y5DGQ9G4F1V)
(trans 'SPJQ5F0XR69EJMP2QPV9PEDSS5WJPE80STAQ2SQD)
(trans 'SPJQ6SS1WA7STR5HTCKQ4J8HJCMRDVESM2VCP2RQ)
(trans 'SPJQ8XJ9ZAK441GZNXYD9GE8K4PMZWER4X0J07DF)
(trans 'SPJQYHZBXRK6NHP7DCQG8J7C5J8B2W9WHM7TZB7C)
(trans 'SPJR2R2G60V7WHZH6PRKW8Q5YXXWJQW925PAW4WC)
(trans 'SPJRW4D4JACQQQQ5DK09P1K7M2TE8PGZJ638HCW1)
(trans 'SPJS9VKXJFGT33VKVAC8T7SHZHB0HYFK7GS5S73F)
(trans 'SPJSCH3DDEJ8GQPGYZBHSB4F3HX5Q222CG89PSAB)
(trans 'SPJSQ81TF9C2PKQ7D9ZK6FTC3CWVQ4C88M5JTHAY)
(trans 'SPJSS7G97N31CRK4BDRVRGMN38Q7W39QEMSQYMTN)
(trans 'SPJSZYMGNHTK7Q68EVJGFWM64H2VJGFNEK8HF6HW)
(trans 'SPJT3WWPT4Q925GDE9BBZRC5MNZ3SMP8G7VMJSNS)
(trans 'SPJT4XBRPY4RWNGAK4WKBTRBSZCHV3SG7PSXWH2X)
(trans 'SPJT8G4DA24ZDF35WMY5FZEQ9YJNK38DBN2D48QH)
(trans 'SPJTFCPJX0KKVQTAJSB85TVMYGFNSA488D7XY8ZF)
(trans 'SPJTQN66B02H140YRBHVE03G86RJ7M5G722387R9)
(trans 'SPJTWDK2MVEZ7Q1FEENCPC8EJ3SRBY8SMQMRRSP3)
(trans 'SPJVA3PFR5FSH9P10X4FQP4E5HWM1EB6W80J6T19)
(trans 'SPJVTFT8X5AZCYRGE5AEZAAWXYY4RDYFRGXFA777)
(trans 'SPJWDXP3D1GTV6RAS88WM4FY1AQXR5K5Z63CM9GG)
(trans 'SPJWGYDZCFK4HC10K6KE671F245TKASWT3GWEJCW)
(trans 'SPJWYNHNRN1MJCX4185R7GNSX6V4WTSX9SN7DHBH)
(trans 'SPJX3C9TN7WK4R07R6Q90NQQ9ZXTXE31JN9AEEZS)
(trans 'SPJX6KZBV1F7HA6KHYXAD35MKJW2APSVGCNWXVD)
(trans 'SPJXEQ8H1NT0SXHPN44NGEWCS2KV3D2XE292XZ6M)
(trans 'SPJXVX7DCN8EZR7VRPN5KHMTR8H4RCM8VCZY1Y2M)
(trans 'SPJXWDR6YPME7X4BZ8PK6WDG76B7DZVHKEPAACF3)
(trans 'SPJY7TSED8F6323YV5H3JWQF87TJJDVFPPJQR8ZE)
(trans 'SPJYE321XPCZ73EKM5GHZGC5ACBPS4KHGB4E4GGJ)
(trans 'SPJYG3K6ASHD9JGFAHKNCH5A9DYFNPET8P7XGX14)
(trans 'SPJYH7C2F7SJH13E5JB5T6HV21KY4BAYEKSF1AV3)
(trans 'SPJYJ2AAPD6R8DV2KCXFY8SGFMKR04QBDFGNCM57)
(trans 'SPJYX32DA47N9R3CE6XFWFZV0V92X2WPTHA394SV)
(trans 'SPJYYYC3K1SNBCEXX5N64RBAPX7HA94J8HNJ1V32)
(trans 'SPJYZHSAJWF8WD67ETPQHMF6XF5WARW9E9CBWMR3)
(trans 'SPJZ3WYWFZTVC06H9BP6W1F9S914XPRMX0TBKZ60)
(trans 'SPJZ4AV88TGS3VBDWQS3JZ46X49YZ6TYW4N9PM1E)
(trans 'SPJZTT253P1VK8H0JQ2JNMA2ZFBE1ZRFSS7VWPRT)
(trans 'SPJZVXPBN0GHHYQA3KAFJAAK7RQG3ANG6RAB1F43)
(trans 'SPK00F31101H9M2AG2ST96AE6FDNVW8Y6NWQ20VW)
(trans 'SPK03A217BWRJBWKQ4EKNGAAK92PNN1NGJY6YGNA)
(trans 'SPK0R1N0KFVQ65M0T2G9YG06BABN0KZZXV8JAHY2)
(trans 'SPK1G3W7JWZSZ3BTQMPGXM5B3FKRSJS4T4J3Z69N)
(trans 'SPK1V1Z7BVDT9B9FZNJM71YR16NNK84QPQPGAPF1)
(trans 'SPK1Y9EYYJ9EPZE14YAV3GYAQEHTH175Q1DCA0MQ)
(trans 'SPK2780EBGCJG5BQKS62JG0SBPNBYNMYYF5XYFPE)
(trans 'SPK2B9PTVZXJVP1MZSGD3XZRCFC1N6DHSD64P49)
(trans 'SPK2EDKHZ3F2M28E5V9V7TZAQ0HJ6KP2KA6FPPYC)
(trans 'SPK2YQD5F4PGZE1EGBCBQ3P4B004Y5WTM7EN525K)
(trans 'SPK2Z9CB6VQD91GQC8C2R21H1J0JRJEV9GDYQEBN)
(trans 'SPK39RTZ9A5G549Q648ND6E22M406J9DM4DP92BG)
(trans 'SPK3CQ0Z6WC62MD6JFBV2KTE5S945CCD143CGPZW)
(trans 'SPK3EG816V3DC1RW8HVEQJ814XA3MFT8YC2AXGB5)
(trans 'SPK3N734VTAN0FKTPT19NY8ZF73MZX77TMRDM2JC)
(trans 'SPK3SWGSCNG80NJVWQTNQE3BHASHRKCVDKQ01NQY)
(trans 'SPK3V53ACNR5H3T4Z0DPWD38JV7R5XYT31W9HM9H)
(trans 'SPK40XSHAKV74H3VDAH7DZ930DVNYV6JA5XATQXT)
(trans 'SPK434CM7ST4FXSNV727FY9QAJPAMP6KS8NYBH7Q)
(trans 'SPK4519GN9VHPC5WD8H4F8BY18MFHDFN28G148VP)
(trans 'SPK4JGKT2MAYZB4906SDTAMWGK1FES97QH8Q7HXK)
(trans 'SPK597AD8NVBP1T6HBT6A5XV9BSMB3P9DQWH0Y83)
(trans 'SPK5B4G7J1TGBPYR8N1BA445MRTWQSBFBSPHBE0Q)
(trans 'SPK5CVS9H76CPM3ARZ7MSSG9EH2FDW1G68JQWWSB)
(trans 'SPK5HH9QVYDNXNDCFH6W5AMRSR5K83ZMT4GPPK7M)
(trans 'SPK5Z959B4NNKGD2ZX2RQCCF8037MHA7YV34WG9H)
(trans 'SPK60SRANXYQQ4GAJKFV8PGZ745CW2EHX3ZGRN8X)
(trans 'SPK6A8JQ4KMPSBQKA0JF2S401QQV3AM4Y1TJ7TJT)
(trans 'SPK6CX15CDA77KH3A60FT6GXBTMG8AN6H6JV4WFV)
(trans 'SPK70AN512VN2VRD52D0928MA05JVJ7DY2H5F3CF)
(trans 'SPK71MV0AJ0P24932VGQM1FPBED4PZ8B781ZMGHD)
(trans 'SPK752G0EKKQFTEVSEJK6AFNN501RMEMHHQ6KWJC)
(trans 'SPK7BNCX511MKE1173RQZCNKQDPVMNNSXEPJSKFN)
(trans 'SPK7DG4XGAFC8G000K34MK8N7JRX9NEWG7J1Q6F0)
(trans 'SPK801RMTM694JMM3QK0CVDPYECH7SFCHTJGJEN5)
(trans 'SPK8637VR1RY02R2WHA8E5KZNY418F7YEA42HV2S)
(trans 'SPK8785ECMV8E8Q94KQF94JVZ50TH8FTS5TMQV7Y)
(trans 'SPK8930ZVSM0Q7RER40ZNXD2STH0RTRGYXNPNG5D)
(trans 'SPK8C82NAVMEYT4VAYR9AGC6MTGQ2ZXB0MV3A8Y5)
(trans 'SPK8H7PG1ZB6DF927M98117JF57M32T7DQMRHGXD)
(trans 'SPK8X4P1YWBVHHZFTSZNXN4SVYCGY7B0PYYYB682)
(trans 'SPK90QNX6WX1GG1GHNVGD1NH4RJS6D54AFGY2GVX)
(trans 'SPK92ECDWCJREQN6FZY6KYWW1B7G3XWCBHV84M3X)
(trans 'SPK93NPKGW45JPFE8MGR0C1P9P5Q5BFHNX136ZC7)
(trans 'SPK99CYCH6AB5FYQ71KN8Y8M7SGQPCPWV7C3CFA8)
(trans 'SPK9F7SND93NVF9Y2WPT5QBVETASWJ2QE0C3MC8R)
(trans 'SPK9FHX9HT1ZX2B57Q8VJ5RG59TTNVRA9SSVPJYM)
(trans 'SPK9KP81Q281Q84SPGAMK8J12X2AQQJGT0XFPPCX)
(trans 'SPKA2RD206SFY5P9A5PBWEQH1N3SV0FTHJ7NJN18)
(trans 'SPKACWKYM7P32S7X0XHQDK6T6G1R286DM2JRHZ71)
(trans 'SPKADBG7J0186P87Q3XM847C611PWND8P81TB7KT)
(trans 'SPKADNRAH1R5YX16SFAR0M1NV9ZT7TNR2YE9TJDQ)
(trans 'SPKAHPT5CZNHXQM0VC1ZV85ZS3T8343ET04BJ6Q9)
(trans 'SPKAT88ANCDN0GFW6X53EBYDXHXBMNVFT5CDPV6N)
(trans 'SPKC18Y6SKGWADD48TH0G38YFJSB8SNM914X04XD)
(trans 'SPKCFNDAGNFQVHPKWP4ADA17T4KC9D7000Q4HRWK)
(trans 'SPKCN7FXPWGKN6NSBHYA2EJG8PHF451B5BMRXGP1)
(trans 'SPKDB7VDYMS44M700BBA8AFEJQ8X5NWSWBQV8QY9)
(trans 'SPKDKR58FY2MAWRRJ5R56BKJM9R1868276K73KWJ)
(trans 'SPKDQTCRN7RFT0B8YMTBBVJA34VKTR7B8BS619WM)
(trans 'SPKE4NDPE66BDM97QPR8FWNHFDJ8BCY8HKHH314H)
(trans 'SPKF0AHKRPYZH6CBSGYJ87DWCB8YZWK0YRQA9D53)
(trans 'SPKFD4ZQ1HYJF53AK93V9FB7MQ0W0NSSV9QNAS37)
(trans 'SPKFFFE7S9X2FYNYYS8MKF6ZP35G4KBQ107TS9EY)
(trans 'SPKFHR2H3TDTYAKXA4CRS7SKB8MJDYG6A4SR8Z8V)
(trans 'SPKFSJ4T8T39ZJN455QBY7TJX4DYF47J7344HNNF)
(trans 'SPKFZ21KXCYMYSKH9806J2PW7GDBVEP6G8DC4KE7)
(trans 'SPKGEK5RMADKAVG4P68WP2NB0HZFBS4G2BJ62MPY)
(trans 'SPKGEZ0ZPRYPKE5S031PR8JZ2X872Y0V7346VXXD)
(trans 'SPKGGF55Z4N99H4CB21DHA580021E9EHR9TF1Q4G)
(trans 'SPKGS0Y412RTY88A4A8S1XF8EEPRM3BVJ4FJ8GYP)
(trans 'SPKGTPK3BDQCTC6QCEQG79QC2MT1KXWWDVS45ZQC)
(trans 'SPKGV2EB045K32CH79T4XPW4CG2MPWRXJ9MJXS2Z)
(trans 'SPKH0E0QRGD84JZXATWWH0SXNCXS0DTCJNRGE6MM)
(trans 'SPKH1FYTWT40WEMAK7V6ZACWCMHCJABNS5W8327X)
(trans 'SPKH1YXSXFWA2JXA662VR8FJXNQVF02ZX0SZJ0JN)
(trans 'SPKHZXV6K1C8F43GA469QYB7R12C6W1NKNX6R5YS)
(trans 'SPKJ2E2686AMM309D401X7WHZ4RXCYS0SPFHN0W0)
(trans 'SPKJ6XG4AN8J11ZS451GYME8AS8865H2YG3CA8HN)
(trans 'SPKJA9JX6VMA1TC1SWEXKXYYFAEJCPFZN1MCY428)
(trans 'SPKJDTA43T5P1G1JWDGB6FF8CM0WA6MGRSDCRZYR)
(trans 'SPKJJH2GF6HYV713KWHA2KBYBKRPP88P6FV5HW4J)
(trans 'SPKJS228CFCZ86Z0E5MCEHJFAQJYXZ695RKV3M9R)
(trans 'SPKK28E18CZR4GS9T52FSNXDP2KRF49YS733CSRV)
(trans 'SPKKJXA3XJMKAKM2RSYR2P02MS37VRY2GA49MT7Z)
(trans 'SPKMGTEJ2BKH5GB13MH2VYQR96F3A262A09V18HS)
(trans 'SPKMJJE3MD1RH2CYJG2JAEBE7KDX1P3B5QCZ933P)
(trans 'SPKMSHFG0Q3YDDJBRQRYY4DFJFSKRCJN5V1KGSD7)
(trans 'SPKMTC05R1ZHXCDMAR1FVX52YKS1T2TBHYKPG5V3)
(trans 'SPKMVQX2EJ7AYBE3XPGYMN33MPFEJ7N806297JTJ)
(trans 'SPKMWJBZ6FMW8XVT64D6YN02P4RSAQJAR6PSK3AM)
(trans 'SPKMXPFMRQD86MH1MEEF5HZPEJC6YVS46PYEAH5V)
(trans 'SPKN65R26G0217PQB64YMKSXSDRDV6B57F3VHMQV)
(trans 'SPKN9G4XHTR3QKGE13YT8M9WFVR91GFS6D81R7J2)
(trans 'SPKNMV40D2B25D28HYH4XCM5ECQY5WB2PCSV9JC)
(trans 'SPKNQV83VB99RXXMFS4C3XS0FPBS7MJZZWY65KJV)
(trans 'SPKNRHGSYF7X8FP8XR4VK8572RXR1CCM2Y4R7V31)
(trans 'SPKNSRJ7HE2A2Y0V1KY7Q2729HXZX66VMCG73W7V)
(trans 'SPKP1DNFMXKFASR2KNTCEPADC10XK6E9MQ8YFKPS)
(trans 'SPKP1V57RK96NQN8TAZ0ANGV6RGQ9WAJWNJ3T19E)
(trans 'SPKP9HP3XYY1HYGWZ55NJ1GDTSJP0WE4QAC8TKAS)
(trans 'SPKPA06RC4DW68HGDS3CFEXT7ZH7QPMGM97B7K02)
(trans 'SPKPCTHXX47GTG7CN7F2SWF1Y17EH7PECW6Y1RS0)
(trans 'SPKPDKHT2TH732Q4FZCM3EBS5WFWAT96B5R258S7)
(trans 'SPKPFJCXQ5B9EK4X4VKA0F0VZAP46XHR2WRANSE2)
(trans 'SPKPQHMB5MNBNYVR3ZVAPXVM9Z6F76018T1KT225)
(trans 'SPKPYMWSJXX4KNAQYZKS0T7BRMESXGQEME4J2WJN)
(trans 'SPKQ8HJ1ED0Y7YGGH72YJAVX9J73C0D0D6QVCJ8T)
(trans 'SPKQD35CMD5Q1PD334M3GEADTQPFWEK7YK23BZQ1)
(trans 'SPKQJ7T8W94JAQX1XJ7NQTZCGWW32W7XGR607EA1)
(trans 'SPKQJV7HTGC196ZB9QJP48TP39B0YAPKGZHSVT05)
(trans 'SPKQR15YP6XT98RBXZBSVC25NC77TP1QRAWQ2M15)
(trans 'SPKQWCRPKTWQ62Q5WM0BDDP46WR32RK7PR2T3RSX)
(trans 'SPKQXPZ92ER817Z6D0599ZPTFJNSZWTY59GW3N63)
(trans 'SPKQYX7V64SGYPZGBC7MV98MX4D39SCF45PQN9MD)
(trans 'SPKR1JG6RKDCA6DHPFC8VV5KSDKMBC28W3DZ89PQ)
(trans 'SPKRCW8E4YYBBBEFEAZ00T0HPVVMJ410T6VEYNDP)
(trans 'SPKRX1B4X68FS66YRRH54HBG5RXT9AH7880RMNTQ)
(trans 'SPKSG77V3EGXED5RJ4H7P6G2H24TAWFJFR083A9B)
(trans 'SPKSWW7N4YDC82SPZC69130Z50V7TJQP6GVG0BVB)
(trans 'SPKT1DG0Z92XBM3P6WGPBG11PPE9ZFH3BN362ZXR)
(trans 'SPKT49D1KNYG6F3QK3F9MAJ60K89VWN7SQ319M5E)
(trans 'SPKT59TKY2ESN3BCQ6XW9YQFATSZ7JEBQY1VFM29)
(trans 'SPKTA00Q3S27W9EVS8AFFGSJV0X9WVE11337HCBA)
(trans 'SPKTEXGCMJEQ7DG12ADXMAEKSNNSH3H8E2NHA141)
(trans 'SPKTM77PFWT06RAP3B7PWMFNH5Q89J5W707PW0CF)
(trans 'SPKTZ3RQDFARNZDJ3Q9EXDKQDAM33GP54GJXXWC2)
(trans 'SPKVB1PBQF8909VKRBXAZCP526RK1GV110JSN6WQ)
(trans 'SPKVDCTVG44Q2Z5SH7B2N5ZPQY7E846E2M7SXKSB)
(trans 'SPKVY9MQRVQCDY81TF9ST9J2PXBJHE162B552613)
(trans 'SPKVYNY262MDN11SX5ATCNZKDQX71AEBERQFDMDK)
(trans 'SPKVZAVEA4S73BB11R1THBQH83CTS2KXWPD8NVTB)
(trans 'SPKWD18XA6HDQPDXFJXRXW9QVGSQVX50PMN21BQV)
(trans 'SPKWVH3DFMGTN8CJ2CXRBGTDN7X429DV4VMBNN4S)
(trans 'SPKX0XZTV0309J3QCTSXKCA342FETW72WCGS3Z9G)
(trans 'SPKXBP48JVA3HVC94Z7B92M14SCTDTGKJPN1CK59)
(trans 'SPKXCC2E2YW50SDY7DX4JH6ETMW8HVP900CSVP1C)
(trans 'SPKXRD4E1JADSTTCMWHRTH0KCDD18CR1N0H6WD0N)
(trans 'SPKXX62BEA6FZD7F642VARPYTDP08AB7KWD63EYF)
(trans 'SPKXXNKCA75KSQKSZW7G441XD3XMB4PC1FWY1PTC)
(trans 'SPKY69SQZSB999DTPFE8VVZM9W0GYYFJKX5F9SP8)
(trans 'SPKYBSRJ9NV23APE29364W6KMEG7T0C908C7DQAJ)
(trans 'SPKYJ7E1RF39WATANYVA3EB528ZEH3BKCXV8HJVT)
(trans 'SPKYPVMY0FAMZW9DPVQDNGNVGFD4RQFBARGRMW11)
(trans 'SPKYWP0PTR69EA24A6KNJBGD6T6AZ00FS9DYA9FJ)
(trans 'SPKYX2EN4QR1A5DM60YM39SJQ5ATD8MC1HCQ7Z5P)
(trans 'SPKYZ54NDRA04F3HJA2HMCCYX9J63M6FFD3TKZ9M)
(trans 'SPKZ18G7EF5EM4E4W1303FR742AC515RG5VA6JN7)
(trans 'SPKZDRJDZCJQNC07FNFDYWKFBBPAKP554D8CAQT)
(trans 'SPKZJFAGJV18WJN05CKZH6N3ZZE40ZE16Q46E1J4)
(trans 'SPKZRWXHZPH77GN0FV34GPJCQSKRH1W2QRWXT36P)
(trans 'SPKZT621DA018K982CXYBXX168SF4VNN31D14NA)
(trans 'SPKZXWKA1AGXDR66JFHTVPG5KJSVMXX0S7B5Z6QC)
(trans 'SPKZY12EC00DH81NWR4GW4S5VH47TYN1XR6PVY0Z)
(trans 'SPM018P4ZYH9V4P9HHQXZZB4DY0FVKSM1WMMNZ33)
(trans 'SPM06DTBFP2E6056NGR0Q3TEE5SW9ZYRA98XZ23S)
(trans 'SPM0DK8ZQMMQJZ69TK8RRRFBWP2EPCEGNM7ZQ2DP)
(trans 'SPM0JWGJ8APK2C9RXB1683NRA2MGD0RB6TYHDXTZ)
(trans 'SPM0PZRW3MVN2JQQGKDQSMRQW6P2BJCA6REBDJFT)
(trans 'SPM102MX0GEKW8N69GQDG9Q1ZPJQ0Y7238P3KJ19)
(trans 'SPM16RFCM0Q49091F7V6ZC5M084F6461PS2B5B50)
(trans 'SPM1GJ9E5HE0FBVAW97JT624KESCJ3XHNGM0XBVQ)
(trans 'SPM1PKD8JTY9N8D4M0RS0J80XPWPEFXQ63T3F4C5)
(trans 'SPM1Q7YG18378H6W254YN8PABEVRPT38ZCY01SJD)
(trans 'SPM22Q5NHPA65M6FXS5GRP9J0SWXZGM5JF6QNZEP)
(trans 'SPM2BGGS3EZVPSKFGWHGNE3QDJQNKMAKJSC1TFQF)
(trans 'SPM2DAE4FAP2ME7YG4T0JE45SZ3BPAA8D1N8FA0E)
(trans 'SPM2F4C1GXYXMG9NNSE78XY595GT9SR0WR9Z1FZ6)
(trans 'SPM2HJVJK3Q65K06TWVQX8B9NKK58K9NNVZ1J74Z)
(trans 'SPM2YCT0HATWBNAHC4JNFT8909M33J9BBMK13AQN)
(trans 'SPM30MFT8BPD0WC7YNPRB14A3WSE0E9A6FCKGGQN)
(trans 'SPM3GE47QTMMVBT6DH0XFBXYS1AJHSSAQMYSB4J8)
(trans 'SPM3VEAX84AFTAXG4KPMXXDJHPXAMRJ1BDSSDQ8Q)
(trans 'SPM3ZEPNFM7XKQ59XBQ9XS2H86YHXSVP8CJX14N)
(trans 'SPM47FFWVBCG8T92MR69RDKHBW0GYG9Z17RCF1FC)
(trans 'SPM4JKECG23CJGXC93BDXX7579WVH5NR7E2XVC5H)
(trans 'SPM5BVEBYCN2Z1AR2E06A69HF1W70G7V5GZFDNPR)
(trans 'SPM6FSE1SX15SCPS8FVZ8EN72TV9HJBXAS4H78WH)
(trans 'SPM6M7F639RRZHJ85G46RF4CKW8ETC2J6C1WFJ6H)
(trans 'SPM6S7HBA65HK1DQA1YHD9Z134Q19XAD3GMS3NZS)
(trans 'SPM76X42VR7HHGJAE1JBKJ4BYHA31T326BJ8JGYF)
(trans 'SPM825TBCWH2ZV7HTS8D1JR7AYE7Y1V9XXZAF874)
(trans 'SPM88JG53WA1TDJ27BW2FW4AB51QV0JTNW8DKB7Y)
(trans 'SPM89PEENAQ3M7GSSVEHSB9KMY5ZV0BAD23DXC7B)
(trans 'SPM8CGZART0BXZW6PT1Q82NPX04WW48TFHD7J9KF)
(trans 'SPM8EYQKX80FFNVRV7F877TEAYZVYJX0WQ2Z4PJN)
(trans 'SPM8R41XBJRS8E9YWWBEBSFD7K9BF81S9WREKKB8)
(trans 'SPM8RAM4C811ZHRW5MNERAGAQNF18E3Q3MY7KAEV)
(trans 'SPM8TVPV7HGTW1SYBGS2KQNXC4B5CPDFR6YB88RC)
(trans 'SPM923TSGVG4VZ8BJJSC6VS4PTWBT2KPG5FRNKHW)
(trans 'SPM93XHCA2RRJKNDQ9K6KJQZX97PD0AW2QFMWB2R)
(trans 'SPM942AQAYEX6GVMRN3TZRWRETGEE2YN3RCYY03A)
(trans 'SPM970CR1C9JMQA21P22WH9VNXW8S495Z5HYZH1A)
(trans 'SPM9MV7MSVPYY8TFV1V2AFFCMP5PMVM04AJXT3RV)
(trans 'SPM9VW8DP43YP0JMNNYCVP4VVQR2H3GM2ACZPJG0)
(trans 'SPMA0EH4FZGPA1FJBQXJREE22CBKYCBBVH8M55TV)
(trans 'SPMA1Q4HMA9BJNNJZAVE7NEGA3MW2616V79DWJ3G)
(trans 'SPMA2CWE9K7HJYAJQJ3EKKK08FBSWVGQR8ZXHQFX)
(trans 'SPMBC7MXKKRTNZ6Z82JNTC8X2H5CK3Q4VYJEWKP2)
(trans 'SPMBRDSJFC3FACSNR89Z3MMMP6N5FAXSP5GWCDBN)
(trans 'SPMC8AASXJ7915D2XBN8M2XXF5RC6VSH4CR9R880)
(trans 'SPMCB6TMZA76NHMHCX6PE8WD77BH69M4CZX87DV5)
(trans 'SPMCMKJ1B3PKCZ72MDSJMM9FTAEBXNX00P1FV24Z)
(trans 'SPMD0CY0YTWAYCXEQ1WW7NP6M3C013MRCFX4AAXJ)
(trans 'SPMD7Q6S1QCBHM82ARE7K05CX102AET4JQ0WRM5J)
(trans 'SPME0QKJQZ384XFN4NWP9AKEGGPNFWKT3WEBTG23)
(trans 'SPMEGRJHFW8ZV9714X6CGDYR20D5E1C8G12HFZ3)
(trans 'SPMEQ7E77HBSWJSXRRF4TR428JKY7D7YEPA6XPSD)
(trans 'SPMFGP1WFF8E70EPCJGRGBDZBSM2Z43X4KJM3N48)
(trans 'SPMFMJJSK7PDJ0WV2NNNAAM8AG7JNDN1126Y773X)
(trans 'SPMGB3NJ41XW4CEP97TRHB3N6TEZ2VQP2J3A7SDP)
(trans 'SPMGBSTM8YYG431BQDMMVQ57JBQAMGQB7WK2E0B1)
(trans 'SPMGNPSK1XH7188MATVXNSPJ4V0E2ZH0TK3C31WW)
(trans 'SPMGQS0D2E1V4QVHWAC3Q9HRYAXT7KGQBST08NTC)
(trans 'SPMH5CV9TJ8RY5M75K98Z03N5GTYTBA0KPRE92K7)
(trans 'SPMH787PZM864PZY2AFVDDW9W9NMWMFXN5A8TQVZ)
(trans 'SPMH8B9WZVMBYKYRQMEVBS0D9B1BSEZ1T371210H)
(trans 'SPMH8TX6ZB5RNJC4CHR1K65T2A63NRK17VK717B0)
(trans 'SPMHP9QFFZ7CB1MJQQH2DZAZ4YN8V3XCCQSX7159)
(trans 'SPMHXEA0ZGQSKWXSY1KM4MEDV9TQH10VC4KVZ3QZ)
(trans 'SPMJ3RHXD5GGJ6KKNFV24ADMXZ7K1S3S9ZCKJG4X)
(trans 'SPMJ6PTDSHM17HCDQBV7FYYMM98R1Y2ZQ7GRM06W)
(trans 'SPMJF5T0Q1Y3N8PPR1VATY79E3STJTP0JRV606G)
(trans 'SPMJPP4ANWHBFG256PER1HW30YP183AP2G8MNPBY)
(trans 'SPMJRHNFNQ58AFRKC3T448HG6HZE3XSGP9QNSKG8)
(trans 'SPMK5YZDZH60XJZMDAEK1TTEDK0N20R7K1TA8MVM)
(trans 'SPMK7G3SW6552NJMVYRHSVXQHZ77B0KCPT01RAQA)
(trans 'SPMK7K17V5Z4GC5PVB27BTY467QR8EB037GBFDQ3)
(trans 'SPMKQW2BTN5EE4YGMA3PYVDG2XAXD07AGKYSPSRR)
(trans 'SPMKY1QWPRNW34CE5WCA0P9VYMVBQTHPGY0RD288)
(trans 'SPMKYECR51RWWGTT3CVR9X81ZKPC611ZQDZ2X672)
(trans 'SPMM6KVSNR3TEZVEM53SY1564X14F2GJ76FW7WNE)
(trans 'SPMMB6PPD39AZJ6Z40EN9Z0JXPW1X0N1A2WFAYN3)
(trans 'SPMMEQEZZX7PTN67C43RPD66A583MNB8KGRNC9A4)
(trans 'SPMMGQMRF1TS1SBB07H2N186RZH8KGH4BJBVY8EQ)
(trans 'SPMMKD0EDMMDSQ694NWWP3N9S8R7SF5STRT30QH5)
(trans 'SPMN4MJ4TBS028C24ZCBEYTHY7J0E5WCG9W0YQVG)
(trans 'SPMNB2KJ5YE2WY3MB8C7WN0PWFX0DSXSB9R227TE)
(trans 'SPMNBH2M8NY3RM1G3ETGDXH35858VZWS6DTWFR7F)
(trans 'SPMNTTDYV0Q03Y28PM3KVPPBK83VGZFK18Z7RC2R)
(trans 'SPMP792PF2XG97K9Y1DNSB43EYD5YTT34DKMYX8B)
(trans 'SPMPT7GFQDFYH16VYX5MDR49QSB6EGF0E6PT0EZX)
(trans 'SPMPYSY6J2B4D477001KT89R1T5M4XPZDS9SMEH5)
(trans 'SPMQAMQP7SD25HRENNHHRK38PY5M2AE6SWVZVY56)
(trans 'SPMQMBJCF72NRQBEA3VE8WDVH536Z4D2R8A5KPXB)
(trans 'SPMR388NGJRY3NRDCXMMFAKGCY4VPFMB9ZCN3B1)
(trans 'SPMR5S4GG8NFE62C7S1M5VWSWYT5M15KWDR269MG)
(trans 'SPMR750HTMQSPY3K3995ZTFB8PK54C62R7D1ATN4)
(trans 'SPMRJ6R8PEZ0WF92YQ0SW50CMHW327E2T8GQ5SS7)
(trans 'SPMRNDC2X9Y0H6KQ7HWEHGAKR1F1A6PBT97JPAHM)
(trans 'SPMS4BHTP767JH1BAEC1H59QH2A5HNAKYW0RMQGP)
(trans 'SPMSHX2SWM51NASN94EBQEE20EKJM9DMHW0VH2M2)
(trans 'SPMTYQTVWDH61Z0354KHD8EQQ36V8DX5R67P3DD0)
(trans 'SPMV7AARVYK85FY4GB9Q4G0DKM2MX12MVFTTHHXX)
(trans 'SPMV847481JBS3HNXQ6K6WJHCP97A3F9AMNDW3XZ)
(trans 'SPMVRSEEVRJAZ356SEK72GSFGZGH0P39ZCB4J7VN)
(trans 'SPMVSHKSA2V06T7TZVAB3H7P9KHWGEM6ANPK7WDN)
(trans 'SPMVZNKN9HMDZVX0KKHPMSPP83CYP88MT7MZ610W)
(trans 'SPMW1A7BAESTSF34XTYDTG8XB8ZDAZRMMBZ8B7VP)
(trans 'SPMW60W8VTFVC2FN5T3BWDQFJZXZBZE3KNV9S4FP)
(trans 'SPMWM41EV14E5NW55GJD8Q7DKYZQN36Q9MFS6DEY)
(trans 'SPMWP2G35PY6X47W8PT99HPYY6NF4GV1XPHWMEJS)
(trans 'SPMX5ZWAQNCSXXBKQ8MJTY0WV8935JVQPKEXGD63)
(trans 'SPMX858HT7DB0CHDZM4BFEW8QDYYA12WD2TYYR26)
(trans 'SPMXCCV2QDXS3AYYCVY9J1AFC89TJHSE0Z82TRRS)
(trans 'SPMXFF46K8RWH380S98SW9WTYZ510XYA2JW16Z44)
(trans 'SPMXJDG0B87DDPT9NB3JDJ99F6QW23P9CETS49ZZ)
(trans 'SPMXX7HANM4CZ5N8X8H8TKK7VJC36JTWRAD4GVK7)
(trans 'SPMXZ6H3SHFNE49JG2XSJBJPTQ6G8BBAVNXGBRE9)
(trans 'SPMY5C86VCJTEVTH9WD1MQ2B8W7VTHWBPA8MQWFJ)
(trans 'SPMYAJ5346DV29VMQPH8JWQWGK3VT0KNXZSAGEX9)
(trans 'SPMYGY8F59Y6K9588KEM4JE840XG8N5VT0GFAC94)
(trans 'SPMYJP7BVM05QJCVT7EJZ1MDNFVFBBNF45QPT96C)
(trans 'SPMYK3VZ98G5KJ9183CG0CMXEYWRHHJ420CBMCKA)
(trans 'SPMYTTBQXRBRJ2K257ZF55RDTK0EJGJ41Z4CH9QG)
(trans 'SPMYW766HEERCDHWYAHR83NW4VR2YC89ZN7CQ5BG)
(trans 'SPMZ912TEK2P15E8Q9W1W33QN793XR7XVDYY4R8H)
(trans 'SPMZCW7JEJ3R1HTZ989992F1Z81GH366C0G4JS5J)
(trans 'SPMZJ097H8110KPA4T11KC80893EVX8N6XRKF0HQ)
(trans 'SPN0DSRZGFNGE6D59S4ZRF8GP604NDTSQ9RRS2BM)
(trans 'SPN0P00V5243MBC2KR8PG2GNMEFSTWCM6BTQ931B)
(trans 'SPN0ZA9YVJJNYD07W2PC4VSTRB8Q57FKF51N7BRF)
(trans 'SPN1SYM1JTNSYYCDVF05WVCB09NH873HJ7JYRD0V)
(trans 'SPN1YKPN0106B4MZPPZ04YH7KXM768AT10KR9QWS)
(trans 'SPN24C0AYE8GVQ53CYAVN2HEB9TST3C8FZXV4HSV)
(trans 'SPN29SDADYZGHCZG1QQ8Y9V1X0ESMRCP6DETTQAA)
(trans 'SPN2DQA1B5DD54BFZ86WP6Q5FJDDDH4D18PSRJPJ)
(trans 'SPN2E7JKVC8RKYCYN6Y78W0C9GXR3A7Z0YKF8TTC)
(trans 'SPN2GJR0M75DP766B1ZJ5GG99R79M0WPJY5KXQJB)
(trans 'SPN3AV2KQ8HYFHGKC34SGVSS9TNMJXG56GXRSR70)
(trans 'SPN3MVJV4MDY9GWYP6TNQN4ETS5T5D82FQ4N648Y)
(trans 'SPN3QS2Y9M9BHQ85DV0MNRRW23QN9TKB3SVC0BX0)
(trans 'SPN3RFQPYPQQPF03M92KM2R666VWR6A9DKZJ849V)
(trans 'SPN3Y24JD5B17DN9Y8AEQGQV4VVWA644ACXBE3XE)
(trans 'SPN4EZBCCETG5GF07BMDWCFE4N09QJAFJDQ4WXR0)
(trans 'SPN4JRHA4XPBQAE4Z036WQ1T4JQ614KBTJY1TG00)
(trans 'SPN4P1JB8PHE40732Y7WQSXHSAD88XX29DAD3MCF)
(trans 'SPN4TDFYFKDBCHR83GYCG4MEME556KF29HP1WGT5)
(trans 'SPN4Y5QPGQA8882ZXW90ADC2DHYXMSTN8VAR8C3X)
(trans 'SPN4ZVGB9XE19FP80EDND6C3SDE97XEJT18EF30Y)
(trans 'SPN5HJN2H6H2SH0VPSVFAEB41KQT0E7Q3EPWDDJ1)
(trans 'SPN5QFWNVPNWZPWNG70M4481R6XPEJPSCXPMYNBF)
(trans 'SPN5W6NRDVDJWHEVP6A7T8R6EFZNHPGKGRPH6KF2)
(trans 'SPN69FZFCPB9Q0N7NAF5THVM511F9930FF645524)
(trans 'SPN6C5QSHDS8Q5EMVG6ZGN9HTGZYAWEB8YFMD9VD)
(trans 'SPN6CM2SGNT7Q62PZ1PHFHGSSCS6PK3A8STYTE3C)
(trans 'SPN6G2ENHR81Q2YY5ZSZX70FASJTS6H0GT2G2TBE)
(trans 'SPN6GRG26CNZRVWGBJHGQN3YGPMX0358WVB2XQ2Y)
(trans 'SPN6PP6AWX1QXY86M6XT9PY6AF9SRM6RK9GXZ7F7)
(trans 'SPN72XM6P0JWBWQMKKJAYH9EDVVXA6ZB8G21Y1X4)
(trans 'SPN798KRGD9TTCYZP92VA3B21PAZZGEMQKZNSZYM)
(trans 'SPN79K1P1ZVGDFBQ28B42WKT87GH0M308A6RTW80)
(trans 'SPN7C68VE0HZJ2812V5ZT444GJPZXE9G3TT9QFYT)
(trans 'SPN7QDPZPBRZYC7MJ4CB184BB4Q1EFF4TDP2Q4YV)
(trans 'SPN7XP31NWFCMRCT1ZT1334SFN556ETX4P44BM9F)
(trans 'SPN80VEGNP5RFSKGPNK1M1SGZMM1H1X0KEQB2SS1)
(trans 'SPN8FA3B1MJMP0ND6RF207Y5YJXBNGQJW850BY2D)
(trans 'SPN8GC7X8KT7070ZV2P4CY4BBVVRMJ29HG2B09NR)
(trans 'SPN8R4JTKBDZGDBR4HET99XF55M7MYH668M3J3RW)
(trans 'SPN978Z0W5801Z3EYDJKZWMM017AW5E7GHRSAMJ3)
(trans 'SPN9FYQZA4GKX64F3KCJFDTX78J82N3T5YSNMW8X)
(trans 'SPN9JGFGXFJZD7AM5VF2S7BRATNCQYVHVWG3087B)
(trans 'SPN9JHPZ976NVHPPP0HNMG18SPHBBXCQFG38CMG9)
(trans 'SPN9Q55FYRRV1CMNG4HYVZQS4812EVVGY8ANF4W0)
(trans 'SPN9SQPATME5FN0JGHHGP9MW1WVW26663D5YN2SS)
(trans 'SPNAD9CCJZXE06SCN81P5AW2TR28WGQ9EV2RP2R2)
(trans 'SPNAMJGDVGM3P0E7JTZEWCPZV8M7J2RDWCGRXNN9)
(trans 'SPNAW0VEKDHM2M1057TTB1EC1YVTYCK6PHJE5THX)
(trans 'SPNB1PKES205YJKJNDQ6GP8G8GKHMQ7ME4CQK90E)
(trans 'SPNBV2QSV617QGNG6KV7X981RYDZ7ST6AJ0MHG0C)
(trans 'SPNBYP1MY456K29804XHT4PY5QKMSXNRBHGADTDY)
(trans 'SPNBZ8ASXM2R46V0HV371H46RS47QXSFVK0XR2XQ)
(trans 'SPNC4G6P4V8VSYVTW3CGW8ZQYPZ4M51S35AXX5AC)
(trans 'SPND1GWXGRMH17AZB4DVSW4C2MK4AFEEY707MJF7)
(trans 'SPNDKTG4XJJ2AVHJA3GP456XHVWAC4W94QTJ98VF)
(trans 'SPNDNPQ98RPC4N3PQX4CZJ9SF0K6D0Y9WAVP80S5)
(trans 'SPNDNQ6DMWFPXWDR89D97XEH3TEPFKY77E7DY1FR)
(trans 'SPNDPDV1SSQDNKSH1PM2SWXDX0TS701ZN5TX45P3)
(trans 'SPNE7JS4B11TKZ7JVEE6596XTMS0DKW1CJQWASMT)
(trans 'SPNEHYK7J1JGQ8AMFRNEW8P018ABXKR927JE0XY6)
(trans 'SPNEPYMEX3VEJ5CNHBQ66ESV1GERVKFP59EDSMJR)
(trans 'SPNF76W0YVXYG6A0RDRCYA16NXNXCCD3KPSJBW8B)
(trans 'SPNFF27AP5JWJD64HBW62J7T884R3E5G8A4CNHKC)
(trans 'SPNFF5TR083QHCG5KD0AJ44G0XBCDEB3WDK12B3H)
(trans 'SPNFG66D0TYSES82P6WGXCXG6T8R45QDGVH5JKTC)
(trans 'SPNFJ72M4VHN8JHZH77JB0Q7JYWJ84X5AQW6NSQM)
(trans 'SPNFS4VFY1BTJYSQK6AT2THN14ANZ4A2PZWGJHKR)
(trans 'SPNG2HD57Q6EMMJHCCX31VKP5HPPVNKFMQ95F3PN)
(trans 'SPNG40RW0FV9PWJJR24E691M6MS34KMDSWTWB173)
(trans 'SPNGD3Z9GQQQ2HB7JPZBWQE0JNA2YZCC49PPJ3GB)
(trans 'SPNGVMH6CBJDYAWB81B5CSVS2G7521DYWRC4NVF0)
(trans 'SPNGWXBGMWGERHDN67B7YKMESD7ZMDG8XVJDY8M1)
(trans 'SPNGXGJXWKAFFZ97WP4TTHGJV6SDN3FZDT17JE99)
(trans 'SPNHTJ778ZHAGR87WH3C34GACXX9P2PFCTNWHA35)
(trans 'SPNHZZQ4DCHJ7W3NFY65MEKDCGDHG1G4HCEDYYSZ)
(trans 'SPNJ0Q1CN67SKF9Z9YFKAYKDQHGHBEQGX0VE6TFN)
(trans 'SPNJ0ZPYRFMJ8S8173Z56TZEP2E3M6FF8N69H38C)
(trans 'SPNJ667PJZTTCB767WAVZGEV3T1EP9E9JXNDEPAZ)
(trans 'SPNJA3XSEQ77J2S1B1N4XQG5VGA5XNBBRJNNHY10)
(trans 'SPNJPYR6185F3EC96ET4REZHAHMJC711XM1F7V6J)
(trans 'SPNJR6ZCJZT39F2PV6ECZES16V71PSNPM241AXA3)
(trans 'SPNJVD5G70BKJ01YM32T1YDVWESJKEBX1WFG0JG7)
(trans 'SPNK1ZM6SGEW8X45QCW7E4AAE739183QZ28C0MCJ)
(trans 'SPNK3DAMEBBK5TF97B3XR9KED32BMYHJP76AM9MJ)
(trans 'SPNK4PPJ4MZXNZHQSTK6APC7ENT74DMPG4PHZ677)
(trans 'SPNKA0299QA3WDNGY6WCWR1325WP31DKF9PAJ2E0)
(trans 'SPNKFERF7DGSQYQHCFJWNZB789KRGC9CJWVYQVT0)
(trans 'SPNKJYR4XQN5W47JVK5B6ABETH46WY9ZB9H1Q5MW)
(trans 'SPNM6HTH7KVB930GGA4X0D9HJZJ4W5HGCF651W1P)
(trans 'SPNMTJT2PATW4S8PWVNJ32MEYQJM009NDJMRSJQ8)
(trans 'SPNNXMY01SNT92EEK9DRRG2QW1FA256MCNBPPSRX)
(trans 'SPNP476VBJSYZCJ0S0CT1PAVHG7SSJXZD4MTNF2X)
(trans 'SPNP49BW0WQ0R5JN9P0NRVRGGR2EFHXGJZD0CZA7)
(trans 'SPNP59GEBBHZK7WKA5KEZ7C88Y63AKQAXG3EQ0KG)
(trans 'SPNPJVACX0QYCG1SSSQB19ETTZCRQP200P87E7AT)
(trans 'SPNPR6DJCP5DY52D3H0Q9Y5XWV95J9W6HSAJEW11)
(trans 'SPNQ7M03FT1KC4HSNDXY6J77YZ3S5XVSRK83VZ5Q)
(trans 'SPNQDW6JWAH699QCQ4TDDGV4QSKQSY2MRC0V4QM5)
(trans 'SPNQZ77CB58P51NTGDTDGG0TWCEY2072YS5A6QV4)
(trans 'SPNR50301BZWGVFAZFVVNVBX4T4YZSYPR0R1XXS4)
(trans 'SPNS0FK0R8SYY3Z0J4VMJVAEV91ENECRM4ZY70EE)
(trans 'SPNS3VRDFJGZWYCZWC5Q4BWFQHESF2JZCZ50EFQX)
(trans 'SPNSX52H79HVKKSD5Q70GHW4WQWSVTTPPR3QBXT2)
(trans 'SPNSYX8VG60BF4R67HHGJ6MTGAS68T5NBFSC9WJ4)
(trans 'SPNT4TC3PRDG9Y06Q0H56P35CY4846FM1BRD9H73)
(trans 'SPNTHKXPG979RN4D5R4WDFF1EVG5X3NCHGZCR3J3)
(trans 'SPNTNE8J95K1H69FW8PYZGRM8PXDE244GS8WX3NP)
(trans 'SPNTT0160WMZG4HN2BQTSVJXTPY7X8ST5NQ8B1PN)
(trans 'SPNTTNBWER98CJZD7J9V0W4584V5AYBBYS25KYYC)
(trans 'SPNTV728XNNR3KRZFD2FAFBR2DVPA39BB2GRPTVX)
(trans 'SPNTYZNS5MJKY85D5R9V90MT81FKES7WHPR0EK9N)
(trans 'SPNVK0EKHZPADVAXAA2Q9JT78N1PWD3E1GD0VM6E)
(trans 'SPNVZ253NCE000EWXNEPZAENF1SHS2AEFPJKCS2H)
(trans 'SPNWFA5H07TXWNBRMGY362HX48GY47SWEB5W3Q30)
(trans 'SPNWM2Z7PKK42VY45545S5RX0MS9CVCF5CHMP94M)
(trans 'SPNWXZN14DAP23JSF2QV4WVJ1P8RY3PKAC58TG7R)
(trans 'SPNWZ5V2TPWGQGVDR6T7B6RQ4XMGZ4PXTEE0VQ0S)
(trans 'SPNX77V59Z64MWWRT47R54B42EK6VS53JW631XMQ)
(trans 'SPNXFZ7B52GMPGPGET9BF25HEE2G5BG3HRV5CKK5)
(trans 'SPNY8EEHVBQ0BA98HKEJ440YGV9JV2B8NJX7VQY5)
(trans 'SPNYZ6B1GJ7GP0BBB58VGTD13AW9TSV0N7QR816B)
(trans 'SPNZ7YH2XGCHRWVG1E9SSH295Y8EGEFX4D50FQ8S)
(trans 'SPNZMHZ55RGYZF27534AYSVND54H8PKSHW9RD577)
(trans 'SPNZP1V0EKBS0EJK0BQ0VD5583N7SXH58TRX54YG)
(trans 'SPNZVSC99ZA6FJAG26XF9PFG7C61CNAC9X00HBSQ)
(trans 'SPNZYSQERGBF92NZESTJTX13MS0JGH8B26DVCQCN)
(trans 'SPP04HY5DRREBKJ0APSVEJ65B1T9MF27N7AXTK87)
(trans 'SPP06ZT6ZRN3H2GY8QSDAJJY91CQFTP24Z16ZVPY)
(trans 'SPP08HY7YEXZJMG6421J21FA9TEJZXJD05DXB34D)
(trans 'SPP0A6KQBY4JFTCQVGA3NM4BXNY4150W2RYAY1TP)
(trans 'SPP0P033WF05B0PWNBYTH2JVRYEAHS3QDT1Q75P9)
(trans 'SPP0Q52GJ8B52KBY7ABVG79FADRJ4K23TE15S828)
(trans 'SPP17XB91E2XH0HFED3CG15GK7P4478GQB5S0GXK)
(trans 'SPP1VDQKF2H90QZVRBN0K6Z90EKES9NSMYKXHVGH)
(trans 'SPP1X708VJN00M5REVEHN1N6YZVTW7EYABFHTGAE)
(trans 'SPP227CYAEG5G1CN4306559PRK6TYTGZXN4GHR7A)
(trans 'SPP26GY2HS9DV04M43TF6P8W26EXZA9K7JDQWZNK)
(trans 'SPP28QCMZ51GVN9933VFH9TXKQ3XCT4WE5A07533)
(trans 'SPP2NER06FSJPKDQ7AD77SRX53Q095HW3NS9EWJM)
(trans 'SPP2T4HA69DKYYXRWCM5P4WTGC6TS62ZNEMGWQ2R)
(trans 'SPP39B6RGNGXD42ZCDF8XDCT6RWNQ322M58NBKSG)
(trans 'SPP3EBNPJSAAQEESCQHWEBWWG6BJQ9KP5XYHKPMS)
(trans 'SPP3HM2E4JXGT26G1QRWQ2YTR5WT040S5NKXZYFC)
(trans 'SPP3MNC9XJV1MK9Q01MW9Z6VPPA4SVMFVXE7YH0V)
(trans 'SPP3RQDRJF8Z5JY5VN7WWSGK20NVGP26ZEHSTF44)
(trans 'SPP3SGH530GHXSW0XXCTZXGF8Q0JZJRZ4QBQDM4Q)
(trans 'SPP3SN2D2XBE1RTV9SWKHDFG4VMFBEH6G3PS3R9H)
(trans 'SPP40B31XXZRAABKWW4QX7J0TV0TCJZNT5TXAT5E)
(trans 'SPP4CG0SS2S5BHPPP4SJ6215J0SQBEJV2E5THYHY)
(trans 'SPP4E6Z894TQ2EM4KXTRZPEW0XVBAMCTZ81TA5TF)
(trans 'SPP4G4B5PDEAP3XW3M6PH6QWW4QDXG43K4FCJX88)
(trans 'SPP4SKMGFH3904XKT4NR5GSY7GSGAP82FD1Y4V6N)
(trans 'SPP58Q4NXR7A22BY5477VGSYX5NXJXWPNB75HKWB)
(trans 'SPP5KZXDTQKQ9E3QEDYCF4H7A1WSXSBCPZ9J4WRH)
(trans 'SPP5NNWC09B8AERB0BSFPGY1VBQG55BNA803YMC9)
(trans 'SPP5P2752W8CN6PTB78MQZE7C4J4VNDQT7TRYXE7)
(trans 'SPP5PM941D7H1H19CQWDDDVR23P6W6T66TC2EEH7)
(trans 'SPP6G71B66A747HVSJ7M8RNM7ZTZJ9NBXBRG9ZDK)
(trans 'SPP6SYHXDNZHYT25QEHRWYH9N9NG2FXHVVK9SFF7)
(trans 'SPP6WJZ23EPKJVGW1F8PDKAF9AE59K10E6CFNQJ8)
(trans 'SPP6XW755KA8XC2G4DNES1G28JVRNKNCXGT7JXNQ)
(trans 'SPP7BCW5KN809431N9EGFVWC11TT06EA3DP6EF4Q)
(trans 'SPP7FKQ25B15XXHHGKYEBPA58SFN2J4SSZ7V71ZG)
(trans 'SPP7GAXXMKYJ23MVZ84SNX3NTNNPHEJGJSCB7916)
(trans 'SPP7X0VVDCQAK6RCET2BD79NRZZGH4JZK6PBNDKQ)
(trans 'SPP7YC4W4CQZEXRE1847JY1RE9AF3KY7RP7B9VKA)
(trans 'SPP90JN2DSY4PHMKG613G3163A5VEQSN2KB2FAHP)
(trans 'SPP96RTM53XTT2W2WBJESDQFM9BGDHG39RD8WQ4G)
(trans 'SPP97FFTRMA3FHKJ5BS4FK8GV7BQHNV1S54DG2M3)
(trans 'SPP9A51JCADP35APSEQH2KWTX0ZCRZRY0ZGHTHYJ)
(trans 'SPP9SAVYN1RHXPMDJZVNAYSVSA6FATYTKW7GYZAH)
(trans 'SPPAE51KTAHVB2DDN6XTP8ADT8NA0PS8EA3C81WT)
(trans 'SPPAEFQBSWEYJMA70TDSFK35R1XFP82131QNA4AG)
(trans 'SPPAS0TEH4NP5A0J3QHC5TYZJ8NMRTEG118TQ2T7)
(trans 'SPPBGBV4ZEB1FQ3954F1G4JPMKZSYJQ2BJFXEKCN)
(trans 'SPPBMF6R5GCX3FNKW12D9PN1148KADYZ4QFBTY34)
(trans 'SPPCFBWVDP8NMCDTY6608KPTM2JBQRM8BS48S6RX)
(trans 'SPPCHF5474M4X5ZS79TCKSNRKJ24Y71J77ZKTAP3)
(trans 'SPPCWCXJ5536PZ3Y1A01G95RNZRS4H7XCM2B7VV0)
(trans 'SPPCYHPK5ZAGDF78NWACJZ29TPYWKC49KZ494TBB)
(trans 'SPPDMM3Q9HAQR9M4ZGFGF905R6TMNM8FW4MCFJVK)
(trans 'SPPDPWQ6HW2F6JNX21WMMJ7035W8K1X16Q8KZWBJ)
(trans 'SPPDRTHWJM7VYGGCRWY2CEPEWDPXS3MCCN3SVQGA)
(trans 'SPPECRP42VQ2NXCD9CAFCP0TJ150BP5WPPR739QY)
(trans 'SPPF168PJZ8H6DCTKXS5R9T53QFCEJZR039Y95E3)
(trans 'SPPFCBJC23HAJ33BQYJ13RJX45SE903NF1DSME1V)
(trans 'SPPFDF8S70NAYZ5CKH524DDHZAJE8Q50X41HBXJH)
(trans 'SPPGRSQYME3JQW78GS78DYRZQEZDJY4CKN8RDTXH)
(trans 'SPPGSCPWQQA469TYRZX9N7XNTFHC4CT2EPHSC2TY)
(trans 'SPPGTRS566KBQFXCQXB6Q64VXVWX0FFJ4N33E6TT)
(trans 'SPPHN29HHPJJSJX3092D5WNPDC9J88TZN5416HJD)
(trans 'SPPJ0VZEEQXH7E0R29528F0NX63GHP2T5NT8V1V3)
(trans 'SPPJ6QWE25QCXA9T9NHQEAW762H1793PXE2RGS59)
(trans 'SPPJ6YQD4H56Q5DCKTRAH1DGB1968T8TQG7YHHNV)
(trans 'SPPMA9MYBVWRF1H7SD20DVCQ7WRD6M3D4X2FESBV)
(trans 'SPPMGZTRGMBVCFW3RMEVQJEF26MW9G6EKT51EMD8)
(trans 'SPPPZPMRVVAKV4M0198AP7KK89Q1NDD59C9Q3HHT)
(trans 'SPPQ3GQ69BB0K75VWA5R0VFDBQKPNBZ15PKSD4JQ)
(trans 'SPPQ68YM3AKMH18V9KG8RZ896AMBJEC6YCXWG0ZW)
(trans 'SPPQ99FXEVZ2M4X2FGQZ3Z9JYXF25MPE303NEGT2)
(trans 'SPPQCJ1TFD14GHTMHX3E2VBYX9WDDXNR3GSZHMHW)
(trans 'SPPQH7WVC8ZJMMXJCN7J4DSC3MPY2VWCHSRWG1DS)
(trans 'SPPR1RRWNMBBHQ4K9BEA9Q3AYMQE52R9VXR3HNN0)
(trans 'SPPRAW7YS08014XCC2NHT41NDB42A2PJHDJBAYHQ)
(trans 'SPPRFFRWYNSF4VW6GXS87KWQ2VEA10A1HWCWV3V9)
(trans 'SPPRKB88EY0Q5A0H1TSRZYXE35WWTG00NVSCMER6)
(trans 'SPPRNA8E6GZV3ENFTSPWGSE98MZ5DJ4GSYF982FF)
(trans 'SPPRYM212NP92HA7CKY7ZBQSQJ44AXD533NA30G)
(trans 'SPPS652F61EM30ZGB0X9FSG6MAD72VMCW9ZS2S4B)
(trans 'SPPSGTT8H6JTWM3V2JGPSSFZEXE95XTSF160E2E0)
(trans 'SPPSZ184H3GRTXT7AKZZDYCZQVTAV2146G90CYW7)
(trans 'SPPT31M6V7W7HEM9CPVCDF4GYVN41GYRZ0WMY8S8)
(trans 'SPPT92J35DFRDWJFFG15F4X9DKKGCZYRBAE5XGRK)
(trans 'SPPTF68BKDPJ1DW6A1N30PTHD8F7XV37CJRPB8M9)
(trans 'SPPTGPWRZ1BWZ9J94DKBRQQHK6ABD5H5JW3X1CYN)
(trans 'SPPTKAZ0HX1JS5CHP01881F27XHHGQXRBPBK0V9S)
(trans 'SPPTKVGP1HG5ZN33HJAH7T35T7A4SWZGESQPA4VP)
(trans 'SPPV8FN67M28FRGAHKR5P2YJKJ41R6CSD55MZE94)
(trans 'SPPVB3397H0ACS1DCPY3GDDR4S9R2E4FPMM693PT)
(trans 'SPPVGX8R9X5WDJ951PBVA5522TSHGE52FB9D9B9C)
(trans 'SPPVH355005NCV9GVG3DXM7YAH9MXJJQQMGB1480)
(trans 'SPPVN969421XRCEF450T2ER2E7XPH9CYZHNSK9X8)
(trans 'SPPWBJX1QGR8X0WXR0Y6YAW36539N49MPNJXDS12)
(trans 'SPPWSYZ852ADS3F29G87V7Q28FFMG0EVC6CDG8J2)
(trans 'SPPWVQH31PBWBNST393G5390DSNNEEXCY4HVVFDA)
(trans 'SPPWY4PEWGH78C6D9EY7PY103GFA0DCDNT9HCGWG)
(trans 'SPPWZQA611RXKEBDXKWG1XC9R5JJ4K6R88FP8HK)
(trans 'SPPX7YKGN9X7BVDE0ZYDDJCEM9677VD2TQNFWY1M)
(trans 'SPPX871Z8B6NCZWE874K7DWDFCWBZRTZW8AJVPCS)
(trans 'SPPXHPRQWAWTR92N3XSA0MFMB4402YKQY15HEYVQ)
(trans 'SPPXS77KC5PBY1E27D53K93698BRSNSKD1SEF3MW)
(trans 'SPPXVKFHHPJ9FTMQEXCM41PH1042BVG2YNSRTAKK)
(trans 'SPPY31QMK2Z9R5R75GT3WBR8J6X1VPQEX5ENB576)
(trans 'SPPY3CTBGF8Y1Z10KMND1H3QSY6QAJ5QSYVSXADH)
(trans 'SPPYHFWFHSG0QQYYQNTQH9K4D67KEMSN5XCADGCP)
(trans 'SPPYNMKZCEXVXANBW1XQBPKQR8744JNSSZZ9X9X6)
(trans 'SPPYPG5369EGVVRRM7MWBGD2PGQX1HDEH7G4KFEA)
(trans 'SPPYQ5TW7PWMNKHVNG194MACDAEGA1759D5DC7YA)
(trans 'SPPYZ2AZ3ZR1786RDH3R4N1KNS0C0VEZZ5BP8QPZ)
(trans 'SPQ15TS92PGP137DHS6J54J89W5JDWGN3BD53VXK)
(trans 'SPQ1HM6N08E9HRXBBPBZFNMW621JTZFYJJVQFCB1)
(trans 'SPQ1QDEARYM5NWWDZVEKY5KPSK3G2KPSS9DDVW3B)
(trans 'SPQ29KR549P0G60RFAR1B71597A68VG03D1QJPNQ)
(trans 'SPQ2EJYG80JYYZQB40E5J30AMATCY1A72R1XC65Z)
(trans 'SPQ2EW840RZVBH871JK0E2FF096FXG9RTP5777TS)
(trans 'SPQ2FV1DKA3Y2MD77HCZB62REGMFTGQ440K5P95S)
(trans 'SPQ2HN9TYF8ZYY9D3G45NGYA9GHA6QZHQ8AXF5QM)
(trans 'SPQ2M5TW46SGDBVQYB6MN2KEH2207Q3J8K93RRGF)
(trans 'SPQ2NS3JE5C3HRF4SVYCFY48RKMXCW77MQS98EAG)
(trans 'SPQ2XV32H3XHXSWWTJ3RNKPRW0PF4VVNTHF6Z1QS)
(trans 'SPQ38H0MG7GCZYSY9PTW4T9JCCNZSFJX0C6RHREP)
(trans 'SPQ3K2QN97XK02X43GJG5R0S749N09W02ET4JNAK)
(trans 'SPQ3NMCS7T930YQR9RXRZGDBFS2J1BJ544RMRSV3)
(trans 'SPQ41WKHDBAYG2FY4HYQH2XJZJAEPDD41V8SBQGR)
(trans 'SPQ433H3ZWW30TA12P496P6X699CSZNYFZ3NMYPK)
(trans 'SPQ4CJ8PD4ZQG3SEZQNGQKXQV2BG9DRCR2WHKGA4)
(trans 'SPQ50NVMRJPMD0JE6JTPR98YQX0C79TAP8YSYTKK)
(trans 'SPQ51Z9A0S19FJHN5WQHZY18SH13PYCJQN1MNBR9)
(trans 'SPQ5CEHETP8K4Q2FSNNK9ANMPAVBSA9NN86YSN59)
(trans 'SPQ5F22K1GY3716DZ97A6VZ9VEZ4KCG18EEBZSKW)
(trans 'SPQ5Q6C96DMXJ4E7H5C1R2J9ZE3CESW2NWDPVGDP)
(trans 'SPQ60DRKYNQKDDEH85547FXJ8C4Q1JC0EXNA53PE)
(trans 'SPQ6H59CCHHZ6D4YP2YPM1X23E1XW1GAEG4WFAYS)
(trans 'SPQ725XKA9DQW5PAG35GBAHFGXK2J0ZSWY655YS8)
(trans 'SPQ7HHGKTMJP349445YRXVRZ0TY8MGWS0PCM4D33)
(trans 'SPQ7SGZTRRP7Z7NPECN0TVJCHE2CXJ0VW1N3V9WE)
(trans 'SPQ7ZKQ71WCGT0GMYTKK0T5V5ATADEKEQ8TN2ZED)
(trans 'SPQ8ZS8QQNE4ZBQCQRGMZAPKSGXJXJ7VHGBBZPMV)
(trans 'SPQ90KAKXSQ100PEVEX7JQQFNSYVWB0Y7C2TAFK9)
(trans 'SPQ94G8VMT4WJE432E1HVEXKSMGZ04KWNDVM8P9F)
(trans 'SPQ97H2H7RPWWH0V7ECQ1T0XYJD5FM8VYRF6HC5T)
(trans 'SPQ9EN6RAPDYXCGX5NGEVYRGW5WDXT0C9670WV2R)
(trans 'SPQ9G0M8A2TBCX57R2G7YTAV28B7GJ86DZWJ42QH)
(trans 'SPQ9KDVVFJVCM3H9NTVFXC7K3QMHJCKJP1FD65JE)
(trans 'SPQA6EP7CFTERDGKJCJ2SHA2D7NSEWVHEBEVMY7P)
(trans 'SPQABJRVV052887FRXNNTHTH94JTDYP5Y8TCH1VY)
(trans 'SPQAEDJAGGMB2JBECE5XD76KJ6RR8F4XJ4VVRJTB)
(trans 'SPQAETP3PF1NHAPH4ZAGJVSD0XGMB5Q8C8S1SQ2E)
(trans 'SPQB3AE77HNWRECVVHACV7699687AG797NYYAWV1)
(trans 'SPQBMRJQJW92YWKYAZT8AFPNJFPTWSTKVEJGP7RM)
(trans 'SPQBNBMF8B91D1H92BEC9PS8BXMA4WX3H618YQE7)
(trans 'SPQBNDDA4NZP21MTM21ZJVWQBHNBC5BN2WGEA9CA)
(trans 'SPQC0FJ2SHYXF92Q5HTA49P7SN2Z1DFYN3T5420N)
(trans 'SPQC38PW542EQJ5M11CR25P7BS1CA6QT4TBXGB3M)
(trans 'SPQCA44E2F7WGAZCS7H4741BECJ79A2NDCFVCDB4)
(trans 'SPQCECBCC27JXSP2270Z12XSGGX4BTH7PFZ37SQQ)
(trans 'SPQCJ36QNG0XPJ5WQKGDHS0HMCHJ770HR1HN0SMH)
(trans 'SPQCPSWETJ6AYSER961B7WCJ9YB9CDYFN4M9SJAS)
(trans 'SPQCVTX0HHWG2RB11HNJ7QQ8RB8G2TVQWTF6Q2WW)
(trans 'SPQD6P9WRE84FCFX3VGE9JAYR45TQ3MSBNBPVX4T)
(trans 'SPQD9DRJJSSFR7TVQB51GFYR0BE461MZXR6NCT25)
(trans 'SPQD9DZBAG8Q9ZJE0HQTTS5FN22BS8Q4TWZ0HXSQ)
(trans 'SPQDXZFRHWBF5SAQCH5MY26CA12V60FXZP3M3S94)
(trans 'SPQE3J7XMMK0DN0BWJZHGE6B05VDYQRXRMDV734D)
(trans 'SPQE8N8BHMT462W2XPK028GDM4RMQBSHAAY8D37G)
(trans 'SPQEFQTTBSX1V7YEWGC2E4437N7Y7WH1MNPBJ2WN)
(trans 'SPQEPNR43GT9G4BMYVKMZ9TSRRX1REEG3H6M7GGA)
(trans 'SPQEV4J2CTFW2N1W01FP250G7444CGJYJHX4A3AJ)
(trans 'SPQEZBBMXJA5NSYZ61A4SBG3C3D3APKG7FC6F5WY)
(trans 'SPQFREJH26M4P3M8CTWE7CBPJ5X40H5R616FWQEM)
(trans 'SPQFZBCRT8JMAMVXH1CWEJYAV8SRC19NKM0XW347)
(trans 'SPQG1DJ5KAE0Q8PBZK1J3XC71JYC740MECGBRPSJ)
(trans 'SPQGBR988ERHD96DEPTRMPRR6HNWYZY6FMNQC724)
(trans 'SPQGDR03N7JG8PHZRPNEJDFGMBYPZKK2T9QCEJPR)
(trans 'SPQHHCVR37H95TMKBX6TZSTYTDYCSVAWYJQMNPEC)
(trans 'SPQHYMS59RYK6Y46H692AAKTG62DFRD01A2TAR84)
(trans 'SPQHZE98KP2HXRMECYE6WJE7B4WZ6Z0FTZMF4G0D)
(trans 'SPQJ15Y7YHV3WWPHSG19H5B87AQHMVZT89FE6DY5)
(trans 'SPQJAQ6NXVAD6RG2PZKAWQYP728G9GYY0R6G8XHC)
(trans 'SPQJDCEMNYDPCT3TB0J73JGVGREN41TR0YGVNCE5)
(trans 'SPQJGH5PBCNP6979EEWWEST2D45DMNQKZZ6JTVM5)
(trans 'SPQJJZ930Q422MHMF9BNYHF9YPA2RQP5GMR8HRZ2)
(trans 'SPQJN9008GBDXCPVS2CZSPXAPYV8251GZX1GX64R)
(trans 'SPQK2FFWJMY5B7NX9Y46GF2W8YTCBG8KWPWVX3H0)
(trans 'SPQKF5RHC8QY37CGDSGQ3GS7JHX7DQZJCJCKSE61)
(trans 'SPQKQ4DQZCBV8P8MS0ZHR8JPSEVHB88XQ2X71K08)
(trans 'SPQKVH673GJSAFCE4RJKFNS553QGYX3GHQ3QWGSK)
(trans 'SPQMDTN5217E8XGEG48SSR1XFYE88PK5JCQ50GM7)
(trans 'SPQME7E30VZ3TDJG2AHTT052J9WJC5KQCW2W6S6W)
(trans 'SPQMJEWMB5ZZKNFNWDCN3P73KANTPDQAH9VDQFSQ)
(trans 'SPQMKR30HEG31PGBWEHMZ1CD901R87391GJKQAZ8)
(trans 'SPQMRER1ZGA40PGWM8PEZ218VX05P818BWNESQK)
(trans 'SPQN8182RWP4YZ2EJN5TQM5RNN1W6PWPDNSFTT9G)
(trans 'SPQNECN13R90Y7XYN20CVS4245471X4JAAN69MTB)
(trans 'SPQNFYZVJD8JRA1KARZQYT9BTJ1N6AHDB86TMWRN)
(trans 'SPQNJ28CTBN4BX7SGZBKVAP8FRBXX759TEXQQCB2)
(trans 'SPQNJEARRPJAYT613K40HJV999YJYQ0WXN0YWX27)
(trans 'SPQNTZMGQYZC4WRE3KNCWR5SG9QSXNGREFV04F5S)
(trans 'SPQNVCTRSRARV9TEBF74T6TTDWFPAFB2KXDBTJB3)
(trans 'SPQNWFZ4NTH2MQBS6MAXAMMG8F7J0GYGRXRFCC7M)
(trans 'SPQNXEH1G68T9QEST616CZCTJ6JRBDY35DD1W942)
(trans 'SPQP14VGJJZ8SA2MH739Z29QJZWZYM7BWYF7J3MP)
(trans 'SPQP4Z6NFGDD79MYHD00HGSE98WWRJYBZPQJ7FMD)
(trans 'SPQP64JBEWQ8VFC2DR8HVF9QHD51MS8ZTY7R5TYQ)
(trans 'SPQP7SCZ3T2TGXD9YGKB4QD0TWNSA38DH96T0R7J)
(trans 'SPQPJ8R8W225PKA5D6VRV48YQ9TRWP6JFEQ8JJ8A)
(trans 'SPQPSRVNYQD7Y04DWBFHDRV1BB4413CT4220RQW0)
(trans 'SPQPWVTFMR7GQD02QBGXPF4RC3MME4Y3D10JGYDT)
(trans 'SPQQ858KNRN0FWJWB87ZHKPAZXD7JVQZKN70WTGG)
(trans 'SPQQRK4T48HD8PYK7DT5QXK7JDVFDNZBCTSFGWJN)
(trans 'SPQQTT7CCAE9PS3E1DG79SEW6CR3FEYB75R037YY)
(trans 'SPQQV2QN22NAT45PREHH73T5RHF9HZJS7MC3EWCE)
(trans 'SPQQZ7Z6EBQGES65H6QE5XHNR6R8Q816WE05ZEE4)
(trans 'SPQR47EGQ3ZPK7N5YAPVHJXJCCQP0YE6TYWW6QC6)
(trans 'SPQR489BFKKAQPNF3KRTAVVBJ404DWY42KRPHQQ0)
(trans 'SPQR887V7EXF2VKKS32S12EAVD4PWAK8T3MTTMGY)
(trans 'SPQRBSWN86KADDA719AM9V4YP0PQVZWRBGQFTT0S)
(trans 'SPQRCD92VZPXMXHC7XTB2S6PC8X3NQVM6AXB4RDB)
(trans 'SPQREHH870S9XS9RJ6W3DNG7KQ71X1ZSZP13214S)
(trans 'SPQRZQWAZ78SE0Y9R571AGTK9V4GT9CWAFAQRNDK)
(trans 'SPQS1J3X9FJ6N4E9K2MW81W5DNBSCC8ZPHR6K2YA)
(trans 'SPQSBP2A2YFGQ5Z7QCS6QVBR44D4B6KCGKJEG55N)
(trans 'SPQSCMZN96EHBKPTZ7B8D534N0TZ8DRCF7F6DQWT)
(trans 'SPQSFSDCX7V6VJ8YK0EG3NHE89R39DVM01NA7QMB)
(trans 'SPQSVEJB0XFDKG5EM4Q01SX3X6RD1BAVG7Y9F2TR)
(trans 'SPQT0G52KC8V9J5JTHKQ2N5RA8GTMQ1ZA48FR41M)
(trans 'SPQTEQW927WKR43091R3HV5R6KKR65NCZMMBSQZV)
(trans 'SPQV5QCYKBGYG8AHB2ZPT5RJCWXNWSGMJKXYG5JK)
(trans 'SPQVAY1A2QRATHFAD88AN64C2A9Z423J1MTFJEJZ)
(trans 'SPQVDJ7AQF4HHEXWW4HQJYX5QY37P3XMHKJTAYME)
(trans 'SPQVG91FWDN2KZ6V8DTSKYCXC5FEZFDZSQC8ZNM1)
(trans 'SPQW0R641SH5EFJTHR1D11MESZS5E3A68MFZJMM3)
(trans 'SPQWET5B54XZC7XWWPGW1GHEVJTVSNM4ZMPEM0AS)
(trans 'SPQWKZ3MZ8AWJF0J230JBWKF273S6WKH1WS17Y2B)
(trans 'SPQWV24PYDJ6S36GB06E1KMWNHG34NGAEXZD5Y4K)
(trans 'SPQWXJ92BR3VZP2AHEYCYS7QN8AMPZ68CRDF9GFP)
(trans 'SPQX7KSWFW70JY12H8MKTAATHNBR4QZ99ZET3WTC)
(trans 'SPQXCBGZNSVDED3VBAPB6WX61DPKE6KT48Z2TXWN)
(trans 'SPQXNMWM68N9T337PS5EBDJB4BPPATHKJ5CHQ73A)
(trans 'SPQXTKE3XXJX6GCA6WGYHM7NC3YBXRQKJG0XHXNS)
(trans 'SPQY88E87FNMP1NTY2YQ7X5DPTVY810PS8T6D2Y3)
(trans 'SPQYTH5FYJ1TQDH7H391NCAX63PVESSFZTGP9426)
(trans 'SPQZ5D8S6RQEM7V75FMQQSRZVGY6MX96YECJTDGR)
(trans 'SPQZ8TSTYSWH42NJGX2RVC6MYDCKYZZ7GPS3NJYG)
(trans 'SPQZ94RC1JB4YQYDD17WSH397G83RP21G8Z9CHSM)
(trans 'SPQZB84K0ZW6BNAVWETXHY6THQT1RYEMF930QZS2)
(trans 'SPQZSFR5JAGWF6EVF7WBK1CX98DERQYNPVDDM640)
(trans 'SPQZY7R347ZYC813JH7AWM70BJH2TREAWPS5KXZY)
(trans 'SPR071G0ZCH2KBQAYRM9KBYT7KEX2R2AKMKQSH26)
(trans 'SPR0AFZCRJZJB6BXW2VDKXRPBEB5QYRC4WQE353B)
(trans 'SPR0ERQGYW544QPS4Q97A2SVDG2JBBCBJJ71MA6C)
(trans 'SPR0RT597GTYE4RD4KYKJ04HT44TYK20QWHF45E3)
(trans 'SPR0XCHCS1EZP5XE1W5M77M3D1VCH64WW6W0R66E)
(trans 'SPR13DG89TQ2V58VR460BNRZPGEDSRBB3FRJQWNJ)
(trans 'SPR1DYVY52Q5HQTYT7WRC9RRXN88J2PN7F1CJZQS)
(trans 'SPR1FFE2T8XF289M73W2YFEKN6JE9AGFX51J9EF7)
(trans 'SPR1N1QM750W2D5F15DR9BVYSMC96R9G3VQJTXFG)
(trans 'SPR1V46M9KGHAK7CHZV4ZM6D6ZKPNCJM182RRN1Y)
(trans 'SPR1YWT38D1XAJZRFK5P54A56PPZCM5YPBBBZMCM)
(trans 'SPR20FHZQY2Q0R3X1S0G5QZRMVFS58N6GV0XKA1D)
(trans 'SPR2EN3XZW1ZRS8EFVRHHXF1CC0A32V3BSR87KQ8)
(trans 'SPR2SN007Q4JTFEC47DSNHENK24CS7HY4J4VRNF7)
(trans 'SPR30KK2JTWVPM9ZB3EE05H8HFDYVSHDNKVFXJ8G)
(trans 'SPR36XJ3V9BZFJBMFQ7ZV93YZ1SS22889CZA17F2)
(trans 'SPR38H6DASX1CPWTQB1FXEX25S7ZP76JKZ1T4SWZ)
(trans 'SPR3DVDH77P3TTDWZVWB6F04BQJR1H9TRAWQPVR4)
(trans 'SPR3Q18MGDCJRTH34XZ79W6YWSSS39G4BP6FVMEV)
(trans 'SPR47JA8P9FHJ5A9DC3SSH2MDEHY8N82SHY9GEVY)
(trans 'SPR4F23H8ME3ACB6PA027PGS4BEXYTXR1K9TE7F1)
(trans 'SPR4R8VCCJF6G8CZQRGB7N1GCNKRZB4RDPMF6MEX)
(trans 'SPR4RKH5RT3CD92N9GP7A2FXFFPQCGK9DEKF1BF2)
(trans 'SPR4X8H10GHJQ0HHM59SDMDNBZHW5AWBNKG9QMP7)
(trans 'SPR51QGAQ1QKCZ8YBJFHKVMTS6Z858BV20QY0819)
(trans 'SPR52K2MQQR7B3RKFHE8WDG97G0PRPH21PXYR6VB)
(trans 'SPR58Y0ZCK3PN6C3JV2PE30QTJE4TE8HJEM5Z36B)
(trans 'SPR5BBWY9C5Q5YYCP2FPJ0WCYCAP3DHT2WPTHM6P)
(trans 'SPR5CK16H6C824Z2C58TH9DP69R5GFS94FPN488K)
(trans 'SPR5E5W1GXSJSQ6DHP4SHSANDQX05MKXT01R2RHY)
(trans 'SPR5HR3PP998JCJ15WVC7VPTG2JA8G1S1D5NW1XD)
(trans 'SPR5S7BRFHVD4QTWRA1NWA08AKSMS4MBE50V1MV3)
(trans 'SPR5T6FHZN1QSC69MF13EP4C78PQ0Z5JN2PYX9WA)
(trans 'SPR60B5FCQ9YCCPVNT3XDCZ5WE8V8DBA62MKM09B)
(trans 'SPR643E2Z21Z638ZFGHPR8VDVNRSSF990MBYFZJR)
(trans 'SPR6EZQT9CNBNBVTDZPHZ9QCHFD16D5H601B84MY)
(trans 'SPR6FRS29PXHS5G4KPXQY5WHPHJVV1SV9S3S5MEN)
(trans 'SPR6HCQDQ1BMBXP2EWA0SFP4ESJJT5JNW5R4H3JY)
(trans 'SPR6HCT1ZQK3FV0AGMTP6HWGT6M08WX9EHS3CA8H)
(trans 'SPR6K4VQ0JQN677W4GGCN5JTPN7XF7YTP7WKAJXH)
(trans 'SPR6MA2FDHE2QZFEVGP8M0C51AQ5V7H1DPFMG3EV)
(trans 'SPR6RNTSP1TRMNXG17DHN7S2EVQ4AVDK9Y38MK88)
(trans 'SPR718JMHJGVZEMAM7VA486JSMEW81RB07HBKR6C)
(trans 'SPR723BT6ECPYBH8QP0KVTXSK965Y1JNPJG2RZ4Y)
(trans 'SPR7GA14THRPZZDRSWBYAY5QBMVED8VKQYAS3SS3)
(trans 'SPR7NE5MV6ST6Y4327952AXQ2GCJ9NGKFQ7CPVKK)
(trans 'SPR7RRXN8ZRXPNAFKPN2TB84J7T1RMZRGWQQV7P3)
(trans 'SPR80E8B25ZMX9GRWH6V8SHQEH3PK26KD8X9B8H)
(trans 'SPR85W2MD3R0B5WP20NWPQJJ1DKTNMECGP03BFGH)
(trans 'SPR8BNW29CBGVZFPVBTM1K9TVZQTZT3KTA44TF00)
(trans 'SPR8FW822WCZ1T927GKYGDQ90THZZ0ENWGE3KBRW)
(trans 'SPR8HY8P32BTQ3ZF2GT5M09XKT6NX77PWMQBPH52)
(trans 'SPR8QMKJNN4NY8YMVX09M7Y202NAXB1NZKXPHNER)
(trans 'SPR8QQT14Y28TDRNJN4M57APM7W26YY8P8MX4S5Q)
(trans 'SPR8SYE15CZPYVBHM1S119137ZYGNZD0QERB2WC3)
(trans 'SPRA6FK6C5N1Z7G61N77YWTN2C13GEX9NXQ23MX9)
(trans 'SPRADAE89F2YM9J9QZANK903SS63BY9XDK0HHHNV)
(trans 'SPRB3JCRYJQXAXFTFR78NM9FS1VB8CSSBX2RKKFW)
(trans 'SPRB5E6K143QWYAKE7D5CQR141H4DD0801FADTBS)
(trans 'SPRBP4PRWH2M4ZH95W1R117JCD7PS072ZQ1MC2KK)
(trans 'SPRC4J07K59F8SQD775Z99CAED2YPR9MY319GTB8)
(trans 'SPRCCXKA7KF27X5EVZ4D7KEEQ4GGWJDXM9MEQ2D4)
(trans 'SPRCNNHP98B51BXTHEQY3VRPKEMT3ANKDKY1PNZ8)
(trans 'SPRCZWJG9AEXBEQY366BB8F5JJ4Z0Q3RJKJ3MEY0)
(trans 'SPRD296D72STM00JRTV7BH75TP03BEESVEPK90WK)
(trans 'SPRDCY1N7N4EMH052JB36GWYVM1J391RTB6P30Q3)
(trans 'SPRDNTHQH90DGPK4BQBZYJF2EJ5NP2KE21G8FYR9)
(trans 'SPRDVMHXP3DG3SVWN9GSVV5ATEX3E6G14N6DZ691)
(trans 'SPRE2B9P0Z1P5EV2Y37Y70GY35R56PJS54GBJCNY)
(trans 'SPRE8XH8H6QWRZMCFME46N64K5A08K4VAG7K346C)
(trans 'SPREHB3AFQ693V0KN724H1QF8HZYCVYECC4WP1KE)
(trans 'SPREJW36H12T1SEWNP8KAT9NK9STRYHXFD9F5GHH)
(trans 'SPREPHTHWP49E7TAF59G3X7D1P7VVBNFYHP7P0SP)
(trans 'SPRF0QHY0SZS8JNHHK6NG8ZRTW9J5JQ8EHYP5756)
(trans 'SPRF9BQM550AXSMK8CT8N8YV6GBDX6PS53FYSKYB)
(trans 'SPRFMTKTSF2H0KHCT86CGYAANVTQ0TW8XGXVAXNH)
(trans 'SPRFNPWDB8R735HQYPVQ3V3AKSWEQZBEG4SR1BC2)
(trans 'SPRG6V76YHSQ3KBWC63MVHDNNC1BDZYTGB48D25M)
(trans 'SPRGKWHWMD4XSZH9Q8F2JA6M9ZP1CV0PZXBJK11T)
(trans 'SPRH24QFJT2Q3ZMXJB764CG0GSN4GEWX1HKTQTN4)
(trans 'SPRH9FYHSWBC7P936QN7JGVKNCNH7VF717F6YJHC)
(trans 'SPRHFQXPHATQJWP86VH7MG88KVAHVYYB1PVGGADR)
(trans 'SPRHGXAFSZPQJDRQ60GVJF9SS3ZXJ234KB3A49BA)
(trans 'SPRHV8X4334T0EEYC6HN37FMPBJC89YAJWGBY3P4)
(trans 'SPRJ1F3XG1C86E3XQF39WRNKRSM8BBC57KZH4CE)
(trans 'SPRJBE30BVMFJM2AM32BSN5XN3Q7WDYZC2W175W6)
(trans 'SPRJKQYDCCV5HA8HGXBK3PCKVN16JQ2DM76D2VFZ)
(trans 'SPRJMYJY8YVMCNF9W1Z5H0B59C8G5EKAVKTKHEYT)
(trans 'SPRK596QQDSGP1FHBVH56FZS3HHX0QNHH7P6XS0Z)
(trans 'SPRKD5NMFRN48X79RJ1H3P07K3YNC9CDZREHN7HC)
(trans 'SPRKKTTA0FEQRKVC9D7E6DWB9CNZKAQSTBBMSQAW)
(trans 'SPRKWC7C3E648GFMBKMTPSAHKYY77GDVEP8FPN81)
(trans 'SPRKYA9PJ9EXFH6F4QTGZW812GHNMQ38431VJ77F)
(trans 'SPRMH53MXQRY2ZM5HJTJ91VZFQVQR8FYHMD6EY47)
(trans 'SPRMZ2SH2TW023PRSJ9W418DFKNJWZT0BEPYVMB2)
(trans 'SPRN2PRJ1HSDXMPBYA4A0QJHTA7ETEBA2Z6B79JA)
(trans 'SPRN7WBX9JG8GVQEQBKQECET43ZJSXXKX7E3G84K)
(trans 'SPRNARGJX8PQTEB1DGS42H5C560D6CT211PMEPMC)
(trans 'SPRP103N09KNY627BCKP27BDJ52708CH8P31R8K3)
(trans 'SPRP19AAP30K2Y81RTT07FFWWJ7Q3NEH73HAN2YH)
(trans 'SPRP4AGEMDEA034SP5RVDQPT10YWZS4E27A0NQPT)
(trans 'SPRP6259B44NMRFGHW959X26CRRVTSQT4ERR6632)
(trans 'SPRP7MYBHSMFH5EGN3HGX6KNQ7QBHVTBPCE2RJDH)
(trans 'SPRPA3QHDFRRYNE7TP0DF44EP6XPTFVPDCCPN6BR)
(trans 'SPRPRKRG707ZRTMD3Q3SN9PYGZNBKZRTDHHJ9EP)
(trans 'SPRPTFRK1PAJS931PTGNY7G561D8B88YEQQ6TF6K)
(trans 'SPRQ8RHPCKCM9ERZFJJFN01AVVKP8VA2NFHTHKYX)
(trans 'SPRQC28KFS4QGSE5FCWF0Y6QFEANCGNXHX9YV341)
(trans 'SPRQM6AQZ5STJRA8HV3HMQV5FSWCKGRW805VXB1H)
(trans 'SPRQNKPB1N713D3SSKAAMH1YC7YXQB05V6J09DJ1)
(trans 'SPRQNQ02ETRJWFBSSF2P0FBHQNAHD2X1XZ02V9TV)
(trans 'SPRQPNYKJDNPVFGZHVRY1Q2K43WBAQZ2TMHR5K6S)
(trans 'SPRQT6AW8J6XY19A7PBA83B24F2BB4VVJX9Y67MZ)
(trans 'SPRRXKBXHDFSXK10NSEXZNDG82ZJDPQJYBD6M81F)
(trans 'SPRSMJ5QYQM8T0YRJGAFZXRFXN3K6PCDRDYE6B2T)
(trans 'SPRSN228C16NS16C4PQK8R1WS19T0RTSD1FDKGQ3)
(trans 'SPRSQ4X3JM0S6HNG88C5HMYP1AQXF4W4HSPGPP0F)
(trans 'SPRTFANA44SGKFB3N0A1RH4BJ1E9WR7NHKZYJRBN)
(trans 'SPRTGGX3PRNP6MVCHX3P486JZHCFXZRQ8YS5QJ7K)
(trans 'SPRTJKWV0MYB99T5MP8A0AG7JXEVFHJ8KX20C16E)
(trans 'SPRV7ZMM4WMMY1RKMFBB0F4RVCXQHRYMFV2PW6B3)
(trans 'SPRVMMG1701X0BAVZY48822KHV5XEKGVBY6RJT5H)
(trans 'SPRWFVY08065X3Y7SS0N3EYMWQ20TNMDZTCQ2E25)
(trans 'SPRWGXC7NQTMZCPWQVB0KZB92XFZYTMR921DYM20)
(trans 'SPRWMQEFC9F33B9JK9GVYY3KKTH2BT3EBXZTT0H6)
(trans 'SPRX8W53YWFKB61CAMRH4WPT3N1SD7H2KCZTH9Z3)
(trans 'SPRXHQ72EXN9MQXE1416J1P374VYG89RJP85YC61)
(trans 'SPRXM4K11S8HJCEAHTTQ8531VKX5GC5YATCM1JK9)
(trans 'SPRXPS8Z3Y74CN5KZT7Z6RQEJN0DT818YVJ3X9FP)
(trans 'SPRXRB7J5SF0N0XQJF1FK332H5VZ67ZA5Y9Q036S)
(trans 'SPRY44ZXCWFZXW1019NFEA5VND6RCDBRKP67887)
(trans 'SPRY4GZYFWXPZM09P3ETG5T766MTPHY4028F158N)
(trans 'SPRYB0V0ZNRV9YXZM221HZ18C23SX6GA03NK187X)
(trans 'SPRYFBGAEJ2QNNP76JNYDDAP7G1J4027H98V714Q)
(trans 'SPRYM5P17M0K8Z7MW8E38F6387J5AVRHE45216SR)
(trans 'SPRYQX8H2J01H066RWFG4GK80W39PWQN7907C4J5)
(trans 'SPRYYX95H1CWJB44BR5TEVNAA1B1TBTDT7T8KP0X)
(trans 'SPRZ8P0MKFDQ2WRQM44HCZB5W70G7BS6XCY4X3J9)
(trans 'SPRZHR5NV7DMS2650N0CE4JNTKGGRHBC2AK01Y0R)
(trans 'SPRZQD41B608W1PJQPFMYAYCWNM680HZSEG47D0R)
(trans 'SPRZZKA5MNDQ25S7ZTM6927WZZ5FRDX9DJZ3CQBS)
(trans 'SPS0E5CNN42D1C9ACCQVRVRZQSGWNZDKM6DH0BHW)
(trans 'SPS0T1X1M75CGAA4ZAHC3F8F1PBJKC9AY29FY9HY)
(trans 'SPS0TB5ZXDEE7D8H2J6C8SNYBV3ZNYQGM1BDKP2H)
(trans 'SPS0TM17XPN13RP1GCGNY2CB8MFC54EEW4BQAGPB)
(trans 'SPS1934SMPT6FB8EG36K1QTB05HZ5MTPJR0FPKBT)
(trans 'SPS1BZ7XDEP906VS8FGF13YV47AA4HZDTM1MT3C8)
(trans 'SPS1WJG6TK3XRKYNQP01HWD9NXJK5KPP6XY7JN75)
(trans 'SPS1XG4VH0JQJSTDVT7B8DW6GCMHDY5PSM6HVDEY)
(trans 'SPS1Z04H4H1HTMKE6WMKWJEPRXMF1W681XC59SGC)
(trans 'SPS23TEAYCCTRTDSKGYCGGCP5WWE3H9Q7G443YX7)
(trans 'SPS26KKQ06TGZAS7DCZ3RZ7QMVPPB03XDNXAXAC9)
(trans 'SPS2FZ3K6N2CZPBM4BSQCEQV23V2334E7MJ4CHZT)
(trans 'SPS2H237QSB4CTZ8B4C3TFT7VZFM7FP8D0BTRQS3)
(trans 'SPS2QNNQ3PFDKKZ909AMDVZ7KTG5XGP5861KQW4B)
(trans 'SPS2RBYAXSCXMVPYXSG724CFY4W2WA2NPG44V191)
(trans 'SPS33RR0R0R28N4V42AKRAFE2VWM4C3XFB283DJ7)
(trans 'SPS38KDTTTFYRN25FRN5P6DHSZR9494Y1HCN9MQH)
(trans 'SPS3QHRHHNZPPK20SNM8BB88SZ7YMDS1ADE4PEH4)
(trans 'SPS46Q8P75FGWDX11JNVER71R90VD5MV45XA5X1B)
(trans 'SPS49P4V2R4T28PBTW2YDDPCR5NRT36NNERZAQDX)
(trans 'SPS4WFPQXKRD41NNQ5DSCB7RCMCZSX19XZ2BVMTS)
(trans 'SPS51PEXKRDZMR0NYPYMM1EH2Y054T3ND173N0NW)
(trans 'SPS5ABZNAZM867Y80T09MR1AGFVYF5STRC9CXMDD)
(trans 'SPS5M2KG3N61WHSRRHGGPTE71KNV8P01HRZXZWQG)
(trans 'SPS5PHERADE6812JF9C45HNN7K23933VT9NDWBZQ)
(trans 'SPS5XTW87A1DPR0VMC0DHH6M9XSX7S5CW194WQRQ)
(trans 'SPS61T7KP1NMKQ0VJ5ZNF3Y3YYNGEPPZYGDEDTV9)
(trans 'SPS62VRVYWFZXWRF1R6JV74JATNBESDNT56XR9B0)
(trans 'SPS63ZYYZK6F9YEDBGZ5WDTWXMDPTER1DWW84C45)
(trans 'SPS6543QSVCWM0B1CQYD67RV4QP3MGFPJEHG4FHS)
(trans 'SPS6M927C2MA4DD8B3N4GAKC1J27TGHJH1C5XJY1)
(trans 'SPS6P76N4K900PJW6WJZ9GYGJN0DPK6W71N9454E)
(trans 'SPS6VQ8CV9W3MXNA9J0BB258KHWNJ92R15ZZ7E7E)
(trans 'SPS71N3YPPMAWJS439330QY5HF6A6QS8QGF53JM7)
(trans 'SPS7724PQRY6W37Q6RRT1WT1KNR7968JT6Q0S1Z6)
(trans 'SPS7GTS9YPB84HQF697EDC2R6QQ764EC41CZ3HG5)
(trans 'SPS7PJ0XETG79ARZC5CAD570MDMQ2NQPH7P61R1)
(trans 'SPS8HAKAHDN6SDSADYAVRS6YH5NXR8CY61MM31W)
(trans 'SPS8PA865RK9YC2AMZ1X3QCF51X6QZ9JRX1066R6)
(trans 'SPS8R33TJ2VR3V838A0M3YPRJ6BWVGM7GGG76A9Z)
(trans 'SPS8VQ4N6C8PQ7EZAKKAQ3V6VJWKFZG8E2TRZG17)
(trans 'SPS9E2ADF1035YAW48E1WYMVTJFC9VMYRJFE6HW2)
(trans 'SPS9T4W740F6XFG8VH53G8Y8A8SYH6YVXMK6TJZ2)
(trans 'SPS9T9D2BMHK70DRV373K1HX5X5F5XNHWJBFGDF8)
(trans 'SPSA98B9RH7XXENEZJ8NAFXH1Q3WGBAHD52KMV6W)
(trans 'SPSABD527P8RDV7JAVNWQSHJ7ZTCWXNYNH6YFKYY)
(trans 'SPSAJWJXWTAXF3P0NHM89S0BVK74FTHHARG3H96X)
(trans 'SPSAQVX01P4BWSRCHAACFY6DQP3G1367A578XWTM)
(trans 'SPSAZFQ8MMQ95P03RCDRD574TSGF61K5MQWHVMX4)
(trans 'SPSBHXT2C81A373HZXVKNN52SWPPC4TM4EF1E6AE)
(trans 'SPSBVK14BW1M1492PWF739N1SA6KEEEEKFT6QCTN)
(trans 'SPSC35NSP4BMQNYDAFQBEGV13ZP4YBS41WASJ0E2)
(trans 'SPSCDBH36A1WCYHZ5V8HRH3D4R07JW92BRV1BEM4)
(trans 'SPSCEKB4HD4Y02MGRKRQ2MQ386ZE2035NB1KV1Z2)
(trans 'SPSCJT93SXRX131BYS1W7HJC82S9DRVTSYB6PWD5)
(trans 'SPSDF36009G1973AX5MPKVAQZ9EQKH14G35KTMDW)
(trans 'SPSDGXP9QW83AHFJHW335GJP052R4QWXHRVMRNV2)
(trans 'SPSDK2WDWWR17BCCTNJFW5TZ60S5Z0F22V34RMXF)
(trans 'SPSEBFRZZEZSHGRKRR1Z55RX5AWHER3CYM0H9BMW)
(trans 'SPSENC4656P1MRX25VNGSTB7Y20268T31XZD6Z7S)
(trans 'SPSER0Z6CXAKJKXNMDK9SDVEW0A0GX247FY99J5F)
(trans 'SPSEX2VVQSDZYZ5CHBCZD0840S52PK5D0QPWPXC3)
(trans 'SPSF2JPRM3WENT2NKAK7BEG1R7SFVVZRX4XK557D)
(trans 'SPSFKYMHXEKKM2ENVSAXZ6D4HGVEMQQJNYK5CDWT)
(trans 'SPSFYMC8H6V5KBBHV0WRVG6JJDEKX00Y6EYW6P95)
(trans 'SPSG97KXE3GHAAK2TMFC9VKE9KB0JBM47YY84Y8C)
(trans 'SPSGHTN2WSB7GJV3QX5JPX3AJ5N9VJBRJWEAT8XK)
(trans 'SPSGP0XHF7VFJQ5193N2SV9MY87EWGVJXAZK35K2)
(trans 'SPSGQW1N546EY96EDTCBZC7SWV2FFH1J58MCYBR3)
(trans 'SPSGTWEP2QTPK3G3T8SK3RTEBTPCHRJB6X01879J)
(trans 'SPSH3T8W16Q86TS1Y4BMXW0Q348RMK5SXKGSP2F1)
(trans 'SPSHEY24MHYHTNNZDSFV1YX18M8VH7GZSD5NS60G)
(trans 'SPSHJE4F0D0ZKJZ1DVXEDFFD6AKHHKF31H3M77B8)
(trans 'SPSJ38GJK8GZDG3TPXNDX9K7M8X0QD6AE8TGAYRD)
(trans 'SPSJK5SFEPSX6ECWMEZ0GTA5JXYN2GPB26JJ3PFP)
(trans 'SPSJM3AAQJS60EX8K23YMBV38FHVJJB9G8CBB8XY)
(trans 'SPSJSP1MJVMA356JEJZTXWF9C0G1KHANVD2H1MQ9)
(trans 'SPSK2553AJ58RTMJ4PNA4DTFVE435Q82C0RNB102)
(trans 'SPSKBQZAMR96JZTZ3AVY6GY4H0YXJ17VNETN4HP)
(trans 'SPSKCDMFKVGDGS7HNBD3F47GC3PHBWSCXVMV8M1A)
(trans 'SPSKCYCK7W52QGBTWS02BNV1HPWDP7NJE76RXPJ3)
(trans 'SPSMKPJTK2THKYEPY6CM6Y57BVJ0WZX6EVPZ6BCY)
(trans 'SPSMWNH1RQG971SJ131X33ZSF3142GK526693CHN)
(trans 'SPSMXVBJ6NQWEQ70FRQZ37J6WQ50VENJZFKK0NS1)
(trans 'SPSN6K776CXQBFSVM74W4SAR8W7HCQD6844FA4XC)
(trans 'SPSNC4X5NJ3CX7HEAZXMBPTTTTFCP1EP21QTYGR0)
(trans 'SPSNR0JGX6V2M1MXNAJ37G1SRRJHJXF6M1PC83GA)
(trans 'SPSNYZ8WRCC7VQ9DEC6S53KQSAHNXSMKNCFA7Y55)
(trans 'SPSPNZTTQGVC64M9MAXSKSH18J05ZHP5FCH12FT5)
(trans 'SPSPXPD6GTDYHYS06H6J3AZHD6WES5VGG95AMJ7S)
(trans 'SPSPXTG3617V89EJHBH8TPVXW6MB8HHKXNPYTKK8)
(trans 'SPSQ4W56BY5XKZR8YJMXYP1CKJ64TT4CQ04GFQT8)
(trans 'SPSQW25WJPBQW0PSBREBQ5YAGM2PYY4KPNMF8TCR)
(trans 'SPSQXJGB7Q7MGGPZXNK6CJS11XGWM60Z3D7AQ689)
(trans 'SPSRQNN7GG7FJ9FFYW1MA9J9C7X5DVTNN225TAZF)
(trans 'SPSRVTE1KRB00KK1XYWT1Z6WZE8YZZS7J0REK86D)
(trans 'SPSS73RCY2NXTHPZYSBBD7CPBR7C3V9T49HE2SEY)
(trans 'SPSS7WAYA17Y8Z5Q6GJTMH4FH4MRJ7HZZ6JPGAGR)
(trans 'SPSS9E2G4SR5NT72C5Q7WFBJ4BDDKZP33D2F9ZYN)
(trans 'SPSSBCHRPNEKJ2DV5YAZMPRKDHDS657Q8XYK6QYK)
(trans 'SPSSE4Q4G9QV5P3XVJA72Y4ZY63JQHT60CD4YGBT)
(trans 'SPST8W3AJARYQ2D741G1K0EDX8KMCXCNNJYD2RMD)
(trans 'SPSTE5R54386QDCDNJJWH2EXQFST44QYZW3RPMD3)
(trans 'SPSTQXSERCN7EHB6GXPND8NPBFXV0M9YJ3XY9561)
(trans 'SPSV45AEM37J1W33PABQZ1P2PS1TSZ9JVDPSDAD1)
(trans 'SPSV47SRN3QJTZHAG92ZYA68NF0BJVYMSRRD0Z1P)
(trans 'SPSV4TXVP768KRDHRHZBDHENG29M920A9G30R4BX)
(trans 'SPSVB93JGJZND0A116XW94PCK03Y29N5RA1ADJG9)
(trans 'SPSVBQV8QYC7HX108AWNWW0JVQJR03N8JYCQMDZ3)
(trans 'SPSVVWGF78PZ7PSG89KCWD9Z61BZNNTZJK896H0X)
(trans 'SPSVWAKBPCT9C06FAN5XZHDKG2EFP4S22QVW02A3)
(trans 'SPSW9KZ5AMFKWDAR89ZT8Z2FSPXTYFG7X0YMW201)
(trans 'SPSWJHZ60B06038CGPTXVNE82TYZ6WE0GE8H304H)
(trans 'SPSWP9YDATNYHC3M8N4RH93AZQ58JSJMHJK4S9KH)
(trans 'SPSWQN1SJMZAEG815S7BMFSFRYA4X2S5AE91R88A)
(trans 'SPSWSKW42Q1PN1AR2J41KF2AB7BGWTAFF8XR6X5Z)
(trans 'SPSX317MQWBPGD6PR343XEV09Y7X6M6DBPP2S1WK)
(trans 'SPSXJ9JH9CJ6C04BRYK676A271R0J8RQXBSAPFTM)
(trans 'SPSY9BQ27HJP9PMPYSAH5DCGRW028H8FQF9HHD20)
(trans 'SPSYE0KJ6QC8MMBG8417Y11460X3X94A640CVH8W)
(trans 'SPSYEWHSMNXCD98Y6YTK8A37FCEE3YJRXZE14VKS)
(trans 'SPSYX3YF9EBMQ84PQERQ27E5EGNZTHHQCHKC6PYE)
(trans 'SPSZ6FTCEK74689AT85HF9N79B9138C9M6TD63S7)
(trans 'SPSZ8N9FFTPXNHSDDYVFTT6VZEKT27W0VYAP4N4B)
(trans 'SPSZAKJXYQRNCRM7HC81ST0C8S8MAKRJGJH19KVW)
(trans 'SPSZGAB2RTJNQ9TYHFBF0R75094KB3AX47CSFRFT)
(trans 'SPSZZQRRPCCHY15NV1TJ4KH96F5XM64SVAPSN9SA)
(trans 'SPT00N9Q53D5S5GV0WSJQ14MPW0EPTNJN33TPEJ2)
(trans 'SPT08KMYH99PJ5ENJK4RDRQA9H9ZVG29BY55GQXV)
(trans 'SPT0P8WA1SS6WMR4DGHF944K5S1A6SG1BBBG7S4W)
(trans 'SPT0W7P8ZWJKEEJ6ENTYDAH6FXHC0ACYNKH73Q0R)
(trans 'SPT13VFTB3PVZSTB8W2TCF8AYHH27HD22JE1P8NH)
(trans 'SPT16E732Y4ESNW465WCCS7ZQAC2YH7AC6TXH6HH)
(trans 'SPT1BK0YQS1N6SWMQCPTG3TPV2Z43GQS78TCFPMB)
(trans 'SPT1HAT59929W0WYFWK7YJM7F40HZQHNBNHY9AKQ)
(trans 'SPT231SYKDT2G5ARMR0WRDWQERRE5QNJQPVZ2FP1)
(trans 'SPT298DGTCVJFTBYJJTWG14K6D2ZX1VG669EA36F)
(trans 'SPT2F2B7D68W5V3PJJJ5FFPGB1ENT1P448YQJPH1)
(trans 'SPT2MV9H04WS9DJWMRQCGTMAXMPM59177B2HM4M2)
(trans 'SPT3HE00J5ZQPV7KDNJMZ869ET90949G86KHZWW0)
(trans 'SPT3YYDK4S590J7XBG4S2GPJD4P488FQ9S79YWF4)
(trans 'SPT43MQYPM7VYZVNGVHBBXD0ND8T80R0HPR1RBXQ)
(trans 'SPT45EG4JXKPF1AB7PB2FV7X7QCMZJVYCA6M78BC)
(trans 'SPT4AKBW8KKCCD1VFXHMGTQTFTD225Z18Q9XW7NG)
(trans 'SPT4GV83945AYKR9MS1QQHT20D2KQJ65NT3CPE44)
(trans 'SPT4NCX0Y6TFGATHNQJ1R73T4JGAD59235AP2DFJ)
(trans 'SPT4QSFTPBS8B2QX9VCQ6CCYM5RVNHF1FY45WT0K)
(trans 'SPT4SQP5RC1BFAJEQKBHZMXQ8NQ7G118F335BD85)
(trans 'SPT52CG21HX97EC6SYNPQV821QMRDSNY4VTS9VRN)
(trans 'SPT56QE5G3W3QVRTVN8EBAZ885NC5DF9KP9W71VP)
(trans 'SPT5K81RZ8KGK20NN0G89WJ6M6NWGJ8M9BNXQYWK)
(trans 'SPT5VC4Q2QYKTP0PG4T2QGTE3AGV49NSB3TF4M5M)
(trans 'SPT5W2M6KVGZN4PRP85HP1ASTZV84ZN9YAJB9Z4D)
(trans 'SPT61Q1PTHBXEQ7MKWW8GQ0A5FHBKB8ZFWZRSFZM)
(trans 'SPT67RMC0Q7BAR34JSKMT9HGXY0HDJH1YZW2NBZ6)
(trans 'SPT6GRF9ZJFK220B76PPNSHR1BRQPY8FHZZZH7QF)
(trans 'SPT6MDVFGXQC8ZTSM2CZ70YW9ZR47WAM0JDPKA9M)
(trans 'SPT6XWT16232YEAE0MA218H4286CF8461V3BJ2VZ)
(trans 'SPT6Y4ET2WHGTBSWNYPC2YCVZ2YF6RJ48G3KXJWM)
(trans 'SPT77KK4S527SK5HAC9M7QJX32X92QKNABS03G37)
(trans 'SPT7D6A6PND5MQT3N4NTG0FBZZ55DFXWDGFE1VMR)
(trans 'SPT7H2VYA6WRN0Y5P1QAQBQAZ63YTSNESDZ2DTZG)
(trans 'SPT7J50TX3P6DQMD7N2Q3S94B94XD355ZNEHGP0D)
(trans 'SPT7KN0PTQNZNZC6MCXV2C0WVCXTEKJ68JZRQ89Z)
(trans 'SPT7S2FKBWMQ6S8BX2CWSEHR97ZRKNE0NCRHHT6Q)
(trans 'SPT7WNS47514VTT4NEZHXS8W59NTG54JWHVQFWX7)
(trans 'SPT83939YDPGHHSK160G11QEX8Z9C7Y5EZXQRPPM)
(trans 'SPT83RSJXQJXXSBHVKS7V8SKYK3QT13A2G097RDJ)
(trans 'SPT977DSCQVH1TZB4RMB3K4C5MKHB3R1KJPR0CAX)
(trans 'SPT9C1D8BAZFXDK4C3SCJ2PJCQ751HJVAZC4YVDX)
(trans 'SPT9C4RF8ES1BMYC1NG5D5545QGKP2N3AW53MFJW)
(trans 'SPT9CS0DA1XKRCS22HJM9JGG2TWR60GZVCDB9FQG)
(trans 'SPT9H0XM5M9R8V5ESW5FMC4D87Q80VJ14KW6893M)
(trans 'SPT9YWTBXR389TDH9XNH0VQB7Q80B353NC7RFJ16)
(trans 'SPTA1JQB38Y0H2BXSQFENQABRNX5N0DXN40RZCDX)
(trans 'SPTAH21AD2F2M434J5M5PY1EN9RDC47MEB0MTPJ9)
(trans 'SPTAKRGJQ8S8T9BEYJ0QKT3KDWZ8J0ZPYMJ3XP8M)
(trans 'SPTAQBF2T6M47DP939NE7ZQTQBZJZEYVEBCGW79E)
(trans 'SPTAXJKWVHBPEGNHJBNJ49A8NEK44BADMCJGX6Z5)
(trans 'SPTBAXKRKT7EXTZ6QRZFG1145M0BZ0TTX3HJZTFW)
(trans 'SPTBH1YJX2YK57A4BPMQ2V15HZDKRGMS81FC3ZTK)
(trans 'SPTBVFKPZZN21QD4G476X2EXATZRTZ44MJERKXRS)
(trans 'SPTBZ9KSN0PJPC46TP7QKBJ3M4N4ARQRPQ6RAYEW)
(trans 'SPTC3QFZ5XMBDHQ05TBQ5FDTPRCJTK2V20NN3PCC)
(trans 'SPTC5NFZJSR8T0ZGYCFBGCKEFDEB0HZ9VQ01QNHS)
(trans 'SPTC662YQ9BB8TP5XYYEPHRHAPNZR4D2MAZSHX0H)
(trans 'SPTCFW5C4MPFEBB9XG5SK8PS2QFN6ZJJ3S57RDQK)
(trans 'SPTCTRR44PX7QX6NQQKY3D0S2956B272Y3H62MM3)
(trans 'SPTD61K526BTDYR2EPPP559MVHCJ3T06NJXME3ZV)
(trans 'SPTD6ZR8ZY31R398DZQ005HPCV3SFZZ3TZ147P66)
(trans 'SPTDMAVVV3HZ0K51QTAF9JM0G09DB00JT3GCDAR8)
(trans 'SPTE8KT97CZP5EW132HJKJ4FQYVDJ0RYCEY5M6W9)
(trans 'SPTEHKCAED84DTNET0Z4RRCT2K6B8JV7BVY0514D)
(trans 'SPTETNN57BDV0X796ZVW41B5VVN99JQRDH68Z5W6)
(trans 'SPTF2PTH6MYEKX4AD5QPPERGD2720XQEMWW7V7WC)
(trans 'SPTFFBH5K2QA75BG9NNRZCK6X2NZANMP9HAQG43P)
(trans 'SPTFRVA2M1E7P8PT8Q582DDEG0JRBEVYRMK2BKKZ)
(trans 'SPTG089BNSH29ADBE1BBPXFHRVA1CQP21SPTTFJ5)
(trans 'SPTG81TWDYWPTRZHFPW6XG2BZ1VCV7B70BXRG68N)
(trans 'SPTGG85C45KC3KFV2P5RQT04XKXY9NSFGG85XFA3)
(trans 'SPTHP6991D74PN5FFJMB5P0VGYM8AMN99PVM0NJT)
(trans 'SPTJ4R1P9S75XHY39WYCH4XS62VJH04DT0TG3BFE)
(trans 'SPTJ77YFX2CY5KVWASMGZ9RCENYV1T901BT91TFB)
(trans 'SPTJN6XF3S3KMJ02HH516C91KD4XMX23BBMKNVAP)
(trans 'SPTKFNFN2A8KSY0FRJ4E5HTDESQ8RRAXD6GGWHCZ)
(trans 'SPTKY9KFWDETFGCSZCWW6FW7HD19V8TYW7292PHS)
(trans 'SPTMZQCXYHEQY1RR1ND5AM62253JCQ2FMP54CX8Y)
(trans 'SPTNBAFF07YZSTQV757BEMEXK8ESP3T2CYN1WQ6V)
(trans 'SPTNNWYBPHGYRBWCHDD9CM0H7E76DE4ZKZJBA04E)
(trans 'SPTP0PNJBDAP1YPKX85WWXTAVPCS4N7ADH09QNGP)
(trans 'SPTPB56PVF2NB56FGG5WNRNM3H3FGJK3EX8HEQBV)
(trans 'SPTPCT29NZ54TGP7XKE0G89A0WHS1CRF5067MPH1)
(trans 'SPTPGH9X8G684DV4YQVR36CD30YAWHSYN75TGJA5)
(trans 'SPTPYRXA946RC0KETRHJMSXJWH6YY2XSBPYN20S7)
(trans 'SPTPZCYAYT808GW381T60J4HH2TMM3Z63DQQ3DGX)
(trans 'SPTQ07R0M7Z2SYYWP743HJKN1NFHCQD0GRGK7C0J)
(trans 'SPTQ598W91W453SYPF8Q8ZCEZT57213SJ8NBNFGD)
(trans 'SPTQ59JDHJR4Y67YRP760EBBDNCDA64FJF1HBHBT)
(trans 'SPTQ7YY9VKRDGFC2DEGPEZXJWB1QJWW2W4ZFG45P)
(trans 'SPTQ91VV6V5VCEVP3BWK05YGNA30FDG5XNXQWCAB)
(trans 'SPTQA495JJANYKQA5A1X72EXCYTZA54CZSWWDS9R)
(trans 'SPTQEZNKY87977AKYHGFP0PN7THR06ZFMFVC9WE5)
(trans 'SPTQRD9WQP6ZDA78EJF72B4ZM4P4BWQWC81W1399)
(trans 'SPTR1DJVM5ZNPRY0M5ED3HJ1MT2ZZV90T9QV11DN)
(trans 'SPTR1THVD1DHJ5JM09F2HXR4GPNFD7BBQVTS78R5)
(trans 'SPTRD7N8CDE68Z2ATYEKAS6E7K40J8WMP3MNWX47)
(trans 'SPTS1DX2PV09JTY2TSGTY79QCZPDYX63ZVE68AAX)
(trans 'SPTS9HJ4QZKK9KC6GQ630T3K5YPHNV2DFXVEM528)
(trans 'SPTSH4XAQ62WVBWYDNNJXPAFCJ4XX5E0JEMP4Q8Y)
(trans 'SPTSQFE1TMCN343VCN6GQTHTN6HJJ3YZKMFK75C)
(trans 'SPTSRHCKNQ199ZME2HT89F3343B48SNYT23XAVDX)
(trans 'SPTT1ZEFQ88QQHV8PQ5ASR3RWPBY34PX7MM1D314)
(trans 'SPTTQ2HM16AA9NH7DMGPB19B3TMP3N1C137HFGB8)
(trans 'SPTTV3T5PKYXT90XTKJ02WK0ZHN0GWTPFZXCG65Z)
(trans 'SPTV0YG3R2EZJA9CBXK9HMZ1ZVXS9KJ0J2G2SY64)
(trans 'SPTV9X4Y220DABF1RS3B4NE3SQ548EFAE9NWA5Z5)
(trans 'SPTVRRKMY29Y20089WYA9G56M9EWXCNCMDWWYCDX)
(trans 'SPTVTQNH15JH5WTMPSZWGH1W37NDSACK5JV39Y3N)
(trans 'SPTW0D20AEHC07D0NZEHZBCPZ3JGST5271KSK9SA)
(trans 'SPTW0GQE9YZ13VHSTC675WAAY92W4BKV1GKZ6M7E)
(trans 'SPTW196D2867VBY2CAH71G8MMGJ7QYDMT7MZPG7Q)
(trans 'SPTWWMRF4ECHHJV8RSJF3057DNBFQCEMJH1DGTF)
(trans 'SPTX92XE6A5365046N1HSNRAX6BTHB51XW1P4MJA)
(trans 'SPTXG47QK5Z8FN541RWB2M593MGRMY141ZM0JJYA)
(trans 'SPTXKYRSKQQMZXTGZP8086RDB1Q8YJYY0ZH2B5EZ)
(trans 'SPTXNEFYVKBXF14GWE2A7RJ9NX3RZGH9J6JAB8WY)
(trans 'SPTXVEVC981MM0MWWFDDZJ03TCPCXHS06RPZ744X)
(trans 'SPTY2SN2V2NFFX30FYED62YMEEXMM0052RZ6QB5A)
(trans 'SPTYHSF5XBG8Y1S2V05MB2F2XM7WM2NYH245ZBKE)
(trans 'SPTZ10SMS9JKDHZERTMZTG2JC5KXFZC78H0MMS6W)
(trans 'SPTZMQZTKDWQ4MX6AJMR3VSY4C5BESHWSAF9NB56)
(trans 'SPTZSCPA9EVBQMHZ3P5694GBK0C9S5FR6TV9TCCT)
(trans 'SPV00QHST52GD7D0SEWV3R5N04RD4Q1PMA3TE2MP)
(trans 'SPV0697EBX4GS8CANTR77P61TCKPSSV7CR28P53N)
(trans 'SPV0B8GKWYJ9618EH3KQ99W3MYQH0P06510TTA4G)
(trans 'SPV0BGW0JNXKF6P82KXTZ80QYB2YX5XEQYWWD3QP)
(trans 'SPV0MKAK39GMGP1AD4GAN5X7J3F3ZPYJPJQZH5MJ)
(trans 'SPV0WDJQHWJVR2XD59H5NGX9AMNNTP4Q92XV77JD)
(trans 'SPV1RKCY5MXM6RPNAX1KRD5B4A8HDNRKK7BSCNT2)
(trans 'SPV1WBXFQR22BTSQZRC24WZ3XREAMW8XW142XPAS)
(trans 'SPV24G1ZSGA0SW6JD97ZH1XD868WA5B081XHTTXF)
(trans 'SPV24MPKMEK7G4T0AKZS23FWMNRD02EFNR8JT0TC)
(trans 'SPV26JSVGG5Y0MR56BJN03XRM996ZZ69VDN06A4M)
(trans 'SPV29RQ5THDJP568BMMK94P4EQ439WB58XPRTTPA)
(trans 'SPV2E19WA1DS67PXBT0EF689T1KNYZ9T2GN9ZGKV)
(trans 'SPV2E6S28SHGK6QHYG5DE8VQB34ZEDGMMWBZGK1T)
(trans 'SPV2MZCHS2QYH9BSJD86JVV6K93JZN1WCSV0781K)
(trans 'SPV2YDN4RZ506655KZK493YKM31JQPKJ9NN3QCX9)
(trans 'SPV30G5RDZ2TJ8Y9TQJZHJJCNFQ8AXXTYSFP6P33)
(trans 'SPV32H9NYYTB4CY13J24R93APF1R7HX4PBV9T1Y5)
(trans 'SPV33GEYEKNYADD9WZ64WAWJ9AN0S9NP9DT5P8G0)
(trans 'SPV3AMK3EAE0FNDS5SZMBKVJZ5DA74494DH2XAW3)
(trans 'SPV3BHCB2HVVQ17FKPX142SY1F05W8EEHF4XZ6DH)
(trans 'SPV3KF5YV0SXVEQ6V50SW2K93YQYKXHGD3SHFV35)
(trans 'SPV3MC2T8AF0JKFE2KZK1RD4DCYPV8SDKAQ6Q3JW)
(trans 'SPV3PSKPFWS3SMYHT2VCW5375WB60NS4YVJKW18X)
(trans 'SPV3YXPH3447FVF49Z6EYZ6BZT9TJ9W5BNHBB4RZ)
(trans 'SPV44FV8K4WYPXHQS6QGQ9Q1DT1GAQ92RD7BNSGP)
(trans 'SPV45W9T2ME5M1GKYD4T7W86PE3EYT14WSVG89A1)
(trans 'SPV48Q8E5WP4TCQ63E9TV6KF9R4HP01Z8WS3FBTG)
(trans 'SPV4GYHQ2B7R831M3F7ZNN22RDDHEKQ52ZN50CDE)
(trans 'SPV4J9YR6MK5JHK7ZX09XZKQCZEEB2SMBKH192SH)
(trans 'SPV4RW5N4WCTCBM06M3H16CA4ZMNB6ZK7ZV7S9P0)
(trans 'SPV5352C2BCHNGW39HDHPTZEPHJAWTA0AKQVMNDV)
(trans 'SPV5EJNF3MZQ2GX11636CB4KWR8GVHDZJTM4SQG7)
(trans 'SPV5G1C360KVYN57TVPTTQ07VP1E8FVB1NR2S4WT)
(trans 'SPV5MQ3N28HX7K9YXY1EF71KHSCPPQ6ECXV7GSSY)
(trans 'SPV5WBMR74DSEFFX56S6A3DBBRM0GKT2R5P1DDBS)
(trans 'SPV6BJMKY1ANCAD8YVXVNCVQBQA3ZT8BVMGQ79TK)
(trans 'SPV6RNHA7XCN4KEX91F7SP3ESY9NNN1X24ZHAHV8)
(trans 'SPV6T5ANHZ4JKA58C9WY53CPJDVGW1VVQRAKPA36)
(trans 'SPV755VN0QV8YH99XC7S61EDPPTNEDEX410EPAJ6)
(trans 'SPV83CZCGSY1CBEZYY1Y0SG2V2EZNQ0F5SDRR561)
(trans 'SPV8G1YRAKWFMBATB2594H4V0DQ79Q2JAQ43BF8M)
(trans 'SPV8TJSJCY9HPMSSN1TP9WQNT11H05A8AF88MH77)
(trans 'SPV9E9SQC5YBD87XX8K3RKAXVX3TEARDV34XXVES)
(trans 'SPV9QBDXNXTAP7D3M24CMMQQ1NPJY1BHR4GH4MXC)
(trans 'SPV9TZ0MPMHQM4QYY484E1ACF88N8FG3D5M8PC64)
(trans 'SPV9V3C2TK6PWHTN4D43NDYGQMFP6EKJSGA8F0V1)
(trans 'SPVA0SZD3ZTRY4KTEM3J7DYJQSANVGXBN5WPMGXZ)
(trans 'SPVA9GS89KR7EZNGXYVHBSE80MJCA5PRPHEDP93M)
(trans 'SPVAG9S48RWADXDBY2FTRDA88K1XEMER4BYN3976)
(trans 'SPVAJ4J59ZCYW7R62S0477S3Q78D91WM562C5EHG)
(trans 'SPVB3T6WCR9S4M88QZE3BNJQJ42FR3HXQJFW7Y9H)
(trans 'SPVBESKSVXN52H8HZ3GGQ0DV5VF4A118A770AEV7)
(trans 'SPVBWYF46XQN5T1XM6T5NQQ4V3ZGRY920RD71KTN)
(trans 'SPVC21XY8KR09NTEF2D8PY976N4E9FMV3D753NCF)
(trans 'SPVCA38J3FYTVE1KFXY3RRVWZBZNAJWRFMA556JG)
(trans 'SPVCDZD61JRK28F0T44Q6QSGMN7TCRM4WYGJ50F7)
(trans 'SPVCJJPSESD1Z677N4PD2NDGDJKZB1SDN0DP2Q9S)
(trans 'SPVCMKZTGYMKYJEHFN4FABNFBBYMM02HNF66A6N6)
(trans 'SPVCMN9ZMDB3CDQPEVSZCS94RM6DVBV5C8EF3T6Z)
(trans 'SPVCQ1Z82Y8ZFGH1P40VHFBWGDWNYX2WV4FFY3V0)
(trans 'SPVCT6FFYRHQK4PE112KXRXANFSS6BVABA8BY5BG)
(trans 'SPVCTHSXNW87VABCHF9KHQ4HWPT4GQFHT6XAFB6Y)
(trans 'SPVD8NSYQ72BPNM93C3G8EA1B8TET1F8KDP3HKGE)
(trans 'SPVD9WAJYQ0TFNXBBQ8JGPXMB60BRZ24PXC2DMQB)
(trans 'SPVDC4PKFFWGBR7YANQAMKR5W9K8EP9DFBBSRB8T)
(trans 'SPVDEQ7HS34VHBH4DAWQA33MP1RYNQM5CQAG76HH)
(trans 'SPVDF4YJER5QZD2PEY7WEDY6ZX6EQ36V1WN5XME)
(trans 'SPVEY0D31ZF9XKAT3YY5YMHFRN27NKZYS9MM03FJ)
(trans 'SPVFKAAD3F0JXJ0T3T5AR0DQCK0R86AH7XPJTTZ7)
(trans 'SPVFPVHH3EP74QVYB7ZQFFPJ9H75MSY96HZXYHJN)
(trans 'SPVG5ZEDS4903V22MQ40Z9KJFJ8SH1BDF47VVDK6)
(trans 'SPVGHVMWEE5PE0PJPQ0XVKAGCM5VRVEMSYKB3VY3)
(trans 'SPVH3QTX9F8JZBWPVK2ZPW3A07G048XJC2G61SJ4)
(trans 'SPVHB3W1VD7JC7HE2HFFJ2SJFJX9PV79GPRW78T)
(trans 'SPVHHRF0SWTFZHGWJSXC0QXRFH45CH56EMSB2PK9)