#FIG 2.1 80 2 1 4 0 1 -1 0 0 0 0.00000 1 0.000 194 479 7 7 189 474 199 484 2 4 0 1 -1 0 0 0 0.000 7 0 0 304 554 304 479 89 479 89 554 304 554 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 194 469 344 139 9999 9999 2 4 0 1 -1 0 0 0 0.000 7 0 0 709 564 709 424 589 424 589 564 709 564 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 429 224 364 134 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 674 514 624 454 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 449 544 594 454 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 614 429 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 399 474 439 539 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 439 374 444 539 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 444 374 539 509 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 439 244 439 349 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 359 139 374 234 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 379 254 439 529 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 359 254 249 509 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 384 254 429 354 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 369 254 399 454 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 364 259 359 339 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 454 549 524 524 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 434 549 129 274 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 129 244 329 129 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 394 249 599 434 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 609 449 614 509 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 199 249 339 134 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 199 274 434 544 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 254 514 429 374 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 239 514 214 504 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 229 529 154 514 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 154 509 179 504 9999 9999 2 4 0 1 -1 0 0 0 0.000 7 0 0 229 294 229 229 99 229 99 294 229 294 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 349 359 329 389 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 324 399 434 539 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 369 129 599 234 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 459 529 624 259 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 444 354 594 249 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 614 429 624 259 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 409 459 599 254 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 459 239 509 259 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 444 344 499 279 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 449 529 504 279 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 259 504 494 274 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 359 359 394 459 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 509 274 549 509 9999 9999 2 1 0 1 -1 0 0 0 0.000 -1 0 0 614 254 559 509 9999 9999 4 0 0 12 0 -1 0 0.00000 4 9 13 439 564 fol 4 0 0 12 0 -1 0 0.00000 4 9 32 599 449 parser 4 0 0 12 0 -1 0 0.00000 4 12 33 534 524 printer 4 0 0 12 0 -1 0 0.00000 4 12 36 424 239 display 4 0 0 12 0 -1 0 0.00000 4 12 6 434 369 lj 4 0 0 12 0 -1 0 0.00000 4 6 18 389 469 aux 4 0 0 12 0 -1 0 0.00000 4 7 28 364 249 utacs 4 0 0 12 0 -1 0 0.00000 4 9 28 119 264 progs 4 0 0 12 0 -1 0 0.00000 4 9 15 609 524 lex 4 0 0 12 0 -1 0 0.00000 4 9 44 179 264 formulas 4 0 0 12 0 -1 0 0.00000 4 9 28 319 399 subst 4 0 0 12 0 -1 0 0.00000 4 12 25 339 354 unify 4 0 0 12 0 -1 0 0.00000 4 9 25 604 249 rules 4 0 0 12 0 -1 0 0.00000 4 9 22 499 269 html 4 0 0 12 0 -1 0 0.00000 4 10 16 344 124 top 4 0 2 12 0 -1 0 0.00000 4 9 46 109 519 tacticals 4 0 2 12 0 -1 0 0.00000 4 12 40 179 499 toploop 4 0 2 12 0 -1 0 0.00000 4 12 29 234 534 goals 4 0 2 12 0 -1 0 0.00000 4 6 25 669 534 scan