1 files changed, 2000 insertions, 0 deletions

diff --git a/examples/er_1000_2000.net b/examples/er_1000_2000.net
new file mode 100644
index 0000000..c61c33b
--- /dev/null
+++ b/examples/er_1000_2000.net
@@ -0,0 +1,2000 @@
+8 0
+15 9
+34 25
+36 10
+41 38
+55 12
+56 31
+62 30
+64 8
+65 44
+71 57
+74 16
+74 65
+77 15
+87 29
+98 96
+99 69
+101 16
+102 77
+104 11
+106 17
+112 11
+113 84
+114 19
+116 47
+123 3
+123 65
+124 81
+125 4
+125 22
+125 113
+126 19
+126 73
+128 2
+128 10
+129 73
+132 10
+133 44
+133 50
+134 71
+135 36
+135 67
+140 98
+141 9
+141 120
+147 10
+147 25
+147 38
+148 6
+149 4
+150 24
+150 89
+151 15
+151 120
+152 50
+155 84
+156 4
+158 109
+159 120
+161 94
+162 37
+163 88
+164 98
+164 132
+165 108
+166 38
+168 53
+170 15
+170 135
+171 47
+173 31
+177 24
+177 104
+177 113
+179 74
+179 109
+181 42
+182 15
+182 65
+186 30
+189 144
+189 177
+190 2
+191 48
+191 109
+192 52
+192 123
+193 108
+193 147
+195 73
+196 38
+196 106
+198 105
+198 158
+199 16
+199 132
+199 168
+202 174
+203 160
+204 83
+204 100
+205 49
+205 127
+205 147
+211 174
+212 93
+212 108
+212 173
+213 66
+213 117
+214 21
+216 165
+219 44
+219 56
+219 70
+219 182
+220 94
+220 188
+223 160
+224 216
+225 20
+225 128
+230 33
+230 61
+231 96
+232 114
+233 175
+235 80
+236 84
+237 12
+237 25
+237 33
+237 133
+237 141
+239 122
+240 143
+244 28
+244 133
+244 210
+246 204
+247 40
+248 172
+249 5
+250 23
+250 89
+251 227
+254 166
+254 247
+255 186
+257 202
+257 256
+260 103
+261 220
+265 26
+265 115
+266 18
+267 144
+270 61
+271 29
+271 77
+271 94
+271 108
+273 139
+275 134
+275 161
+275 163
+276 101
+276 270
+278 206
+279 105
+279 115
+281 129
+282 64
+282 132
+283 202
+284 254
+287 118
+287 237
+289 131
+290 154
+290 268
+292 73
+292 234
+293 207
+294 215
+295 38
+295 133
+295 161
+297 41
+297 46
+298 39
+299 152
+300 34
+300 200
+300 272
+301 126
+301 243
+301 263
+302 217
+303 72
+303 147
+303 267
+305 56
+305 206
+306 22
+306 79
+306 275
+307 287
+307 302
+308 199
+309 154
+310 74
+311 168
+312 144
+313 202
+313 246
+314 129
+315 59
+315 79
+316 187
+318 136
+319 305
+322 128
+323 26
+323 95
+324 9
+324 51
+327 198
+327 204
+329 70
+329 287
+330 28
+330 64
+330 83
+331 88
+331 172
+334 76
+334 296
+335 141
+335 204
+335 278
+336 1
+336 297
+338 257
+339 71
+339 178
+339 241
+339 308
+342 15
+342 254
+344 263
+345 8
+345 106
+348 11
+348 329
+349 221
+350 110
+351 88
+351 133
+351 259
+352 4
+352 7
+356 319
+356 352
+357 232
+357 255
+358 111
+358 225
+358 317
+359 57
+359 69
+359 191
+360 121
+360 271
+360 334
+361 155
+362 96
+362 207
+363 45
+363 65
+363 290
+364 0
+365 121
+365 193
+365 288
+366 35
+367 54
+367 170
+367 224
+369 109
+370 214
+371 23
+372 60
+372 122
+372 208
+372 314
+373 55
+373 198
+374 360
+375 73
+375 315
+377 365
+378 264
+378 340
+379 219
+379 314
+380 17
+380 252
+381 106
+382 41
+382 92
+382 167
+382 325
+383 229
+384 99
+384 156
+384 257
+388 168
+389 98
+389 303
+390 308
+391 301
+395 127
+395 172
+396 27
+399 43
+399 44
+399 150
+400 28
+401 204
+402 130
+402 264
+402 308
+403 95
+403 247
+403 367
+407 321
+408 3
+408 320
+408 371
+408 385
+409 15
+409 59
+409 172
+410 214
+410 323
+410 345
+410 407
+411 64
+412 303
+413 147
+413 166
+414 253
+414 272
+414 387
+415 125
+415 170
+415 238
+415 261
+416 7
+416 270
+417 362
+417 373
+418 1
+418 163
+418 417
+419 24
+419 347
+420 106
+420 152
+421 248
+421 305
+422 153
+423 112
+424 51
+424 147
+424 240
+425 158
+425 276
+425 396
+427 388
+428 198
+428 239
+428 297
+428 377
+429 12
+429 25
+429 366
+430 14
+430 207
+431 140
+432 113
+432 212
+432 356
+432 388
+433 49
+433 170
+433 283
+435 278
+435 286
+437 113
+437 121
+437 250
+439 81
+439 93
+439 198
+439 307
+442 304
+442 414
+443 135
+444 311
+445 17
+445 371
+445 389
+446 58
+446 103
+446 320
+447 282
+447 304
+447 333
+447 376
+448 282
+449 442
+450 151
+450 185
+450 309
+451 22
+451 271
+452 137
+452 165
+452 432
+453 209
+453 315
+454 289
+455 129
+455 325
+456 373
+456 393
+457 130
+457 145
+458 24
+458 29
+458 58
+460 253
+460 294
+460 452
+462 68
+462 189
+462 206
+462 419
+464 16
+464 457
+465 249
+465 253
+465 377
+466 325
+467 203
+468 30
+468 459
+468 465
+469 18
+469 82
+469 131
+469 160
+469 370
+470 367
+470 406
+471 69
+471 163
+472 6
+472 273
+473 121
+474 225
+474 322
+475 105
+475 254
+477 174
+477 233
+477 348
+477 391
+477 448
+479 308
+479 447
+480 199
+480 422
+480 463
+481 169
+481 221
+483 301
+483 430
+484 233
+484 322
+484 399
+484 438
+485 364
+485 477
+486 0
+487 258
+488 1
+488 44
+488 243
+488 384
+488 466
+489 105
+489 131
+489 262
+489 405
+489 466
+490 90
+491 77
+492 155
+493 184
+494 37
+494 125
+494 206
+494 217
+494 256
+495 61
+495 149
+495 219
+497 190
+498 3
+498 294
+498 310
+498 393
+499 494
+500 64
+500 284
+500 293
+501 106
+501 200
+501 359
+501 462
+502 111
+502 122
+502 137
+502 140
+502 338
+503 26
+503 236
+503 415
+503 453
+503 472
+504 12
+504 268
+504 486
+505 164
+505 244
+506 30
+506 209
+506 415
+507 197
+507 470
+509 59
+510 9
+512 112
+513 187
+515 343
+516 28
+516 153
+516 425
+517 141
+517 305
+517 379
+517 498
+518 1
+518 14
+518 92
+518 247
+518 465
+519 36
+519 379
+519 411
+520 449
+521 32
+522 80
+522 434
+522 459
+523 12
+523 28
+523 194
+523 249
+523 463
+523 475
+523 500
+524 149
+524 173
+524 261
+525 34
+526 79
+526 485
+527 147
+527 381
+527 428
+528 68
+528 227
+528 276
+529 185
+529 234
+529 282
+530 153
+530 208
+530 484
+531 42
+531 201
+531 381
+532 201
+533 16
+533 171
+533 394
+534 39
+534 257
+535 33
+535 111
+535 126
+535 463
+536 89
+536 98
+536 270
+536 527
+538 521
+539 355
+539 475
+540 266
+540 288
+541 38
+541 124
+541 149
+542 259
+543 212
+544 242
+545 23
+545 81
+545 85
+545 196
+545 233
+545 377
+546 47
+546 353
+547 17
+547 290
+548 185
+548 383
+548 547
+549 85
+549 91
+550 128
+550 173
+551 26
+551 199
+552 275
+552 306
+552 411
+552 490
+552 526
+554 345
+555 52
+555 238
+555 494
+556 28
+557 154
+557 156
+557 201
+557 227
+557 540
+558 178
+559 164
+559 225
+559 459
+559 525
+560 307
+561 31
+561 394
+562 86
+562 147
+562 386
+563 261
+563 288
+564 242
+564 513
+564 543
+565 8
+565 384
+567 66
+567 325
+568 90
+568 189
+569 149
+569 412
+569 421
+570 232
+570 236
+571 51
+571 202
+571 529
+573 252
+574 45
+574 145
+574 175
+575 19
+575 276
+575 336
+576 462
+576 496
+576 531
+576 535
+577 117
+577 125
+577 285
+579 37
+579 53
+579 233
+580 193
+580 210
+581 154
+581 229
+581 296
+582 333
+582 528
+583 296
+584 118
+584 183
+585 266
+585 336
+585 458
+586 102
+586 387
+587 60
+587 195
+587 455
+587 461
+587 535
+587 583
+588 115
+588 296
+589 48
+589 366
+589 509
+589 521
+590 10
+590 206
+590 354
+591 52
+591 400
+592 295
+592 327
+592 439
+593 55
+593 257
+594 93
+594 232
+594 235
+594 334
+594 542
+594 564
+595 2
+595 24
+595 30
+595 104
+596 400
+596 587
+597 409
+597 507
+597 512
+598 181
+598 203
+598 334
+598 423
+599 15
+599 156
+599 328
+599 512
+600 443
+601 277
+601 587
+602 415
+602 495
+603 14
+603 78
+603 357
+603 507
+604 84
+604 114
+604 198
+605 110
+605 180
+605 247
+605 512
+606 88
+606 324
+607 87
+608 18
+608 277
+608 528
+609 33
+609 467
+610 91
+612 128
+612 133
+612 385
+613 423
+614 206
+614 264
+614 361
+614 418
+615 60
+615 174
+616 318
+616 514
+616 562
+617 254
+617 401
+620 109
+620 168
+620 231
+620 304
+620 343
+620 385
+620 407
+620 436
+620 476
+621 69
+622 27
+622 498
+622 500
+622 610
+623 189
+623 386
+624 311
+624 496
+625 415
+625 455
+627 458
+627 518
+628 436
+628 503
+629 10
+629 71
+630 169
+631 217
+631 316
+631 414
+631 418
+631 445
+632 355
+633 38
+633 90
+633 282
+633 342
+633 395
+633 539
+634 408
+634 520
+635 8
+635 66
+636 359
+637 507
+637 544
+637 555
+637 605
+638 0
+638 123
+639 590
+640 215
+640 217
+640 238
+640 523
+641 20
+641 80
+641 599
+641 638
+642 138
+642 526
+643 83
+643 274
+643 390
+643 449
+643 544
+643 603
+644 275
+645 322
+646 131
+647 17
+647 88
+647 120
+647 193
+647 283
+647 453
+647 459
+648 481
+649 12
+649 40
+649 188
+650 427
+651 443
+652 241
+652 463
+652 530
+652 649
+653 517
+654 85
+654 294
+654 354
+654 420
+656 3
+657 350
+658 114
+658 267
+659 413
+660 51
+660 227
+660 476
+661 200
+661 262
+661 322
+661 328
+662 216
+662 278
+662 544
+662 578
+664 73
+664 98
+664 195
+664 259
+664 383
+664 525
+665 462
+666 61
+666 151
+666 394
+667 7
+667 269
+667 281
+667 501
+667 571
+667 607
+668 367
+668 606
+669 3
+669 234
+669 389
+669 454
+670 417
+670 605
+671 570
+672 79
+672 260
+673 12
+673 480
+673 522
+673 560
+674 0
+674 64
+674 142
+675 239
+675 424
+676 19
+676 157
+676 600
+676 603
+677 106
+677 358
+677 614
+678 49
+678 79
+678 212
+678 510
+678 608
+678 661
+679 17
+679 195
+679 270
+679 615
+680 244
+680 442
+680 447
+681 284
+681 370
+681 400
+682 304
+683 279
+683 633
+683 660
+684 132
+684 491
+685 320
+685 490
+685 509
+685 642
+686 192
+686 397
+687 491
+687 522
+688 214
+688 412
+688 554
+689 476
+690 330
+690 481
+691 435
+691 647
+692 37
+692 343
+692 410
+693 86
+693 233
+693 432
+695 21
+695 363
+695 405
+695 459
+695 653
+696 107
+696 114
+696 457
+696 530
+697 102
+697 150
+697 514
+698 286
+699 31
+699 74
+699 78
+699 442
+700 47
+700 234
+700 339
+700 469
+700 507
+700 514
+700 571
+701 337
+701 340
+701 375
+701 576
+701 670
+702 158
+702 687
+703 98
+703 225
+703 280
+703 438
+704 122
+704 239
+704 522
+705 140
+705 353
+705 363
+706 106
+706 150
+706 389
+706 494
+707 163
+707 226
+707 536
+707 586
+707 702
+708 0
+708 205
+708 358
+708 599
+708 683
+709 67
+709 162
+709 434
+709 563
+709 604
+709 611
+710 1
+710 169
+710 315
+711 111
+711 158
+712 487
+713 252
+713 430
+714 650
+714 688
+716 87
+716 114
+716 445
+717 34
+717 494
+718 83
+719 65
+719 69
+719 470
+719 694
+720 202
+720 392
+720 523
+721 64
+721 85
+721 101
+721 241
+722 23
+722 129
+722 170
+723 53
+723 377
+723 583
+723 619
+723 620
+723 692
+724 38
+724 373
+724 445
+725 41
+725 55
+725 310
+725 346
+726 46
+726 243
+726 388
+726 573
+726 627
+726 659
+727 101
+727 120
+727 205
+727 442
+727 593
+728 46
+729 128
+729 316
+729 537
+729 658
+729 666
+729 707
+730 90
+730 252
+730 487
+730 553
+730 560
+730 725
+731 342
+731 374
+732 135
+732 508
+732 702
+733 84
+733 169
+733 270
+733 531
+734 32
+734 185
+734 608
+734 613
+735 31
+735 116
+735 361
+735 672
+736 58
+736 108
+736 535
+737 280
+737 491
+738 213
+738 273
+738 525
+739 453
+740 236
+740 669
+741 11
+741 118
+741 185
+742 219
+742 291
+742 310
+743 201
+743 213
+743 272
+743 385
+743 419
+743 679
+744 442
+744 449
+745 4
+745 118
+745 264
+745 302
+745 391
+745 623
+746 410
+746 489
+747 262
+747 300
+747 320
+748 30
+748 271
+749 76
+749 230
+750 188
+750 287
+750 387
+752 159
+752 187
+752 225
+752 632
+753 462
+754 45
+754 396
+754 404
+754 428
+755 279
+755 337
+755 378
+755 494
+755 605
+755 678
+757 338
+757 510
+757 705
+758 16
+758 23
+758 132
+759 267
+759 385
+759 471
+760 13
+760 201
+760 559
+760 690
+760 714
+760 720
+761 150
+762 108
+762 449
+762 490
+762 527
+763 357
+763 690
+763 694
+764 83
+764 234
+764 310
+764 556
+764 697
+765 83
+765 302
+765 370
+766 443
+767 501
+767 588
+768 612
+769 475
+769 725
+770 429
+771 35
+771 353
+771 370
+771 524
+771 557
+771 738
+772 95
+772 173
+772 424
+772 703
+773 251
+773 307
+773 344
+774 37
+774 739
+775 654
+776 91
+776 126
+777 42
+777 241
+777 538
+777 607
+777 687
+777 719
+778 615
+779 123
+779 585
+779 658
+779 749
+780 136
+780 484
+780 579
+781 79
+781 294
+781 670
+781 730
+781 764
+782 353
+783 278
+783 420
+784 443
+784 690
+785 111
+785 204
+785 421
+786 125
+786 231
+786 295
+786 608
+786 716
+787 6
+787 292
+787 393
+787 593
+787 761
+788 155
+788 172
+788 482
+788 563
+788 632
+789 83
+789 199
+789 353
+789 619
+791 495
+791 626
+791 768
+792 636
+792 685
+793 5
+794 386
+794 471
+795 150
+795 199
+796 515
+797 62
+797 530
+798 475
+798 722
+798 774
+799 124
+799 322
+799 512
+799 599
+800 481
+801 113
+801 356
+801 385
+801 465
+801 689
+802 246
+802 766
+803 403
+803 494
+804 40
+804 719
+805 123
+805 608
+806 92
+806 563
+806 576
+806 695
+807 35
+807 153
+807 244
+807 489
+808 374
+808 377
+809 135
+809 176
+809 339
+809 741
+810 92
+810 229
+810 279
+811 72
+811 268
+812 521
+813 286
+814 95
+815 17
+815 207
+815 428
+815 564
+816 105
+816 634
+817 12
+817 223
+817 317
+818 254
+818 542
+818 749
+818 813
+819 119
+819 202
+819 471
+819 695
+820 194
+820 203
+820 609
+821 136
+821 306
+822 138
+823 412
+824 130
+824 262
+824 316
+824 324
+825 29
+825 37
+825 76
+825 403
+825 481
+825 624
+826 12
+826 14
+826 250
+826 501
+826 504
+826 739
+827 109
+827 419
+827 720
+827 732
+828 248
+828 343
+829 458
+829 550
+830 417
+830 515
+830 571
+830 727
+831 251
+831 339
+831 426
+831 793
+832 60
+832 181
+832 278
+832 468
+832 755
+833 338
+833 431
+834 533
+834 725
+835 599
+836 15
+836 145
+836 378
+836 397
+836 455
+836 751
+837 479
+838 262
+838 271
+838 393
+838 655
+838 678
+839 105
+839 525
+839 629
+840 17
+840 132
+840 292
+840 351
+840 438
+840 544
+841 127
+841 341
+841 399
+842 375
+842 524
+843 8
+843 192
+843 225
+843 298
+844 687
+845 666
+846 86
+846 87
+846 204
+846 268
+846 393
+847 176
+848 180
+848 472
+848 732
+849 68
+849 492
+849 785
+850 473
+850 718
+850 751
+851 103
+851 215
+851 450
+851 700
+851 789
+852 464
+852 573
+853 31
+854 34
+854 118
+854 167
+854 255
+854 361
+854 382
+854 688
+855 39
+855 155
+855 493
+855 632
+855 827
+856 498
+856 524
+856 533
+856 696
+857 103
+857 189
+857 199
+857 408
+857 729
+858 183
+858 332
+858 351
+858 410
+858 448
+858 741
+859 121
+859 568
+859 771
+859 784
+859 803
+860 275
+860 293
+860 427
+861 91
+861 242
+861 306
+862 681
+864 177
+864 207
+864 267
+864 309
+864 666
+864 767
+865 31
+865 477
+866 13
+866 103
+866 422
+866 445
+867 127
+867 238
+867 359
+867 434
+867 767
+867 803
+868 41
+868 408
+868 548
+868 655
+869 670
+870 253
+870 460
+870 503
+871 1
+871 227
+871 245
+871 312
+871 348
+871 624
+872 14
+872 187
+872 201
+872 754
+873 267
+874 18
+874 188
+874 470
+875 445
+875 541
+875 798
+876 543
+877 0
+877 231
+877 282
+877 567
+878 39
+878 412
+879 502
+879 830
+880 120
+880 327
+880 478
+881 2
+881 427
+881 800
+881 810
+882 274
+884 146
+884 465
+884 683
+884 722
+884 789
+885 371
+885 576
+885 744
+886 583
+886 600
+886 692
+886 771
+887 183
+887 666
+887 869
+888 207
+889 395
+889 766
+890 167
+890 259
+890 726
+890 745
+890 856
+891 65
+891 389
+891 708
+891 864
+891 884
+892 71
+892 132
+892 157
+893 52
+893 217
+893 601
+894 583
+894 601
+895 659
+895 720
+895 800
+896 178
+896 306
+896 559
+897 286
+897 289
+897 716
+898 837
+898 890
+899 312
+899 403
+900 100
+900 181
+900 445
+900 511
+901 64
+901 72
+901 177
+901 229
+901 565
+901 751
+902 252
+902 478
+903 254
+903 617
+903 695
+903 713
+903 892
+904 277
+904 748
+905 301
+905 427
+905 615
+906 86
+906 89
+906 159
+906 242
+906 411
+906 594
+907 42
+907 523
+907 785
+908 128
+909 246
+909 696
+909 908
+910 29
+910 396
+910 765
+911 133
+912 481
+912 675
+912 840
+912 847
+913 282
+913 388
+913 518
+913 815
+913 905
+914 134
+914 267
+914 410
+914 415
+914 684
+914 792
+915 45
+915 141
+915 533
+916 454
+916 789
+918 5
+918 24
+918 253
+918 519
+918 625
+919 326
+919 630
+919 734
+920 519
+920 543
+921 155
+921 266
+921 270
+921 447
+922 230
+922 359
+922 537
+922 696
+922 768
+923 68
+923 236
+923 530
+923 695
+924 107
+924 829
+924 864
+924 891
+925 296
+925 797
+926 158
+926 823
+927 276
+927 819
+928 214
+928 316
+928 609
+929 10
+929 209
+929 308
+929 406
+929 789
+929 807
+930 380
+930 533
+931 91
+931 204
+931 350
+931 397
+931 494
+931 702
+931 852
+932 261
+932 332
+932 380
+932 429
+932 623
+932 788
+933 400
+933 528
+933 901
+934 4
+934 70
+934 191
+934 199
+934 207
+934 254
+934 479
+934 672
+934 720
+934 893
+935 47
+935 150
+935 271
+935 342
+935 716
+936 270
+936 364
+936 436
+936 690
+936 860
+936 888
+937 461
+937 496
+938 418
+938 622
+938 858
+938 930
+939 232
+939 453
+939 465
+939 836
+940 18
+940 140
+940 713
+940 782
+941 312
+941 503
+941 647
+941 722
+942 701
+943 423
+943 642
+943 855
+944 444
+945 555
+945 577
+945 581
+945 841
+946 44
+946 731
+946 820
+947 107
+947 150
+947 749
+947 798
+948 156
+948 521
+948 544
+948 703
+949 55
+949 353
+949 360
+949 467
+949 552
+949 909
+950 69
+950 204
+950 251
+950 489
+950 777
+950 920
+951 382
+951 412
+951 935
+952 355
+952 490
+952 537
+952 588
+952 921
+953 124
+953 354
+953 372
+953 449
+953 736
+953 794
+954 49
+954 350
+955 527
+956 244
+956 652
+956 782
+957 140
+957 262
+957 396
+957 494
+957 709
+958 618
+958 655
+958 666
+958 707
+959 98
+959 157
+959 321
+959 718
+960 158
+960 456
+960 462
+960 552
+960 674
+960 892
+961 286
+962 21
+962 25
+962 93
+962 335
+962 844
+962 864
+962 946
+963 18
+963 102
+964 2
+964 359
+964 427
+964 612
+964 719
+965 300
+965 338
+965 473
+965 606
+966 226
+966 466
+967 122
+967 251
+967 256
+967 710
+968 84
+968 104
+968 333
+968 463
+969 26
+969 358
+970 57
+970 314
+970 491
+970 610
+971 97
+971 644
+971 903
+971 925
+972 263
+972 374
+972 585
+973 180
+973 419
+973 826
+973 922
+974 32
+974 199
+974 308
+974 369
+974 465
+974 543
+974 600
+974 952
+975 16
+975 158
+975 164
+975 612
+975 700
+975 888
+976 216
+976 818
+977 92
+977 839
+977 930
+978 141
+979 488
+979 504
+979 962
+980 505
+980 765
+980 815
+980 892
+981 48
+981 228
+981 251
+982 460
+982 846
+982 869
+983 142
+983 269
+983 394
+983 406
+983 669
+984 775
+985 60
+985 443
+986 65
+986 262
+986 677
+987 327
+987 361
+987 462
+987 578
+987 739
+988 670
+988 671
+989 932
+990 930
+991 40
+991 288
+992 120
+992 152
+992 266
+992 880
+992 942
+993 811
+993 975
+994 87
+994 181
+994 194
+994 291
+994 440
+994 578
+994 641
+994 790
+995 97
+995 161
+995 186
+995 275
+995 373
+995 502
+995 621
+995 880
+996 163
+996 236
+996 656
+996 810
+997 391
+998 31
+998 700
+998 735
+998 987
+999 719