Skip to content

Instantly share code, notes, and snippets.

@mhhf

mhhf/gist:8444e1f54a2fdfbace36a4c0f4df7f8a

Created June 29, 2019 00:12
Show Gist options
  • Save mhhf/8444e1f54a2fdfbace36a4c0f4df7f8a to your computer and use it in GitHub Desktop.
Save mhhf/8444e1f54a2fdfbace36a4c0f4df7f8a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1995","originalName":"VGas"},{"node":"KToken","sort":"Int","token":"1287"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1947","originalName":"ABI_dink"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KVariable","name":"_1947","originalName":"ABI_dink"}]},{"node":"KToken","sort":"Bool","token":"false"}]}]},{"node":"KToken","sort":"Int","token":"114"},{"node":"KToken","sort":"Int","token":"128"}]}]},{"node":"KToken","sort":"Int","token":"24"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1945","originalName":"Ink_iu"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"notBool_","variable":false,"arity":1,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+Int_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1945","originalName":"Ink_iu"},{"node":"KVariable","name":"_1947","originalName":"ABI_dink"}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KToken","sort":"Int","token":"20000"},{"node":"KToken","sort":"Int","token":"5000"}]}]},{"node":"KToken","sort":"Int","token":"228"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1946","originalName":"ABI_dart"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]},{"node":"KToken","sort":"Bool","token":"false"}]}]},{"node":"KToken","sort":"Int","token":"114"},{"node":"KToken","sort":"Int","token":"128"}]}]},{"node":"KToken","sort":"Int","token":"24"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2010","originalName":"Art_iu"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"notBool_","variable":false,"arity":1,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+Int_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2010","originalName":"Art_iu"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KToken","sort":"Int","token":"20000"},{"node":"KToken","sort":"Int","token":"5000"}]}]},{"node":"KToken","sort":"Int","token":"228"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1946","originalName":"ABI_dart"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]},{"node":"KToken","sort":"Bool","token":"false"}]}]},{"node":"KToken","sort":"Int","token":"114"},{"node":"KToken","sort":"Int","token":"128"}]}]},{"node":"KToken","sort":"Int","token":"24"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2002","originalName":"Art_i"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"notBool_","variable":false,"arity":1,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+Int_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2002","originalName":"Art_i"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KToken","sort":"Int","token":"20000"},{"node":"KToken","sort":"Int","token":"5000"}]}]},{"node":"KToken","sort":"Int","token":"231"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1946","originalName":"ABI_dart"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Int","token":"96"},{"node":"KToken","sort":"Int","token":"132"}]}]},{"node":"KToken","sort":"Int","token":"402"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KVariable","name":"_1947","originalName":"ABI_dink"}]},{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1947","originalName":"ABI_dink"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Bool","token":"false"}]}]},{"node":"KToken","sort":"Int","token":"114"},{"node":"KToken","sort":"Int","token":"128"}]}]},{"node":"KToken","sort":"Int","token":"186"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2011","originalName":"Gem_iv"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"notBool_","variable":false,"arity":1,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2011","originalName":"Gem_iv"},{"node":"KVariable","name":"_1947","originalName":"ABI_dink"}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KToken","sort":"Int","token":"20000"},{"node":"KToken","sort":"Int","token":"5000"}]}]},{"node":"KToken","sort":"Int","token":"312"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1993","originalName":"Rate"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]}]},{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1993","originalName":"Rate"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Bool","token":"false"}]}]},{"node":"KToken","sort":"Int","token":"114"},{"node":"KToken","sort":"Int","token":"128"}]}]},{"node":"KToken","sort":"Int","token":"108"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2003","originalName":"Sin_w"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"notBool_","variable":false,"arity":1,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_2003","originalName":"Sin_w"},{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1993","originalName":"Rate"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KToken","sort":"Int","token":"20000"},{"node":"KToken","sort":"Int","token":"5000"}]}]},{"node":"KToken","sort":"Int","token":"222"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"0"},{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1993","originalName":"Rate"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]}]},{"node":"KToken","sort":"Bool","token":"false"}]},{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_<Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1993","originalName":"Rate"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KToken","sort":"Bool","token":"false"}]}]},{"node":"KToken","sort":"Int","token":"114"},{"node":"KToken","sort":"Int","token":"128"}]}]},{"node":"KToken","sort":"Int","token":"18"}]},{"node":"KApply","label":"#if_#then_#else_#fi_K-EQUAL","variable":false,"arity":3,"args":[{"node":"KApply","label":"_andBool_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1997","originalName":"Vice"},{"node":"KToken","sort":"Int","token":"0"}]},{"node":"KApply","label":"notBool_","variable":false,"arity":1,"args":[{"node":"KApply","label":"_==K_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_-Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1997","originalName":"Vice"},{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1993","originalName":"Rate"},{"node":"KVariable","name":"_1946","originalName":"ABI_dart"}]}]},{"node":"KToken","sort":"Int","token":"0"}]}]}]},{"node":"KToken","sort":"Int","token":"20000"},{"node":"KToken","sort":"Int","token":"5000"}]}]},{"node":"KToken","sort":"Int","token":"4359"}]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment