FailedConsole Output

Skipping 3,475 KB.. Full Log
rt":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"file__VAT_VatAuthStep_VatFile","variable":false,"arity":1,"args":[{"node":"KApply","label":"Line__VAT_VatFile_Rad","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1000000000000"}]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initIlk__VAT_VatAuthStep_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"file__VAT_VatAuthStep_VatFile","variable":false,"arity":1,"args":[{"node":"KApply","label":"spot___VAT_VatFile_String_Ray","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"Int","token":"3000000000"}]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"file__VAT_VatAuthStep_VatFile","variable":false,"arity":1,"args":[{"node":"KApply","label":"line___VAT_VatFile_String_Rad","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"Int","token":"1000000000000"}]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VOW_AuthStep_VowContract_VowAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vow_VOW_VowContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"file__VOW_VowAuthStep_VowFile","variable":false,"arity":1,"args":[{"node":"KApply","label":"bump__VOW_VowFile_Rad","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1000000000"}]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VOW_AuthStep_VowContract_VowAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vow_VOW_VowContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"file__VOW_VowAuthStep_VowFile","variable":false,"arity":1,"args":[{"node":"KApply","label":"hump__VOW_VowFile_Rad","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"initUser__GEM_GemAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"initUser__GEM_GemAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"mint___GEM_GemStep_Address_Wad","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"20"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"mint___GEM_GemStep_Address_Wad","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"20"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogException","variable":false,"arity":1,"args":[{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"MKR\""}]},{"node":"KApply","label":"initUser__GEM_GemAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogException","variable":false,"arity":1,"args":[{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"MKR\""}]},{"node":"KApply","label":"initUser__GEM_GemAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__POT_AuthStep_PotContract_PotAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initUser__POT_PotAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__POT_AuthStep_PotContract_PotAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initUser__POT_PotAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initUser__VAT_VatAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initGem___VAT_VatAuthStep_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initCDP___VAT_VatAuthStep_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initUser__VAT_VatAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initGem___VAT_VatAuthStep_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initCDP___VAT_VatAuthStep_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"hope__VAT_VatStep_Address","variable":false,"arity":1,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"hope__VAT_VatStep_Address","variable":false,"arity":1,"args":[{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"hope__VAT_VatStep_Address","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"hope__VAT_VatStep_Address","variable":false,"arity":1,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"hope__VAT_VatStep_Address","variable":false,"arity":1,"args":[{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"hope__VAT_VatStep_Address","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"slip____VAT_VatAuthStep_String_Address_Wad","variable":false,"arity":3,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"transferFrom____GEM_GemStep_Address_Address_Wad","variable":false,"arity":3,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_.__JOIN_MCDStep_GemJoinContract_GemJoinStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"join___JOIN_GemJoinStep_Address_Wad","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_.__VAT_AuthStep_VatContract_VatAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"slip____VAT_VatAuthStep_String_Address_Wad","variable":false,"arity":3,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_.__GEM_MCDStep_GemContract_GemStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Gem__GEM_GemContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"transferFrom____GEM_GemStep_Address_Address_Wad","variable":false,"arity":3,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_.__JOIN_MCDStep_GemJoinContract_GemJoinStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"join___JOIN_GemJoinStep_Address_Wad","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"frob_______VAT_VatStep_String_Address_Address_Address_Wad_Wad","variable":false,"arity":6,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"10"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"10"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_.__VAT_MCDStep_VatContract_VatStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"Vat_VAT_VatContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"frob_______VAT_VatStep_String_Address_Address_Address_Wad_Wad","variable":false,"arity":6,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__END_AuthStep_EndContract_EndAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initBag__END_EndAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__END_AuthStep_EndContract_EndAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initBag__END_EndAuthStep_Address","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__END_AuthStep_EndContract_EndAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initOut___END_EndAuthStep_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogNote","variable":false,"arity":2,"args":[{"node":"KApply","label":"ADMIN_KMCD-DRIVER_Address","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_.__END_AuthStep_EndContract_EndAuthStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"initOut___END_EndAuthStep_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]}]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogGenStepFailed","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Bytes","token":"b\"\\x03\""},{"node":"KApply","label":"GenGemJoinJoin_KMCD-GEN_GenGemJoinStep","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"LogMeasure","variable":false,"arity":11,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]},{"node":"KApply","label":"<properties>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Unauthorized Flip Kick\""},{"node":"KApply","label":"unAuthFlipKick_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Zero-Time Pot Interest Accumulation\""},{"node":"KApply","label":"zeroTimePotInterest_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Total Bound on Debt\""},{"node":"KApply","label":"totalDebtBoundedRun(_,_)_KMCD-PROPS_ViolationFSM_Rat_Rat","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"1"}]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Debt Constant After Thaw\""},{"node":"KApply","label":"debtConstantAfterThaw_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Unauthorized Flap Kick\""},{"node":"KApply","label":"unAuthFlapKick_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"PotChi PotPie VatPot\""},{"node":"KApply","label":"potChiPieDai(_,_)_KMCD-PROPS_ViolationFSM_Rat_Rat","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Flap MKR Consistency\""},{"node":"KApply","label":"flapMkrConsistency_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Pot Interest Accumulation After End\""},{"node":"KApply","label":"potEndInterest_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Total Backed Debt Consistency\""},{"node":"KApply","label":"totalBackedDebtConsistency_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Flap Dai Consistency\""},{"node":"KApply","label":"flapDaiConsistency_KMCD-PROPS_ViolationFSM","variable":false,"arity":0,"args":[]}]}]}]}]}]}]}]}]}]}]}]}]},{"node":"KApply","label":"<kmcd-snapshots>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_List_","variable":false,"arity":2,"args":[{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"<kmcd-state>","variable":false,"arity":13,"args":[{"node":"KApply","label":"<cat>","variable":false,"arity":4,"args":[{"node":"KApply","label":"<cat-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<cat-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<cat-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<cat-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<dai>","variable":false,"arity":6,"args":[{"node":"KApply","label":"<dai-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-totalSupply>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<dai-account-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<dai-balance>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-allowance>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-nonce>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"<end-state>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<endPhase>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"<end>","variable":false,"arity":11,"args":[{"node":"KApply","label":"<end-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<end-when>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<end-wait>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<end-debt>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<end-tag>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-gap>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<end-art>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-fix>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-bag>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<end-out>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]}]}]},{"node":"KApply","label":"<flap-state>","variable":false,"arity":7,"args":[{"node":"KApply","label":"<flap-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flap-bids>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flap-kicks>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<flap-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<flap-beg>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"21"},{"node":"KToken","sort":"Int","token":"20"}]}]},{"node":"KApply","label":"<flap-ttl>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"10800"}]},{"node":"KApply","label":"<flap-tau>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"172800"}]}]},{"node":"KApply","label":"<flips>","variable":false,"arity":1,"args":[{"node":"KApply","label":"FlipCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<flip-ilk>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<flip>","variable":false,"arity":7,"args":[{"node":"KApply","label":"<flip-ilk>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<flip-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"<flip-bids>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flip-beg>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"21"},{"node":"KToken","sort":"Int","token":"20"}]}]},{"node":"KApply","label":"<flip-ttl>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"10800"}]},{"node":"KApply","label":"<flip-tau>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"172800"}]},{"node":"KApply","label":"<flip-kicks>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]}]}]},{"node":"KApply","label":"<flop-state>","variable":false,"arity":9,"args":[{"node":"KApply","label":"<flop-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flop-bids>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flop-kicks>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<flop-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<flop-beg>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"21"},{"node":"KToken","sort":"Int","token":"20"}]}]},{"node":"KApply","label":"<flop-pad>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"2"}]}]},{"node":"KApply","label":"<flop-ttl>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"10800"}]},{"node":"KApply","label":"<flop-tau>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"172800"}]},{"node":"KApply","label":"<flop-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<gems>","variable":false,"arity":1,"args":[{"node":"KApply","label":"GemCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<gem-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem>","variable":false,"arity":3,"args":[{"node":"KApply","label":"<gem-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<gem-balances>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KToken","sort":"Int","token":"20"}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]}]}]}]},{"node":"KApply","label":"<join-state>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<gem-joins>","variable":false,"arity":1,"args":[{"node":"KApply","label":"GemJoinCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<gem-join-gem>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem-join>","variable":false,"arity":3,"args":[{"node":"KApply","label":"<gem-join-gem>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem-join-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<gem-join-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]}]}]},{"node":"KApply","label":"<dai-join>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<dai-join-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-join-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]}]},{"node":"KApply","label":"<jug>","variable":false,"arity":4,"args":[{"node":"KApply","label":"<jug-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<jug-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<jug-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<jug-base>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<pot>","variable":false,"arity":8,"args":[{"node":"KApply","label":"<pot-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<pot-pies>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<pot-pie>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<pot-dsr>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<pot-chi>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<pot-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<pot-rho>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<pot-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]},{"node":"KApply","label":"<spot>","variable":false,"arity":4,"args":[{"node":"KApply","label":"<spot-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<spot-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"#SpotIlk","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"1"}]}]}]},{"node":"KApply","label":"<spot-par>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<spot-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]},{"node":"KApply","label":"<vat>","variable":false,"arity":11,"args":[{"node":"KApply","label":"<vat-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]}]},{"node":"KApply","label":"<vat-can>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]},{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]}]}]}]}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]},{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]}]}]}]}]}]}]},{"node":"KApply","label":"<vat-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"#VatIlk","variable":false,"arity":5,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"3000000000"},{"node":"KToken","sort":"Int","token":"1000000000000"},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<vat-urns>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"#VatUrn","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]},{"node":"KApply","label":"#VatUrn","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"10"},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]},{"node":"KApply","label":"#VatUrn","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"10"},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]}]},{"node":"KApply","label":"<vat-gem>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]}]}]},{"node":"KApply","label":"<vat-dai>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]},{"node":"KApply","label":"<vat-sin>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<vat-debt>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"20"}]},{"node":"KApply","label":"<vat-vice>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vat-Line>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1000000000000"}]},{"node":"KApply","label":"<vat-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]},{"node":"KApply","label":"<vow>","variable":false,"arity":10,"args":[{"node":"KApply","label":"<vow-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<vow-sins>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<vow-sin>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-ash>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-wait>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-dump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-sump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-bump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1000000000"}]},{"node":"KApply","label":"<vow-hump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]}]}]},{"node":"KApply","label":"ListItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"<kmcd-state>","variable":false,"arity":13,"args":[{"node":"KApply","label":"<cat>","variable":false,"arity":4,"args":[{"node":"KApply","label":"<cat-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<cat-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<cat-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<cat-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<dai>","variable":false,"arity":6,"args":[{"node":"KApply","label":"<dai-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-totalSupply>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<dai-account-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<dai-balance>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-allowance>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-nonce>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"<end-state>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<endPhase>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"<end>","variable":false,"arity":11,"args":[{"node":"KApply","label":"<end-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<end-when>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<end-wait>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<end-debt>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<end-tag>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-gap>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<end-art>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-fix>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<end-bag>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<end-out>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]}]}]},{"node":"KApply","label":"<flap-state>","variable":false,"arity":7,"args":[{"node":"KApply","label":"<flap-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flap-bids>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flap-kicks>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<flap-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<flap-beg>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"21"},{"node":"KToken","sort":"Int","token":"20"}]}]},{"node":"KApply","label":"<flap-ttl>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"10800"}]},{"node":"KApply","label":"<flap-tau>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"172800"}]}]},{"node":"KApply","label":"<flips>","variable":false,"arity":1,"args":[{"node":"KApply","label":"FlipCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<flip-ilk>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<flip>","variable":false,"arity":7,"args":[{"node":"KApply","label":"<flip-ilk>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<flip-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]}]},{"node":"KApply","label":"<flip-bids>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flip-beg>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"21"},{"node":"KToken","sort":"Int","token":"20"}]}]},{"node":"KApply","label":"<flip-ttl>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"10800"}]},{"node":"KApply","label":"<flip-tau>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"172800"}]},{"node":"KApply","label":"<flip-kicks>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]}]}]},{"node":"KApply","label":"<flop-state>","variable":false,"arity":9,"args":[{"node":"KApply","label":"<flop-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flop-bids>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<flop-kicks>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<flop-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]},{"node":"KApply","label":"<flop-beg>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"21"},{"node":"KToken","sort":"Int","token":"20"}]}]},{"node":"KApply","label":"<flop-pad>","variable":false,"arity":1,"args":[{"node":"KApply","label":"<_,_>Rat_RAT-COMMON_Rat_Int_Int","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"3"},{"node":"KToken","sort":"Int","token":"2"}]}]},{"node":"KApply","label":"<flop-ttl>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"10800"}]},{"node":"KApply","label":"<flop-tau>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"172800"}]},{"node":"KApply","label":"<flop-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<gems>","variable":false,"arity":1,"args":[{"node":"KApply","label":"GemCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<gem-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem>","variable":false,"arity":3,"args":[{"node":"KApply","label":"<gem-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<gem-balances>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KToken","sort":"Int","token":"20"}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]}]}]}]},{"node":"KApply","label":"<join-state>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<gem-joins>","variable":false,"arity":1,"args":[{"node":"KApply","label":"GemJoinCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<gem-join-gem>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem-join>","variable":false,"arity":3,"args":[{"node":"KApply","label":"<gem-join-gem>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]},{"node":"KApply","label":"<gem-join-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<gem-join-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]}]}]},{"node":"KApply","label":"<dai-join>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<dai-join-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<dai-join-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]}]},{"node":"KApply","label":"<jug>","variable":false,"arity":4,"args":[{"node":"KApply","label":"<jug-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<jug-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<jug-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<jug-base>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"<pot>","variable":false,"arity":8,"args":[{"node":"KApply","label":"<pot-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<pot-pies>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<pot-pie>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<pot-dsr>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<pot-chi>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<pot-vow>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<pot-rho>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<pot-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]},{"node":"KApply","label":"<spot>","variable":false,"arity":4,"args":[{"node":"KApply","label":"<spot-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<spot-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"#SpotIlk","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"1"}]}]}]},{"node":"KApply","label":"<spot-par>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<spot-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]},{"node":"KApply","label":"<vat>","variable":false,"arity":11,"args":[{"node":"KApply","label":"<vat-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"GemJoin__JOIN_GemJoinContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]}]},{"node":"KApply","label":"<vat-can>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]},{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]}]}]}]}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"_Set_","variable":false,"arity":2,"args":[{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]},{"node":"KApply","label":"SetItem","variable":false,"arity":1,"args":[{"node":"KApply","label":"Pot_POT_PotContract","variable":false,"arity":0,"args":[]}]}]}]}]}]}]},{"node":"KApply","label":"<vat-ilks>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"#VatIlk","variable":false,"arity":5,"args":[{"node":"KToken","sort":"Int","token":"20"},{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"3000000000"},{"node":"KToken","sort":"Int","token":"1000000000000"},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<vat-urns>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"#VatUrn","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KToken","sort":"Int","token":"0"}]}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]},{"node":"KApply","label":"#VatUrn","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"10"},{"node":"KToken","sort":"Int","token":"10"}]}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]},{"node":"KApply","label":"#VatUrn","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"10"},{"node":"KToken","sort":"Int","token":"10"}]}]}]}]}]},{"node":"KApply","label":"<vat-gem>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"End_END_EndContract","variable":false,"arity":0,"args":[]}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Alice\""}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KApply","label":"Flip__FLIP_FlipContract_String","variable":false,"arity":1,"args":[{"node":"KToken","sort":"String","token":"\"gold\""}]}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KApply","label":"{_,_}_VAT_CDPID_String_Address","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"gold\""},{"node":"KToken","sort":"String","token":"\"Bobby\""}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]}]}]},{"node":"KApply","label":"<vat-dai>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"10"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"10"}]}]}]},{"node":"KApply","label":"<vat-sin>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Alice\""},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"String","token":"\"Bobby\""},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KApply","label":"<vat-debt>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"20"}]},{"node":"KApply","label":"<vat-vice>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vat-Line>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1000000000000"}]},{"node":"KApply","label":"<vat-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]},{"node":"KApply","label":"<vow>","variable":false,"arity":10,"args":[{"node":"KApply","label":"<vow-wards>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Set","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<vow-sins>","variable":false,"arity":1,"args":[{"node":"KApply","label":".Map","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<vow-sin>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-ash>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-wait>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-dump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-sump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-bump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1000000000"}]},{"node":"KApply","label":"<vow-hump>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<vow-live>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}]}]}]}]}]},{"node":"KApply","label":"<kmcd-gen>","variable":false,"arity":6,"args":[{"node":"KApply","label":"<random>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bytes","token":"b\"\""}]},{"node":"KApply","label":"<used-random>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bytes","token":"b\"\""}]},{"node":"KApply","label":"<generator-next>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"<generator-current>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"3"}]},{"node":"KApply","label":"<generator-remainder>","variable":false,"arity":1,"args":[{"node":"KApply","label":".GenStep_KMCD-GEN_GenStep","variable":false,"arity":0,"args":[]}]},{"node":"KApply","label":"<generators>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_GeneratorCellMap_","variable":false,"arity":2,"args":[{"node":"KApply","label":"GeneratorCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<generator>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"<generator-steps>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotFileDSR_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenTimeStep_KMCD-GEN_GenTimeStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotJoin_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotDrip_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotExit_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":".GenStep_KMCD-GEN_GenStep","variable":false,"arity":0,"args":[]}]}]}]}]}]}]}]}]},{"node":"KApply","label":"_GeneratorCellMap_","variable":false,"arity":2,"args":[{"node":"KApply","label":"GeneratorCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<generator>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"<generator-steps>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndCage_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndCageIlk_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndSkim_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndSkim_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndThaw_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndFlow_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotJoin_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotFileDSR_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenTimeStep_KMCD-GEN_GenTimeStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotDrip_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenPotExit_KMCD-GEN_GenPotStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":".GenStep_KMCD-GEN_GenStep","variable":false,"arity":0,"args":[]}]}]}]}]}]}]}]}]}]}]}]}]}]}]},{"node":"KApply","label":"_GeneratorCellMap_","variable":false,"arity":2,"args":[{"node":"KApply","label":"GeneratorCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"3"}]},{"node":"KApply","label":"<generator>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"3"}]},{"node":"KApply","label":"<generator-steps>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndCage_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndCageIlk_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenTimeStep_KMCD-GEN_GenTimeStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndThaw_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndFlow_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenFlipKick_KMCD-GEN_GenFlipStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndSkip_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":".GenStep_KMCD-GEN_GenStep","variable":false,"arity":0,"args":[]}]}]}]}]}]}]}]},{"node":"KApply","label":".GenStep_KMCD-GEN_GenStep","variable":false,"arity":0,"args":[]}]}]}]}]},{"node":"KApply","label":"GeneratorCellMapItem","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"2"}]},{"node":"KApply","label":"<generator>","variable":false,"arity":2,"args":[{"node":"KApply","label":"<generator-id>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"2"}]},{"node":"KApply","label":"<generator-steps>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenVatMove_KMCD-GEN_GenVatStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenGemJoinJoin_KMCD-GEN_GenGemJoinStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenVatHope_KMCD-GEN_GenVatStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenFlapKick_KMCD-GEN_GenFlapStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenEndCage_KMCD-GEN_GenEndStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":"_;__KMCD-GEN_GenStep_GenStep_GenStep","variable":false,"arity":2,"args":[{"node":"KApply","label":"GenFlapYank_KMCD-GEN_GenFlapStep","variable":false,"arity":0,"args":[]},{"node":"KApply","label":".GenStep_KMCD-GEN_GenStep","variable":false,"arity":0,"args":[]}]}]}]}]}]}]}]}]}]}]}]}]}]}]}]},{"node":"KApply","label":"<generatedCounter>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"0"}]}]}}

### Solidity
#### ID:0
------------

    // Test Run
    ADMIN.Vat_rely(address(GemJoin_gold));
    ADMIN.Spot_setPrice("gold", 1);
    ADMIN.Flip_gold_rely(address(End));
    ADMIN.Vat_file("Line", 1000000000000);
    ADMIN.Vat_file("spot", "gold", 3000000000);
    ADMIN.Vat_file("line", "gold", 1000000000000);
    ADMIN.Vow_file("bump", 1000000000);
    ADMIN.Vow_file("hump", 0);
    ADMIN.Gem_gold_mint(address(Alice), 20);
    ADMIN.Gem_gold_mint(address(Bobby), 20);
    Alice.Vat_hope(address(Pot));
    Alice.Vat_hope(address(Flip_gold));
    Alice.Vat_hope(address(End));
    Bobby.Vat_hope(address(Pot));
    Bobby.Vat_hope(address(Flip_gold));
    Bobby.Vat_hope(address(End));
    Alice.GemJoin_gold_join(address(Alice), 10);
    Bobby.GemJoin_gold_join(address(Bobby), 10);
    Alice.Vat_frob("gold", address(Alice), address(Alice), address(Alice), 10, 10);
    Bobby.Vat_frob("gold", address(Bobby), address(Bobby), address(Bobby), 10, 10);

    // Assertions
    

------------
### /Solidity

### State Delta
---------------

...


Time Elapsed: 4.457427740097046

Time Per Run: 4.457427740097046
python3 mcd-pyk.py random-test 0 1 "b0b3bb0Zbba" 2>&1 > tests/attacks/lucash-flap-end.random.mcd.python-out
[Pipeline] }
[Pipeline] // stage
[Pipeline] }

Running: /home/jenkins-slave/workspace/mkr-mcd_master/deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmpxr7nne40 -cRANDOMSEED=#token("", "Bytes") -pRANDOMSEED=printf %s --output json --parser cat
======================================================================================================================================================================================================================================
RANDOMSEED="" ./kmcd run --backend llvm tests/attacks/lucash-pot-end.mcd > tests/attacks/lucash-pot-end.mcd.out
RANDOMSEED="aaaaaaaa" ./kmcd run --backend llvm tests/attacks/lucash-pot.random.mcd > tests/attacks/lucash-pot.random.mcd.out
git --no-pager diff --no-index --ignore-all-space -R tests/fixes/debtBoundDSR.mcd.out tests/fixes/debtBoundDSR.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-pot-end.random.mcd.out tests/attacks/lucash-pot-end.random.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-flap-end.mcd.out tests/attacks/lucash-flap-end.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/fixes/potChiPieDai.mcd.out tests/fixes/potChiPieDai.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-pot.mcd.out tests/attacks/lucash-pot.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-flip-end.mcd.out tests/attacks/lucash-flip-end.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-flap-end.random.mcd.out tests/attacks/lucash-flap-end.random.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-flip-end.random.mcd.out tests/attacks/lucash-flip-end.random.mcd.expected

Running: /home/jenkins-slave/workspace/mkr-mcd_master/deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmpifu_0b_o --term --no-sort-collections --output json --parser cat
===========================================================================================================================================================================================================
python3 mcd-pyk.py random-test 0 1 "caccacaccacaaca" 2>&1 > tests/attacks/lucash-flip-end.random.mcd.python-out

Running: /home/jenkins-slave/workspace/mkr-mcd_master/deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmpkyzmrsrm -cRANDOMSEED=#token("", "Bytes") -pRANDOMSEED=printf %s --output json --parser cat
======================================================================================================================================================================================================================================

Running: /home/jenkins-slave/workspace/mkr-mcd_master/deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmp5bv0ufjd --term --no-sort-collections --output json --parser cat
===========================================================================================================================================================================================================
python3 mcd-pyk.py random-test 0 1 "aaaaaaaa" 2>&1 > tests/attacks/lucash-pot.random.mcd.python-out

Running: /home/jenkins-slave/workspace/mkr-mcd_master/deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmps6e03ast -cRANDOMSEED=#token("", "Bytes") -pRANDOMSEED=printf %s --output json --parser cat
======================================================================================================================================================================================================================================
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-pot.random.mcd.out tests/attacks/lucash-pot.random.mcd.expected
git --no-pager diff --no-index --ignore-all-space -R tests/attacks/lucash-pot-end.mcd.out tests/attacks/lucash-pot-end.mcd.expected
[Pipeline] }
[Pipeline] // stage

Running: /home/jenkins-slave/workspace/mkr-mcd_master/deps/k/k-distribution/target/release/k/bin/krun --directory .build/defn/llvm /tmp/tmpirwq5shb --term --no-sort-collections --output json --parser cat
===========================================================================================================================================================================================================
[Pipeline] }
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // parallel
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
$ docker stop --time=1 3ee4e4eb7c548a4f76c33bcefa3ba74ae436e8c51dd28d0e2c1dd7f32447dc56
$ docker rm -f 3ee4e4eb7c548a4f76c33bcefa3ba74ae436e8c51dd28d0e2c1dd7f32447dc56
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Deploy)
[Pipeline] getContext
[Pipeline] isUnix
[Pipeline] readFile
[Pipeline] sh
+ id -u
+ id -g
+ docker build -t d297111b871bce81ffb3ba44d833cb76b6c94a26 --build-arg USER_ID=1001 --build-arg GROUP_ID=1001 -f Dockerfile .
Sending build context to Docker daemon  1.574GB

Step 1/8 : FROM runtimeverificationinc/ubuntu:bionic
 ---> 04492f181f08
Step 2/8 : RUN    apt-get update            && apt-get upgrade --yes     && apt-get install --yes         autoconf                     bison                        clang++-8                    clang-8                      cmake                        curl                         flex                         gcc                          git                          libboost-test-dev            libgmp-dev                   libjemalloc-dev              libmpfr-dev                  libprocps-dev                libprotobuf-dev              libsecp256k1-dev             libtool                      libyaml-dev                  libz3-dev                    lld-8                        llvm-8                       llvm-8-tools                 make                         maven                        openjdk-11-jdk               pandoc                       pkg-config                   protobuf-compiler            python3                      z3                           zlib1g-dev
 ---> Using cache
 ---> 1d649f1a2fe6
Step 3/8 : ADD deps/k/haskell-backend/src/main/native/haskell-backend/scripts/install-stack.sh /.install-stack/
 ---> Using cache
 ---> 9b2a9b67eef9
Step 4/8 : RUN /.install-stack/install-stack.sh
 ---> Using cache
 ---> 9ef0df61816c
Step 5/8 : USER user:user
 ---> Using cache
 ---> baf00a2e4a57
Step 6/8 : ADD --chown=user:user deps/k/haskell-backend/src/main/native/haskell-backend/stack.yaml /home/user/.tmp-haskell/
 ---> Using cache
 ---> c211b52e19e3
Step 7/8 : ADD --chown=user:user deps/k/haskell-backend/src/main/native/haskell-backend/kore/package.yaml /home/user/.tmp-haskell/kore/
 ---> Using cache
 ---> f1f9afab5e2b
Step 8/8 : RUN    cd /home/user/.tmp-haskell      && stack build --only-snapshot
 ---> Using cache
 ---> 0dca39e53c07
[Warning] One or more build-args [GROUP_ID USER_ID] were not consumed
Successfully built 0dca39e53c07
Successfully tagged d297111b871bce81ffb3ba44d833cb76b6c94a26:latest
[Pipeline] dockerFingerprintFrom
[Pipeline] sh
+ docker inspect -f . d297111b871bce81ffb3ba44d833cb76b6c94a26
.
[Pipeline] withDockerContainer
rvwork-3 does not seem to be running inside a container
$ docker run -t -d -u 1001:1001 -m 60g -w /home/jenkins-slave/workspace/mkr-mcd_master -v /home/jenkins-slave/workspace/mkr-mcd_master:/home/jenkins-slave/workspace/mkr-mcd_master:rw,z -v /home/jenkins-slave/workspace/mkr-mcd_master@tmp:/home/jenkins-slave/workspace/mkr-mcd_master@tmp:rw,z -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** -e ******** d297111b871bce81ffb3ba44d833cb76b6c94a26 cat
$ docker top 8af99d04e18de5f44922592102fc054935b3b81ee2157200fe228d70cb3930fa -eo pid,comm
[Pipeline] {
[Pipeline] stage
[Pipeline] { (Initialize Git/SSH)
[Pipeline] sshagent
[ssh-agent] Using credentials admin@runtimeverification.com (Jenkins administrative key)
[ssh-agent] Looking for ssh-agent implementation...
[ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
$ docker exec 8af99d04e18de5f44922592102fc054935b3b81ee2157200fe228d70cb3930fa ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-q08Btag35D26/agent.12
SSH_AGENT_PID=17
Running ssh-add (command line suppressed)
Identity added: /home/jenkins-slave/workspace/mkr-mcd_master@tmp/private_key_8768372520181816123.key (/home/jenkins-slave/workspace/mkr-mcd_master@tmp/private_key_8768372520181816123.key)
[ssh-agent] Started.
[Pipeline] {
[Pipeline] sh
+ git config --global user.email admin@runtimeverification.com
+ git config --global user.name RV Jenkins
+ mkdir -p /home/user/.ssh
+ echo host github.com
+ echo     hostname github.com
+ echo     user git
+ echo     identityagent SSH_AUTH_SOCK
+ echo     stricthostkeychecking accept-new
+ chmod go-rwx -R /home/user/.ssh
+ ssh github.com
Pseudo-terminal will not be allocated because stdin is not a terminal.
Warning: Permanently added 'github.com,140.82.114.4' (RSA) to the list of known hosts.
Hi rv-jenkins! You've successfully authenticated, but GitHub does not provide shell access.
+ true
[Pipeline] }
$ docker exec --env ******** --env ******** 8af99d04e18de5f44922592102fc054935b3b81ee2157200fe228d70cb3930fa ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 17 killed;
[ssh-agent] Stopped.
[Pipeline] // sshagent
[Pipeline] }
[Pipeline] // stage
[Pipeline] stage
[Pipeline] { (Push GitHub Pages)
[Pipeline] sshagent
[ssh-agent] Using credentials admin@runtimeverification.com (Jenkins administrative key)
[ssh-agent] Looking for ssh-agent implementation...
[ssh-agent]   Exec ssh-agent (binary ssh-agent on a remote machine)
$ docker exec 8af99d04e18de5f44922592102fc054935b3b81ee2157200fe228d70cb3930fa ssh-agent
SSH_AUTH_SOCK=/tmp/ssh-C9YC0G8RnY8j/agent.49
SSH_AGENT_PID=54
Running ssh-add (command line suppressed)
Identity added: /home/jenkins-slave/workspace/mkr-mcd_master@tmp/private_key_10230193179450701760.key (/home/jenkins-slave/workspace/mkr-mcd_master@tmp/private_key_10230193179450701760.key)
[ssh-agent] Started.
[Pipeline] {
[Pipeline] sh
+ git remote set-url origin ssh://github.com/runtimeverification/mkr-mcd-spec
+ git checkout -B gh-pages
error: object directory /home/jenkins-slave/devops.git/objects does not exist; check .git/objects/info/alternates.
error: object directory /home/jenkins-slave/devops.git/objects does not exist; check .git/objects/info/alternates.
error: object directory /home/jenkins-slave/devops.git/objects does not exist; check .git/objects/info/alternates.
fatal: bad object HEAD
fatal: 'git status --porcelain=2' failed in submodule haskell-backend/src/main/native/haskell-backend
fatal: 'git status --porcelain=2' failed in submodule deps/k
[Pipeline] }
$ docker exec --env ******** --env ******** 8af99d04e18de5f44922592102fc054935b3b81ee2157200fe228d70cb3930fa ssh-agent -k
unset SSH_AUTH_SOCK;
unset SSH_AGENT_PID;
echo Agent pid 54 killed;
[ssh-agent] Stopped.
[Pipeline] // sshagent
[Pipeline] }
[Pipeline] // stage
Post stage
[Pipeline] slackSend
Slack Send Pipeline step running, values are - baseUrl: https://runtimeverification.slack.com/services/hooks/jenkins-ci/, teamDomain: <empty>, channel: #maker-internal, color: #cb2431, botUser: false, tokenCredentialId: Slack Integration Token, iconEmoji <empty>, username <empty>
[Pipeline] }
$ docker stop --time=1 8af99d04e18de5f44922592102fc054935b3b81ee2157200fe228d70cb3930fa
$ docker rm -f 8af99d04e18de5f44922592102fc054935b3b81ee2157200fe228d70cb3930fa
[Pipeline] // withDockerContainer
[Pipeline] }
[Pipeline] // stage
[Pipeline] }
[Pipeline] // ansiColor
[Pipeline] }
[Pipeline] // withEnv
[Pipeline] }
[Pipeline] // node
[Pipeline] End of Pipeline

GitHub has been notified of this commit’s build result

ERROR: script returned exit code 128
Finished: FAILURE