fact: Definition init_gtree_h1 : gtree_table := [:: GtreePair GtreeLeaf01 GtreeLeaf0; GtreePair GtreeLeaf13 GtreeLeaf12; GtreePair GtreeLeaf23 GtreeLeaf23].
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color chromogram gtree dyck)