FILE FORMAT

The files of this library are stored with the following format:

file =

node_list

edge_list

node_list = node_item node_list | node_item

node_item = node_id 0

edge_list = edge_item edge_list | edge_item

edge_item = edge_id dir_undir_flag source_node_id target_node_id

dir_undir_flag = 0 (for undirected edges)

dir_undir_flag = 1 (for directed edges)

source_node_id = node_id

target_node_id = node_id

An example of a directed graph with 10 nodes is the following:

1 0

2 0

3 0

4 0

5 0

6 0

7 0

8 0

9 0

10 0

1 1 2 1

2 1 2 3

3 1 4 3

4 1 5 4

5 1 5 1

6 1 3 1

7 1 2 4

8 1 5 3

9 1 4 1

10 1 2 5

11 1 6 1

12 1 7 6

13 1 8 7

14 1 2 8

15 1 9 1

16 1 10 9

17 1 2 10