{"functions":[],"name":"Doubling inputted number","main":{"rawId":"main","tpe":"Void","name":"main","statements":[{"@type":"Begin","id":"id_bf30c15b_cf0e_425a_b86c_740c7081d59a"},{"@type":"Declare","tpe":"Integer","name":"num1","id":"id_b807ee3f_aab2_4c7f_8085_54fd666d43d8","initValue":null},{"@type":"Input","name":"num1","id":"id_5687e5ae_eda7_4e4d_94d8_7227f2f508b6","prompt":null},{"newline":true,"@type":"Output","id":"id_66f9a2ff_1f56_439a_85f0_10047f9db51c","value":"num1*2"},{"@type":"Return","id":"id_96f74105_cdae_49e8_a256_78f6295a75a0","maybeValue":null}],"parameters":[]},"id":"id_ee7deac4_d900_4943_8a36_00dc77e00a54","config":{"showDebugVars":true,"showIoBtns":true,"showFunctions":true,"lang":"python","showGenCode":true},"version":"0.2","revision":53}