{
  "icon" : "dollarsign.circle",
  "id" : "DF3E48BB-45C0-50B7-91C9-B318C6D788AD",
  "lines" : [
    {
      "id" : "656C980A-2A2A-5F3F-B55F-1128B3C4EAB2",
      "source" : "# Coin sort"
    },
    {
      "id" : "82772059-3969-5D50-8C36-7A089213893B",
      "source" : "\/\/ Sort the coins into piles, then count each pile."
    },
    {
      "id" : "53FE5594-CD78-5866-A8DF-02B184098BBA",
      "source" : "pennies = 4 in 0 … 5"
    },
    {
      "id" : "A2771EE6-A5B4-5CF7-A9CF-0FA3333F0B20",
      "source" : "nickels = 3 in 0 … 5"
    },
    {
      "id" : "0CAD49B1-1352-5ADB-9978-C09909662025",
      "source" : "dimes = 2 in 0 … 5"
    },
    {
      "id" : "C9E70ADB-EBAD-5C90-B3B0-AD29B380378B",
      "source" : "all coins = pennies + nickels + dimes"
    },
    {
      "id" : "B108BA23-4EA4-5A97-8C34-1A43F8676624",
      "source" : ""
    },
    {
      "id" : "FB2DCCA1-9B52-5785-994D-DAAD95D58739",
      "source" : "# Which pile is bigger?"
    },
    {
      "id" : "FB1E81F6-AE8A-5BEF-AAA5-3969BA7E33D9",
      "source" : "\/\/ true means yes. false means no."
    },
    {
      "id" : "CB764871-C501-53A5-9547-A71242655F41",
      "source" : "more pennies than nickels: pennies > nickels"
    },
    {
      "id" : "29CD44AF-1F22-5ABB-B724-F534EBC26783",
      "source" : "more nickels than dimes: nickels > dimes"
    },
    {
      "id" : "844209F3-9608-5C3E-97F5-6E2BA84BD7DF",
      "source" : "same nickels and dimes: nickels == dimes"
    }
  ],
  "numberStyle" : {
    "decimal" : ".",
    "grouping" : ",",
    "secondaryGroupSize" : 3
  },
  "title" : "Coin sort"
}