
% Graph from file --3-Insertions_3.col--: number of nodes=56  number of edges=110

graph([1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56],
      [[1,2],[1,4],[1,13],[1,15],[2,3],[2,12],[2,14],[3,6],[3,13],[3,17],[4,5],[4,12],[4,16],[5,8],[5,15],[5,19],[6,7],[6,14],[6,18],[7,10],[7,17],[7,21],[8,9],[8,16],[8,20],[9,11],[9,19],[9,22],[10,11],[10,18],[10,22],[11,20],[11,21],[12,24],[12,26],[13,23],[13,25],[14,24],[14,28],[15,23],[15,27],[16,26],[16,30],[17,25],[17,29],[18,28],[18,32],[19,27],[19,31],[20,30],[20,33],[21,29],[21,33],[22,31],[22,32],[23,35],[23,37],[24,34],[24,36],[25,35],[25,39],[26,34],[26,38],[27,37],[27,41],[28,36],[28,40],[29,39],[29,43],[30,38],[30,42],[31,41],[31,44],[32,40],[32,44],[33,42],[33,43],[34,46],[34,48],[35,45],[35,47],[36,46],[36,50],[37,45],[37,49],[38,48],[38,52],[39,47],[39,51],[40,50],[40,54],[41,49],[41,53],[42,52],[42,55],[43,51],[43,55],[44,53],[44,54],[45,56],[46,56],[47,56],[48,56],[49,56],[50,56],[51,56],[52,56],[53,56],[54,56],[55,56]]).

