fregel-1.2.0: sample-programs/graph4.txt
[1,1,[[3,1]]] [2,1,[[3,1]]] [3,1,[[4,1],[1,1],[2,1]]] [4,1,[[5,1],[6,1],[7,1],[3,1]]] [5,1,[[6,1],[4,1],[7,1]]] [6,1,[[7,1],[8,1],[4,1],[5,1]]] [7,1,[[6,1],[5,1],[4,1]]] [8,1,[[6,1]]]
[1,1,[[3,1]]] [2,1,[[3,1]]] [3,1,[[4,1],[1,1],[2,1]]] [4,1,[[5,1],[6,1],[7,1],[3,1]]] [5,1,[[6,1],[4,1],[7,1]]] [6,1,[[7,1],[8,1],[4,1],[5,1]]] [7,1,[[6,1],[5,1],[4,1]]] [8,1,[[6,1]]]