
tmi(0,0,0,0,0) := 0

tmi(0,0,0,0,1) := 1

tmi(0,0,0,1,0) := 10

tmi(0,0,0,1,1) := 11

tmi(0,0,0,2,0) := 20

tmi(0,0,0,2,1) := 21

tmi(0,0,1,0,0) := 100

tmi(0,0,1,0,1) := 101

tmi(0,0,1,1,0) := 110

tmi(0,0,1,1,1) := 111

tmi(0,0,1,2,0) := 120

tmi(0,0,1,2,1) := 121

tmi(0,0,2,0,0) := 200

tmi(0,0,2,0,1) := 201

tmi(0,0,2,1,0) := 210

tmi(0,0,2,1,1) := 211

tmi(0,0,2,2,0) := 220

tmi(0,0,2,2,1) := 221

tmi(0,0,3,0,0) := 300

tmi(0,0,3,0,1) := 301

tmi(0,0,3,1,0) := 310

tmi(0,0,3,1,1) := 311

tmi(0,0,3,2,0) := 320

tmi(0,0,3,2,1) := 321

tmi(0,1,0,0,0) := 1000

tmi(0,1,0,0,1) := 1001

tmi(0,1,0,1,0) := 1010

tmi(0,1,0,1,1) := 1011

tmi(0,1,0,2,0) := 1020

tmi(0,1,0,2,1) := 1021

tmi(0,1,1,0,0) := 1100

tmi(0,1,1,0,1) := 1101

tmi(0,1,1,1,0) := 1110

tmi(0,1,1,1,1) := 1111

tmi(0,1,1,2,0) := 1120

tmi(0,1,1,2,1) := 1121

tmi(0,1,2,0,0) := 1200

tmi(0,1,2,0,1) := 1201

tmi(0,1,2,1,0) := 1210

tmi(0,1,2,1,1) := 1211

tmi(0,1,2,2,0) := 1220

tmi(0,1,2,2,1) := 1221

tmi(0,1,3,0,0) := 1300

tmi(0,1,3,0,1) := 1301

tmi(0,1,3,1,0) := 1310

tmi(0,1,3,1,1) := 1311

tmi(0,1,3,2,0) := 1320

tmi(0,1,3,2,1) := 1321

tmi(0,2,0,0,0) := 2000

tmi(0,2,0,0,1) := 2001

tmi(0,2,0,1,0) := 2010

tmi(0,2,0,1,1) := 2011

tmi(0,2,0,2,0) := 2020

tmi(0,2,0,2,1) := 2021

tmi(0,2,1,0,0) := 2100

tmi(0,2,1,0,1) := 2101

tmi(0,2,1,1,0) := 2110

tmi(0,2,1,1,1) := 2111

tmi(0,2,1,2,0) := 2120

tmi(0,2,1,2,1) := 2121

tmi(0,2,2,0,0) := 2200

tmi(0,2,2,0,1) := 2201

tmi(0,2,2,1,0) := 2210

tmi(0,2,2,1,1) := 2211

tmi(0,2,2,2,0) := 2220

tmi(0,2,2,2,1) := 2221

tmi(0,2,3,0,0) := 2300

tmi(0,2,3,0,1) := 2301

tmi(0,2,3,1,0) := 2310

tmi(0,2,3,1,1) := 2311

tmi(0,2,3,2,0) := 2320

tmi(0,2,3,2,1) := 2321

tmi(0,3,0,0,0) := 3000

tmi(0,3,0,0,1) := 3001

tmi(0,3,0,1,0) := 3010

tmi(0,3,0,1,1) := 3011

tmi(0,3,0,2,0) := 3020

tmi(0,3,0,2,1) := 3021

tmi(0,3,1,0,0) := 3100

tmi(0,3,1,0,1) := 3101

tmi(0,3,1,1,0) := 3110

tmi(0,3,1,1,1) := 3111

tmi(0,3,1,2,0) := 3120

tmi(0,3,1,2,1) := 3121

tmi(0,3,2,0,0) := 3200

tmi(0,3,2,0,1) := 3201

tmi(0,3,2,1,0) := 3210

tmi(0,3,2,1,1) := 3211

tmi(0,3,2,2,0) := 3220

tmi(0,3,2,2,1) := 3221

tmi(0,3,3,0,0) := 3300

tmi(0,3,3,0,1) := 3301

tmi(0,3,3,1,0) := 3310

tmi(0,3,3,1,1) := 3311

tmi(0,3,3,2,0) := 3320

tmi(0,3,3,2,1) := 3321

tmi(0,4,0,0,0) := 4000

tmi(0,4,0,0,1) := 4001

tmi(0,4,0,1,0) := 4010

tmi(0,4,0,1,1) := 4011

tmi(0,4,0,2,0) := 4020

tmi(0,4,0,2,1) := 4021

tmi(0,4,1,0,0) := 4100

tmi(0,4,1,0,1) := 4101

tmi(0,4,1,1,0) := 4110

tmi(0,4,1,1,1) := 4111

tmi(0,4,1,2,0) := 4120

tmi(0,4,1,2,1) := 4121

tmi(0,4,2,0,0) := 4200

tmi(0,4,2,0,1) := 4201

tmi(0,4,2,1,0) := 4210

tmi(0,4,2,1,1) := 4211

tmi(0,4,2,2,0) := 4220

tmi(0,4,2,2,1) := 4221

tmi(0,4,3,0,0) := 4300

tmi(0,4,3,0,1) := 4301

tmi(0,4,3,1,0) := 4310

tmi(0,4,3,1,1) := 4311

tmi(0,4,3,2,0) := 4320

tmi(0,4,3,2,1) := 4321

tmi(1,0,0,0,0) := 10000

tmi(1,0,0,0,1) := 10001

tmi(1,0,0,1,0) := 10010

tmi(1,0,0,1,1) := 10011

tmi(1,0,0,2,0) := 10020

tmi(1,0,0,2,1) := 10021

tmi(1,0,1,0,0) := 10100

tmi(1,0,1,0,1) := 10101

tmi(1,0,1,1,0) := 10110

tmi(1,0,1,1,1) := 10111

tmi(1,0,1,2,0) := 10120

tmi(1,0,1,2,1) := 10121

tmi(1,0,2,0,0) := 10200

tmi(1,0,2,0,1) := 10201

tmi(1,0,2,1,0) := 10210

tmi(1,0,2,1,1) := 10211

tmi(1,0,2,2,0) := 10220

tmi(1,0,2,2,1) := 10221

tmi(1,0,3,0,0) := 10300

tmi(1,0,3,0,1) := 10301

tmi(1,0,3,1,0) := 10310

tmi(1,0,3,1,1) := 10311

tmi(1,0,3,2,0) := 10320

tmi(1,0,3,2,1) := 10321

tmi(1,1,0,0,0) := 11000

tmi(1,1,0,0,1) := 11001

tmi(1,1,0,1,0) := 11010

tmi(1,1,0,1,1) := 11011

tmi(1,1,0,2,0) := 11020

tmi(1,1,0,2,1) := 11021

tmi(1,1,1,0,0) := 11100

tmi(1,1,1,0,1) := 11101

tmi(1,1,1,1,0) := 11110

tmi(1,1,1,1,1) := 11111

tmi(1,1,1,2,0) := 11120

tmi(1,1,1,2,1) := 11121

tmi(1,1,2,0,0) := 11200

tmi(1,1,2,0,1) := 11201

tmi(1,1,2,1,0) := 11210

tmi(1,1,2,1,1) := 11211

tmi(1,1,2,2,0) := 11220

tmi(1,1,2,2,1) := 11221

tmi(1,1,3,0,0) := 11300

tmi(1,1,3,0,1) := 11301

tmi(1,1,3,1,0) := 11310

tmi(1,1,3,1,1) := 11311

tmi(1,1,3,2,0) := 11320

tmi(1,1,3,2,1) := 11321

tmi(1,2,0,0,0) := 12000

tmi(1,2,0,0,1) := 12001

tmi(1,2,0,1,0) := 12010

tmi(1,2,0,1,1) := 12011

tmi(1,2,0,2,0) := 12020

tmi(1,2,0,2,1) := 12021

tmi(1,2,1,0,0) := 12100

tmi(1,2,1,0,1) := 12101

tmi(1,2,1,1,0) := 12110

tmi(1,2,1,1,1) := 12111

tmi(1,2,1,2,0) := 12120

tmi(1,2,1,2,1) := 12121

tmi(1,2,2,0,0) := 12200

tmi(1,2,2,0,1) := 12201

tmi(1,2,2,1,0) := 12210

tmi(1,2,2,1,1) := 12211

tmi(1,2,2,2,0) := 12220

tmi(1,2,2,2,1) := 12221

tmi(1,2,3,0,0) := 12300

tmi(1,2,3,0,1) := 12301

tmi(1,2,3,1,0) := 12310

tmi(1,2,3,1,1) := 12311

tmi(1,2,3,2,0) := 12320

tmi(1,2,3,2,1) := 12321

tmi(1,3,0,0,0) := 13000

tmi(1,3,0,0,1) := 13001

tmi(1,3,0,1,0) := 13010

tmi(1,3,0,1,1) := 13011

tmi(1,3,0,2,0) := 13020

tmi(1,3,0,2,1) := 13021

tmi(1,3,1,0,0) := 13100

tmi(1,3,1,0,1) := 13101

tmi(1,3,1,1,0) := 13110

tmi(1,3,1,1,1) := 13111

tmi(1,3,1,2,0) := 13120

tmi(1,3,1,2,1) := 13121

tmi(1,3,2,0,0) := 13200

tmi(1,3,2,0,1) := 13201

tmi(1,3,2,1,0) := 13210

tmi(1,3,2,1,1) := 13211

tmi(1,3,2,2,0) := 13220

tmi(1,3,2,2,1) := 13221

tmi(1,3,3,0,0) := 13300

tmi(1,3,3,0,1) := 13301

tmi(1,3,3,1,0) := 13310

tmi(1,3,3,1,1) := 13311

tmi(1,3,3,2,0) := 13320

tmi(1,3,3,2,1) := 13321

tmi(1,4,0,0,0) := 14000

tmi(1,4,0,0,1) := 14001

tmi(1,4,0,1,0) := 14010

tmi(1,4,0,1,1) := 14011

tmi(1,4,0,2,0) := 14020

tmi(1,4,0,2,1) := 14021

tmi(1,4,1,0,0) := 14100

tmi(1,4,1,0,1) := 14101

tmi(1,4,1,1,0) := 14110

tmi(1,4,1,1,1) := 14111

tmi(1,4,1,2,0) := 14120

tmi(1,4,1,2,1) := 14121

tmi(1,4,2,0,0) := 14200

tmi(1,4,2,0,1) := 14201

tmi(1,4,2,1,0) := 14210

tmi(1,4,2,1,1) := 14211

tmi(1,4,2,2,0) := 14220

tmi(1,4,2,2,1) := 14221

tmi(1,4,3,0,0) := 14300

tmi(1,4,3,0,1) := 14301

tmi(1,4,3,1,0) := 14310

tmi(1,4,3,1,1) := 14311

tmi(1,4,3,2,0) := 14320

tmi(1,4,3,2,1) := 14321

tmi(2,0,0,0,0) := 20000

tmi(2,0,0,0,1) := 20001

tmi(2,0,0,1,0) := 20010

tmi(2,0,0,1,1) := 20011

tmi(2,0,0,2,0) := 20020

tmi(2,0,0,2,1) := 20021

tmi(2,0,1,0,0) := 20100

tmi(2,0,1,0,1) := 20101

tmi(2,0,1,1,0) := 20110

tmi(2,0,1,1,1) := 20111

tmi(2,0,1,2,0) := 20120

tmi(2,0,1,2,1) := 20121

tmi(2,0,2,0,0) := 20200

tmi(2,0,2,0,1) := 20201

tmi(2,0,2,1,0) := 20210

tmi(2,0,2,1,1) := 20211

tmi(2,0,2,2,0) := 20220

tmi(2,0,2,2,1) := 20221

tmi(2,0,3,0,0) := 20300

tmi(2,0,3,0,1) := 20301

tmi(2,0,3,1,0) := 20310

tmi(2,0,3,1,1) := 20311

tmi(2,0,3,2,0) := 20320

tmi(2,0,3,2,1) := 20321

tmi(2,1,0,0,0) := 21000

tmi(2,1,0,0,1) := 21001

tmi(2,1,0,1,0) := 21010

tmi(2,1,0,1,1) := 21011

tmi(2,1,0,2,0) := 21020

tmi(2,1,0,2,1) := 21021

tmi(2,1,1,0,0) := 21100

tmi(2,1,1,0,1) := 21101

tmi(2,1,1,1,0) := 21110

tmi(2,1,1,1,1) := 21111

tmi(2,1,1,2,0) := 21120

tmi(2,1,1,2,1) := 21121

tmi(2,1,2,0,0) := 21200

tmi(2,1,2,0,1) := 21201

tmi(2,1,2,1,0) := 21210

tmi(2,1,2,1,1) := 21211

tmi(2,1,2,2,0) := 21220

tmi(2,1,2,2,1) := 21221

tmi(2,1,3,0,0) := 21300

tmi(2,1,3,0,1) := 21301

tmi(2,1,3,1,0) := 21310

tmi(2,1,3,1,1) := 21311

tmi(2,1,3,2,0) := 21320

tmi(2,1,3,2,1) := 21321

tmi(2,2,0,0,0) := 22000

tmi(2,2,0,0,1) := 22001

tmi(2,2,0,1,0) := 22010

tmi(2,2,0,1,1) := 22011

tmi(2,2,0,2,0) := 22020

tmi(2,2,0,2,1) := 22021

tmi(2,2,1,0,0) := 22100

tmi(2,2,1,0,1) := 22101

tmi(2,2,1,1,0) := 22110

tmi(2,2,1,1,1) := 22111

tmi(2,2,1,2,0) := 22120

tmi(2,2,1,2,1) := 22121

tmi(2,2,2,0,0) := 22200

tmi(2,2,2,0,1) := 22201

tmi(2,2,2,1,0) := 22210

tmi(2,2,2,1,1) := 22211

tmi(2,2,2,2,0) := 22220

tmi(2,2,2,2,1) := 22221

tmi(2,2,3,0,0) := 22300

tmi(2,2,3,0,1) := 22301

tmi(2,2,3,1,0) := 22310

tmi(2,2,3,1,1) := 22311

tmi(2,2,3,2,0) := 22320

tmi(2,2,3,2,1) := 22321

tmi(2,3,0,0,0) := 23000

tmi(2,3,0,0,1) := 23001

tmi(2,3,0,1,0) := 23010

tmi(2,3,0,1,1) := 23011

tmi(2,3,0,2,0) := 23020

tmi(2,3,0,2,1) := 23021

tmi(2,3,1,0,0) := 23100

tmi(2,3,1,0,1) := 23101

tmi(2,3,1,1,0) := 23110

tmi(2,3,1,1,1) := 23111

tmi(2,3,1,2,0) := 23120

tmi(2,3,1,2,1) := 23121

tmi(2,3,2,0,0) := 23200

tmi(2,3,2,0,1) := 23201

tmi(2,3,2,1,0) := 23210

tmi(2,3,2,1,1) := 23211

tmi(2,3,2,2,0) := 23220

tmi(2,3,2,2,1) := 23221

tmi(2,3,3,0,0) := 23300

tmi(2,3,3,0,1) := 23301

tmi(2,3,3,1,0) := 23310

tmi(2,3,3,1,1) := 23311

tmi(2,3,3,2,0) := 23320

tmi(2,3,3,2,1) := 23321

tmi(2,4,0,0,0) := 24000

tmi(2,4,0,0,1) := 24001

tmi(2,4,0,1,0) := 24010

tmi(2,4,0,1,1) := 24011

tmi(2,4,0,2,0) := 24020

tmi(2,4,0,2,1) := 24021

tmi(2,4,1,0,0) := 24100

tmi(2,4,1,0,1) := 24101

tmi(2,4,1,1,0) := 24110

tmi(2,4,1,1,1) := 24111

tmi(2,4,1,2,0) := 24120

tmi(2,4,1,2,1) := 24121

tmi(2,4,2,0,0) := 24200

tmi(2,4,2,0,1) := 24201

tmi(2,4,2,1,0) := 24210

tmi(2,4,2,1,1) := 24211

tmi(2,4,2,2,0) := 24220

tmi(2,4,2,2,1) := 24221

tmi(2,4,3,0,0) := 24300

tmi(2,4,3,0,1) := 24301

tmi(2,4,3,1,0) := 24310

tmi(2,4,3,1,1) := 24311

tmi(2,4,3,2,0) := 24320

tmi(2,4,3,2,1) := 24321

tmi(3,0,0,0,0) := 30000

tmi(3,0,0,0,1) := 30001

tmi(3,0,0,1,0) := 30010

tmi(3,0,0,1,1) := 30011

tmi(3,0,0,2,0) := 30020

tmi(3,0,0,2,1) := 30021

tmi(3,0,1,0,0) := 30100

tmi(3,0,1,0,1) := 30101

tmi(3,0,1,1,0) := 30110

tmi(3,0,1,1,1) := 30111

tmi(3,0,1,2,0) := 30120

tmi(3,0,1,2,1) := 30121

tmi(3,0,2,0,0) := 30200

tmi(3,0,2,0,1) := 30201

tmi(3,0,2,1,0) := 30210

tmi(3,0,2,1,1) := 30211

tmi(3,0,2,2,0) := 30220

tmi(3,0,2,2,1) := 30221

tmi(3,0,3,0,0) := 30300

tmi(3,0,3,0,1) := 30301

tmi(3,0,3,1,0) := 30310

tmi(3,0,3,1,1) := 30311

tmi(3,0,3,2,0) := 30320

tmi(3,0,3,2,1) := 30321

tmi(3,1,0,0,0) := 31000

tmi(3,1,0,0,1) := 31001

tmi(3,1,0,1,0) := 31010

tmi(3,1,0,1,1) := 31011

tmi(3,1,0,2,0) := 31020

tmi(3,1,0,2,1) := 31021

tmi(3,1,1,0,0) := 31100

tmi(3,1,1,0,1) := 31101

tmi(3,1,1,1,0) := 31110

tmi(3,1,1,1,1) := 31111

tmi(3,1,1,2,0) := 31120

tmi(3,1,1,2,1) := 31121

tmi(3,1,2,0,0) := 31200

tmi(3,1,2,0,1) := 31201

tmi(3,1,2,1,0) := 31210

tmi(3,1,2,1,1) := 31211

tmi(3,1,2,2,0) := 31220

tmi(3,1,2,2,1) := 31221

tmi(3,1,3,0,0) := 31300

tmi(3,1,3,0,1) := 31301

tmi(3,1,3,1,0) := 31310

tmi(3,1,3,1,1) := 31311

tmi(3,1,3,2,0) := 31320

tmi(3,1,3,2,1) := 31321

tmi(3,2,0,0,0) := 32000

tmi(3,2,0,0,1) := 32001

tmi(3,2,0,1,0) := 32010

tmi(3,2,0,1,1) := 32011

tmi(3,2,0,2,0) := 32020

tmi(3,2,0,2,1) := 32021

tmi(3,2,1,0,0) := 32100

tmi(3,2,1,0,1) := 32101

tmi(3,2,1,1,0) := 32110

tmi(3,2,1,1,1) := 32111

tmi(3,2,1,2,0) := 32120

tmi(3,2,1,2,1) := 32121

tmi(3,2,2,0,0) := 32200

tmi(3,2,2,0,1) := 32201

tmi(3,2,2,1,0) := 32210

tmi(3,2,2,1,1) := 32211

tmi(3,2,2,2,0) := 32220

tmi(3,2,2,2,1) := 32221

tmi(3,2,3,0,0) := 32300

tmi(3,2,3,0,1) := 32301

tmi(3,2,3,1,0) := 32310

tmi(3,2,3,1,1) := 32311

tmi(3,2,3,2,0) := 32320

tmi(3,2,3,2,1) := 32321

tmi(3,3,0,0,0) := 33000

tmi(3,3,0,0,1) := 33001

tmi(3,3,0,1,0) := 33010

tmi(3,3,0,1,1) := 33011

tmi(3,3,0,2,0) := 33020

tmi(3,3,0,2,1) := 33021

tmi(3,3,1,0,0) := 33100

tmi(3,3,1,0,1) := 33101

tmi(3,3,1,1,0) := 33110

tmi(3,3,1,1,1) := 33111

tmi(3,3,1,2,0) := 33120

tmi(3,3,1,2,1) := 33121

tmi(3,3,2,0,0) := 33200

tmi(3,3,2,0,1) := 33201

tmi(3,3,2,1,0) := 33210

tmi(3,3,2,1,1) := 33211

tmi(3,3,2,2,0) := 33220

tmi(3,3,2,2,1) := 33221

tmi(3,3,3,0,0) := 33300

tmi(3,3,3,0,1) := 33301

tmi(3,3,3,1,0) := 33310

tmi(3,3,3,1,1) := 33311

tmi(3,3,3,2,0) := 33320

tmi(3,3,3,2,1) := 33321

tmi(3,4,0,0,0) := 34000

tmi(3,4,0,0,1) := 34001

tmi(3,4,0,1,0) := 34010

tmi(3,4,0,1,1) := 34011

tmi(3,4,0,2,0) := 34020

tmi(3,4,0,2,1) := 34021

tmi(3,4,1,0,0) := 34100

tmi(3,4,1,0,1) := 34101

tmi(3,4,1,1,0) := 34110

tmi(3,4,1,1,1) := 34111

tmi(3,4,1,2,0) := 34120

tmi(3,4,1,2,1) := 34121

tmi(3,4,2,0,0) := 34200

tmi(3,4,2,0,1) := 34201

tmi(3,4,2,1,0) := 34210

tmi(3,4,2,1,1) := 34211

tmi(3,4,2,2,0) := 34220

tmi(3,4,2,2,1) := 34221

tmi(3,4,3,0,0) := 34300

tmi(3,4,3,0,1) := 34301

tmi(3,4,3,1,0) := 34310

tmi(3,4,3,1,1) := 34311

tmi(3,4,3,2,0) := 34320

tmi(3,4,3,2,1) := 34321

tmi(4,0,0,0,0) := 40000

tmi(4,0,0,0,1) := 40001

tmi(4,0,0,1,0) := 40010

tmi(4,0,0,1,1) := 40011

tmi(4,0,0,2,0) := 40020

tmi(4,0,0,2,1) := 40021

tmi(4,0,1,0,0) := 40100

tmi(4,0,1,0,1) := 40101

tmi(4,0,1,1,0) := 40110

tmi(4,0,1,1,1) := 40111

tmi(4,0,1,2,0) := 40120

tmi(4,0,1,2,1) := 40121

tmi(4,0,2,0,0) := 40200

tmi(4,0,2,0,1) := 40201

tmi(4,0,2,1,0) := 40210

tmi(4,0,2,1,1) := 40211

tmi(4,0,2,2,0) := 40220

tmi(4,0,2,2,1) := 40221

tmi(4,0,3,0,0) := 40300

tmi(4,0,3,0,1) := 40301

tmi(4,0,3,1,0) := 40310

tmi(4,0,3,1,1) := 40311

tmi(4,0,3,2,0) := 40320

tmi(4,0,3,2,1) := 40321

tmi(4,1,0,0,0) := 41000

tmi(4,1,0,0,1) := 41001

tmi(4,1,0,1,0) := 41010

tmi(4,1,0,1,1) := 41011

tmi(4,1,0,2,0) := 41020

tmi(4,1,0,2,1) := 41021

tmi(4,1,1,0,0) := 41100

tmi(4,1,1,0,1) := 41101

tmi(4,1,1,1,0) := 41110

tmi(4,1,1,1,1) := 41111

tmi(4,1,1,2,0) := 41120

tmi(4,1,1,2,1) := 41121

tmi(4,1,2,0,0) := 41200

tmi(4,1,2,0,1) := 41201

tmi(4,1,2,1,0) := 41210

tmi(4,1,2,1,1) := 41211

tmi(4,1,2,2,0) := 41220

tmi(4,1,2,2,1) := 41221

tmi(4,1,3,0,0) := 41300

tmi(4,1,3,0,1) := 41301

tmi(4,1,3,1,0) := 41310

tmi(4,1,3,1,1) := 41311

tmi(4,1,3,2,0) := 41320

tmi(4,1,3,2,1) := 41321

tmi(4,2,0,0,0) := 42000

tmi(4,2,0,0,1) := 42001

tmi(4,2,0,1,0) := 42010

tmi(4,2,0,1,1) := 42011

tmi(4,2,0,2,0) := 42020

tmi(4,2,0,2,1) := 42021

tmi(4,2,1,0,0) := 42100

tmi(4,2,1,0,1) := 42101

tmi(4,2,1,1,0) := 42110

tmi(4,2,1,1,1) := 42111

tmi(4,2,1,2,0) := 42120

tmi(4,2,1,2,1) := 42121

tmi(4,2,2,0,0) := 42200

tmi(4,2,2,0,1) := 42201

tmi(4,2,2,1,0) := 42210

tmi(4,2,2,1,1) := 42211

tmi(4,2,2,2,0) := 42220

tmi(4,2,2,2,1) := 42221

tmi(4,2,3,0,0) := 42300

tmi(4,2,3,0,1) := 42301

tmi(4,2,3,1,0) := 42310

tmi(4,2,3,1,1) := 42311

tmi(4,2,3,2,0) := 42320

tmi(4,2,3,2,1) := 42321

tmi(4,3,0,0,0) := 43000

tmi(4,3,0,0,1) := 43001

tmi(4,3,0,1,0) := 43010

tmi(4,3,0,1,1) := 43011

tmi(4,3,0,2,0) := 43020

tmi(4,3,0,2,1) := 43021

tmi(4,3,1,0,0) := 43100

tmi(4,3,1,0,1) := 43101

tmi(4,3,1,1,0) := 43110

tmi(4,3,1,1,1) := 43111

tmi(4,3,1,2,0) := 43120

tmi(4,3,1,2,1) := 43121

tmi(4,3,2,0,0) := 43200

tmi(4,3,2,0,1) := 43201

tmi(4,3,2,1,0) := 43210

tmi(4,3,2,1,1) := 43211

tmi(4,3,2,2,0) := 43220

tmi(4,3,2,2,1) := 43221

tmi(4,3,3,0,0) := 43300

tmi(4,3,3,0,1) := 43301

tmi(4,3,3,1,0) := 43310

tmi(4,3,3,1,1) := 43311

tmi(4,3,3,2,0) := 43320

tmi(4,3,3,2,1) := 43321

tmi(4,4,0,0,0) := 44000

tmi(4,4,0,0,1) := 44001

tmi(4,4,0,1,0) := 44010

tmi(4,4,0,1,1) := 44011

tmi(4,4,0,2,0) := 44020

tmi(4,4,0,2,1) := 44021

tmi(4,4,1,0,0) := 44100

tmi(4,4,1,0,1) := 44101

tmi(4,4,1,1,0) := 44110

tmi(4,4,1,1,1) := 44111

tmi(4,4,1,2,0) := 44120

tmi(4,4,1,2,1) := 44121

tmi(4,4,2,0,0) := 44200

tmi(4,4,2,0,1) := 44201

tmi(4,4,2,1,0) := 44210

tmi(4,4,2,1,1) := 44211

tmi(4,4,2,2,0) := 44220

tmi(4,4,2,2,1) := 44221

tmi(4,4,3,0,0) := 44300

tmi(4,4,3,0,1) := 44301

tmi(4,4,3,1,0) := 44310

tmi(4,4,3,1,1) := 44311

tmi(4,4,3,2,0) := 44320

tmi(4,4,3,2,1) := 44321

tmi(5,0,0,0,0) := 50000

tmi(5,0,0,0,1) := 50001

tmi(5,0,0,1,0) := 50010

tmi(5,0,0,1,1) := 50011

tmi(5,0,0,2,0) := 50020

tmi(5,0,0,2,1) := 50021

tmi(5,0,1,0,0) := 50100

tmi(5,0,1,0,1) := 50101

tmi(5,0,1,1,0) := 50110

tmi(5,0,1,1,1) := 50111

tmi(5,0,1,2,0) := 50120

tmi(5,0,1,2,1) := 50121

tmi(5,0,2,0,0) := 50200

tmi(5,0,2,0,1) := 50201

tmi(5,0,2,1,0) := 50210

tmi(5,0,2,1,1) := 50211

tmi(5,0,2,2,0) := 50220

tmi(5,0,2,2,1) := 50221

tmi(5,0,3,0,0) := 50300

tmi(5,0,3,0,1) := 50301

tmi(5,0,3,1,0) := 50310

tmi(5,0,3,1,1) := 50311

tmi(5,0,3,2,0) := 50320

tmi(5,0,3,2,1) := 50321

tmi(5,1,0,0,0) := 51000

tmi(5,1,0,0,1) := 51001

tmi(5,1,0,1,0) := 51010

tmi(5,1,0,1,1) := 51011

tmi(5,1,0,2,0) := 51020

tmi(5,1,0,2,1) := 51021

tmi(5,1,1,0,0) := 51100

tmi(5,1,1,0,1) := 51101

tmi(5,1,1,1,0) := 51110

tmi(5,1,1,1,1) := 51111

tmi(5,1,1,2,0) := 51120

tmi(5,1,1,2,1) := 51121

tmi(5,1,2,0,0) := 51200

tmi(5,1,2,0,1) := 51201

tmi(5,1,2,1,0) := 51210

tmi(5,1,2,1,1) := 51211

tmi(5,1,2,2,0) := 51220

tmi(5,1,2,2,1) := 51221

tmi(5,1,3,0,0) := 51300

tmi(5,1,3,0,1) := 51301

tmi(5,1,3,1,0) := 51310

tmi(5,1,3,1,1) := 51311

tmi(5,1,3,2,0) := 51320

tmi(5,1,3,2,1) := 51321

tmi(5,2,0,0,0) := 52000

tmi(5,2,0,0,1) := 52001

tmi(5,2,0,1,0) := 52010

tmi(5,2,0,1,1) := 52011

tmi(5,2,0,2,0) := 52020

tmi(5,2,0,2,1) := 52021

tmi(5,2,1,0,0) := 52100

tmi(5,2,1,0,1) := 52101

tmi(5,2,1,1,0) := 52110

tmi(5,2,1,1,1) := 52111

tmi(5,2,1,2,0) := 52120

tmi(5,2,1,2,1) := 52121

tmi(5,2,2,0,0) := 52200

tmi(5,2,2,0,1) := 52201

tmi(5,2,2,1,0) := 52210

tmi(5,2,2,1,1) := 52211

tmi(5,2,2,2,0) := 52220

tmi(5,2,2,2,1) := 52221

tmi(5,2,3,0,0) := 52300

tmi(5,2,3,0,1) := 52301

tmi(5,2,3,1,0) := 52310

tmi(5,2,3,1,1) := 52311

tmi(5,2,3,2,0) := 52320

tmi(5,2,3,2,1) := 52321

tmi(5,3,0,0,0) := 53000

tmi(5,3,0,0,1) := 53001

tmi(5,3,0,1,0) := 53010

tmi(5,3,0,1,1) := 53011

tmi(5,3,0,2,0) := 53020

tmi(5,3,0,2,1) := 53021

tmi(5,3,1,0,0) := 53100

tmi(5,3,1,0,1) := 53101

tmi(5,3,1,1,0) := 53110

tmi(5,3,1,1,1) := 53111

tmi(5,3,1,2,0) := 53120

tmi(5,3,1,2,1) := 53121

tmi(5,3,2,0,0) := 53200

tmi(5,3,2,0,1) := 53201

tmi(5,3,2,1,0) := 53210

tmi(5,3,2,1,1) := 53211

tmi(5,3,2,2,0) := 53220

tmi(5,3,2,2,1) := 53221

tmi(5,3,3,0,0) := 53300

tmi(5,3,3,0,1) := 53301

tmi(5,3,3,1,0) := 53310

tmi(5,3,3,1,1) := 53311

tmi(5,3,3,2,0) := 53320

tmi(5,3,3,2,1) := 53321

tmi(5,4,0,0,0) := 54000

tmi(5,4,0,0,1) := 54001

tmi(5,4,0,1,0) := 54010

tmi(5,4,0,1,1) := 54011

tmi(5,4,0,2,0) := 54020

tmi(5,4,0,2,1) := 54021

tmi(5,4,1,0,0) := 54100

tmi(5,4,1,0,1) := 54101

tmi(5,4,1,1,0) := 54110

tmi(5,4,1,1,1) := 54111

tmi(5,4,1,2,0) := 54120

tmi(5,4,1,2,1) := 54121

tmi(5,4,2,0,0) := 54200

tmi(5,4,2,0,1) := 54201

tmi(5,4,2,1,0) := 54210

tmi(5,4,2,1,1) := 54211

tmi(5,4,2,2,0) := 54220

tmi(5,4,2,2,1) := 54221

tmi(5,4,3,0,0) := 54300

tmi(5,4,3,0,1) := 54301

tmi(5,4,3,1,0) := 54310

tmi(5,4,3,1,1) := 54311

tmi(5,4,3,2,0) := 54320

tmi(5,4,3,2,1) := 54321
