Crypto/Util/RFC1751.py

   1 #!/usr/local/bin/python
   2 # rfc1751.py : Converts between 128-bit strings and a human-readable
   3 # sequence of words, as defined in RFC1751: "A Convention for
   4 # Human-Readable 128-bit Keys", by Daniel L. McDonald.
   5
   6 __revision__ = "$Id: RFC1751.py,v 1.6 2003/04/04 15:15:10 akuchling Exp $"
   7
   8
   9 import string, binascii
  10
  11 binary={0:'0000', 1:'0001', 2:'0010', 3:'0011', 4:'0100', 5:'0101',
  12         6:'0110', 7:'0111', 8:'1000', 9:'1001', 10:'1010', 11:'1011',
  13         12:'1100', 13:'1101', 14:'1110', 15:'1111'}
  14
  15 def _key2bin(s):
  16     "Convert a key into a string of binary digits"
  17     kl=map(lambda x: ord(x), s)
  18     kl=map(lambda x: binary[x/16]+binary[x&15], kl)
  19     return ''.join(kl)
  20
  21 def _extract(key, start, length):
  22     """Extract a bitstring from a string of binary digits, and return its
  23     numeric value."""
  24     k=key[start:start+length]
  25     return reduce(lambda x,y: x*2+ord(y)-48, k, 0)
  26
  27 def key_to_english (key):
  28     """key_to_english(key:string) : string
  29     Transform an arbitrary key into a string containing English words.
  30     The key length must be a multiple of 8.
  31     """
  32     english=''
  33     for index in range(0, len(key), 8): # Loop over 8-byte subkeys
  34         subkey=key[index:index+8]
  35         # Compute the parity of the key
  36         skbin=_key2bin(subkey) ; p=0
  37         for i in range(0, 64, 2): p=p+_extract(skbin, i, 2)
  38         # Append parity bits to the subkey
  39         skbin=_key2bin(subkey+chr((p<<6) & 255))
  40         for i in range(0, 64, 11):
  41             english=english+wordlist[_extract(skbin, i, 11)]+' '
  42
  43     return english[:-1]                 # Remove the trailing space
  44
  45 def english_to_key (str):
  46     """english_to_key(string):string
  47     Transform a string into a corresponding key.
  48     The string must contain words separated by whitespace; the number
  49     of words must be a multiple of 6.
  50     """
  51
  52     L=string.split(string.upper(str)) ; key=''
  53     for index in range(0, len(L), 6):
  54         sublist=L[index:index+6] ; char=9*[0] ; bits=0
  55         for i in sublist:
  56             index = wordlist.index(i)
  57             shift = (8-(bits+11)%8) %8
  58             y = index << shift
  59             cl, cc, cr = (y>>16), (y>>8)&0xff, y & 0xff
  60             if (shift>5):
  61                 char[bits/8] = char[bits/8] | cl
  62                 char[bits/8+1] = char[bits/8+1] | cc
  63                 char[bits/8+2] = char[bits/8+2] | cr
  64             elif shift>-3:
  65                 char[bits/8] = char[bits/8] | cc
  66                 char[bits/8+1] = char[bits/8+1] | cr
  67             else: char[bits/8] = char[bits/8] | cr
  68             bits=bits+11
  69         subkey=reduce(lambda x,y:x+chr(y), char, '')
  70
  71         # Check the parity of the resulting key
  72         skbin=_key2bin(subkey)
  73         p=0
  74         for i in range(0, 64, 2): p=p+_extract(skbin, i, 2)
  75         if (p&3) != _extract(skbin, 64, 2):
  76             raise ValueError, "Parity error in resulting key"
  77         key=key+subkey[0:8]
  78     return key
  79
  80 wordlist=[ "A", "ABE", "ACE", "ACT", "AD", "ADA", "ADD",
  81    "AGO", "AID", "AIM", "AIR", "ALL", "ALP", "AM", "AMY", "AN", "ANA",
  82    "AND", "ANN", "ANT", "ANY", "APE", "APS", "APT", "ARC", "ARE", "ARK",
  83    "ARM", "ART", "AS", "ASH", "ASK", "AT", "ATE", "AUG", "AUK", "AVE",
  84    "AWE", "AWK", "AWL", "AWN", "AX", "AYE", "BAD", "BAG", "BAH", "BAM",
  85    "BAN", "BAR", "BAT", "BAY", "BE", "BED", "BEE", "BEG", "BEN", "BET",
  86    "BEY", "BIB", "BID", "BIG", "BIN", "BIT", "BOB", "BOG", "BON", "BOO",
  87    "BOP", "BOW", "BOY", "BUB", "BUD", "BUG", "BUM", "BUN", "BUS", "BUT",
  88    "BUY", "BY", "BYE", "CAB", "CAL", "CAM", "CAN", "CAP", "CAR", "CAT",
  89    "CAW", "COD", "COG", "COL", "CON", "COO", "COP", "COT", "COW", "COY",
  90    "CRY", "CUB", "CUE", "CUP", "CUR", "CUT", "DAB", "DAD", "DAM", "DAN",
  91    "DAR", "DAY", "DEE", "DEL", "DEN", "DES", "DEW", "DID", "DIE", "DIG",
  92    "DIN", "DIP", "DO", "DOE", "DOG", "DON", "DOT", "DOW", "DRY", "DUB",
  93    "DUD", "DUE", "DUG", "DUN", "EAR", "EAT", "ED", "EEL", "EGG", "EGO",
  94    "ELI", "ELK", "ELM", "ELY", "EM", "END", "EST", "ETC", "EVA", "EVE",
  95    "EWE", "EYE", "FAD", "FAN", "FAR", "FAT", "FAY", "FED", "FEE", "FEW",
  96    "FIB", "FIG", "FIN", "FIR", "FIT", "FLO", "FLY", "FOE", "FOG", "FOR",
  97    "FRY", "FUM", "FUN", "FUR", "GAB", "GAD", "GAG", "GAL", "GAM", "GAP",
  98    "GAS", "GAY", "GEE", "GEL", "GEM", "GET", "GIG", "GIL", "GIN", "GO",
  99    "GOT", "GUM", "GUN", "GUS", "GUT", "GUY", "GYM", "GYP", "HA", "HAD",
 100    "HAL", "HAM", "HAN", "HAP", "HAS", "HAT", "HAW", "HAY", "HE", "HEM",
 101    "HEN", "HER", "HEW", "HEY", "HI", "HID", "HIM", "HIP", "HIS", "HIT",
 102    "HO", "HOB", "HOC", "HOE", "HOG", "HOP", "HOT", "HOW", "HUB", "HUE",
 103    "HUG", "HUH", "HUM", "HUT", "I", "ICY", "IDA", "IF", "IKE", "ILL",
 104    "INK", "INN", "IO", "ION", "IQ", "IRA", "IRE", "IRK", "IS", "IT",
 105    "ITS", "IVY", "JAB", "JAG", "JAM", "JAN", "JAR", "JAW", "JAY", "JET",
 106    "JIG", "JIM", "JO", "JOB", "JOE", "JOG", "JOT", "JOY", "JUG", "JUT",
 107    "KAY", "KEG", "KEN", "KEY", "KID", "KIM", "KIN", "KIT", "LA", "LAB",
 108    "LAC", "LAD", "LAG", "LAM", "LAP", "LAW", "LAY", "LEA", "LED", "LEE",
 109    "LEG", "LEN", "LEO", "LET", "LEW", "LID", "LIE", "LIN", "LIP", "LIT",
 110    "LO", "LOB", "LOG", "LOP", "LOS", "LOT", "LOU", "LOW", "LOY", "LUG",
 111    "LYE", "MA", "MAC", "MAD", "MAE", "MAN", "MAO", "MAP", "MAT", "MAW",
 112    "MAY", "ME", "MEG", "MEL", "MEN", "MET", "MEW", "MID", "MIN", "MIT",
 113    "MOB", "MOD", "MOE", "MOO", "MOP", "MOS", "MOT", "MOW", "MUD", "MUG",
 114    "MUM", "MY", "NAB", "NAG", "NAN", "NAP", "NAT", "NAY", "NE", "NED",
 115    "NEE", "NET", "NEW", "NIB", "NIL", "NIP", "NIT", "NO", "NOB", "NOD",
 116    "NON", "NOR", "NOT", "NOV", "NOW", "NU", "NUN", "NUT", "O", "OAF",
 117    "OAK", "OAR", "OAT", "ODD", "ODE", "OF", "OFF", "OFT", "OH", "OIL",
 118    "OK", "OLD", "ON", "ONE", "OR", "ORB", "ORE", "ORR", "OS", "OTT",
 119    "OUR", "OUT", "OVA", "OW", "OWE", "OWL", "OWN", "OX", "PA", "PAD",
 120    "PAL", "PAM", "PAN", "PAP", "PAR", "PAT", "PAW", "PAY", "PEA", "PEG",
 121    "PEN", "PEP", "PER", "PET", "PEW", "PHI", "PI", "PIE", "PIN", "PIT",
 122    "PLY", "PO", "POD", "POE", "POP", "POT", "POW", "PRO", "PRY", "PUB",
 123    "PUG", "PUN", "PUP", "PUT", "QUO", "RAG", "RAM", "RAN", "RAP", "RAT",
 124    "RAW", "RAY", "REB", "RED", "REP", "RET", "RIB", "RID", "RIG", "RIM",
 125    "RIO", "RIP", "ROB", "ROD", "ROE", "RON", "ROT", "ROW", "ROY", "RUB",
 126    "RUE", "RUG", "RUM", "RUN", "RYE", "SAC", "SAD", "SAG", "SAL", "SAM",
 127    "SAN", "SAP", "SAT", "SAW", "SAY", "SEA", "SEC", "SEE", "SEN", "SET",
 128    "SEW", "SHE", "SHY", "SIN", "SIP", "SIR", "SIS", "SIT", "SKI", "SKY",
 129    "SLY", "SO", "SOB", "SOD", "SON", "SOP", "SOW", "SOY", "SPA", "SPY",
 130    "SUB", "SUD", "SUE", "SUM", "SUN", "SUP", "TAB", "TAD", "TAG", "TAN",
 131    "TAP", "TAR", "TEA", "TED", "TEE", "TEN", "THE", "THY", "TIC", "TIE",
 132    "TIM", "TIN", "TIP", "TO", "TOE", "TOG", "TOM", "TON", "TOO", "TOP",
 133    "TOW", "TOY", "TRY", "TUB", "TUG", "TUM", "TUN", "TWO", "UN", "UP",
 134    "US", "USE", "VAN", "VAT", "VET", "VIE", "WAD", "WAG", "WAR", "WAS",
 135    "WAY", "WE", "WEB", "WED", "WEE", "WET", "WHO", "WHY", "WIN", "WIT",
 136    "WOK", "WON", "WOO", "WOW", "WRY", "WU", "YAM", "YAP", "YAW", "YE",
 137    "YEA", "YES", "YET", "YOU", "ABED", "ABEL", "ABET", "ABLE", "ABUT",
 138    "ACHE", "ACID", "ACME", "ACRE", "ACTA", "ACTS", "ADAM", "ADDS",
 139    "ADEN", "AFAR", "AFRO", "AGEE", "AHEM", "AHOY", "AIDA", "AIDE",
 140    "AIDS", "AIRY", "AJAR", "AKIN", "ALAN", "ALEC", "ALGA", "ALIA",
 141    "ALLY", "ALMA", "ALOE", "ALSO", "ALTO", "ALUM", "ALVA", "AMEN",
 142    "AMES", "AMID", "AMMO", "AMOK", "AMOS", "AMRA", "ANDY", "ANEW",
 143    "ANNA", "ANNE", "ANTE", "ANTI", "AQUA", "ARAB", "ARCH", "AREA",
 144    "ARGO", "ARID", "ARMY", "ARTS", "ARTY", "ASIA", "ASKS", "ATOM",
 145    "AUNT", "AURA", "AUTO", "AVER", "AVID", "AVIS", "AVON", "AVOW",
 146    "AWAY", "AWRY", "BABE", "BABY", "BACH", "BACK", "BADE", "BAIL",
 147    "BAIT", "BAKE", "BALD", "BALE", "BALI", "BALK", "BALL", "BALM",
 148    "BAND", "BANE", "BANG", "BANK", "BARB", "BARD", "BARE", "BARK",
 149    "BARN", "BARR", "BASE", "BASH", "BASK", "BASS", "BATE", "BATH",
 150    "BAWD", "BAWL", "BEAD", "BEAK", "BEAM", "BEAN", "BEAR", "BEAT",
 151    "BEAU", "BECK", "BEEF", "BEEN", "BEER",
 152    "BEET", "BELA", "BELL", "BELT", "BEND", "BENT", "BERG", "BERN",
 153    "BERT", "BESS", "BEST", "BETA", "BETH", "BHOY", "BIAS", "BIDE",
 154    "BIEN", "BILE", "BILK", "BILL", "BIND", "BING", "BIRD", "BITE",
 155    "BITS", "BLAB", "BLAT", "BLED", "BLEW", "BLOB", "BLOC", "BLOT",
 156    "BLOW", "BLUE", "BLUM", "BLUR", "BOAR", "BOAT", "BOCA", "BOCK",
 157    "BODE", "BODY", "BOGY", "BOHR", "BOIL", "BOLD", "BOLO", "BOLT",
 158    "BOMB", "BONA", "BOND", "BONE", "BONG", "BONN", "BONY", "BOOK",
 159    "BOOM", "BOON", "BOOT", "BORE", "BORG", "BORN", "BOSE", "BOSS",
 160    "BOTH", "BOUT", "BOWL", "BOYD", "BRAD", "BRAE", "BRAG", "BRAN",
 161    "BRAY", "BRED", "BREW", "BRIG", "BRIM", "BROW", "BUCK", "BUDD",
 162    "BUFF", "BULB", "BULK", "BULL", "BUNK", "BUNT", "BUOY", "BURG",
 163    "BURL", "BURN", "BURR", "BURT", "BURY", "BUSH", "BUSS", "BUST",
 164    "BUSY", "BYTE", "CADY", "CAFE", "CAGE", "CAIN", "CAKE", "CALF",
 165    "CALL", "CALM", "CAME", "CANE", "CANT", "CARD", "CARE", "CARL",
 166    "CARR", "CART", "CASE", "CASH", "CASK", "CAST", "CAVE", "CEIL",
 167    "CELL", "CENT", "CERN", "CHAD", "CHAR", "CHAT", "CHAW", "CHEF",
 168    "CHEN", "CHEW", "CHIC", "CHIN", "CHOU", "CHOW", "CHUB", "CHUG",
 169    "CHUM", "CITE", "CITY", "CLAD", "CLAM", "CLAN", "CLAW", "CLAY",
 170    "CLOD", "CLOG", "CLOT", "CLUB", "CLUE", "COAL", "COAT", "COCA",
 171    "COCK", "COCO", "CODA", "CODE", "CODY", "COED", "COIL", "COIN",
 172    "COKE", "COLA", "COLD", "COLT", "COMA", "COMB", "COME", "COOK",
 173    "COOL", "COON", "COOT", "CORD", "CORE", "CORK", "CORN", "COST",
 174    "COVE", "COWL", "CRAB", "CRAG", "CRAM", "CRAY", "CREW", "CRIB",
 175    "CROW", "CRUD", "CUBA", "CUBE", "CUFF", "CULL", "CULT", "CUNY",
 176    "CURB", "CURD", "CURE", "CURL", "CURT", "CUTS", "DADE", "DALE",
 177    "DAME", "DANA", "DANE", "DANG", "DANK", "DARE", "DARK", "DARN",
 178    "DART", "DASH", "DATA", "DATE", "DAVE", "DAVY", "DAWN", "DAYS",
 179    "DEAD", "DEAF", "DEAL", "DEAN", "DEAR", "DEBT", "DECK", "DEED",
 180    "DEEM", "DEER", "DEFT", "DEFY", "DELL", "DENT", "DENY", "DESK",
 181    "DIAL", "DICE", "DIED", "DIET", "DIME", "DINE", "DING", "DINT",
 182    "DIRE", "DIRT", "DISC", "DISH", "DISK", "DIVE", "DOCK", "DOES",
 183    "DOLE", "DOLL", "DOLT", "DOME", "DONE", "DOOM", "DOOR", "DORA",
 184    "DOSE", "DOTE", "DOUG", "DOUR", "DOVE", "DOWN", "DRAB", "DRAG",
 185    "DRAM", "DRAW", "DREW", "DRUB", "DRUG", "DRUM", "DUAL", "DUCK",
 186    "DUCT", "DUEL", "DUET", "DUKE", "DULL", "DUMB", "DUNE", "DUNK",
 187    "DUSK", "DUST", "DUTY", "EACH", "EARL", "EARN", "EASE", "EAST",
 188    "EASY", "EBEN", "ECHO", "EDDY", "EDEN", "EDGE", "EDGY", "EDIT",
 189    "EDNA", "EGAN", "ELAN", "ELBA", "ELLA", "ELSE", "EMIL", "EMIT",
 190    "EMMA", "ENDS", "ERIC", "EROS", "EVEN", "EVER", "EVIL", "EYED",
 191    "FACE", "FACT", "FADE", "FAIL", "FAIN", "FAIR", "FAKE", "FALL",
 192    "FAME", "FANG", "FARM", "FAST", "FATE", "FAWN", "FEAR", "FEAT",
 193    "FEED", "FEEL", "FEET", "FELL", "FELT", "FEND", "FERN", "FEST",
 194    "FEUD", "FIEF", "FIGS", "FILE", "FILL", "FILM", "FIND", "FINE",
 195    "FINK", "FIRE", "FIRM", "FISH", "FISK", "FIST", "FITS", "FIVE",
 196    "FLAG", "FLAK", "FLAM", "FLAT", "FLAW", "FLEA", "FLED", "FLEW",
 197    "FLIT", "FLOC", "FLOG", "FLOW", "FLUB", "FLUE", "FOAL", "FOAM",
 198    "FOGY", "FOIL", "FOLD", "FOLK", "FOND", "FONT", "FOOD", "FOOL",
 199    "FOOT", "FORD", "FORE", "FORK", "FORM", "FORT", "FOSS", "FOUL",
 200    "FOUR", "FOWL", "FRAU", "FRAY", "FRED", "FREE", "FRET", "FREY",
 201    "FROG", "FROM", "FUEL", "FULL", "FUME", "FUND", "FUNK", "FURY",
 202    "FUSE", "FUSS", "GAFF", "GAGE", "GAIL", "GAIN", "GAIT", "GALA",
 203    "GALE", "GALL", "GALT", "GAME", "GANG", "GARB", "GARY", "GASH",
 204    "GATE", "GAUL", "GAUR", "GAVE", "GAWK", "GEAR", "GELD", "GENE",
 205    "GENT", "GERM", "GETS", "GIBE", "GIFT", "GILD", "GILL", "GILT",
 206    "GINA", "GIRD", "GIRL", "GIST", "GIVE", "GLAD", "GLEE", "GLEN",
 207    "GLIB", "GLOB", "GLOM", "GLOW", "GLUE", "GLUM", "GLUT", "GOAD",
 208    "GOAL", "GOAT", "GOER", "GOES", "GOLD", "GOLF", "GONE", "GONG",
 209    "GOOD", "GOOF", "GORE", "GORY", "GOSH", "GOUT", "GOWN", "GRAB",
 210    "GRAD", "GRAY", "GREG", "GREW", "GREY", "GRID", "GRIM", "GRIN",
 211    "GRIT", "GROW", "GRUB", "GULF", "GULL", "GUNK", "GURU", "GUSH",
 212    "GUST", "GWEN", "GWYN", "HAAG", "HAAS", "HACK", "HAIL", "HAIR",
 213    "HALE", "HALF", "HALL", "HALO", "HALT", "HAND", "HANG", "HANK",
 214    "HANS", "HARD", "HARK", "HARM", "HART", "HASH", "HAST", "HATE",
 215    "HATH", "HAUL", "HAVE", "HAWK", "HAYS", "HEAD", "HEAL", "HEAR",
 216    "HEAT", "HEBE", "HECK", "HEED", "HEEL", "HEFT", "HELD", "HELL",
 217    "HELM", "HERB", "HERD", "HERE", "HERO", "HERS", "HESS", "HEWN",
 218    "HICK", "HIDE", "HIGH", "HIKE", "HILL", "HILT", "HIND", "HINT",
 219    "HIRE", "HISS", "HIVE", "HOBO", "HOCK", "HOFF", "HOLD", "HOLE",
 220    "HOLM", "HOLT", "HOME", "HONE", "HONK", "HOOD", "HOOF", "HOOK",
 221    "HOOT", "HORN", "HOSE", "HOST", "HOUR", "HOVE", "HOWE", "HOWL",
 222    "HOYT", "HUCK", "HUED", "HUFF", "HUGE", "HUGH", "HUGO", "HULK",
 223    "HULL", "HUNK", "HUNT", "HURD", "HURL", "HURT", "HUSH", "HYDE",
 224    "HYMN", "IBIS", "ICON", "IDEA", "IDLE", "IFFY", "INCA", "INCH",
 225    "INTO", "IONS", "IOTA", "IOWA", "IRIS", "IRMA", "IRON", "ISLE",
 226    "ITCH", "ITEM", "IVAN", "JACK", "JADE", "JAIL", "JAKE", "JANE",
 227    "JAVA", "JEAN", "JEFF", "JERK", "JESS", "JEST", "JIBE", "JILL",
 228    "JILT", "JIVE", "JOAN", "JOBS", "JOCK", "JOEL", "JOEY", "JOHN",
 229    "JOIN", "JOKE", "JOLT", "JOVE", "JUDD", "JUDE", "JUDO", "JUDY",
 230    "JUJU", "JUKE", "JULY", "JUNE", "JUNK", "JUNO", "JURY", "JUST",
 231    "JUTE", "KAHN", "KALE", "KANE", "KANT", "KARL", "KATE", "KEEL",
 232    "KEEN", "KENO", "KENT", "KERN", "KERR", "KEYS", "KICK", "KILL",
 233    "KIND", "KING", "KIRK", "KISS", "KITE", "KLAN", "KNEE", "KNEW",
 234    "KNIT", "KNOB", "KNOT", "KNOW", "KOCH", "KONG", "KUDO", "KURD",
 235    "KURT", "KYLE", "LACE", "LACK", "LACY", "LADY", "LAID", "LAIN",
 236    "LAIR", "LAKE", "LAMB", "LAME", "LAND", "LANE", "LANG", "LARD",
 237    "LARK", "LASS", "LAST", "LATE", "LAUD", "LAVA", "LAWN", "LAWS",
 238    "LAYS", "LEAD", "LEAF", "LEAK", "LEAN", "LEAR", "LEEK", "LEER",
 239    "LEFT", "LEND", "LENS", "LENT", "LEON", "LESK", "LESS", "LEST",
 240    "LETS", "LIAR", "LICE", "LICK", "LIED", "LIEN", "LIES", "LIEU",
 241    "LIFE", "LIFT", "LIKE", "LILA", "LILT", "LILY", "LIMA", "LIMB",
 242    "LIME", "LIND", "LINE", "LINK", "LINT", "LION", "LISA", "LIST",
 243    "LIVE", "LOAD", "LOAF", "LOAM", "LOAN", "LOCK", "LOFT", "LOGE",
 244    "LOIS", "LOLA", "LONE", "LONG", "LOOK", "LOON", "LOOT", "LORD",
 245    "LORE", "LOSE", "LOSS", "LOST", "LOUD", "LOVE", "LOWE", "LUCK",
 246    "LUCY", "LUGE", "LUKE", "LULU", "LUND", "LUNG", "LURA", "LURE",
 247    "LURK", "LUSH", "LUST", "LYLE", "LYNN", "LYON", "LYRA", "MACE",
 248    "MADE", "MAGI", "MAID", "MAIL", "MAIN", "MAKE", "MALE", "MALI",
 249    "MALL", "MALT", "MANA", "MANN", "MANY", "MARC", "MARE", "MARK",
 250    "MARS", "MART", "MARY", "MASH", "MASK", "MASS", "MAST", "MATE",
 251    "MATH", "MAUL", "MAYO", "MEAD", "MEAL", "MEAN", "MEAT", "MEEK",
 252    "MEET", "MELD", "MELT", "MEMO", "MEND", "MENU", "MERT", "MESH",
 253    "MESS", "MICE", "MIKE", "MILD", "MILE", "MILK", "MILL", "MILT",
 254    "MIMI", "MIND", "MINE", "MINI", "MINK", "MINT", "MIRE", "MISS",
 255    "MIST", "MITE", "MITT", "MOAN", "MOAT", "MOCK", "MODE", "MOLD",
 256    "MOLE", "MOLL", "MOLT", "MONA", "MONK", "MONT", "MOOD", "MOON",
 257    "MOOR", "MOOT", "MORE", "MORN", "MORT", "MOSS", "MOST", "MOTH",
 258    "MOVE", "MUCH", "MUCK", "MUDD", "MUFF", "MULE", "MULL", "MURK",
 259    "MUSH", "MUST", "MUTE", "MUTT", "MYRA", "MYTH", "NAGY", "NAIL",
 260    "NAIR", "NAME", "NARY", "NASH", "NAVE", "NAVY", "NEAL", "NEAR",
 261    "NEAT", "NECK", "NEED", "NEIL", "NELL", "NEON", "NERO", "NESS",
 262    "NEST", "NEWS", "NEWT", "NIBS", "NICE", "NICK", "NILE", "NINA",
 263    "NINE", "NOAH", "NODE", "NOEL", "NOLL", "NONE", "NOOK", "NOON",
 264    "NORM", "NOSE", "NOTE", "NOUN", "NOVA", "NUDE", "NULL", "NUMB",
 265    "OATH", "OBEY", "OBOE", "ODIN", "OHIO", "OILY", "OINT", "OKAY",
 266    "OLAF", "OLDY", "OLGA", "OLIN", "OMAN", "OMEN", "OMIT", "ONCE",
 267    "ONES", "ONLY", "ONTO", "ONUS", "ORAL", "ORGY", "OSLO", "OTIS",
 268    "OTTO", "OUCH", "OUST", "OUTS", "OVAL", "OVEN", "OVER", "OWLY",
 269    "OWNS", "QUAD", "QUIT", "QUOD", "RACE", "RACK", "RACY", "RAFT",
 270    "RAGE", "RAID", "RAIL", "RAIN", "RAKE", "RANK", "RANT", "RARE",
 271    "RASH", "RATE", "RAVE", "RAYS", "READ", "REAL", "REAM", "REAR",
 272    "RECK", "REED", "REEF", "REEK", "REEL", "REID", "REIN", "RENA",
 273    "REND", "RENT", "REST", "RICE", "RICH", "RICK", "RIDE", "RIFT",
 274    "RILL", "RIME", "RING", "RINK", "RISE", "RISK", "RITE", "ROAD",
 275    "ROAM", "ROAR", "ROBE", "ROCK", "RODE", "ROIL", "ROLL", "ROME",
 276    "ROOD", "ROOF", "ROOK", "ROOM", "ROOT", "ROSA", "ROSE", "ROSS",
 277    "ROSY", "ROTH", "ROUT", "ROVE", "ROWE", "ROWS", "RUBE", "RUBY",
 278    "RUDE", "RUDY", "RUIN", "RULE", "RUNG", "RUNS", "RUNT", "RUSE",
 279    "RUSH", "RUSK", "RUSS", "RUST", "RUTH", "SACK", "SAFE", "SAGE",
 280    "SAID", "SAIL", "SALE", "SALK", "SALT", "SAME", "SAND", "SANE",
 281    "SANG", "SANK", "SARA", "SAUL", "SAVE", "SAYS", "SCAN", "SCAR",
 282    "SCAT", "SCOT", "SEAL", "SEAM", "SEAR", "SEAT", "SEED", "SEEK",
 283    "SEEM", "SEEN", "SEES", "SELF", "SELL", "SEND", "SENT", "SETS",
 284    "SEWN", "SHAG", "SHAM", "SHAW", "SHAY", "SHED", "SHIM", "SHIN",
 285    "SHOD", "SHOE", "SHOT", "SHOW", "SHUN", "SHUT", "SICK", "SIDE",
 286    "SIFT", "SIGH", "SIGN", "SILK", "SILL", "SILO", "SILT", "SINE",
 287    "SING", "SINK", "SIRE", "SITE", "SITS", "SITU", "SKAT", "SKEW",
 288    "SKID", "SKIM", "SKIN", "SKIT", "SLAB", "SLAM", "SLAT", "SLAY",
 289    "SLED", "SLEW", "SLID", "SLIM", "SLIT", "SLOB", "SLOG", "SLOT",
 290    "SLOW", "SLUG", "SLUM", "SLUR", "SMOG", "SMUG", "SNAG", "SNOB",
 291    "SNOW", "SNUB", "SNUG", "SOAK", "SOAR", "SOCK", "SODA", "SOFA",
 292    "SOFT", "SOIL", "SOLD", "SOME", "SONG", "SOON", "SOOT", "SORE",
 293    "SORT", "SOUL", "SOUR", "SOWN", "STAB", "STAG", "STAN", "STAR",
 294    "STAY", "STEM", "STEW", "STIR", "STOW", "STUB", "STUN", "SUCH",
 295    "SUDS", "SUIT", "SULK", "SUMS", "SUNG", "SUNK", "SURE", "SURF",
 296    "SWAB", "SWAG", "SWAM", "SWAN", "SWAT", "SWAY", "SWIM", "SWUM",
 297    "TACK", "TACT", "TAIL", "TAKE", "TALE", "TALK", "TALL", "TANK",
 298    "TASK", "TATE", "TAUT", "TEAL", "TEAM", "TEAR", "TECH", "TEEM",
 299    "TEEN", "TEET", "TELL", "TEND", "TENT", "TERM", "TERN", "TESS",
 300    "TEST", "THAN", "THAT", "THEE", "THEM", "THEN", "THEY", "THIN",
 301    "THIS", "THUD", "THUG", "TICK", "TIDE", "TIDY", "TIED", "TIER",
 302    "TILE", "TILL", "TILT", "TIME", "TINA", "TINE", "TINT", "TINY",
 303    "TIRE", "TOAD", "TOGO", "TOIL", "TOLD", "TOLL", "TONE", "TONG",
 304    "TONY", "TOOK", "TOOL", "TOOT", "TORE", "TORN", "TOTE", "TOUR",
 305    "TOUT", "TOWN", "TRAG", "TRAM", "TRAY", "TREE", "TREK", "TRIG",
 306    "TRIM", "TRIO", "TROD", "TROT", "TROY", "TRUE", "TUBA", "TUBE",
 307    "TUCK", "TUFT", "TUNA", "TUNE", "TUNG", "TURF", "TURN", "TUSK",
 308    "TWIG", "TWIN", "TWIT", "ULAN", "UNIT", "URGE", "USED", "USER",
 309    "USES", "UTAH", "VAIL", "VAIN", "VALE", "VARY", "VASE", "VAST",
 310    "VEAL", "VEDA", "VEIL", "VEIN", "VEND", "VENT", "VERB", "VERY",
 311    "VETO", "VICE", "VIEW", "VINE", "VISE", "VOID", "VOLT", "VOTE",
 312    "WACK", "WADE", "WAGE", "WAIL", "WAIT", "WAKE", "WALE", "WALK",
 313    "WALL", "WALT", "WAND", "WANE", "WANG", "WANT", "WARD", "WARM",
 314    "WARN", "WART", "WASH", "WAST", "WATS", "WATT", "WAVE", "WAVY",
 315    "WAYS", "WEAK", "WEAL", "WEAN", "WEAR", "WEED", "WEEK", "WEIR",
 316    "WELD", "WELL", "WELT", "WENT", "WERE", "WERT", "WEST", "WHAM",
 317    "WHAT", "WHEE", "WHEN", "WHET", "WHOA", "WHOM", "WICK", "WIFE",
 318    "WILD", "WILL", "WIND", "WINE", "WING", "WINK", "WINO", "WIRE",
 319    "WISE", "WISH", "WITH", "WOLF", "WONT", "WOOD", "WOOL", "WORD",
 320    "WORE", "WORK", "WORM", "WORN", "WOVE", "WRIT", "WYNN", "YALE",
 321    "YANG", "YANK", "YARD", "YARN", "YAWL", "YAWN", "YEAH", "YEAR",
 322    "YELL", "YOGA", "YOKE" ]
 323
 324 if __name__=='__main__':
 325     data = [('EB33F77EE73D4053', 'TIDE ITCH SLOW REIN RULE MOT'),
 326             ('CCAC2AED591056BE4F90FD441C534766',
 327              'RASH BUSH MILK LOOK BAD BRIM AVID GAFF BAIT ROT POD LOVE'),
 328             ('EFF81F9BFBC65350920CDD7416DE8009',
 329              'TROD MUTE TAIL WARM CHAR KONG HAAG CITY BORE O TEAL AWL')
 330            ]
 331
 332     for key, words in data:
 333         print 'Trying key', key
 334         key=binascii.a2b_hex(key)
 335         w2=key_to_english(key)
 336         if w2!=words:
 337             print 'key_to_english fails on key', repr(key), ', producing', str(w2)
 338         k2=english_to_key(words)
 339         if k2!=key:
 340             print 'english_to_key fails on key', repr(key), ', producing', repr(k2)
 341
 342