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