Skip to content

Instantly share code, notes, and snippets.

@mhhf

mhhf/gist:33c35dd19eb146928c00cd460de32bc1

Created June 23, 2019 19:26
Show Gist options
  • Save mhhf/33c35dd19eb146928c00cd460de32bc1 to your computer and use it in GitHub Desktop.
Save mhhf/33c35dd19eb146928c00cd460de32bc1 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":"_1986","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":"_1938","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":"_1938","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":"_1936","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":"_1936","originalName":"Ink_iu"},{"node":"KVariable","name":"_1938","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":"_1937","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":"_1937","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":"_2001","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":"_2001","originalName":"Art_iu"},{"node":"KVariable","name":"_1937","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":"_1937","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":"_1937","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":"_1993","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":"_1993","originalName":"Art_i"},{"node":"KVariable","name":"_1937","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":"_1937","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":"_1938","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":"_1938","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":"_2002","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":"_2002","originalName":"Gem_iv"},{"node":"KVariable","name":"_1938","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":"_1984","originalName":"Rate"},{"node":"KVariable","name":"_1937","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":"_1984","originalName":"Rate"},{"node":"KVariable","name":"_1937","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":"_1994","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":"_1994","originalName":"Sin_w"},{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1984","originalName":"Rate"},{"node":"KVariable","name":"_1937","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":"_1984","originalName":"Rate"},{"node":"KVariable","name":"_1937","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":"_1984","originalName":"Rate"},{"node":"KVariable","name":"_1937","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":"_1988","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":"_1988","originalName":"Vice"},{"node":"KApply","label":"_*Int__INT-COMMON","variable":false,"arity":2,"args":[{"node":"KVariable","name":"_1984","originalName":"Rate"},{"node":"KVariable","name":"_1937","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