{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# The number of numerical semigroups with given genus\n",
    "\n",
    "by *P.A. García-Sánchez, D. Marín-Aragón, and A.M. Robles-Pérez*\n",
    "\n",
    "A *numerical semigroup* is a submonoid of the set of nonnegative integers with respect to addition, with the special property that only finitely many positive integers do not belong to the semigroup. These integers not in the numerical semigroup are called *gaps*, and their cardinality, the *genus* of the numerical semigroup.\n",
    "\n",
    "The number of numerical semigroups with a given genus seems to grow as the genus grows. It was [conjectured](https://link.springer.com/article/10.1007/s00233-007-9014-8) (and later [solved](https://link.springer.com/article/10.1007/s00233-012-9456-5)) that this sequence grows as the Fibonacci series.\n",
    "\n",
    "[GAP](https://gap-system.org) offers a package for working with numerical semigroups ([NumericalSgps](https://gap-packages.github.io/numericalsgps)), and a package for displaying data in a jupyter notebook is under development: [francy](https://github.com/mcmartins/francy). [FranyMonoids](https://http://gap-packages.github.io/FrancyMonoids) takes profit of them both. In order to use it in GAP we load it with `LoadPackage`."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {
    "scrolled": true
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "true"
      ]
     },
     "execution_count": 1,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "LoadPackage(\"FrancyMonoids\");"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "FrancyMonoids loads both NumericalSgps and francy, so for instance we may have a look at the first 15 elements of our sequence."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "[ 1, 2, 4, 7, 12, 23, 39, 67, 118, 204, 343, 592, 1001, 1693, 2857 ]"
      ]
     },
     "execution_count": 2,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "List([1..15], g->Length(NumericalSemigroupsWithGenus(g)));"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The maximum genus for which we know the number of numerical semigroups with this genus is 70. Just the set of numerical semigroups with genus less than or equal to 57 is worth 14TB of memory. In this [repository](https://github.com) you will find the sequence up to 70.\n",
    "\n",
    "Even though it has been shown that the number of numerical semigroups with given genus grows like the Fibonacci sequence, we still do not know if there are more numerical semigroups with genus $g+1$ than numerical semigroups with genus $g$. This is true asymptotically, and for genus less than 71.\n",
    "\n",
    "## The tree of numerical semigroups\n",
    "\n",
    "For a given numerical semigroup $S$, if $n$ is such that it cannot be written as a sum of two nonzero elements of $S$, then $S\\setminus\\{n\\}$ is a numerical semigroup with genus the genus of $S$ plus one. The elemens $n$ with this condition are known as *atoms*, *irreducibles* or *minimal generators* of $S$, and it is easy to show that there are finitely many of them. Also if $S$ is a numerical semigroup and $F$ is the largest integer not in $S$ (known as the *Frobenius number* of $S$), then $S\\cup\\{F\\}$ is again a numerical semigroup with genus equal to the genus of $S$ minus one. One can easily see that we can arrange the set of all numerical semigroup with genus up to $g$ in a tree rooted in $\\mathbb{N}$ and where each level $i$ contains all numerical semigroups with genus $i$. In order to construct the next level one removes minimal generators greater than the Frobenius number (in this way we do not get repetitions). The way this tree is constructed gives different algorithms to compute all numerical semigroups with a given genus.\n",
    "\n",
    "Let us have a look at the tree of numerical semigroups with genus up to 6. We start with $\\mathbb{N}$, whose unique minimal generator is $1$ and Frobenius number -1. After removing it, we obtain $\\{0,2,3,\\to\\}$ with minimal generators $2$ and $3$, and Frobenius number 1. Then we can remover either $2$ or $3$, and keep repeating this process until we reach genus $6$.\n",
    "\n",
    "Francy gives the possibility of drawing [d3js](https://d3js.org) [interactive trees](http://bl.ocks.org/d3noob/8375092). Methods to construct trees and draw them using GAP are provided in francy."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "data": {
      "application/vnd.francy+json": "{\"version\" : \"1.2.3\",\"mime\" : \"application\\/vnd.francy+json\",\"canvas\" : {\"width\" : 800,\"id\" : \"F4\",\"height\" : 600,\"title\" : \"Sons of a numerical semigroup\",\"zoomToFit\" : true,\"texTypesetting\" : true,\"menus\" : {},\"graph\" : {\"type\" : \"tree\",\"id\" : \"F1\",\"simulation\" : true,\"collapsed\" : false,\"nodes\" : {\"F2\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F2\",\"size\" : 5,\"title\" : \"S\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"\",\"menus\" : {},\"messages\" : {\"F3\" : {\"type\" : \"default\",\"id\" : \"F3\",\"text\" : \"[ 1 ]\",\"title\" : \"\"}},\"callbacks\" : {}},\"F5\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F5\",\"size\" : 5,\"title\" : \"{2,3}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F2\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F6\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F6\",\"size\" : 5,\"title\" : \"{3,4,5}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F5\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F7\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F7\",\"size\" : 5,\"title\" : \"{4,5,6,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F6\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F8\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F8\",\"size\" : 5,\"title\" : \"{5,6,7,8,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F7\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F9\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F9\",\"size\" : 5,\"title\" : \"{6,7,8,9,10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F8\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F10\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F10\",\"size\" : 5,\"title\" : \"{7,8,9,10,11,12,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F9\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F11\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F11\",\"size\" : 5,\"title\" : \"{6,8,9,10,11,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F9\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F12\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F12\",\"size\" : 5,\"title\" : \"{6,7,9,10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F9\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F13\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F13\",\"size\" : 5,\"title\" : \"{6,7,8,10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F9\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F14\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F14\",\"size\" : 5,\"title\" : \"{6,7,8,9,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F9\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F15\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F15\",\"size\" : 5,\"title\" : \"{6,7,8,9,10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F9\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F16\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F16\",\"size\" : 5,\"title\" : \"{5,7,8,9,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F8\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F17\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F17\",\"size\" : 5,\"title\" : \"{5,8,9,11,12}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F16\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F18\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F18\",\"size\" : 5,\"title\" : \"{5,7,9,11,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F16\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F19\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F19\",\"size\" : 5,\"title\" : \"{5,7,8,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F16\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F20\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F20\",\"size\" : 5,\"title\" : \"{5,7,8,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F16\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F21\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F21\",\"size\" : 5,\"title\" : \"{5,6,8,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F8\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F22\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F22\",\"size\" : 5,\"title\" : \"{5,6,9,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F21\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F23\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F23\",\"size\" : 5,\"title\" : \"{5,6,8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F21\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F24\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F24\",\"size\" : 5,\"title\" : \"{5,6,7,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F8\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F25\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F25\",\"size\" : 5,\"title\" : \"{5,6,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F24\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F26\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F26\",\"size\" : 5,\"title\" : \"{5,6,7,8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F8\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F27\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F27\",\"size\" : 5,\"title\" : \"{4,6,7,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F7\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F28\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F28\",\"size\" : 5,\"title\" : \"{4,7,9,10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F27\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F29\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F29\",\"size\" : 5,\"title\" : \"{4,9,10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F28\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F30\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F30\",\"size\" : 5,\"title\" : \"{4,7,10,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F28\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F31\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F31\",\"size\" : 5,\"title\" : \"{4,7,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F28\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F32\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F32\",\"size\" : 5,\"title\" : \"{4,6,9,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F27\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F33\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F33\",\"size\" : 5,\"title\" : \"{4,6,11,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F32\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F34\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F34\",\"size\" : 5,\"title\" : \"{4,6,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F32\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F35\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F35\",\"size\" : 5,\"title\" : \"{4,6,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F27\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F36\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F36\",\"size\" : 5,\"title\" : \"{4,5,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F7\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F37\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F37\",\"size\" : 5,\"title\" : \"{4,5,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F36\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F38\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F38\",\"size\" : 5,\"title\" : \"{4,5}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F37\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F39\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F39\",\"size\" : 5,\"title\" : \"{4,5,6}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F7\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F40\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F40\",\"size\" : 5,\"title\" : \"{3,5,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F6\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F41\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F41\",\"size\" : 5,\"title\" : \"{3,7,8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F40\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F42\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F42\",\"size\" : 5,\"title\" : \"{3,8,10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F41\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F43\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F43\",\"size\" : 5,\"title\" : \"{3,10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F42\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F44\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F44\",\"size\" : 5,\"title\" : \"{3,8,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F42\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F45\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F45\",\"size\" : 5,\"title\" : \"{3,7,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F41\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F46\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F46\",\"size\" : 5,\"title\" : \"{3,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F45\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F47\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F47\",\"size\" : 5,\"title\" : \"{3,5}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F40\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F48\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F48\",\"size\" : 5,\"title\" : \"{3,4}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F6\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F49\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F49\",\"size\" : 5,\"title\" : \"{2,5}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F5\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F50\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F50\",\"size\" : 5,\"title\" : \"{2,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F49\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F51\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F51\",\"size\" : 5,\"title\" : \"{2,9}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F50\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F52\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F52\",\"size\" : 5,\"title\" : \"{2,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F51\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F53\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F53\",\"size\" : 5,\"title\" : \"{2,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F52\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}}},\"links\" : {}},\"messages\" : {}}}"
     },
     "execution_count": 3,
     "metadata": {
      "application/vnd.francy+json": {}
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "DrawTreeOfSonsOfNumericalSemigroup(NumericalSemigroup(1),6,MinimalGenerators);"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Dark blue dots in levels over the last level are leafs, that is, numerical semigroups with no irreducibles greater than the Frobenius number. Non-leaves are \"collapsable\": by clicking on them the subtree rooted in that node collapses to the node. Also zoom and draging is possible.\n",
    "\n",
    "It would be nice to control how many leaves do we have in a certain level, and how many numerical semigroups with more than one descendant."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Fixing the multiplicity"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The multiplicity of a numerical semigroup is the least positive integer in the semigroup. A simplification of the above problem would be to see if for a given multiplicity $m$ the number of numerical semigroups with genus $g$ and multiplicity $m$ grow as $g$ grows. \n",
    "\n",
    "Let us have a look at how the tree restricted to multiplicity three looks like.\n",
    "\n",
    "First, we must change `MinimalGenerators` in the above example to compute those generators that are not the multiplicity, and then replace $\\mathbb{N}$ (the numerical semigroup generated by 1) by $\\{0\\}\\cup(3+\\mathbb{N})$, which has minimal generators $3$, $4$ and $5$. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "data": {
      "text/plain": [
       "function( s ) ... end"
      ]
     },
     "execution_count": 4,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "gens:=s->Difference(MinimalGenerators(s), [Multiplicity(s)]);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "Numerical semigroup with 3 generators"
      ]
     },
     "execution_count": 5,
     "metadata": {
      "text/plain": ""
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "s:=NumericalSemigroup(3,4,5);"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "data": {
      "application/vnd.francy+json": "{\"version\" : \"1.2.3\",\"mime\" : \"application\\/vnd.francy+json\",\"canvas\" : {\"width\" : 800,\"id\" : \"F57\",\"height\" : 600,\"title\" : \"Sons of a numerical semigroup\",\"zoomToFit\" : true,\"texTypesetting\" : true,\"menus\" : {},\"graph\" : {\"type\" : \"tree\",\"id\" : \"F54\",\"simulation\" : true,\"collapsed\" : false,\"nodes\" : {\"F55\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F55\",\"size\" : 5,\"title\" : \"S\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"\",\"menus\" : {},\"messages\" : {\"F56\" : {\"type\" : \"default\",\"id\" : \"F56\",\"text\" : \"[ 4, 5 ]\",\"title\" : \"\"}},\"callbacks\" : {}},\"F58\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F58\",\"size\" : 5,\"title\" : \"{5,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F55\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F59\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F59\",\"size\" : 5,\"title\" : \"{7,8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F58\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F60\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F60\",\"size\" : 5,\"title\" : \"{8,10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F59\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F61\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F61\",\"size\" : 5,\"title\" : \"{10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F60\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F62\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F62\",\"size\" : 5,\"title\" : \"{11,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F61\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F63\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F63\",\"size\" : 5,\"title\" : \"{10,14}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F61\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F64\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F64\",\"size\" : 5,\"title\" : \"{8,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F60\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F65\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F65\",\"size\" : 5,\"title\" : \"{8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F64\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F66\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F66\",\"size\" : 5,\"title\" : \"{7,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F59\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F67\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F67\",\"size\" : 5,\"title\" : \"{7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F66\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F68\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F68\",\"size\" : 5,\"title\" : \"{5}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F58\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F69\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F69\",\"size\" : 5,\"title\" : \"{4}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F55\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}}},\"links\" : {}},\"messages\" : {}}}"
     },
     "execution_count": 6,
     "metadata": {
      "application/vnd.francy+json": {}
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "DrawTreeOfSonsOfNumericalSemigroup(s,5,gens);"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Let us go a bit further."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "data": {
      "application/vnd.francy+json": "{\"version\" : \"1.2.3\",\"mime\" : \"application\\/vnd.francy+json\",\"canvas\" : {\"width\" : 800,\"id\" : \"F73\",\"height\" : 600,\"title\" : \"Sons of a numerical semigroup\",\"zoomToFit\" : true,\"texTypesetting\" : true,\"menus\" : {},\"graph\" : {\"type\" : \"tree\",\"id\" : \"F70\",\"simulation\" : true,\"collapsed\" : false,\"nodes\" : {\"F71\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F71\",\"size\" : 5,\"title\" : \"S\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"\",\"menus\" : {},\"messages\" : {\"F72\" : {\"type\" : \"default\",\"id\" : \"F72\",\"text\" : \"[ 4, 5 ]\",\"title\" : \"\"}},\"callbacks\" : {}},\"F74\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F74\",\"size\" : 5,\"title\" : \"{5,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F71\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F75\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F75\",\"size\" : 5,\"title\" : \"{7,8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F74\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F76\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F76\",\"size\" : 5,\"title\" : \"{8,10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F75\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F77\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F77\",\"size\" : 5,\"title\" : \"{10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F76\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F78\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F78\",\"size\" : 5,\"title\" : \"{11,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F77\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F79\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F79\",\"size\" : 5,\"title\" : \"{13,14}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F78\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F80\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F80\",\"size\" : 5,\"title\" : \"{14,16}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F79\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F81\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F81\",\"size\" : 5,\"title\" : \"{16,17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F80\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F82\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F82\",\"size\" : 5,\"title\" : \"{17,19}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F81\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F83\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F83\",\"size\" : 5,\"title\" : \"{19,20}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F82\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F84\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F84\",\"size\" : 5,\"title\" : \"{20,22}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F83\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F85\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F85\",\"size\" : 5,\"title\" : \"{22,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F84\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F86\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F86\",\"size\" : 5,\"title\" : \"{23,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F85\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F87\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F87\",\"size\" : 5,\"title\" : \"{25,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F86\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F88\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F88\",\"size\" : 5,\"title\" : \"{26,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F87\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F89\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F89\",\"size\" : 5,\"title\" : \"{25,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F87\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F90\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F90\",\"size\" : 5,\"title\" : \"{23,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F86\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F91\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F91\",\"size\" : 5,\"title\" : \"{23,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F90\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F92\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F92\",\"size\" : 5,\"title\" : \"{22,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F85\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F93\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F93\",\"size\" : 5,\"title\" : \"{22,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F92\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F94\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F94\",\"size\" : 5,\"title\" : \"{22,32}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F93\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F95\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F95\",\"size\" : 5,\"title\" : \"{20,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F84\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F96\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F96\",\"size\" : 5,\"title\" : \"{20,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F95\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F97\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F97\",\"size\" : 5,\"title\" : \"{20,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F96\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F98\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F98\",\"size\" : 5,\"title\" : \"{20,34}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F97\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F99\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F99\",\"size\" : 5,\"title\" : \"{19,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F83\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F100\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F100\",\"size\" : 5,\"title\" : \"{19,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F99\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F101\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F101\",\"size\" : 5,\"title\" : \"{19,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F100\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F102\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F102\",\"size\" : 5,\"title\" : \"{19,32}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F101\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F103\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F103\",\"size\" : 5,\"title\" : \"{19,35}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F102\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F104\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F104\",\"size\" : 5,\"title\" : \"{17,22}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F82\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F105\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F105\",\"size\" : 5,\"title\" : \"{17,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F104\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F106\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F106\",\"size\" : 5,\"title\" : \"{17,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F105\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F107\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F107\",\"size\" : 5,\"title\" : \"{17,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F106\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F108\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F108\",\"size\" : 5,\"title\" : \"{17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F107\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F109\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F109\",\"size\" : 5,\"title\" : \"{16,20}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F81\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F110\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F110\",\"size\" : 5,\"title\" : \"{16,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F109\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F111\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F111\",\"size\" : 5,\"title\" : \"{16,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F110\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F112\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F112\",\"size\" : 5,\"title\" : \"{16,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F111\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F113\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F113\",\"size\" : 5,\"title\" : \"{16}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F112\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F114\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F114\",\"size\" : 5,\"title\" : \"{14,19}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F80\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F115\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F115\",\"size\" : 5,\"title\" : \"{14,22}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F114\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F116\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F116\",\"size\" : 5,\"title\" : \"{14,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F115\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F117\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F117\",\"size\" : 5,\"title\" : \"{14}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F116\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F118\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F118\",\"size\" : 5,\"title\" : \"{13,17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F79\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F119\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F119\",\"size\" : 5,\"title\" : \"{13,20}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F118\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F120\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F120\",\"size\" : 5,\"title\" : \"{13,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F119\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F121\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F121\",\"size\" : 5,\"title\" : \"{13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F120\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F122\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F122\",\"size\" : 5,\"title\" : \"{11,16}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F78\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F123\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F123\",\"size\" : 5,\"title\" : \"{11,19}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F122\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F124\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F124\",\"size\" : 5,\"title\" : \"{11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F123\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F125\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F125\",\"size\" : 5,\"title\" : \"{10,14}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F77\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F126\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F126\",\"size\" : 5,\"title\" : \"{10,17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F125\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F127\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F127\",\"size\" : 5,\"title\" : \"{10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F126\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F128\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F128\",\"size\" : 5,\"title\" : \"{8,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F76\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F129\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F129\",\"size\" : 5,\"title\" : \"{8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F128\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F130\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F130\",\"size\" : 5,\"title\" : \"{7,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F75\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F131\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F131\",\"size\" : 5,\"title\" : \"{7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F130\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F132\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F132\",\"size\" : 5,\"title\" : \"{5}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F74\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F133\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F133\",\"size\" : 5,\"title\" : \"{4}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F71\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}}},\"links\" : {}},\"messages\" : {}}}"
     },
     "execution_count": 7,
     "metadata": {
      "application/vnd.francy+json": {}
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "DrawTreeOfSonsOfNumericalSemigroup(s,15,gens);"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And a couple of steps beyond."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "data": {
      "application/vnd.francy+json": "{\"version\" : \"1.2.3\",\"mime\" : \"application\\/vnd.francy+json\",\"canvas\" : {\"width\" : 800,\"id\" : \"F137\",\"height\" : 600,\"title\" : \"Sons of a numerical semigroup\",\"zoomToFit\" : true,\"texTypesetting\" : true,\"menus\" : {},\"graph\" : {\"type\" : \"tree\",\"id\" : \"F134\",\"simulation\" : true,\"collapsed\" : false,\"nodes\" : {\"F135\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F135\",\"size\" : 5,\"title\" : \"S\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"\",\"menus\" : {},\"messages\" : {\"F136\" : {\"type\" : \"default\",\"id\" : \"F136\",\"text\" : \"[ 4, 5 ]\",\"title\" : \"\"}},\"callbacks\" : {}},\"F138\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F138\",\"size\" : 5,\"title\" : \"{5,7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F135\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F139\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F139\",\"size\" : 5,\"title\" : \"{7,8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F138\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F140\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F140\",\"size\" : 5,\"title\" : \"{8,10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F139\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F141\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F141\",\"size\" : 5,\"title\" : \"{10,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F140\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F142\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F142\",\"size\" : 5,\"title\" : \"{11,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F141\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F143\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F143\",\"size\" : 5,\"title\" : \"{13,14}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F142\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F144\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F144\",\"size\" : 5,\"title\" : \"{14,16}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F143\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F145\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F145\",\"size\" : 5,\"title\" : \"{16,17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F144\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F146\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F146\",\"size\" : 5,\"title\" : \"{17,19}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F145\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F147\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F147\",\"size\" : 5,\"title\" : \"{19,20}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F146\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F148\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F148\",\"size\" : 5,\"title\" : \"{20,22}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F147\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F149\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F149\",\"size\" : 5,\"title\" : \"{22,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F148\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F150\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F150\",\"size\" : 5,\"title\" : \"{23,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F149\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F151\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F151\",\"size\" : 5,\"title\" : \"{25,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F150\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F152\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F152\",\"size\" : 5,\"title\" : \"{26,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F151\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F153\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F153\",\"size\" : 5,\"title\" : \"{28,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F152\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F154\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F154\",\"size\" : 5,\"title\" : \"{29,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F153\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F155\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F155\",\"size\" : 5,\"title\" : \"{31,32}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F154\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F156\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F156\",\"size\" : 5,\"title\" : \"{32,34}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F155\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F157\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F157\",\"size\" : 5,\"title\" : \"{34,35}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F156\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F158\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F158\",\"size\" : 5,\"title\" : \"{35,37}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F157\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F159\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F159\",\"size\" : 5,\"title\" : \"{37,38}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F158\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F160\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F160\",\"size\" : 5,\"title\" : \"{38,40}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F159\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F161\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F161\",\"size\" : 5,\"title\" : \"{40,41}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F160\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F162\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F162\",\"size\" : 5,\"title\" : \"{41,43}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F161\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F163\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F163\",\"size\" : 5,\"title\" : \"{40,44}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F161\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F164\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F164\",\"size\" : 5,\"title\" : \"{38,43}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F160\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F165\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F165\",\"size\" : 5,\"title\" : \"{38,46}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F164\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F166\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F166\",\"size\" : 5,\"title\" : \"{37,41}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F159\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F167\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F167\",\"size\" : 5,\"title\" : \"{37,44}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F166\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F168\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F168\",\"size\" : 5,\"title\" : \"{37,47}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F167\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F169\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F169\",\"size\" : 5,\"title\" : \"{35,40}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F158\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F170\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F170\",\"size\" : 5,\"title\" : \"{35,43}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F169\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F171\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F171\",\"size\" : 5,\"title\" : \"{35,46}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F170\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F172\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F172\",\"size\" : 5,\"title\" : \"{35,49}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F171\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F173\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F173\",\"size\" : 5,\"title\" : \"{34,38}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F157\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F174\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F174\",\"size\" : 5,\"title\" : \"{34,41}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F173\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F175\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F175\",\"size\" : 5,\"title\" : \"{34,44}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F174\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F176\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F176\",\"size\" : 5,\"title\" : \"{34,47}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F175\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F177\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F177\",\"size\" : 5,\"title\" : \"{34,50}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F176\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F178\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F178\",\"size\" : 5,\"title\" : \"{32,37}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F156\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F179\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F179\",\"size\" : 5,\"title\" : \"{32,40}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F178\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F180\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F180\",\"size\" : 5,\"title\" : \"{32,43}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F179\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F181\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F181\",\"size\" : 5,\"title\" : \"{32,46}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F180\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F182\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F182\",\"size\" : 5,\"title\" : \"{32,49}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F181\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F183\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F183\",\"size\" : 5,\"title\" : \"{32,52}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F182\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F184\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F184\",\"size\" : 5,\"title\" : \"{31,35}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F155\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F185\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F185\",\"size\" : 5,\"title\" : \"{31,38}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F184\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F186\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F186\",\"size\" : 5,\"title\" : \"{31,41}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F185\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F187\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F187\",\"size\" : 5,\"title\" : \"{31,44}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F186\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F188\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F188\",\"size\" : 5,\"title\" : \"{31,47}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F187\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F189\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F189\",\"size\" : 5,\"title\" : \"{31,50}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F188\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F190\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F190\",\"size\" : 5,\"title\" : \"{31,53}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F189\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F191\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F191\",\"size\" : 5,\"title\" : \"{29,34}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F154\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F192\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F192\",\"size\" : 5,\"title\" : \"{29,37}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F191\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F193\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F193\",\"size\" : 5,\"title\" : \"{29,40}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F192\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F194\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F194\",\"size\" : 5,\"title\" : \"{29,43}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F193\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F195\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F195\",\"size\" : 5,\"title\" : \"{29,46}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F194\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F196\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F196\",\"size\" : 5,\"title\" : \"{29,49}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F195\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F197\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F197\",\"size\" : 5,\"title\" : \"{29,52}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F196\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F198\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F198\",\"size\" : 5,\"title\" : \"{29,55}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F197\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F199\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F199\",\"size\" : 5,\"title\" : \"{28,32}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F153\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F200\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F200\",\"size\" : 5,\"title\" : \"{28,35}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F199\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F201\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F201\",\"size\" : 5,\"title\" : \"{28,38}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F200\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F202\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F202\",\"size\" : 5,\"title\" : \"{28,41}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F201\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F203\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F203\",\"size\" : 5,\"title\" : \"{28,44}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F202\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F204\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F204\",\"size\" : 5,\"title\" : \"{28,47}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F203\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F205\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F205\",\"size\" : 5,\"title\" : \"{28,50}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F204\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F206\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F206\",\"size\" : 5,\"title\" : \"{28,53}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F205\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F207\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F207\",\"size\" : 5,\"title\" : \"{28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F206\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F208\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F208\",\"size\" : 5,\"title\" : \"{26,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F152\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F209\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F209\",\"size\" : 5,\"title\" : \"{26,34}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F208\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F210\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F210\",\"size\" : 5,\"title\" : \"{26,37}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F209\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F211\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F211\",\"size\" : 5,\"title\" : \"{26,40}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F210\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F212\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F212\",\"size\" : 5,\"title\" : \"{26,43}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F211\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F213\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F213\",\"size\" : 5,\"title\" : \"{26,46}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F212\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F214\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F214\",\"size\" : 5,\"title\" : \"{26,49}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F213\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F215\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F215\",\"size\" : 5,\"title\" : \"{26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F214\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F216\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F216\",\"size\" : 5,\"title\" : \"{25,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F151\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F217\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F217\",\"size\" : 5,\"title\" : \"{25,32}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F216\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F218\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F218\",\"size\" : 5,\"title\" : \"{25,35}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F217\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F219\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F219\",\"size\" : 5,\"title\" : \"{25,38}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F218\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F220\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F220\",\"size\" : 5,\"title\" : \"{25,41}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F219\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F221\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F221\",\"size\" : 5,\"title\" : \"{25,44}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F220\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F222\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F222\",\"size\" : 5,\"title\" : \"{25,47}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F221\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F223\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F223\",\"size\" : 5,\"title\" : \"{25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F222\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F224\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F224\",\"size\" : 5,\"title\" : \"{23,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F150\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F225\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F225\",\"size\" : 5,\"title\" : \"{23,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F224\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F226\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F226\",\"size\" : 5,\"title\" : \"{23,34}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F225\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F227\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F227\",\"size\" : 5,\"title\" : \"{23,37}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F226\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F228\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F228\",\"size\" : 5,\"title\" : \"{23,40}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F227\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F229\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F229\",\"size\" : 5,\"title\" : \"{23,43}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F228\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F230\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F230\",\"size\" : 5,\"title\" : \"{23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F229\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F231\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F231\",\"size\" : 5,\"title\" : \"{22,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F149\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F232\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F232\",\"size\" : 5,\"title\" : \"{22,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F231\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F233\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F233\",\"size\" : 5,\"title\" : \"{22,32}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F232\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F234\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F234\",\"size\" : 5,\"title\" : \"{22,35}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F233\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F235\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F235\",\"size\" : 5,\"title\" : \"{22,38}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F234\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F236\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F236\",\"size\" : 5,\"title\" : \"{22,41}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F235\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F237\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F237\",\"size\" : 5,\"title\" : \"{22}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F236\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F238\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F238\",\"size\" : 5,\"title\" : \"{20,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F148\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F239\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F239\",\"size\" : 5,\"title\" : \"{20,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F238\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F240\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F240\",\"size\" : 5,\"title\" : \"{20,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F239\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F241\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F241\",\"size\" : 5,\"title\" : \"{20,34}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F240\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F242\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F242\",\"size\" : 5,\"title\" : \"{20,37}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F241\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F243\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F243\",\"size\" : 5,\"title\" : \"{20}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F242\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F244\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F244\",\"size\" : 5,\"title\" : \"{19,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F147\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F245\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F245\",\"size\" : 5,\"title\" : \"{19,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F244\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F246\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F246\",\"size\" : 5,\"title\" : \"{19,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F245\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F247\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F247\",\"size\" : 5,\"title\" : \"{19,32}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F246\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F248\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F248\",\"size\" : 5,\"title\" : \"{19,35}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F247\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F249\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F249\",\"size\" : 5,\"title\" : \"{19}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F248\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F250\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F250\",\"size\" : 5,\"title\" : \"{17,22}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F146\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F251\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F251\",\"size\" : 5,\"title\" : \"{17,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F250\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F252\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F252\",\"size\" : 5,\"title\" : \"{17,28}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F251\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F253\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F253\",\"size\" : 5,\"title\" : \"{17,31}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F252\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F254\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F254\",\"size\" : 5,\"title\" : \"{17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F253\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F255\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F255\",\"size\" : 5,\"title\" : \"{16,20}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F145\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F256\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F256\",\"size\" : 5,\"title\" : \"{16,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F255\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F257\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F257\",\"size\" : 5,\"title\" : \"{16,26}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F256\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F258\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F258\",\"size\" : 5,\"title\" : \"{16,29}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F257\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F259\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F259\",\"size\" : 5,\"title\" : \"{16}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F258\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F260\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F260\",\"size\" : 5,\"title\" : \"{14,19}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F144\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F261\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F261\",\"size\" : 5,\"title\" : \"{14,22}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F260\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F262\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F262\",\"size\" : 5,\"title\" : \"{14,25}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F261\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F263\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F263\",\"size\" : 5,\"title\" : \"{14}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F262\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F264\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F264\",\"size\" : 5,\"title\" : \"{13,17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F143\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F265\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F265\",\"size\" : 5,\"title\" : \"{13,20}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F264\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F266\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F266\",\"size\" : 5,\"title\" : \"{13,23}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F265\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F267\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F267\",\"size\" : 5,\"title\" : \"{13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F266\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F268\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F268\",\"size\" : 5,\"title\" : \"{11,16}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F142\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F269\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F269\",\"size\" : 5,\"title\" : \"{11,19}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F268\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F270\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F270\",\"size\" : 5,\"title\" : \"{11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F269\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F271\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F271\",\"size\" : 5,\"title\" : \"{10,14}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F141\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F272\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F272\",\"size\" : 5,\"title\" : \"{10,17}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F271\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F273\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F273\",\"size\" : 5,\"title\" : \"{10}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F272\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F274\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F274\",\"size\" : 5,\"title\" : \"{8,13}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F140\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F275\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F275\",\"size\" : 5,\"title\" : \"{8}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F274\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F276\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F276\",\"size\" : 5,\"title\" : \"{7,11}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F139\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F277\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F277\",\"size\" : 5,\"title\" : \"{7}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F276\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F278\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F278\",\"size\" : 5,\"title\" : \"{5}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F138\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}},\"F279\" : {\"x\" : 0,\"y\" : 0,\"type\" : \"circle\",\"id\" : \"F279\",\"size\" : 5,\"title\" : \"{4}\",\"layer\" : 0,\"color\" : \"\",\"parent\" : \"F135\",\"menus\" : {},\"messages\" : {},\"callbacks\" : {}}},\"links\" : {}},\"messages\" : {}}}"
     },
     "execution_count": 8,
     "metadata": {
      "application/vnd.francy+json": {}
     },
     "output_type": "execute_result"
    }
   ],
   "source": [
    "DrawTreeOfSonsOfNumericalSemigroup(s,25,gens);"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "It looks like a pattern arises. And indeed is the case. There are several places where numerical semigroups with multiplicity 3 and genus $g$ has been counted, but this drawing suggests that one can even which of these are leaves, and those having just one son or two sons (there will be no more than two sons, since multiplicity three implies that at most we have three minimal generators, and we cannot remove the smallest one, the multiplicity).\n",
    "\n",
    "If you want to know more, please have a look at  this [preprint](https://arxiv.org/abs/1803.06879). You will find there references and results for multiplicity up to five. This is a quite easy problem to state, and it has produced a nice bunch of beautiful papers.\n",
    "\n",
    "An introduction to numerical semigroups can be found [here](https://www.springer.com/la/book/9781441901590) and some applications in this [monograph](https://www.springer.com/us/book/9783319413297)."
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "GAP 4",
   "language": "gap",
   "name": "gap-4"
  },
  "language_info": {
   "codemirror_mode": "gap",
   "file_extension": ".g",
   "mimetype": "text/x-gap",
   "name": "GAP 4",
   "nbconvert_exporter": "",
   "pygments_lexer": "gap",
   "version": "4.dev"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}