digraph sample {
	node [label="\N"];
	graph [bb="0,0,805,743"];
	block1 [name=__inter_even_and_one__mod__3, pos="350,517", width="0.89", height="0.50"];
	block2 [name=__inter_list__even_and_tree__3n__plus__2, pos="432,664", width="0.92", height="0.50"];
	block3 [name=__inter_odd_and_one__mod__3, pos="676,420", width="0.92", height="0.50"];
	block4 [name=list_even, pos="667,460", width="0.94", height="0.50"];
	block5 [name=__inter_odd_and_two__mod__3, pos="103,379", width="0.92", height="0.50"];
	block6 [name=__inter_even_and_zero__mod__3, pos="717,662", width="0.92", height="0.50"];
	block7 [name=tree_3n_plus_2, pos="235,137", width="0.92", height="0.50"];
	block8 [name=__inter_odd_and_zero__mod__3, pos="391,379", width="0.92", height="0.50"];
	block9 [name=__inter_even_and_two__mod__3, pos="432,241", width="0.92", height="0.50"];
	trans14 [name=cons, pos="228,238", width="0.94", height="0.50"];
	trans27 [name=cons, pos="481,575", width="1.00", height="0.50"];
	trans23 [name=cons, pos="330,172", width="0.97", height="0.50"];
	trans25 [name=cons, pos="718,529", width="0.97", height="0.50"];
	trans17 [name=cons, pos="391,163", width="0.94", height="0.50"];
	trans29 [name=cons, pos="228,520", width="1.00", height="0.50"];
	trans22 [name=cons, pos="663,615", width="1.00", height="0.50"];
	trans12 [name=cons, pos="391,19", width="0.94", height="0.50"];
	trans4 [name=s, pos="411,310", width="0.89", height="0.50"];
	trans7 [name=cons, pos="452,172", width="0.89", height="0.50"];
	trans8 [name=nil, pos="119,615", width="0.86", height="0.50"];
	trans20 [name=cons, pos="64,529", width="1.00", height="0.50"];
	trans9 [name=s, pos="605,410", width="0.86", height="0.50"];
	trans15 [name=cons, pos="586,682", width="0.94", height="0.50"];
	trans16 [name=cons, pos="35,430", width="0.94", height="0.50"];
	trans13 [name=cons, pos="508,197", width="0.94", height="0.50"];
	trans18 [name=cons, pos="554,238", width="0.94", height="0.50"];
	trans26 [name=cons, pos="587,289", width="1.00", height="0.50"];
	trans28 [name=cons, pos="663,615", width="0.97", height="0.50"];
	trans24 [name=cons, pos="64,229", width="1.00", height="0.50"];
	trans11 [name=cons, pos="492,724", width="0.89", height="0.50"];
	trans21 [name=cons, pos="605,348", width="0.94", height="0.50"];
	trans3 [name=s, pos="119,143", width="0.86", height="0.50"];
	trans10 [name=cons, pos="290,724", width="0.94", height="0.50"];
	trans2 [name=o, pos="772,709", width="0.89", height="0.50"];
	trans1 [name=s, pos="747,430", width="0.83", height="0.50"];
	trans19 [name=cons, pos="196,682", width="0.94", height="0.50"];
	trans5 [name=s, pos="371,448", width="0.86", height="0.50"];
	trans6 [name=s, pos="175,379", width="0.89", height="0.50"];
	block6 -> trans1 [pos="e,745,448 719,644 728,582 735,519 744,457"];
	trans1 -> block3 [pos="e,708,425 718,426 718,426 718,426 718,426"];
	trans2 -> block6 [pos="e,735,677 754,694 750,690 746,687 742,684"];
	block5 -> trans3 [pos="e,118,161 104,361 109,298 113,234 117,170"];
	trans3 -> block6 [pos="e,699,647 136,158 322,319 507,480 692,641"];
	block9 -> trans4 [pos="e,416,292 427,259 424,267 422,275 419,283"];
	trans4 -> block8 [pos="e,396,361 406,328 404,336 401,344 399,352"];
	block8 -> trans5 [pos="e,376,430 386,397 384,405 381,413 379,421"];
	trans5 -> block1 [pos="e,355,499 366,466 363,474 361,482 358,490"];
	block1 -> trans6 [pos="e,194,394 331,502 288,468 244,434 202,400"];
	trans6 -> block5 [pos="e,136,379 143,379 143,379 143,379 143,379"];
	block9 -> trans7 [pos="e,447,190 437,223 439,215 442,207 444,200"];
	block2 -> trans7 [pos="e,451,190 433,646 439,497 445,348 451,199"];
	trans7 -> block2 [pos="e,433,646 451,190 445,339 439,488 433,637"];
	trans8 -> block2 [pos="e,400,659 149,620 229,632 310,645 391,658"];
	block3 -> trans9 [pos="e,635,414 644,415 644,415 644,415 644,415"];
	trans9 -> block9 [pos="e,448,257 589,394 544,350 500,308 455,264"];
	block2 -> trans10 [pos="e,317,713 406,675 379,686 352,698 325,709"];
	block2 -> trans10 [pos="e,317,713 406,675 379,686 352,698 325,709"];
	trans10 -> block7 [pos="e,237,155 288,706 272,526 254,345 238,165"];
	block2 -> trans11 [pos="e,476,708 448,680 455,687 462,694 469,701"];
	block5 -> trans11 [pos="e,475,709 120,394 236,497 353,600 468,703"];
	trans11 -> block7 [pos="e,243,155 484,706 406,526 325,344 247,164"];
	block7 -> trans12 [pos="e,371,34 255,122 291,95 328,67 363,40"];
	block7 -> trans12 [pos="e,371,34 255,122 291,95 328,67 363,40"];
	trans12 -> block7 [pos="e,255,122 371,34 335,61 298,89 263,116"];
	block9 -> trans13 [pos="e,485,211 455,228 462,224 469,219 476,216"];
	block7 -> trans13 [pos="e,476,190 266,144 333,158 401,173 468,188"];
	trans13 -> block7 [pos="e,266,144 477,190 409,175 342,160 275,146"];
	block7 -> trans14 [pos="e,229,220 234,155 232,174 231,192 230,210"];
	block9 -> trans14 [pos="e,262,239 399,241 356,240 315,239 272,239"];
	trans14 -> block7 [pos="e,234,155 229,220 231,201 232,183 233,165"];
	block7 -> trans15 [pos="e,575,665 246,154 353,321 463,490 570,657"];
	block2 -> trans15 [pos="e,553,678 464,668 491,672 518,674 545,677"];
	trans15 -> block7 [pos="e,246,154 575,665 468,498 359,330 251,163"];
	block5 -> trans16 [pos="e,55,415 84,394 77,399 70,404 63,409"];
	block7 -> trans16 [pos="e,47,413 223,154 167,238 108,322 52,406"];
	trans16 -> block7 [pos="e,223,154 47,413 103,330 161,245 218,162"];
	block5 -> trans17 [pos="e,371,178 123,364 202,304 284,244 363,184"];
	block9 -> trans17 [pos="e,400,181 423,224 417,212 411,201 405,190"];
	trans17 -> block7 [pos="e,267,142 358,158 331,154 304,148 277,144"];
	block2 -> trans18 [pos="e,549,256 437,646 473,519 510,393 546,266"];
	block9 -> trans18 [pos="e,520,239 465,240 480,239 495,239 510,239"];
	trans18 -> block7 [pos="e,264,146 524,229 441,203 356,175 273,149"];
	block5 -> trans19 [pos="e,191,664 108,397 135,483 161,569 188,656"];
	block2 -> trans19 [pos="e,230,679 399,667 346,671 293,675 240,678"];
	trans19 -> block7 [pos="e,234,155 197,664 210,498 221,330 233,164"];
	block7 -> trans20 [pos="e,72,511 227,155 177,270 125,388 76,503"];
	block5 -> trans20 [pos="e,69,511 98,397 90,432 80,467 71,503"];
	trans20 -> block7 [pos="e,227,155 72,511 122,396 173,279 223,164"];
	block9 -> trans21 [pos="e,582,334 454,255 494,279 535,305 575,329"];
	block5 -> trans21 [pos="e,571,350 136,377 278,369 419,359 561,351"];
	trans21 -> block7 [pos="e,258,150 582,335 477,275 371,215 266,155"];
	block2 -> trans22 [pos="e,630,622 463,657 516,646 568,635 621,624"];
	block7 -> trans22 [pos="e,648,598 250,153 380,299 512,446 642,591"];
	trans22 -> block7 [pos="e,250,154 648,598 518,453 386,306 257,161"];
	block9 -> trans23 [pos="e,352,187 411,227 394,216 377,204 360,193"];
	block9 -> trans23 [pos="e,352,187 411,227 394,216 377,204 360,193"];
	trans23 -> block7 [pos="e,263,147 301,162 291,158 281,154 272,151"];
	block5 -> trans24 [pos="e,69,247 98,361 90,326 80,291 71,256"];
	block5 -> trans24 [pos="e,69,247 98,361 90,326 80,291 71,256"];
	trans24 -> block7 [pos="e,211,150 89,216 126,196 164,175 202,155"];
	block6 -> trans25 [pos="e,718,547 717,644 717,615 718,586 718,557"];
	block2 -> trans25 [pos="e,692,541 457,652 532,616 608,581 684,545"];
	trans25 -> block4 [pos="e,680,477 705,512 699,504 692,495 686,485"];
	block9 -> trans26 [pos="e,556,279 461,250 490,259 519,268 548,277"];
	block4 -> trans26 [pos="e,595,307 659,442 640,400 619,359 600,317"];
	trans26 -> block4 [pos="e,659,442 595,307 615,349 635,392 655,434"];
	block1 -> trans27 [pos="e,454,563 375,528 399,539 423,550 446,560"];
	block2 -> trans27 [pos="e,471,593 442,646 450,632 459,616 466,602"];
	trans27 -> block4 [pos="e,644,474 504,561 548,534 592,506 636,479"];
	block6 -> trans28 [pos="e,681,631 699,647 695,644 692,641 688,638"];
	block4 -> trans28 [pos="e,663,597 667,478 666,514 665,551 663,587"];
	trans28 -> block4 [pos="e,667,478 663,597 664,561 665,524 667,488"];
	block1 -> trans29 [pos="e,264,519 318,518 303,519 289,519 274,519"];
	block4 -> trans29 [pos="e,263,515 634,465 514,481 392,498 272,514"];
	trans29 -> block4 [pos="e,634,464 263,515 384,498 505,482 626,465"];
}
digraph sample {
	node [label="\N"];
	graph [bb="0,0,805,743"];
	block1 [name=__inter_even_and_one__mod__3, pos="350,517", width="0.89", height="0.50"];
	block2 [name=__inter_list__even_and_tree__3n__plus__2, pos="432,664", width="0.92", height="0.50"];
	block3 [name=__inter_odd_and_one__mod__3, pos="676,420", width="0.92", height="0.50"];
	block4 [name=list_even, pos="667,460", width="0.94", height="0.50"];
	block5 [name=__inter_odd_and_two__mod__3, pos="103,379", width="0.92", height="0.50"];
	block6 [name=__inter_even_and_zero__mod__3, pos="717,662", width="0.92", height="0.50"];
	block7 [name=tree_3n_plus_2, pos="235,137", width="0.92", height="0.50"];
	block8 [name=__inter_odd_and_zero__mod__3, pos="391,379", width="0.92", height="0.50"];
	block9 [name=__inter_even_and_two__mod__3, pos="432,241", width="0.92", height="0.50"];
	trans14 [name=cons, pos="228,238", width="0.94", height="0.50"];
	trans27 [name=cons, pos="481,575", width="1.00", height="0.50"];
	trans23 [name=cons, pos="330,172", width="0.97", height="0.50"];
	trans25 [name=cons, pos="718,529", width="0.97", height="0.50"];
	trans17 [name=cons, pos="391,163", width="0.94", height="0.50"];
	trans29 [name=cons, pos="228,520", width="1.00", height="0.50"];
	trans22 [name=cons, pos="663,615", width="1.00", height="0.50"];
	trans12 [name=cons, pos="391,19", width="0.94", height="0.50"];
	trans4 [name=s, pos="411,310", width="0.89", height="0.50"];
	trans7 [name=cons, pos="452,172", width="0.89", height="0.50"];
	trans8 [name=nil, pos="119,615", width="0.86", height="0.50"];
	trans20 [name=cons, pos="64,529", width="1.00", height="0.50"];
	trans9 [name=s, pos="605,410", width="0.86", height="0.50"];
	trans15 [name=cons, pos="586,682", width="0.94", height="0.50"];
	trans16 [name=cons, pos="35,430", width="0.94", height="0.50"];
	trans13 [name=cons, pos="508,197", width="0.94", height="0.50"];
	trans18 [name=cons, pos="554,238", width="0.94", height="0.50"];
	trans26 [name=cons, pos="587,289", width="1.00", height="0.50"];
	trans28 [name=cons, pos="663,615", width="0.97", height="0.50"];
	trans24 [name=cons, pos="64,229", width="1.00", height="0.50"];
	trans11 [name=cons, pos="492,724", width="0.89", height="0.50"];
	trans21 [name=cons, pos="605,348", width="0.94", height="0.50"];
	trans3 [name=s, pos="119,143", width="0.86", height="0.50"];
	trans10 [name=cons, pos="290,724", width="0.94", height="0.50"];
	trans2 [name=o, pos="772,709", width="0.89", height="0.50"];
	trans1 [name=s, pos="747,430", width="0.83", height="0.50"];
	trans19 [name=cons, pos="196,682", width="0.94", height="0.50"];
	trans5 [name=s, pos="371,448", width="0.86", height="0.50"];
	trans6 [name=s, pos="175,379", width="0.89", height="0.50"];
	block6 -> trans1 [pos="e,745,448 719,644 728,582 735,519 744,457"];
	trans1 -> block3 [pos="e,708,425 718,426 718,426 718,426 718,426"];
	trans2 -> block6 [pos="e,735,677 754,694 750,690 746,687 742,684"];
	block5 -> trans3 [pos="e,118,161 104,361 109,298 113,234 117,170"];
	trans3 -> block6 [pos="e,699,647 136,158 322,319 507,480 692,641"];
	block9 -> trans4 [pos="e,416,292 427,259 424,267 422,275 419,283"];
	trans4 -> block8 [pos="e,396,361 406,328 404,336 401,344 399,352"];
	block8 -> trans5 [pos="e,376,430 386,397 384,405 381,413 379,421"];
	trans5 -> block1 [pos="e,355,499 366,466 363,474 361,482 358,490"];
	block1 -> trans6 [pos="e,194,394 331,502 288,468 244,434 202,400"];
	trans6 -> block5 [pos="e,136,379 143,379 143,379 143,379 143,379"];
	block9 -> trans7 [pos="e,447,190 437,223 439,215 442,207 444,200"];
	block2 -> trans7 [pos="e,451,190 433,646 439,497 445,348 451,199"];
	trans7 -> block2 [pos="e,433,646 451,190 445,339 439,488 433,637"];
	trans8 -> block2 [pos="e,400,659 149,620 229,632 310,645 391,658"];
	block3 -> trans9 [pos="e,635,414 644,415 644,415 644,415 644,415"];
	trans9 -> block9 [pos="e,448,257 589,394 544,350 500,308 455,264"];
	block2 -> trans10 [pos="e,317,713 406,675 379,686 352,698 325,709"];
	block2 -> trans10 [pos="e,317,713 406,675 379,686 352,698 325,709"];
	trans10 -> block7 [pos="e,237,155 288,706 272,526 254,345 238,165"];
	block2 -> trans11 [pos="e,476,708 448,680 455,687 462,694 469,701"];
	block5 -> trans11 [pos="e,475,709 120,394 236,497 353,600 468,703"];
	trans11 -> block7 [pos="e,243,155 484,706 406,526 325,344 247,164"];
	block7 -> trans12 [pos="e,371,34 255,122 291,95 328,67 363,40"];
	block7 -> trans12 [pos="e,371,34 255,122 291,95 328,67 363,40"];
	trans12 -> block7 [pos="e,255,122 371,34 335,61 298,89 263,116"];
	block9 -> trans13 [pos="e,485,211 455,228 462,224 469,219 476,216"];
	block7 -> trans13 [pos="e,476,190 266,144 333,158 401,173 468,188"];
	trans13 -> block7 [pos="e,266,144 477,190 409,175 342,160 275,146"];
	block7 -> trans14 [pos="e,229,220 234,155 232,174 231,192 230,210"];
	block9 -> trans14 [pos="e,262,239 399,241 356,240 315,239 272,239"];
	trans14 -> block7 [pos="e,234,155 229,220 231,201 232,183 233,165"];
	block7 -> trans15 [pos="e,575,665 246,154 353,321 463,490 570,657"];
	block2 -> trans15 [pos="e,553,678 464,668 491,672 518,674 545,677"];
	trans15 -> block7 [pos="e,246,154 575,665 468,498 359,330 251,163"];
	block5 -> trans16 [pos="e,55,415 84,394 77,399 70,404 63,409"];
	block7 -> trans16 [pos="e,47,413 223,154 167,238 108,322 52,406"];
	trans16 -> block7 [pos="e,223,154 47,413 103,330 161,245 218,162"];
	block5 -> trans17 [pos="e,371,178 123,364 202,304 284,244 363,184"];
	block9 -> trans17 [pos="e,400,181 423,224 417,212 411,201 405,190"];
	trans17 -> block7 [pos="e,267,142 358,158 331,154 304,148 277,144"];
	block2 -> trans18 [pos="e,549,256 437,646 473,519 510,393 546,266"];
	block9 -> trans18 [pos="e,520,239 465,240 480,239 495,239 510,239"];
	trans18 -> block7 [pos="e,264,146 524,229 441,203 356,175 273,149"];
	block5 -> trans19 [pos="e,191,664 108,397 135,483 161,569 188,656"];
	block2 -> trans19 [pos="e,230,679 399,667 346,671 293,675 240,678"];
	trans19 -> block7 [pos="e,234,155 197,664 210,498 221,330 233,164"];
	block7 -> trans20 [pos="e,72,511 227,155 177,270 125,388 76,503"];
	block5 -> trans20 [pos="e,69,511 98,397 90,432 80,467 71,503"];
	trans20 -> block7 [pos="e,227,155 72,511 122,396 173,279 223,164"];
	block9 -> trans21 [pos="e,582,334 454,255 494,279 535,305 575,329"];
	block5 -> trans21 [pos="e,571,350 136,377 278,369 419,359 561,351"];
	trans21 -> block7 [pos="e,258,150 582,335 477,275 371,215 266,155"];
	block2 -> trans22 [pos="e,630,622 463,657 516,646 568,635 621,624"];
	block7 -> trans22 [pos="e,648,598 250,153 380,299 512,446 642,591"];
	trans22 -> block7 [pos="e,250,154 648,598 518,453 386,306 257,161"];
	block9 -> trans23 [pos="e,352,187 411,227 394,216 377,204 360,193"];
	block9 -> trans23 [pos="e,352,187 411,227 394,216 377,204 360,193"];
	trans23 -> block7 [pos="e,263,147 301,162 291,158 281,154 272,151"];
	block5 -> trans24 [pos="e,69,247 98,361 90,326 80,291 71,256"];
	block5 -> trans24 [pos="e,69,247 98,361 90,326 80,291 71,256"];
	trans24 -> block7 [pos="e,211,150 89,216 126,196 164,175 202,155"];
	block6 -> trans25 [pos="e,718,547 717,644 717,615 718,586 718,557"];
	block2 -> trans25 [pos="e,692,541 457,652 532,616 608,581 684,545"];
	trans25 -> block4 [pos="e,680,477 705,512 699,504 692,495 686,485"];
	block9 -> trans26 [pos="e,556,279 461,250 490,259 519,268 548,277"];
	block4 -> trans26 [pos="e,595,307 659,442 640,400 619,359 600,317"];
	trans26 -> block4 [pos="e,659,442 595,307 615,349 635,392 655,434"];
	block1 -> trans27 [pos="e,454,563 375,528 399,539 423,550 446,560"];
	block2 -> trans27 [pos="e,471,593 442,646 450,632 459,616 466,602"];
	trans27 -> block4 [pos="e,644,474 504,561 548,534 592,506 636,479"];
	block6 -> trans28 [pos="e,681,631 699,647 695,644 692,641 688,638"];
	block4 -> trans28 [pos="e,663,597 667,478 666,514 665,551 663,587"];
	trans28 -> block4 [pos="e,667,478 663,597 664,561 665,524 667,488"];
	block1 -> trans29 [pos="e,264,519 318,518 303,519 289,519 274,519"];
	block4 -> trans29 [pos="e,263,515 634,465 514,481 392,498 272,514"];
	trans29 -> block4 [pos="e,634,464 263,515 384,498 505,482 626,465"];
}
