$Id: Vocabulary.xml,v 1.1 2006/05/23 23:03:14 wbeeler Exp $ RoseTree XML to Schema: $Id: VocabXMLtoXSD.xsl,v 1.1 2006/05/23 23:05:37 wbeeler Exp $ vocSet: E0 (C-0-E0-cpt) vocSet: T155 (C-0-T155-cpt) vocSet: T19638 (C-0-T19638-cpt) abstDomain: A19640 (C-0-T19638-A19640-cpt) abstDomain: A19639 (C-0-T19638-A19639-cpt) vocSet: T19358 (C-0-T19358-cpt) vocSet: D21 (C-0-D21-cpt) vocSet: T8 (C-0-T8-cpt) vocSet: D22 (C-0-D22-cpt) vocSet: T11527 (C-0-T11527-cpt) specDomain: S13856 (C-0-T11527-S13856-cpt) abstDomain: A19445 (C-0-T11527-S13856-A19445-cpt) specDomain: S20083 (C-0-T11527-S13856-A19445-S20083-cpt) specDomain: S18938 (C-0-T11527-S13856-A19445-S20083-S18938-cpt) specDomain: S13948 (C-0-T11527-S13856-A19445-S20083-S18938-S13948-cpt) specDomain: S20087 (C-0-T11527-S13856-A19445-S20087-cpt) specDomain: S20080 (C-0-T11527-S13856-A19445-S20080-cpt) specDomain: S20084 (C-0-T11527-S13856-A19445-S20084-cpt) specDomain: S14002 (C-0-T11527-S13856-S14002-cpt) specDomain: S14003 (C-0-T11527-S13856-S14002-S14003-cpt) specDomain: S11534 (C-0-T11527-S13856-S11534-cpt) specDomain: S11529 (C-0-T11527-S13856-S11529-cpt) specDomain: S18862 (C-0-T11527-S13856-S11529-S18862-cpt) specDomain: S11530 (C-0-T11527-S13856-S11529-S18862-S11530-cpt) specDomain: S18875 (C-0-T11527-S13856-S11529-S18875-cpt) abstDomain: A17893 (C-0-T11527-S13856-S11529-A17893-cpt) specDomain: S11532 (C-0-T11527-S13856-S11532-cpt) specDomain: S21457 (C-0-T11527-S13856-S11532-S21457-cpt) specDomain: S21456 (C-0-T11527-S13856-S21456-cpt) specDomain: S11535 (C-0-T11527-S13856-S11535-cpt) abstDomain: A19599 (C-0-T11527-S13856-A19599-cpt) abstDomain: A19598 (C-0-T11527-S13856-A19598-cpt) abstDomain: A19657 (C-0-T11527-S13856-A19657-cpt) vocSet: T13953 (C-0-T13953-cpt) abstDomain: A19672 (C-0-T13953-A19672-cpt) abstDomain: A19706 (C-0-T13953-A19706-cpt) abstDomain: A19752 (C-0-T13953-A19752-cpt) abstDomain: A19673 (C-0-T13953-A19673-cpt) abstDomain: A19732 (C-0-T13953-A19732-cpt) specDomain: S21547 (C-0-T13953-A19732-A19733-S21547-cpt) abstDomain: A16493 (C-0-T13953-A16493-cpt) abstDomain: A10871 (C-0-T13953-A16493-A10871-cpt) abstDomain: A10870 (C-0-T13953-A16493-A10870-cpt) abstDomain: A19723 (C-0-T13953-A16493-A10870-A19723-cpt) abstDomain: A13954 (C-0-T13953-A13954-cpt) abstDomain: A14809 (C-0-T13953-A13954-A14809-cpt) abstDomain: A14811 (C-0-T13953-A13954-A14809-A14811-cpt) abstDomain: A17616 (C-0-T13953-A13954-A17616-cpt) specDomain: S19347 (C-0-T13953-A13954-A17616-S19347-cpt) abstDomain: A17968 (C-0-T13953-A13954-A17968-cpt) abstDomain: A19383 (C-0-T13953-A13954-A19383-cpt) abstDomain: A17472 (C-0-T13953-A13954-A17472-cpt) abstDomain: A19440 (C-0-T13953-A13954-A19440-cpt) abstDomain: A17478 (C-0-T13953-A13954-A17478-cpt) abstDomain: A17896 (C-0-T13953-A13954-A17896-cpt) abstDomain: A14058 (C-0-T13953-A13954-A14058-cpt) abstDomain: A16857 (C-0-T13953-A13954-A16857-cpt) abstDomain: A19331 (C-0-T13953-A13954-A16857-A19331-cpt) abstDomain: A19336 (C-0-T13953-A13954-A16857-A19331-A19336-cpt) abstDomain: A17487 (C-0-T13953-A13954-A17487-cpt) abstDomain: A17491 (C-0-T13953-A13954-A17487-A17491-cpt) abstDomain: A17488 (C-0-T13953-A13954-A17487-A17488-cpt) abstDomain: A17496 (C-0-T13953-A13954-A17496-cpt) abstDomain: A16124 (C-0-T13953-A13954-A16124-cpt) abstDomain: A19429 (C-0-T13953-A13954-A16124-A19429-cpt) abstDomain: A19620 (C-0-T13953-A13954-A16124-A19429-A19620-cpt) abstDomain: A19621 (C-0-T13953-A13954-A16124-A19429-A19621-cpt) abstDomain: A19428 (C-0-T13953-A13954-A16124-A19428-cpt) abstDomain: A16656 (C-0-T13953-A13954-A16124-A16656-cpt) abstDomain: A16657 (C-0-T13953-A13954-A16124-A16656-A16657-cpt) abstDomain: A16658 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-cpt) abstDomain: A16659 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-A16659-cpt) specDomain: S17807 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-A16659-S17807-cpt) specDomain: S16664 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-S16664-cpt) specDomain: S16669 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-S16664-S16669-cpt) specDomain: S16665 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-S16664-S16665-cpt) abstDomain: A17795 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-S16664-S16665-A17795-cpt) abstDomain: A17794 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-S16664-S16665-A17794-cpt) specDomain: S16672 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-S16664-S16672-cpt) specDomain: S16676 (C-0-T13953-A13954-A16124-A16656-A16657-A16658-S16664-S16676-cpt) specDomain: S16687 (C-0-T13953-A13954-A16124-A16656-A16657-S16687-cpt) specDomain: S16680 (C-0-T13953-A13954-A16124-A16656-A16657-S16680-cpt) specDomain: S16684 (C-0-T13953-A13954-A16124-A16656-A16657-S16680-S16684-cpt) specDomain: S16686 (C-0-T13953-A13954-A16124-A16656-A16657-S16680-S16684-S16686-cpt) specDomain: S16685 (C-0-T13953-A13954-A16124-A16656-A16657-S16680-S16684-S16685-cpt) specDomain: S16681 (C-0-T13953-A13954-A16124-A16656-A16657-S16680-S16681-cpt) specDomain: S16683 (C-0-T13953-A13954-A16124-A16656-A16657-S16680-S16683-cpt) specDomain: S16682 (C-0-T13953-A13954-A16124-A16656-A16657-S16680-S16682-cpt) abstDomain: A17815 (C-0-T13953-A13954-A16124-A16656-A16657-A17815-cpt) abstDomain: A17816 (C-0-T13953-A13954-A16124-A16656-A16657-A17816-cpt) abstDomain: A16691 (C-0-T13953-A13954-A16124-A16656-A16691-cpt) abstDomain: A17814 (C-0-T13953-A13954-A16124-A17814-cpt) abstDomain: A16695 (C-0-T13953-A13954-A16695-cpt) abstDomain: A19431 (C-0-T13953-A13954-A16695-A19431-cpt) abstDomain: A19619 (C-0-T13953-A13954-A16695-A19431-A19619-cpt) abstDomain: A19430 (C-0-T13953-A13954-A16695-A19430-cpt) specDomain: S16703 (C-0-T13953-A13954-A16695-S16703-cpt) specDomain: S16709 (C-0-T13953-A13954-A16695-S16709-cpt) specDomain: S16696 (C-0-T13953-A13954-A16695-S16696-cpt) specDomain: S16700 (C-0-T13953-A13954-A16695-S16696-S16700-cpt) abstDomain: A10376 (C-0-T13953-A13954-A10376-cpt) abstDomain: A19642 (C-0-T13953-A13954-A19642-cpt) abstDomain: A13955 (C-0-T13953-A13954-A13955-cpt) specDomain: S16847 (C-0-T13953-A13954-A13955-S16847-cpt) abstDomain: A17449 (C-0-T13953-A13954-A13955-A17449-cpt) abstDomain: A14804 (C-0-T13953-A13954-A14804-cpt) abstDomain: A16508 (C-0-T13953-A13954-A16508-cpt) abstDomain: A19350 (C-0-T13953-A13954-A19350-cpt) abstDomain: A19397 (C-0-T13953-A13954-A19397-cpt) abstDomain: A19412 (C-0-T13953-A13954-A19397-A19412-cpt) abstDomain: A19414 (C-0-T13953-A13954-A19397-A19412-A19414-cpt) abstDomain: A19413 (C-0-T13953-A13954-A19397-A19412-A19413-cpt) abstDomain: A19401 (C-0-T13953-A13954-A19397-A19401-cpt) abstDomain: A19432 (C-0-T13953-A13954-A19397-A19401-A19432-cpt) abstDomain: A19434 (C-0-T13953-A13954-A19397-A19401-A19434-cpt) abstDomain: A19415 (C-0-T13953-A13954-A19397-A19401-A19415-cpt) abstDomain: A19404 (C-0-T13953-A13954-A19397-A19401-A19415-A19404-cpt) abstDomain: A19405 (C-0-T13953-A13954-A19397-A19401-A19415-A19405-cpt) abstDomain: A19402 (C-0-T13953-A13954-A19397-A19401-A19415-A19402-cpt) abstDomain: A19407 (C-0-T13953-A13954-A19397-A19401-A19415-A19407-cpt) abstDomain: A19411 (C-0-T13953-A13954-A19397-A19401-A19415-A19407-A19411-cpt) abstDomain: A19410 (C-0-T13953-A13954-A19397-A19401-A19415-A19407-A19410-cpt) abstDomain: A19408 (C-0-T13953-A13954-A19397-A19401-A19415-A19407-A19408-cpt) abstDomain: A19409 (C-0-T13953-A13954-A19397-A19401-A19415-A19407-A19409-cpt) abstDomain: A19416 (C-0-T13953-A13954-A19397-A19401-A19416-cpt) abstDomain: A19406 (C-0-T13953-A13954-A19397-A19401-A19416-A19406-cpt) abstDomain: A16130 (C-0-T13953-A13954-A19397-A19401-A19416-A19406-A16130-cpt) abstDomain: A19398 (C-0-T13953-A13954-A19397-A19398-cpt) abstDomain: A19400 (C-0-T13953-A13954-A19397-A19398-A19400-cpt) abstDomain: A19399 (C-0-T13953-A13954-A19397-A19398-A19399-cpt) abstDomain: A17522 (C-0-T13953-A13954-A17522-cpt) abstDomain: A17530 (C-0-T13953-A13954-A17522-A17530-cpt) abstDomain: A17563 (C-0-T13953-A13954-A17522-A17563-cpt) abstDomain: A17523 (C-0-T13953-A13954-A17522-A17523-cpt) abstDomain: A17590 (C-0-T13953-A13954-A17590-cpt) abstDomain: A19364 (C-0-T13953-A13954-A19364-cpt) specDomain: S19976 (C-0-T13953-A13954-A19364-S19976-cpt) abstDomain: A19370 (C-0-T13953-A13954-A19364-A19370-cpt) specDomain: S21322 (C-0-T13953-A13954-A19364-A19370-S21322-cpt) abstDomain: A16231 (C-0-T13953-A13954-A16231-cpt) specDomain: S16232 (C-0-T13953-A13954-A16231-S16232-cpt) abstDomain: A19254 (C-0-T13953-A13954-A16231-S16232-A19254-cpt) abstDomain: A19586 (C-0-T13953-A13954-A19586-cpt) abstDomain: A17610 (C-0-T13953-A13954-A17610-cpt) abstDomain: A16208 (C-0-T13953-A13954-A16208-cpt) specDomain: S16220 (C-0-T13953-A13954-A16208-S16220-cpt) specDomain: S16209 (C-0-T13953-A13954-A16208-S16209-cpt) specDomain: S16215 (C-0-T13953-A13954-A16208-S16215-cpt) abstDomain: A19725 (C-0-T13953-A13954-A19725-cpt) abstDomain: A17958 (C-0-T13953-A13954-A17958-cpt) specDomain: S17961 (C-0-T13953-A13954-A17958-S17961-cpt) specDomain: S17959 (C-0-T13953-A13954-A17958-S17959-cpt) abstDomain: A13957 (C-0-T13953-A13954-A13957-cpt) specDomain: S14352 (C-0-T13953-A13954-A13957-S14352-cpt) specDomain: S14382 (C-0-T13953-A13954-A13957-S14382-cpt) specDomain: S14369 (C-0-T13953-A13954-A13957-S14369-cpt) abstDomain: A14040 (C-0-T13953-A13954-A14040-cpt) abstDomain: A16621 (C-0-T13953-A13954-A16621-cpt) specDomain: S16623 (C-0-T13953-A13954-A16621-S16623-cpt) abstDomain: A19708 (C-0-T13953-A13954-A19708-cpt) specDomain: S21519 (C-0-T13953-A13954-A19708-S21519-cpt) abstDomain: A19745 (C-0-T13953-A13954-A19708-A19745-cpt) abstDomain: A19433 (C-0-T13953-A13954-A19433-cpt) abstDomain: A19427 (C-0-T13953-A13954-A19427-cpt) abstDomain: A16117 (C-0-T13953-A13954-A16117-cpt) abstDomain: A17963 (C-0-T13953-A13954-A17963-cpt) abstDomain: A16226 (C-0-T13953-A16226-cpt) abstDomain: A19750 (C-0-T13953-A16226-A19750-cpt) abstDomain: A19329 (C-0-T13953-A16226-A19329-cpt) abstDomain: A19330 (C-0-T13953-A16226-A19329-A19330-cpt) abstDomain: A19335 (C-0-T13953-A16226-A19329-A19330-A19335-cpt) abstDomain: A19715 (C-0-T13953-A16226-A19715-cpt) abstDomain: A19737 (C-0-T13953-A16226-A19737-cpt) abstDomain: A19622 (C-0-T13953-A16226-A19622-cpt) abstDomain: A16492 (C-0-T13953-A16226-A16492-cpt) abstDomain: A19757 (C-0-T13953-A16226-A19757-cpt) abstDomain: A19758 (C-0-T13953-A16226-A19757-A19758-cpt) abstDomain: A19695 (C-0-T13953-A16226-A19695-cpt) specDomain: S20927 (C-0-T13953-A16226-S20927-cpt) abstDomain: A19728 (C-0-T13953-A16226-A19728-cpt) specDomain: S21498 (C-0-T13953-A16226-S21498-cpt) specDomain: S21499 (C-0-T13953-A16226-S21498-S21499-cpt) specDomain: S21501 (C-0-T13953-A16226-S21498-S21501-cpt) specDomain: S21503 (C-0-T13953-A16226-S21498-S21503-cpt) specDomain: S21502 (C-0-T13953-A16226-S21498-S21502-cpt) specDomain: S21500 (C-0-T13953-A16226-S21498-S21500-cpt) abstDomain: A19712 (C-0-T13953-A16226-A19712-cpt) abstDomain: A19713 (C-0-T13953-A16226-A19713-cpt) abstDomain: A19325 (C-0-T13953-A16226-A19325-cpt) abstDomain: A19328 (C-0-T13953-A16226-A19325-A19328-cpt) abstDomain: A19334 (C-0-T13953-A16226-A19325-A19328-A19334-cpt) abstDomain: A19321 (C-0-T13953-A16226-A19321-cpt) abstDomain: A19322 (C-0-T13953-A16226-A19321-A19322-cpt) abstDomain: A19714 (C-0-T13953-A16226-A19714-cpt) abstDomain: A19616 (C-0-T13953-A16226-A19616-cpt) abstDomain: A19711 (C-0-T13953-A16226-A19711-cpt) abstDomain: A19656 (C-0-T13953-A19656-cpt) abstDomain: A19659 (C-0-T13953-A19656-A19659-cpt) abstDomain: A19658 (C-0-T13953-A19656-A19658-cpt) abstDomain: A19662 (C-0-T13953-A19656-A19662-cpt) abstDomain: A19660 (C-0-T13953-A19656-A19660-cpt) abstDomain: A19661 (C-0-T13953-A19656-A19661-cpt) abstDomain: A19663 (C-0-T13953-A19656-A19663-cpt) vocSet: T19348 (C-0-T19348-cpt) vocSet: T17704 (C-0-T17704-cpt) vocSet: T10196 (C-0-T10196-cpt) abstDomain: A10197 (C-0-T10196-A10197-cpt) abstDomain: A10202 (C-0-T10196-A10202-cpt) abstDomain: A19375 (C-0-T10196-A19375-cpt) abstDomain: A19371 (C-0-T10196-A19371-cpt) abstDomain: A18943 (C-0-T10196-A18943-cpt) abstDomain: A18965 (C-0-T10196-A18965-cpt) abstDomain: A16742 (C-0-T10196-A16742-cpt) specDomain: S10199 (C-0-T10196-A16742-S10199-cpt) specDomain: S16726 (C-0-T10196-A16742-S10199-S16726-cpt) abstDomain: A16735 (C-0-T10196-A16735-cpt) abstDomain: A16730 (C-0-T10196-A16730-cpt) abstDomain: A19689 (C-0-T10196-A19689-cpt) abstDomain: A19372 (C-0-T10196-A19372-cpt) abstDomain: A19649 (C-0-T10196-A19649-cpt) abstDomain: A19648 (C-0-T10196-A19648-cpt) abstDomain: A19644 (C-0-T10196-A19644-cpt) abstDomain: A19647 (C-0-T10196-A19647-cpt) abstDomain: A19645 (C-0-T10196-A19645-cpt) abstDomain: A19646 (C-0-T10196-A19646-cpt) abstDomain: A19458 (C-0-T10196-A19458-cpt) abstDomain: A19459 (C-0-T10196-A19459-cpt) abstDomain: A19460 (C-0-T10196-A19460-cpt) abstDomain: A19461 (C-0-T10196-A19461-cpt) vocSet: D23 (C-0-D23-cpt) vocSet: D24 (C-0-D24-cpt) vocSet: T16866 (C-0-T16866-cpt) specDomain: S16871 (C-0-T16866-S16871-cpt) abstDomain: A19457 (C-0-T16866-A19457-cpt) vocSet: T19349 (C-0-T19349-cpt) vocSet: T14878 (C-0-T14878-cpt) abstDomain: A17425 (C-0-T14878-A17425-cpt) abstDomain: A19385 (C-0-T14878-A19385-cpt) abstDomain: A19388 (C-0-T14878-A19388-cpt) abstDomain: A19355 (C-0-T14878-A19355-cpt) abstDomain: A19717 (C-0-T14878-A19717-cpt) abstDomain: A19718 (C-0-T14878-A19718-cpt) abstDomain: A19692 (C-0-T14878-A19692-cpt) abstDomain: A19693 (C-0-T14878-A19692-A19693-cpt) abstDomain: A19694 (C-0-T14878-A19694-cpt) abstDomain: A19744 (C-0-T14878-A19744-cpt) abstDomain: A19636 (C-0-T14878-A19636-cpt) abstDomain: A19743 (C-0-T14878-A19743-cpt) abstDomain: A14879 (C-0-T14878-A14879-cpt) abstDomain: A19719 (C-0-T14878-A19719-cpt) abstDomain: A19377 (C-0-T14878-A19377-cpt) abstDomain: A15983 (C-0-T14878-A15983-cpt) abstDomain: A19456 (C-0-T14878-A19456-cpt) vocSet: T10349 (C-0-T10349-cpt) vocSet: T10360 (C-0-T10360-cpt) vocSet: D25 (C-0-D25-cpt) vocSet: T10355 (C-0-T10355-cpt) vocSet: T19613 (C-0-T19613-cpt) abstDomain: A19736 (C-0-T19613-A19736-cpt) specDomain: S21368 (C-0-T19613-A19736-S21368-cpt) specDomain: S21367 (C-0-T19613-S21367-cpt) vocSet: T10317 (C-0-T10317-cpt) abstDomain: A18977 (C-0-T10317-A18977-cpt) specDomain: S10321 (C-0-T10317-A18977-S10321-cpt) specDomain: S10318 (C-0-T10317-S10318-cpt) specDomain: S10324 (C-0-T10317-S10324-cpt) abstDomain: A19617 (C-0-T10317-S10324-A19617-cpt) specDomain: S10329 (C-0-T10317-S10329-cpt) abstDomain: A14900 (C-0-T10317-S10329-A14900-cpt) abstDomain: A19610 (C-0-T10317-S10329-A14900-A19610-cpt) abstDomain: A19609 (C-0-T10317-S10329-A14900-A19609-cpt) specDomain: S10330 (C-0-T10317-S10329-S10330-cpt) abstDomain: A19587 (C-0-T10317-S10329-A19587-cpt) specDomain: S10337 (C-0-T10317-S10337-cpt) specDomain: S18660 (C-0-T10317-S10337-S18660-cpt) specDomain: S10342 (C-0-T10317-S10337-S10342-cpt) specDomain: S10338 (C-0-T10317-S10337-S10338-cpt) abstDomain: A11610 (C-0-T10317-A11610-cpt) abstDomain: A19446 (C-0-T10317-A19446-cpt) abstDomain: A19447 (C-0-T10317-A19447-cpt) abstDomain: A19000 (C-0-T10317-A19000-cpt) abstDomain: A19005 (C-0-T10317-A19005-cpt) abstDomain: A19562 (C-0-T10317-A19562-cpt) abstDomain: A19753 (C-0-T10317-A19753-cpt) vocSet: T16537 (C-0-T16537-cpt) abstDomain: A16539 (C-0-T16537-A16539-cpt) abstDomain: A19439 (C-0-T16537-A16538-A19439-cpt) abstDomain: A19346 (C-0-T16537-A16538-A19346-cpt) abstDomain: A19345 (C-0-T16537-A16538-A19346-A19345-cpt) abstDomain: A19342 (C-0-T16537-A16538-A19346-A19342-cpt) abstDomain: A19344 (C-0-T16537-A16538-A19346-A19344-cpt) abstDomain: A19343 (C-0-T16537-A16538-A19346-A19343-cpt) abstDomain: A19724 (C-0-T16537-A16538-A19724-cpt) abstDomain: A19438 (C-0-T16537-A16538-A19438-cpt) vocSet: T15933 (C-0-T15933-cpt) specDomain: S15936 (C-0-T15933-S15936-cpt) abstDomain: A16916 (C-0-T15933-A16916-cpt) vocSet: D26 (C-0-D26-cpt) vocSet: T16899 (C-0-T16899-cpt) vocSet: T10642 (C-0-T10642-cpt) specDomain: S10651 (C-0-T10642-S10651-cpt) specDomain: S17887 (C-0-T10642-S17887-cpt) specDomain: S14822 (C-0-T10642-S14822-cpt) specDomain: S10649 (C-0-T10642-S14822-S10649-cpt) specDomain: S10648 (C-0-T10642-S14822-S10648-cpt) vocSet: T1 (C-0-T1-cpt) vocSet: T18130 (C-0-T18130-cpt) abstDomain: A18131 (C-0-T18130-A18131-cpt) abstDomain: A18132 (C-0-T18130-A18131-A18132-cpt) abstDomain: A18142 (C-0-T18130-A18131-A18132-A18142-cpt) abstDomain: A18143 (C-0-T18130-A18131-A18132-A18142-A18143-cpt) abstDomain: A18135 (C-0-T18130-A18131-A18132-A18135-cpt) abstDomain: A18136 (C-0-T18130-A18131-A18132-A18135-A18136-cpt) abstDomain: A18171 (C-0-T18130-A18131-A18132-A18171-cpt) abstDomain: A18174 (C-0-T18130-A18131-A18132-A18171-A18174-cpt) abstDomain: A18184 (C-0-T18130-A18131-A18132-A18171-A18184-cpt) abstDomain: A18156 (C-0-T18130-A18131-A18132-A18156-cpt) abstDomain: A18164 (C-0-T18130-A18131-A18132-A18164-cpt) abstDomain: A18189 (C-0-T18130-A18131-A18189-cpt) abstDomain: A18223 (C-0-T18130-A18223-cpt) abstDomain: A18224 (C-0-T18130-A18223-A18224-cpt) abstDomain: A18233 (C-0-T18130-A18223-A18233-cpt) abstDomain: A18238 (C-0-T18130-A18238-cpt) abstDomain: A18191 (C-0-T18130-A18191-cpt) abstDomain: A18221 (C-0-T18130-A18191-A18221-cpt) abstDomain: A18192 (C-0-T18130-A18191-A18192-cpt) abstDomain: A18210 (C-0-T18130-A18191-A18192-A18210-cpt) abstDomain: A18193 (C-0-T18130-A18191-A18192-A18193-cpt) abstDomain: A18241 (C-0-T18130-A18241-cpt) abstDomain: A18274 (C-0-T18130-A18241-A18274-cpt) abstDomain: A18275 (C-0-T18130-A18241-A18274-A18275-cpt) abstDomain: A18291 (C-0-T18130-A18241-A18274-A18275-A18291-cpt) abstDomain: A18292 (C-0-T18130-A18241-A18274-A18275-A18291-A18292-cpt) abstDomain: A18276 (C-0-T18130-A18241-A18274-A18275-A18276-cpt) abstDomain: A18282 (C-0-T18130-A18241-A18274-A18275-A18282-cpt) abstDomain: A18248 (C-0-T18130-A18241-A18248-cpt) abstDomain: A18253 (C-0-T18130-A18241-A18253-cpt) abstDomain: A18244 (C-0-T18130-A18241-A18244-cpt) abstDomain: A18306 (C-0-T18130-A18306-cpt) abstDomain: A18307 (C-0-T18130-A18306-A18307-cpt) abstDomain: A18319 (C-0-T18130-A18319-cpt) abstDomain: A18327 (C-0-T18130-A18327-cpt) abstDomain: A18331 (C-0-T18130-A18327-A18331-cpt) abstDomain: A18338 (C-0-T18130-A18338-cpt) abstDomain: A18342 (C-0-T18130-A18338-A18342-cpt) abstDomain: A18339 (C-0-T18130-A18338-A18339-cpt) abstDomain: A18352 (C-0-T18130-A18352-cpt) abstDomain: A18356 (C-0-T18130-A18352-A18356-cpt) abstDomain: A18358 (C-0-T18130-A18352-A18356-A18358-cpt) abstDomain: A18399 (C-0-T18130-A18352-A18356-A18358-A18399-cpt) abstDomain: A18407 (C-0-T18130-A18352-A18356-A18358-A18399-A18407-cpt) abstDomain: A18400 (C-0-T18130-A18352-A18356-A18358-A18399-A18400-cpt) abstDomain: A18365 (C-0-T18130-A18352-A18356-A18358-A18365-cpt) abstDomain: A18366 (C-0-T18130-A18352-A18356-A18358-A18365-A18366-cpt) abstDomain: A18379 (C-0-T18130-A18352-A18356-A18358-A18365-A18379-cpt) abstDomain: A18371 (C-0-T18130-A18352-A18356-A18358-A18365-A18371-cpt) abstDomain: A18374 (C-0-T18130-A18352-A18356-A18358-A18365-A18371-A18374-cpt) abstDomain: A18386 (C-0-T18130-A18352-A18356-A18358-A18386-cpt) abstDomain: A18391 (C-0-T18130-A18352-A18356-A18358-A18386-A18391-cpt) abstDomain: A18387 (C-0-T18130-A18352-A18356-A18358-A18386-A18387-cpt) abstDomain: A18359 (C-0-T18130-A18352-A18356-A18358-A18359-cpt) abstDomain: A18413 (C-0-T18130-A18413-cpt) abstDomain: A18414 (C-0-T18130-A18413-A18414-cpt) abstDomain: A18415 (C-0-T18130-A18413-A18414-A18415-cpt) abstDomain: A18421 (C-0-T18130-A18413-A18421-cpt) abstDomain: A18435 (C-0-T18130-A18413-A18435-cpt) abstDomain: A18498 (C-0-T18130-A18413-A18498-cpt) abstDomain: A18500 (C-0-T18130-A18413-A18498-A18500-cpt) abstDomain: A18424 (C-0-T18130-A18413-A18424-cpt) abstDomain: A18425 (C-0-T18130-A18413-A18424-A18425-cpt) abstDomain: A18511 (C-0-T18130-A18413-A18511-cpt) abstDomain: A18458 (C-0-T18130-A18413-A18458-cpt) abstDomain: A18459 (C-0-T18130-A18413-A18458-A18459-cpt) abstDomain: A18463 (C-0-T18130-A18413-A18458-A18459-A18463-cpt) abstDomain: A18460 (C-0-T18130-A18413-A18458-A18459-A18460-cpt) abstDomain: A18431 (C-0-T18130-A18413-A18431-cpt) abstDomain: A18479 (C-0-T18130-A18413-A18479-cpt) abstDomain: A18518 (C-0-T18130-A18518-cpt) abstDomain: A18523 (C-0-T18130-A18523-cpt) abstDomain: A18524 (C-0-T18130-A18523-A18524-cpt) abstDomain: A18540 (C-0-T18130-A18523-A18540-cpt) abstDomain: A18533 (C-0-T18130-A18523-A18533-cpt) abstDomain: A18552 (C-0-T18130-A18552-cpt) abstDomain: A18553 (C-0-T18130-A18552-A18553-cpt) abstDomain: A18562 (C-0-T18130-A18552-A18553-A18562-cpt) abstDomain: A18593 (C-0-T18130-A18552-A18553-A18562-A18593-cpt) abstDomain: A18563 (C-0-T18130-A18552-A18553-A18562-A18563-cpt) abstDomain: A18580 (C-0-T18130-A18552-A18553-A18562-A18580-cpt) abstDomain: A18554 (C-0-T18130-A18552-A18553-A18554-cpt) abstDomain: A18605 (C-0-T18130-A18605-cpt) abstDomain: A18606 (C-0-T18130-A18605-A18606-cpt) abstDomain: A18611 (C-0-T18130-A18605-A18606-A18611-cpt) abstDomain: A18617 (C-0-T18130-A18605-A18606-A18617-cpt) abstDomain: A18607 (C-0-T18130-A18605-A18606-A18607-cpt) abstDomain: A18621 (C-0-T18130-A18605-A18621-cpt) abstDomain: A18624 (C-0-T18130-A18605-A18621-A18624-cpt) abstDomain: A18622 (C-0-T18130-A18605-A18621-A18622-cpt) abstDomain: A18636 (C-0-T18130-A18605-A18636-cpt) abstDomain: A18637 (C-0-T18130-A18605-A18636-A18637-cpt) abstDomain: A18629 (C-0-T18130-A18605-A18629-cpt) abstDomain: A18640 (C-0-T18130-A18640-cpt) abstDomain: A18641 (C-0-T18130-A18640-A18641-cpt) abstDomain: A18646 (C-0-T18130-A18646-cpt) vocSet: D27 (C-0-D27-cpt) vocSet: D28 (C-0-D28-cpt) vocSet: D29 (C-0-D29-cpt) vocSet: E2 (C-0-E2-cpt) vocSet: E1 (C-0-E1-cpt) vocSet: T17422 (C-0-T17422-cpt) vocSet: T10684 (C-0-T10684-cpt) abstDomain: A10701 (C-0-T10684-A10701-cpt) abstDomain: A10685 (C-0-T10684-A10685-cpt) abstDomain: A10758 (C-0-T10684-A10685-A10758-cpt) vocSet: T10682 (C-0-T10682-cpt) vocSet: D30 (C-0-D30-cpt) vocSet: D31 (C-0-D31-cpt) vocSet: D32 (C-0-D32-cpt) vocSet: T14853 (C-0-T14853-cpt) vocSet: D33 (C-0-D33-cpt) vocSet: D34 (C-0-D34-cpt) vocSet: D35 (C-0-D35-cpt) vocSet: T396 (C-0-T396-cpt) vocSet: T19359 (C-0-T19359-cpt) vocSet: T19250 (C-0-T19250-cpt) vocSet: T16031 (C-0-T16031-cpt) vocSet: T10620 (C-0-T10620-cpt) vocSet: T19363 (C-0-T19363-cpt) vocSet: T11033 (C-0-T11033-cpt) vocSet: T19361 (C-0-T19361-cpt) vocSet: T19360 (C-0-T19360-cpt) vocSet: T10228 (C-0-T10228-cpt) abstDomain: A10229 (C-0-T10228-A10229-cpt) abstDomain: A10240 (C-0-T10228-A10240-cpt) abstDomain: A10236 (C-0-T10228-A10236-cpt) abstDomain: A16926 (C-0-T10228-A16926-cpt) abstDomain: A19738 (C-0-T10228-A19738-cpt) vocSet: T14049 (C-0-T14049-cpt) abstDomain: A16184 (C-0-T14049-A16184-cpt) vocSet: T14054 (C-0-T14054-cpt) vocSet: T16478 (C-0-T16478-cpt) abstDomain: A18934 (C-0-T16478-A18934-cpt) abstDomain: A18937 (C-0-T16478-A18937-cpt) abstDomain: A18935 (C-0-T16478-A18935-cpt) abstDomain: A18936 (C-0-T16478-A18936-cpt) vocSet: T171 (C-0-T171-cpt) vocSet: D36 (C-0-D36-cpt) vocSet: T17388 (C-0-T17388-cpt) vocSet: T10774 (C-0-T10774-cpt) abstDomain: A10775 (C-0-T10774-A10775-cpt) specDomain: S10845 (C-0-T10774-A10775-S10845-cpt) specDomain: S10846 (C-0-T10774-A10775-S10845-S10846-cpt) specDomain: S10848 (C-0-T10774-A10775-S10845-S10848-cpt) specDomain: S10831 (C-0-T10774-A10775-S10831-cpt) specDomain: S10832 (C-0-T10774-A10775-S10831-S10832-cpt) specDomain: S10833 (C-0-T10774-A10775-S10831-S10833-cpt) specDomain: S10776 (C-0-T10774-A10775-S10776-cpt) specDomain: S10780 (C-0-T10774-A10775-S10780-cpt) specDomain: S10782 (C-0-T10774-A10775-S10780-S10782-cpt) specDomain: S10783 (C-0-T10774-A10775-S10780-S10783-cpt) specDomain: S10784 (C-0-T10774-A10775-S10780-S10784-cpt) specDomain: S10781 (C-0-T10774-A10775-S10781-cpt) specDomain: S10850 (C-0-T10774-A10775-S10850-cpt) specDomain: S10851 (C-0-T10774-A10775-S10850-S10851-cpt) specDomain: S10785 (C-0-T10774-A10775-S10785-cpt) specDomain: S10834 (C-0-T10774-A10775-S10834-cpt) specDomain: S10835 (C-0-T10774-A10775-S10834-S10835-cpt) specDomain: S10839 (C-0-T10774-A10775-S10834-S10839-cpt) specDomain: S10841 (C-0-T10774-A10775-S10834-S10841-cpt) specDomain: S10807 (C-0-T10774-A10775-S10834-S10841-S10807-cpt) specDomain: S10844 (C-0-T10774-A10775-S10834-S10841-S10807-S10844-cpt) specDomain: S10808 (C-0-T10774-A10775-S10834-S10841-S10807-S10808-cpt) specDomain: S10843 (C-0-T10774-A10775-S10834-S10841-S10807-S10843-cpt) specDomain: S10837 (C-0-T10774-A10775-S10834-S10837-cpt) specDomain: S10786 (C-0-T10774-A10775-S10786-cpt) abstDomain: A10794 (C-0-T10774-A10775-A10794-cpt) specDomain: S10795 (C-0-T10774-A10775-A10794-S10795-cpt) specDomain: S10798 (C-0-T10774-A10775-A10794-S10798-cpt) specDomain: S10864 (C-0-T10774-A10775-A10794-S10864-cpt) specDomain: S10797 (C-0-T10774-A10775-A10794-S10797-cpt) specDomain: S10866 (C-0-T10774-A10775-A10794-S10797-S10866-cpt) specDomain: S10799 (C-0-T10774-A10775-A10794-S10799-cpt) specDomain: S10800 (C-0-T10774-A10775-A10794-S10800-cpt) specDomain: S10796 (C-0-T10774-A10775-A10794-S10796-cpt) specDomain: S10865 (C-0-T10774-A10775-A10794-S10796-S10865-cpt) specDomain: S10821 (C-0-T10774-A10775-S10821-cpt) specDomain: S10822 (C-0-T10774-A10775-S10821-S10822-cpt) specDomain: S10777 (C-0-T10774-A10775-S10821-S10822-S10777-cpt) specDomain: S10778 (C-0-T10774-A10775-S10821-S10822-S10777-S10778-cpt) specDomain: S10779 (C-0-T10774-A10775-S10821-S10822-S10777-S10778-S10779-cpt) specDomain: S10792 (C-0-T10774-A10775-S10821-S10822-S10777-S10778-S10779-S10792-cpt) specDomain: S10793 (C-0-T10774-A10775-S10821-S10822-S10777-S10778-S10779-S10793-cpt) specDomain: S10790 (C-0-T10774-A10775-S10821-S10822-S10777-S10778-S10779-S10790-cpt) specDomain: S10823 (C-0-T10774-A10775-S10821-S10823-cpt) specDomain: S10824 (C-0-T10774-A10775-S10821-S10823-S10824-cpt) specDomain: S10825 (C-0-T10774-A10775-S10821-S10823-S10824-S10825-cpt) specDomain: S10826 (C-0-T10774-A10775-S10821-S10823-S10824-S10825-S10826-cpt) specDomain: S10827 (C-0-T10774-A10775-S10821-S10823-S10824-S10825-S10826-S10827-cpt) specDomain: S10828 (C-0-T10774-A10775-S10821-S10823-S10824-S10825-S10826-S10827-S10828-cpt) specDomain: S10789 (C-0-T10774-A10775-S10821-S10823-S10824-S10825-S10826-S10827-S10828-S10789-cpt) specDomain: S10829 (C-0-T10774-A10775-S10821-S10823-S10824-S10825-S10826-S10827-S10829-cpt) specDomain: S10791 (C-0-T10774-A10775-S10821-S10823-S10824-S10825-S10826-S10827-S10829-S10791-cpt) specDomain: S10801 (C-0-T10774-A10775-S10801-cpt) specDomain: S10809 (C-0-T10774-A10775-S10801-S10809-cpt) specDomain: S10803 (C-0-T10774-A10775-S10801-S10802-S10803-cpt) specDomain: S10804 (C-0-T10774-A10775-S10801-S10802-S10804-cpt) specDomain: S10805 (C-0-T10774-A10775-S10801-S10802-S10805-cpt) specDomain: S10816 (C-0-T10774-A10775-S10801-S10802-S10816-cpt) specDomain: S10867 (C-0-T10774-A10775-S10801-S10867-cpt) specDomain: S10819 (C-0-T10774-A10775-S10801-S10869-S10819-cpt) specDomain: S10818 (C-0-T10774-A10775-S10801-S10818-cpt) specDomain: S10868 (C-0-T10774-A10775-S10801-S10868-cpt) specDomain: S10810 (C-0-T10774-A10775-S10801-S10810-cpt) specDomain: S10811 (C-0-T10774-A10775-S10801-S10810-S10811-cpt) specDomain: S10812 (C-0-T10774-A10775-S10801-S10810-S10811-S10812-cpt) specDomain: S10813 (C-0-T10774-A10775-S10801-S10810-S10811-S10812-S10813-cpt) specDomain: S10816 (C-0-T10774-A10775-S10801-S10816-cpt) specDomain: S10862 (C-0-T10774-A10775-S10801-S10816-S10862-cpt) specDomain: S10819 (C-0-T10774-A10775-S10801-S10819-cpt) specDomain: S10863 (C-0-T10774-A10775-S10801-S10819-S10863-cpt) specDomain: S10814 (C-0-T10774-A10775-S10801-S10814-cpt) specDomain: S10815 (C-0-T10774-A10775-S10801-S10814-S10815-cpt) specDomain: S10853 (C-0-T10774-A10775-S10853-cpt) specDomain: S10854 (C-0-T10774-A10775-S10853-S10854-cpt) specDomain: S10856 (C-0-T10774-A10775-S10856-cpt) specDomain: S10857 (C-0-T10774-A10775-S10856-S10857-cpt) specDomain: S10859 (C-0-T10774-A10775-S10856-S10859-cpt) specDomain: S10788 (C-0-T10774-A10775-S10788-cpt) specDomain: S10787 (C-0-T10774-A10775-S10788-S10787-cpt) vocSet: T14066 (C-0-T14066-cpt) vocSet: T15931 (C-0-T15931-cpt) vocSet: T271 (C-0-T271-cpt) vocSet: T275 (C-0-T275-cpt) specDomain: S10584 (C-0-T275-S10584-cpt) vocSet: T11040 (C-0-T11040-cpt) specDomain: S11042 (C-0-T11040-S11042-cpt) specDomain: S11044 (C-0-T11040-S11044-cpt) specDomain: S11045 (C-0-T11040-S11045-cpt) specDomain: S11043 (C-0-T11040-S11043-cpt) vocSet: T19175 (C-0-T19175-cpt) vocSet: D37 (C-0-D37-cpt) vocSet: D38 (C-0-D38-cpt) vocSet: T16036 (C-0-T16036-cpt) abstDomain: A19691 (C-0-T16036-A19691-cpt) vocSet: D39 (C-0-D39-cpt) vocSet: T15930 (C-0-T15930-cpt) vocSet: T12231 (C-0-T12231-cpt) vocSet: D40 (C-0-D40-cpt) vocSet: T12234 (C-0-T12234-cpt) vocSet: T19453 (C-0-T19453-cpt) vocSet: T19454 (C-0-T19454-cpt) vocSet: T12242 (C-0-T12242-cpt) vocSet: T10882 (C-0-T10882-cpt) specDomain: S13922 (C-0-T10882-S13922-cpt) specDomain: S10884 (C-0-T10882-S13922-S10884-cpt) specDomain: S11621 (C-0-T10882-S13922-S10884-S11621-cpt) specDomain: S10883 (C-0-T10882-S13922-S10883-cpt) specDomain: S13934 (C-0-T10882-S13922-S10883-S13934-cpt) specDomain: S11622 (C-0-T10882-S13922-S10883-S13934-S11622-cpt) specDomain: S11623 (C-0-T10882-S13922-S10883-S13934-S11623-cpt) specDomain: S10892 (C-0-T10882-S13922-S10892-cpt) abstDomain: A19462 (C-0-T10882-A19462-cpt) abstDomain: A19463 (C-0-T10882-A19463-cpt) specDomain: S10889 (C-0-T10882-A19463-S10889-cpt) specDomain: S10890 (C-0-T10882-A19463-S10889-S10890-cpt) vocSet: T16040 (C-0-T16040-cpt) abstDomain: A16041 (C-0-T16040-A16041-cpt) abstDomain: A19435 (C-0-T16040-A16041-A19435-cpt) abstDomain: A16143 (C-0-T16040-A16041-A16143-cpt) specDomain: S16144 (C-0-T16040-A16041-A16143-S16144-cpt) specDomain: S16170 (C-0-T16040-A16041-A16143-S16144-S16170-cpt) specDomain: S16145 (C-0-T16040-A16041-A16143-S16144-S16145-cpt) abstDomain: A16147 (C-0-T16040-A16041-A16143-S16144-A16147-cpt) abstDomain: A16152 (C-0-T16040-A16041-A16143-S16144-A16152-cpt) specDomain: S16171 (C-0-T16040-A16041-A16143-S16144-A16152-S16171-cpt) abstDomain: A16176 (C-0-T16040-A16041-A16143-S16144-A16152-A16176-cpt) abstDomain: A16153 (C-0-T16040-A16041-A16143-S16144-A16152-A16153-cpt) specDomain: S16155 (C-0-T16040-A16041-A16143-S16144-A16152-A16153-S16155-cpt) specDomain: S16159 (C-0-T16040-A16041-A16143-S16144-A16152-A16153-S16155-S16159-cpt) abstDomain: A19623 (C-0-T16040-A16041-A19623-cpt) abstDomain: A19699 (C-0-T16040-A16041-A19698-A19699-cpt) abstDomain: A16042 (C-0-T16040-A16041-A16042-cpt) abstDomain: A16188 (C-0-T16040-A16041-A16188-cpt) abstDomain: A16200 (C-0-T16040-A16041-A16188-A16200-cpt) specDomain: S16201 (C-0-T16040-A16041-A16188-A16200-S16201-cpt) abstDomain: A16189 (C-0-T16040-A16041-A16188-A16189-cpt) specDomain: S16196 (C-0-T16040-A16041-A16188-A16189-S16196-cpt) abstDomain: A16191 (C-0-T16040-A16041-A16188-A16189-A16191-cpt) abstDomain: A19357 (C-0-T16040-A16041-A19357-cpt) abstDomain: A19394 (C-0-T16040-A16041-A19357-A19394-cpt) abstDomain: A19464 (C-0-T16040-A16041-A19464-cpt) abstDomain: A19608 (C-0-T16040-A19608-cpt) abstDomain: A19624 (C-0-T16040-A19608-A19624-cpt) abstDomain: A19749 (C-0-T16040-A19608-A19749-cpt) abstDomain: A16100 (C-0-T16040-A16100-cpt) abstDomain: A19675 (C-0-T16040-A16100-A19675-cpt) abstDomain: A19652 (C-0-T16040-A19652-cpt) abstDomain: A19667 (C-0-T16040-A19667-cpt) abstDomain: A19668 (C-0-T16040-A19667-A19668-cpt) abstDomain: A16530 (C-0-T16040-A19667-A19668-A16530-cpt) abstDomain: A16205 (C-0-T16040-A19667-A19668-A16530-A16205-cpt) abstDomain: A19721 (C-0-T16040-A19667-A19668-A16530-A16205-A19721-cpt) abstDomain: A16206 (C-0-T16040-A19667-A19668-A16530-A16205-A16206-cpt) abstDomain: A19618 (C-0-T16040-A19667-A19668-A16530-A16205-A16206-A19618-cpt) specDomain: S21458 (C-0-T16040-A19667-A19668-S21458-cpt) vocSet: T10878 (C-0-T10878-cpt) specDomain: S10879 (C-0-T10878-S10879-cpt) abstDomain: A19670 (C-0-T10878-A19670-cpt) vocSet: T13988 (C-0-T13988-cpt) vocSet: T15888 (C-0-T15888-cpt) abstDomain: A15889 (C-0-T15888-A15889-cpt) abstDomain: A10659 (C-0-T15888-A10659-cpt) abstDomain: A10666 (C-0-T15888-A10659-A10666-cpt) abstDomain: A10660 (C-0-T15888-A10659-A10660-cpt) abstDomain: A10671 (C-0-T15888-A10659-A10671-cpt) vocSet: T15880 (C-0-T15880-cpt) abstDomain: A15881 (C-0-T15880-A15881-cpt) abstDomain: A10653 (C-0-T15880-A10653-cpt) vocSet: T15913 (C-0-T15913-cpt) specDomain: S10176 (C-0-T15913-S10176-cpt) abstDomain: A15914 (C-0-T15913-A15914-cpt) specDomain: S21363 (C-0-T15913-A200-S21363-cpt) specDomain: S21321 (C-0-T15913-A200-S21321-cpt) vocSet: T10405 (C-0-T10405-cpt) specDomain: S10407 (C-0-T10405-S10407-cpt) specDomain: S10412 (C-0-T10405-S10412-cpt) vocSet: T16005 (C-0-T16005-cpt) specDomain: S16006 (C-0-T16005-S16006-cpt) vocSet: T10896 (C-0-T10896-cpt) vocSet: T15836 (C-0-T15836-cpt) specDomain: S15837 (C-0-T15836-S15837-cpt) specDomain: S15854 (C-0-T15836-S15837-S15854-cpt) specDomain: S15848 (C-0-T15836-S15837-S15848-cpt) specDomain: S15863 (C-0-T15836-S15837-S15863-cpt) specDomain: S15838 (C-0-T15836-S15837-S15838-cpt) vocSet: D41 (C-0-D41-cpt) vocSet: T10720 (C-0-T10720-cpt) specDomain: S10725 (C-0-T10720-S10725-cpt) abstDomain: A10726 (C-0-T10720-S10725-A10726-cpt) specDomain: S10733 (C-0-T10720-S10725-S10733-cpt) vocSet: T11523 (C-0-T11523-cpt) vocSet: T10034 (C-0-T10034-cpt) vocSet: T10010 (C-0-T10010-cpt) abstDomain: A10012 (C-0-T10010-A10012-cpt) specDomain: S10015 (C-0-T10010-A10012-S10015-cpt) vocSet: T10083 (C-0-T10083-cpt) vocSet: T19449 (C-0-T19449-cpt) vocSet: T19373 (C-0-T19373-cpt) vocSet: T10018 (C-0-T10018-cpt) abstDomain: A10024 (C-0-T10018-A10024-cpt) vocSet: E5 (C-0-E5-cpt) vocSet: T13129 (C-0-T13129-cpt) abstDomain: A13130 (C-0-T13129-A13130-cpt) abstDomain: A13174 (C-0-T13129-A13130-A13174-cpt) specDomain: S13175 (C-0-T13129-A13130-A13174-S13175-cpt) abstDomain: A13131 (C-0-T13129-A13130-A13131-cpt) specDomain: S13132 (C-0-T13129-A13130-A13131-S13132-cpt) abstDomain: A13147 (C-0-T13129-A13130-A13131-A13147-cpt) specDomain: S13149 (C-0-T13129-A13130-A13131-S13149-cpt) specDomain: S13152 (C-0-T13129-A13130-A13131-S13152-cpt) specDomain: S13171 (C-0-T13129-A13130-A13131-S13171-cpt) abstDomain: A16460 (C-0-T13129-A13130-A16460-cpt) specDomain: S13188 (C-0-T13129-A13130-A16460-S13188-cpt) abstDomain: A13195 (C-0-T13129-A13130-A16460-S13188-A13195-cpt) abstDomain: A13197 (C-0-T13129-A13130-A13197-cpt) abstDomain: A13198 (C-0-T13129-A13130-A13197-A13198-cpt) specDomain: S13205 (C-0-T13129-A13130-A13197-S13205-cpt) specDomain: S13201 (C-0-T13129-A13130-A13197-S13201-cpt) abstDomain: A13207 (C-0-T13129-A13130-A13207-cpt) abstDomain: A13211 (C-0-T13129-A13130-A13211-cpt) abstDomain: A13219 (C-0-T13129-A13130-A13211-A13219-cpt) specDomain: S13212 (C-0-T13129-A13130-A13211-S13212-cpt) abstDomain: A13229 (C-0-T13129-A13130-A13229-cpt) specDomain: S13232 (C-0-T13129-A13130-A13229-S13232-cpt) specDomain: S13134 (C-0-T13129-A13130-S13134-cpt) abstDomain: A13134 (C-0-T13129-A13130-S13134-A13134-cpt) abstDomain: A13578 (C-0-T13129-A13130-A13578-cpt) abstDomain: A13579 (C-0-T13129-A13130-A13578-A13579-cpt) abstDomain: A13136 (C-0-T13129-A13130-A13136-cpt) abstDomain: A13139 (C-0-T13129-A13130-A13136-A13139-cpt) abstDomain: A13347 (C-0-T13129-A13130-A13136-A13347-cpt) abstDomain: A13352 (C-0-T13129-A13130-A13136-A13352-cpt) abstDomain: A13644 (C-0-T13129-A13130-A13644-cpt) abstDomain: A13660 (C-0-T13129-A13130-A13644-A13660-cpt) abstDomain: A13669 (C-0-T13129-A13130-A13644-A13669-cpt) abstDomain: A13703 (C-0-T13129-A13130-A13644-A13703-cpt) abstDomain: A13673 (C-0-T13129-A13130-A13644-A13673-cpt) abstDomain: A13705 (C-0-T13129-A13130-A13644-A13705-cpt) abstDomain: A13688 (C-0-T13129-A13130-A13644-A13688-cpt) abstDomain: A13711 (C-0-T13129-A13130-A13644-A13711-cpt) abstDomain: A13645 (C-0-T13129-A13130-A13644-A13645-cpt) abstDomain: A13354 (C-0-T13129-A13130-A13354-cpt) specDomain: S13355 (C-0-T13129-A13130-A13354-S13355-cpt) abstDomain: A13361 (C-0-T13129-A13130-A13354-A13361-cpt) abstDomain: A13363 (C-0-T13129-A13130-A13363-cpt) specDomain: S13364 (C-0-T13129-A13130-A13363-S13364-cpt) specDomain: S13402 (C-0-T13129-A13130-A13363-S13402-cpt) specDomain: S13422 (C-0-T13129-A13130-A13363-S13422-cpt) abstDomain: A13425 (C-0-T13129-A13130-A13425-cpt) specDomain: S13426 (C-0-T13129-A13130-A13425-S13426-cpt) abstDomain: A13582 (C-0-T13129-A13130-A13582-cpt) specDomain: S13584 (C-0-T13129-A13130-A13582-S13584-cpt) abstDomain: A13592 (C-0-T13129-A13130-A13592-cpt) specDomain: S13598 (C-0-T13129-A13130-A13592-S13598-cpt) specDomain: S13609 (C-0-T13129-A13130-A13592-S13609-cpt) specDomain: S13625 (C-0-T13129-A13130-A13592-S13625-cpt) abstDomain: A13631 (C-0-T13129-A13130-A13592-A13631-cpt) specDomain: S13629 (C-0-T13129-A13130-A13592-S13629-cpt) abstDomain: A13634 (C-0-T13129-A13130-A13634-cpt) specDomain: S13635 (C-0-T13129-A13130-A13634-S13635-cpt) abstDomain: A13637 (C-0-T13129-A13130-A13634-S13635-A13637-cpt) abstDomain: A13700 (C-0-T13129-A13130-A13634-S13635-A13637-A13700-cpt) abstDomain: A13640 (C-0-T13129-A13130-A13634-A13640-cpt) abstDomain: A13715 (C-0-T13129-A13715-cpt) abstDomain: A13716 (C-0-T13129-A13715-A13716-cpt) abstDomain: A13717 (C-0-T13129-A13715-A13716-A13717-cpt) abstDomain: A13725 (C-0-T13129-A13715-A13725-cpt) abstDomain: A13726 (C-0-T13129-A13715-A13725-A13726-cpt) abstDomain: A13808 (C-0-T13129-A13715-A13808-cpt) abstDomain: A13812 (C-0-T13129-A13715-A13812-cpt) abstDomain: A13833 (C-0-T13129-A13715-A13833-cpt) specDomain: S13835 (C-0-T13129-A13715-A13833-S13835-cpt) abstDomain: A13849 (C-0-T13129-A13715-A13849-cpt) abstDomain: A13850 (C-0-T13129-A13715-A13849-A13850-cpt) vocSet: T11017 (C-0-T11017-cpt) vocSet: D42 (C-0-D42-cpt) vocSet: T11526 (C-0-T11526-cpt) vocSet: E6 (C-0-E6-cpt) vocSet: E3 (C-0-E3-cpt) vocSet: E18 (C-0-E18-cpt) vocSet: E8 (C-0-E8-cpt) vocSet: D43 (C-0-D43-cpt) vocSet: T16039 (C-0-T16039-cpt) vocSet: T17385 (C-0-T17385-cpt) vocSet: D44 (C-0-D44-cpt) vocSet: D45 (C-0-D45-cpt) vocSet: E9 (C-0-E9-cpt) vocSet: T12249 (C-0-T12249-cpt) vocSet: T12199 (C-0-T12199-cpt) vocSet: D46 (C-0-D46-cpt) vocSet: T220 (C-0-T220-cpt) specDomain: S10189 (C-0-T220-S10189-cpt) vocSet: T10975 (C-0-T10975-cpt) vocSet: T10893 (C-0-T10893-cpt) vocSet: E7 (C-0-E7-cpt) vocSet: T10045 (C-0-T10045-cpt) vocSet: T10029 (C-0-T10029-cpt) vocSet: E10 (C-0-E10-cpt) vocSet: T15992 (C-0-T15992-cpt) specDomain: S15993 (C-0-T15992-S15993-cpt) vocSet: D47 (C-0-D47-cpt) vocSet: T11052 (C-0-T11052-cpt) vocSet: T12212 (C-0-T12212-cpt) abstDomain: A15929 (C-0-T12212-A15929-cpt) vocSet: T19651 (C-0-T19651-cpt) abstDomain: A14411 (C-0-T19651-A14411-cpt) abstDomain: A14570 (C-0-T19651-A14411-A14570-cpt) abstDomain: A14412 (C-0-T19651-A14411-A14412-cpt) abstDomain: A14568 (C-0-T19651-A14411-A14412-A14568-cpt) abstDomain: A14545 (C-0-T19651-A14411-A14412-A14545-cpt) specDomain: S14551 (C-0-T19651-A14411-A14412-A14545-S14551-cpt) specDomain: S14546 (C-0-T19651-A14411-A14412-A14545-S14546-cpt) specDomain: S14549 (C-0-T19651-A14411-A14412-A14545-S14546-S14549-cpt) abstDomain: A14559 (C-0-T19651-A14411-A14412-A14559-cpt) specDomain: S14560 (C-0-T19651-A14411-A14412-A14559-S14560-cpt) abstDomain: A14413 (C-0-T19651-A14411-A14412-A14413-cpt) specDomain: S14414 (C-0-T19651-A14411-A14412-A14413-S14414-cpt) specDomain: S14417 (C-0-T19651-A14411-A14412-A14413-S14417-cpt) specDomain: S14419 (C-0-T19651-A14411-A14412-A14413-S14419-cpt) specDomain: S14420 (C-0-T19651-A14411-A14412-A14413-S14419-S14420-cpt) specDomain: S14427 (C-0-T19651-A14411-A14412-A14413-S14419-S14427-cpt) specDomain: S14431 (C-0-T19651-A14411-A14412-A14413-S14419-S14431-cpt) specDomain: S14437 (C-0-T19651-A14411-A14412-A14413-S14419-S14437-cpt) abstDomain: A14463 (C-0-T19651-A14411-A14412-A14463-cpt) specDomain: S14466 (C-0-T19651-A14411-A14412-A14463-S14466-cpt) specDomain: S14473 (C-0-T19651-A14411-A14412-A14463-S14466-S14473-cpt) specDomain: S14464 (C-0-T19651-A14411-A14412-A14463-S14464-cpt) specDomain: S14475 (C-0-T19651-A14411-A14412-A14463-S14475-cpt) specDomain: S14482 (C-0-T19651-A14411-A14412-A14463-S14475-S14482-cpt) abstDomain: A14441 (C-0-T19651-A14411-A14412-A14441-cpt) specDomain: S14442 (C-0-T19651-A14411-A14412-A14441-S14442-cpt) specDomain: S14449 (C-0-T19651-A14411-A14412-A14441-S14442-S14449-cpt) specDomain: S14451 (C-0-T19651-A14411-A14412-A14441-S14451-cpt) specDomain: S14454 (C-0-T19651-A14411-A14412-A14441-S14454-cpt) specDomain: S14457 (C-0-T19651-A14411-A14412-A14441-S14454-S14457-cpt) specDomain: S14458 (C-0-T19651-A14411-A14412-A14441-S14454-S14457-S14458-cpt) abstDomain: A14484 (C-0-T19651-A14411-A14412-A14484-cpt) specDomain: S14485 (C-0-T19651-A14411-A14412-A14484-S14485-cpt) specDomain: S14486 (C-0-T19651-A14411-A14412-A14484-S14485-S14486-cpt) specDomain: S14497 (C-0-T19651-A14411-A14412-A14484-S14497-cpt) specDomain: S14499 (C-0-T19651-A14411-A14412-A14484-S14499-cpt) specDomain: S14500 (C-0-T19651-A14411-A14412-A14484-S14499-S14500-cpt) specDomain: S14506 (C-0-T19651-A14411-A14412-A14484-S14506-cpt) specDomain: S14507 (C-0-T19651-A14411-A14412-A14484-S14506-S14507-cpt) specDomain: S14508 (C-0-T19651-A14411-A14412-A14484-S14506-S14507-S14508-cpt) specDomain: S14509 (C-0-T19651-A14411-A14412-A14484-S14506-S14507-S14508-S14509-cpt) specDomain: S14511 (C-0-T19651-A14411-A14412-A14484-S14506-S14507-S14508-S14511-cpt) specDomain: S14515 (C-0-T19651-A14411-A14412-A14484-S14506-S14515-cpt) specDomain: S14516 (C-0-T19651-A14411-A14412-A14484-S14506-S14515-S14516-cpt) specDomain: S14518 (C-0-T19651-A14411-A14412-A14484-S14506-S14515-S14516-S14518-cpt) specDomain: S14524 (C-0-T19651-A14411-A14412-A14484-S14506-S14515-S14516-S14524-cpt) specDomain: S14526 (C-0-T19651-A14411-A14412-A14484-S14506-S14515-S14516-S14526-cpt) specDomain: S14534 (C-0-T19651-A14411-A14412-A14484-S14534-cpt) specDomain: S14535 (C-0-T19651-A14411-A14412-A14484-S14534-S14535-cpt) specDomain: S14538 (C-0-T19651-A14411-A14412-A14484-S14538-cpt) specDomain: S14542 (C-0-T19651-A14411-A14412-A14484-S14542-cpt) vocSet: T10444 (C-0-T10444-cpt) vocSet: T10076 (C-0-T10076-cpt) vocSet: T10069 (C-0-T10069-cpt) vocSet: T10063 (C-0-T10063-cpt) vocSet: T14824 (C-0-T14824-cpt) abstDomain: A14832 (C-0-T14824-A14832-cpt) abstDomain: A14835 (C-0-T14824-A14835-cpt) abstDomain: A14839 (C-0-T14824-A14839-cpt) abstDomain: A14848 (C-0-T14824-A14848-cpt) abstDomain: A14850 (C-0-T14824-A14850-cpt) abstDomain: A14825 (C-0-T14824-A14825-cpt) abstDomain: A14845 (C-0-T14824-A14845-cpt) vocSet: D48 (C-0-D48-cpt) vocSet: T357 (C-0-T357-cpt) vocSet: T19581 (C-0-T19581-cpt) vocSet: T395 (C-0-T395-cpt) vocSet: E13 (C-0-E13-cpt) vocSet: E11 (C-0-E11-cpt) vocSet: E14 (C-0-E14-cpt) vocSet: E12 (C-0-E12-cpt) vocSet: T10609 (C-0-T10609-cpt) specDomain: S10610 (C-0-T10609-S10610-cpt) specDomain: S10616 (C-0-T10609-S10610-S10616-cpt) specDomain: S10612 (C-0-T10609-S10610-S10612-cpt) specDomain: S10614 (C-0-T10609-S10610-S10612-S10614-cpt) vocSet: T78 (C-0-T78-cpt) abstDomain: A10214 (C-0-T78-A10214-cpt) abstDomain: A10225 (C-0-T78-A10225-cpt) abstDomain: A10206 (C-0-T78-A10206-cpt) specDomain: S10208 (C-0-T78-A10206-S10208-cpt) specDomain: S10211 (C-0-T78-A10206-S10208-S10211-cpt) specDomain: S10210 (C-0-T78-A10206-S10208-S10210-cpt) specDomain: S10209 (C-0-T78-A10206-S10208-S10209-cpt) abstDomain: A19759 (C-0-T78-A19759-cpt) specDomain: S21634 (C-0-T78-A19759-S21634-cpt) abstDomain: A10219 (C-0-T78-A10219-cpt) vocSet: T14079 (C-0-T14079-cpt) abstDomain: A19378 (C-0-T14079-A19378-cpt) specDomain: S19992 (C-0-T14079-A19378-S19992-cpt) specDomain: S21445 (C-0-T14079-S21445-cpt) specDomain: S21449 (C-0-T14079-S21449-cpt) specDomain: S21454 (C-0-T14079-S21454-cpt) abstDomain: A19380 (C-0-T14079-A19380-cpt) vocSet: T16614 (C-0-T16614-cpt) abstDomain: A19696 (C-0-T16614-A19696-cpt) abstDomain: A19332 (C-0-T16614-A19332-cpt) abstDomain: A19333 (C-0-T16614-A19332-A19333-cpt) abstDomain: A19337 (C-0-T16614-A19332-A19333-A19337-cpt) abstDomain: A19341 (C-0-T16614-A19332-A19333-A19341-cpt) abstDomain: A19340 (C-0-T16614-A19332-A19333-A19340-cpt) abstDomain: A19339 (C-0-T16614-A19332-A19333-A19339-cpt) abstDomain: A19338 (C-0-T16614-A19332-A19333-A19338-cpt) abstDomain: A19436 (C-0-T16614-A19436-cpt) abstDomain: A19437 (C-0-T16614-A19437-cpt) abstDomain: A19729 (C-0-T16614-A19729-cpt) abstDomain: A16615 (C-0-T16614-A19729-A16615-cpt) abstDomain: A19730 (C-0-T16614-A19729-A19730-cpt) abstDomain: A19625 (C-0-T16614-A19625-cpt) abstDomain: A19626 (C-0-T16614-A19625-A19626-cpt) abstDomain: A19633 (C-0-T16614-A19625-A19633-cpt) abstDomain: A19634 (C-0-T16614-A19625-A19634-cpt) abstDomain: A19632 (C-0-T16614-A19625-A19632-cpt) abstDomain: A19629 (C-0-T16614-A19625-A19629-cpt) abstDomain: A19628 (C-0-T16614-A19625-A19628-cpt) abstDomain: A19635 (C-0-T16614-A19625-A19635-cpt) abstDomain: A19627 (C-0-T16614-A19625-A19627-cpt) abstDomain: A19631 (C-0-T16614-A19625-A19631-cpt) abstDomain: A19630 (C-0-T16614-A19625-A19630-cpt) abstDomain: A19390 (C-0-T16614-A19390-cpt) abstDomain: A19697 (C-0-T16614-A19697-cpt) abstDomain: A19716 (C-0-T16614-A19716-cpt) abstDomain: A18120 (C-0-T16614-A18120-cpt) abstDomain: A16643 (C-0-T16614-A16643-cpt) vocSet: T19298 (C-0-T19298-cpt) vocSet: T204 (C-0-T204-cpt) vocSet: D49 (C-0-D49-cpt) vocSet: E16 (C-0-E16-cpt) vocSet: T10759 (C-0-T10759-cpt) specDomain: S10763 (C-0-T10759-S10763-cpt) specDomain: S10762 (C-0-T10759-S10762-cpt) specDomain: S10761 (C-0-T10759-S10761-cpt) specDomain: S10766 (C-0-T10759-S10761-S10766-cpt) specDomain: S10764 (C-0-T10759-S10761-S10764-cpt) specDomain: S10765 (C-0-T10759-S10761-S10765-cpt) specDomain: S10760 (C-0-T10759-S10760-cpt) specDomain: S10767 (C-0-T10759-S10760-S10767-cpt) specDomain: S10768 (C-0-T10759-S10760-S10768-cpt) specDomain: S10771 (C-0-T10759-S10760-S10771-cpt) specDomain: S10772 (C-0-T10759-S10760-S10772-cpt) specDomain: S10769 (C-0-T10759-S10760-S10769-cpt) specDomain: S10770 (C-0-T10759-S10760-S10770-cpt) vocSet: T10267 (C-0-T10267-cpt) vocSet: T16543 (C-0-T16543-cpt) specDomain: S16554 (C-0-T16543-S16554-cpt) specDomain: S16544 (C-0-T16543-S16544-cpt) specDomain: S16549 (C-0-T16543-S16549-cpt) abstDomain: A19739 (C-0-T16543-A19739-cpt) vocSet: T10282 (C-0-T10282-cpt) vocSet: T10901 (C-0-T10901-cpt) specDomain: S21573 (C-0-T10901-S21573-cpt) abstDomain: A10247 (C-0-T10901-S21573-A10247-cpt) specDomain: S19032 (C-0-T10901-S21573-S19032-cpt) abstDomain: A10251 (C-0-T10901-S21573-A10251-cpt) specDomain: S21463 (C-0-T10901-S21573-A10251-S21463-cpt) specDomain: S10263 (C-0-T10901-S21573-S10263-cpt) specDomain: S10248 (C-0-T10901-S21573-S10248-cpt) specDomain: S10286 (C-0-T10901-S21573-S10286-cpt) specDomain: S10298 (C-0-T10901-S21573-S10286-S10298-cpt) specDomain: S10287 (C-0-T10901-S21573-S10286-S10287-cpt) specDomain: S10302 (C-0-T10901-S21573-S10302-cpt) specDomain: S10259 (C-0-T10901-S21573-S10259-cpt) abstDomain: A19600 (C-0-T10901-S21573-A19600-cpt) abstDomain: A16764 (C-0-T10901-S21573-A16764-cpt) abstDomain: A19366 (C-0-T10901-S21573-A19366-cpt) abstDomain: A19080 (C-0-T10901-S21573-A19080-cpt) abstDomain: A19588 (C-0-T10901-S21573-A19588-cpt) abstDomain: A19589 (C-0-T10901-S21573-A19589-cpt) abstDomain: A19083 (C-0-T10901-S21573-A19083-cpt) abstDomain: A19601 (C-0-T10901-S21573-A19601-cpt) vocSet: T19265 (C-0-T19265-cpt) vocSet: T14908 (C-0-T14908-cpt) vocSet: I15 (C-0-I15-cpt) vocSet: T295 (C-0-T295-cpt) specDomain: S10186 (C-0-T295-S10186-cpt) vocSet: T10637 (C-0-T10637-cpt) abstDomain: A17860 (C-0-T10637-A17860-cpt) vocSet: T10747 (C-0-T10747-cpt) vocSet: T16541 (C-0-T16541-cpt) vocSet: T103 (C-0-T103-cpt) vocSet: T207 (C-0-T207-cpt) vocSet: T19465 (C-0-T19465-cpt) specDomain: S20669 (C-0-T19465-S20669-cpt) specDomain: S20096 (C-0-T19465-S20096-cpt) specDomain: S20097 (C-0-T19465-S20096-S20097-cpt) specDomain: S20100 (C-0-T19465-S20096-S20100-cpt) specDomain: S20106 (C-0-T19465-S20096-S20106-cpt) specDomain: S20112 (C-0-T19465-S20096-S20112-cpt) specDomain: S20118 (C-0-T19465-S20096-S20118-cpt) specDomain: S20126 (C-0-T19465-S20096-S20126-cpt) specDomain: S20149 (C-0-T19465-S20096-S20149-cpt) specDomain: S20159 (C-0-T19465-S20096-S20159-cpt) specDomain: S20163 (C-0-T19465-S20096-S20163-cpt) specDomain: S20172 (C-0-T19465-S20096-S20172-cpt) specDomain: S20179 (C-0-T19465-S20096-S20179-cpt) specDomain: S20186 (C-0-T19465-S20096-S20186-cpt) specDomain: S20189 (C-0-T19465-S20096-S20189-cpt) specDomain: S20204 (C-0-T19465-S20096-S20204-cpt) specDomain: S20223 (C-0-T19465-S20096-S20223-cpt) specDomain: S20228 (C-0-T19465-S20096-S20228-cpt) specDomain: S20231 (C-0-T19465-S20096-S20231-cpt) specDomain: S20239 (C-0-T19465-S20096-S20239-cpt) specDomain: S20253 (C-0-T19465-S20096-S20253-cpt) specDomain: S20264 (C-0-T19465-S20096-S20264-cpt) specDomain: S20678 (C-0-T19465-S20678-cpt) specDomain: S20679 (C-0-T19465-S20678-S20679-cpt) specDomain: S20275 (C-0-T19465-S20275-cpt) specDomain: S20276 (C-0-T19465-S20275-S20276-cpt) specDomain: S20283 (C-0-T19465-S20275-S20283-cpt) specDomain: S20285 (C-0-T19465-S20275-S20285-cpt) specDomain: S20305 (C-0-T19465-S20275-S20305-cpt) specDomain: S20308 (C-0-T19465-S20308-cpt) specDomain: S20309 (C-0-T19465-S20308-S20309-cpt) specDomain: S20318 (C-0-T19465-S20318-cpt) specDomain: S20322 (C-0-T19465-S20318-S20322-cpt) specDomain: S20334 (C-0-T19465-S20334-cpt) specDomain: S20337 (C-0-T19465-S20334-S20337-cpt) specDomain: S20341 (C-0-T19465-S20334-S20341-cpt) specDomain: S20343 (C-0-T19465-S20343-cpt) specDomain: S20348 (C-0-T19465-S20348-cpt) specDomain: S20349 (C-0-T19465-S20348-S20349-cpt) specDomain: S20356 (C-0-T19465-S20348-S20356-cpt) specDomain: S20800 (C-0-T19465-S20800-cpt) specDomain: S20728 (C-0-T19465-S20728-cpt) specDomain: S20733 (C-0-T19465-S20733-cpt) specDomain: S20735 (C-0-T19465-S20733-S20735-cpt) specDomain: S20737 (C-0-T19465-S20733-S20737-cpt) specDomain: S20741 (C-0-T19465-S20733-S20741-cpt) specDomain: S20746 (C-0-T19465-S20733-S20746-cpt) specDomain: S20749 (C-0-T19465-S20749-cpt) specDomain: S20753 (C-0-T19465-S20753-cpt) specDomain: S20366 (C-0-T19465-S20366-cpt) specDomain: S20370 (C-0-T19465-S20366-S20370-cpt) specDomain: S20425 (C-0-T19465-S20425-cpt) specDomain: S20432 (C-0-T19465-S20425-S20432-cpt) specDomain: S20758 (C-0-T19465-S20758-cpt) specDomain: S20820 (C-0-T19465-S20758-S20820-cpt) specDomain: S20761 (C-0-T19465-S20758-S20761-cpt) specDomain: S20765 (C-0-T19465-S20758-S20765-cpt) specDomain: S20434 (C-0-T19465-S20434-cpt) specDomain: S20436 (C-0-T19465-S20434-S20436-cpt) specDomain: S20448 (C-0-T19465-S20434-S20448-cpt) specDomain: S20453 (C-0-T19465-S20434-S20448-S20453-cpt) specDomain: S20455 (C-0-T19465-S20455-cpt) specDomain: S20456 (C-0-T19465-S20455-S20456-cpt) specDomain: S20463 (C-0-T19465-S20463-cpt) specDomain: S20465 (C-0-T19465-S20463-S20465-cpt) specDomain: S20501 (C-0-T19465-S20463-S20501-cpt) specDomain: S20519 (C-0-T19465-S20463-S20501-S20519-cpt) specDomain: S20522 (C-0-T19465-S20522-cpt) specDomain: S20524 (C-0-T19465-S20522-S20524-cpt) specDomain: S20766 (C-0-T19465-S20766-cpt) specDomain: S20769 (C-0-T19465-S20766-S20769-cpt) specDomain: S20532 (C-0-T19465-S20532-cpt) specDomain: S20538 (C-0-T19465-S20532-S20538-cpt) specDomain: S20548 (C-0-T19465-S20532-S20548-cpt) specDomain: S20563 (C-0-T19465-S20532-S20563-cpt) specDomain: S20567 (C-0-T19465-S20532-S20567-cpt) specDomain: S20581 (C-0-T19465-S20532-S20581-cpt) specDomain: S20595 (C-0-T19465-S20532-S20595-cpt) specDomain: S20770 (C-0-T19465-S20770-cpt) specDomain: S20771 (C-0-T19465-S20770-S20771-cpt) specDomain: S20598 (C-0-T19465-S20598-cpt) specDomain: S20599 (C-0-T19465-S20598-S20599-cpt) specDomain: S20604 (C-0-T19465-S20598-S20604-cpt) specDomain: S20772 (C-0-T19465-S20772-cpt) specDomain: S20774 (C-0-T19465-S20772-S20774-cpt) specDomain: S20608 (C-0-T19465-S20608-cpt) specDomain: S20609 (C-0-T19465-S20608-S20609-cpt) specDomain: S20623 (C-0-T19465-S20608-S20623-cpt) specDomain: S20627 (C-0-T19465-S20608-S20627-cpt) specDomain: S20631 (C-0-T19465-S20608-S20631-cpt) specDomain: S20644 (C-0-T19465-S20608-S20644-cpt) specDomain: S20657 (C-0-T19465-S20608-S20657-cpt) specDomain: S20659 (C-0-T19465-S20608-S20659-cpt) specDomain: S20665 (C-0-T19465-S20608-S20665-cpt) specDomain: S20788 (C-0-T19465-S20788-cpt) specDomain: S20789 (C-0-T19465-S20788-S20789-cpt) vocSet: T19726 (C-0-T19726-cpt) abstDomain: A19727 (C-0-T19726-A19727-cpt) vocSet: T91 (C-0-T91-cpt) vocSet: T126 (C-0-T126-cpt) vocSet: D51 (C-0-D51-cpt) vocSet: T208 (C-0-T208-cpt) vocSet: T18899 (C-0-T18899-cpt) vocSet: E17 (C-0-E17-cpt) vocSet: E19 (C-0-E19-cpt) vocSet: E20 (C-0-E20-cpt) vocSet: T14914 (C-0-T14914-cpt) specDomain: S15743 (C-0-T14914-S15743-cpt) specDomain: S15768 (C-0-T14914-S15768-cpt) specDomain: S15771 (C-0-T14914-S15768-S15771-cpt) specDomain: S15787 (C-0-T14914-S15787-cpt) specDomain: S15808 (C-0-T14914-S15787-S15808-cpt) specDomain: S15794 (C-0-T14914-S15787-S15794-cpt) specDomain: S15788 (C-0-T14914-S15787-S15788-cpt) specDomain: S14915 (C-0-T14914-S14915-cpt) specDomain: S15470 (C-0-T14914-S14915-S15470-cpt) specDomain: S15471 (C-0-T14914-S14915-S15470-S15471-cpt) specDomain: S15472 (C-0-T14914-S14915-S15470-S15471-S15472-cpt) specDomain: S15543 (C-0-T14914-S14915-S15470-S15471-S15543-cpt) specDomain: S15544 (C-0-T14914-S14915-S15470-S15471-S15543-S15544-cpt) specDomain: S15567 (C-0-T14914-S14915-S15470-S15471-S15543-S15567-cpt) specDomain: S15690 (C-0-T14914-S14915-S15470-S15690-cpt) specDomain: S15691 (C-0-T14914-S14915-S15470-S15690-S15691-cpt) specDomain: S16466 (C-0-T14914-S14915-S15470-S15690-S16466-cpt) specDomain: S15705 (C-0-T14914-S14915-S15470-S15690-S15705-cpt) specDomain: S15711 (C-0-T14914-S14915-S15470-S15690-S15711-cpt) specDomain: S15722 (C-0-T14914-S14915-S15470-S15690-S15722-cpt) specDomain: S15569 (C-0-T14914-S14915-S15470-S15569-cpt) specDomain: S15571 (C-0-T14914-S14915-S15470-S15569-S15571-cpt) specDomain: S15617 (C-0-T14914-S14915-S15470-S15569-S15617-cpt) specDomain: S15621 (C-0-T14914-S14915-S15470-S15569-S15621-cpt) specDomain: S14916 (C-0-T14914-S14915-S14916-cpt) specDomain: S14972 (C-0-T14914-S14915-S14916-S14972-cpt) specDomain: S14919 (C-0-T14914-S14915-S14916-S14919-cpt) specDomain: S14929 (C-0-T14914-S14915-S14916-S14929-cpt) specDomain: S14935 (C-0-T14914-S14915-S14916-S14935-cpt) specDomain: S14941 (C-0-T14914-S14915-S14916-S14941-cpt) specDomain: S14943 (C-0-T14914-S14915-S14916-S14943-cpt) specDomain: S14951 (C-0-T14914-S14915-S14916-S14951-cpt) specDomain: S14975 (C-0-T14914-S14915-S14916-S14975-cpt) specDomain: S14979 (C-0-T14914-S14915-S14916-S14979-cpt) specDomain: S14991 (C-0-T14914-S14915-S14916-S14991-cpt) specDomain: S14995 (C-0-T14914-S14915-S14916-S14995-cpt) specDomain: S14999 (C-0-T14914-S14915-S14916-S14999-cpt) specDomain: S15007 (C-0-T14914-S14915-S14916-S15007-cpt) specDomain: S15033 (C-0-T14914-S14915-S14916-S15033-cpt) specDomain: S15036 (C-0-T14914-S14915-S14916-S15036-cpt) specDomain: S15042 (C-0-T14914-S14915-S14916-S15042-cpt) specDomain: S15049 (C-0-T14914-S14915-S14916-S15049-cpt) specDomain: S15055 (C-0-T14914-S14915-S14916-S15055-cpt) specDomain: S15059 (C-0-T14914-S14915-S14916-S15059-cpt) specDomain: S15074 (C-0-T14914-S14915-S14916-S15074-cpt) specDomain: S15076 (C-0-T14914-S14915-S14916-S15076-cpt) specDomain: S15083 (C-0-T14914-S14915-S14916-S15083-cpt) specDomain: S15093 (C-0-T14914-S14915-S14916-S15093-cpt) specDomain: S15116 (C-0-T14914-S14915-S14916-S15116-cpt) specDomain: S15120 (C-0-T14914-S14915-S14916-S15120-cpt) specDomain: S15126 (C-0-T14914-S14915-S14916-S15126-cpt) specDomain: S15129 (C-0-T14914-S14915-S14916-S15129-cpt) specDomain: S15144 (C-0-T14914-S14915-S14916-S15144-cpt) specDomain: S15147 (C-0-T14914-S14915-S14916-S15147-cpt) specDomain: S15149 (C-0-T14914-S14915-S14916-S15149-cpt) specDomain: S15157 (C-0-T14914-S14915-S14916-S15157-cpt) specDomain: S15162 (C-0-T14914-S14915-S14916-S15162-cpt) specDomain: S15172 (C-0-T14914-S14915-S14916-S15172-cpt) specDomain: S15180 (C-0-T14914-S14915-S14916-S15180-cpt) specDomain: S15185 (C-0-T14914-S14915-S14916-S15185-cpt) specDomain: S15194 (C-0-T14914-S14915-S14916-S15194-cpt) specDomain: S15200 (C-0-T14914-S14915-S14916-S15200-cpt) specDomain: S15215 (C-0-T14914-S14915-S14916-S15215-cpt) specDomain: S15219 (C-0-T14914-S14915-S14916-S15219-cpt) specDomain: S15242 (C-0-T14914-S14915-S14916-S15242-cpt) specDomain: S15245 (C-0-T14914-S14915-S14916-S15245-cpt) specDomain: S15248 (C-0-T14914-S14915-S14916-S15248-cpt) specDomain: S15250 (C-0-T14914-S14915-S14916-S15250-cpt) specDomain: S15252 (C-0-T14914-S14915-S14916-S15252-cpt) specDomain: S15257 (C-0-T14914-S14915-S14916-S15257-cpt) specDomain: S15266 (C-0-T14914-S14915-S14916-S15266-cpt) specDomain: S15269 (C-0-T14914-S14915-S14916-S15269-cpt) specDomain: S15278 (C-0-T14914-S14915-S14916-S15278-cpt) specDomain: S15306 (C-0-T14914-S14915-S14916-S15306-cpt) specDomain: S15333 (C-0-T14914-S14915-S14916-S15333-cpt) specDomain: S15342 (C-0-T14914-S14915-S14916-S15342-cpt) specDomain: S15348 (C-0-T14914-S14915-S14916-S15348-cpt) specDomain: S15351 (C-0-T14914-S14915-S14916-S15351-cpt) specDomain: S15356 (C-0-T14914-S14915-S14916-S15356-cpt) specDomain: S15371 (C-0-T14914-S14915-S14916-S15371-cpt) specDomain: S15376 (C-0-T14914-S14915-S14916-S15376-cpt) specDomain: S15414 (C-0-T14914-S14915-S14916-S15414-cpt) specDomain: S15423 (C-0-T14914-S14915-S14916-S15423-cpt) specDomain: S15425 (C-0-T14914-S14915-S14916-S15425-cpt) specDomain: S15431 (C-0-T14914-S14915-S14916-S15431-cpt) specDomain: S15436 (C-0-T14914-S14915-S14916-S15436-cpt) specDomain: S15442 (C-0-T14914-S14915-S14916-S15442-cpt) specDomain: S15460 (C-0-T14914-S14915-S14916-S15460-cpt) specDomain: S15468 (C-0-T14914-S14915-S14916-S15468-cpt) specDomain: S14965 (C-0-T14914-S14915-S14916-S14965-cpt) specDomain: S15447 (C-0-T14914-S14915-S14916-S15447-cpt) specDomain: S15451 (C-0-T14914-S14915-S14916-S15451-cpt) specDomain: S15455 (C-0-T14914-S14915-S14916-S15455-cpt) specDomain: S15814 (C-0-T14914-S15814-cpt) specDomain: S15834 (C-0-T14914-S15814-S15834-cpt) specDomain: S15815 (C-0-T14914-S15814-S15815-cpt) specDomain: S15824 (C-0-T14914-S15814-S15824-cpt) vocSet: D52 (C-0-D52-cpt) vocSet: D53 (C-0-D53-cpt) vocSet: T209 (C-0-T209-cpt) vocSet: T10365 (C-0-T10365-cpt) vocSet: T19185 (C-0-T19185-cpt) vocSet: T14761 (C-0-T14761-cpt) vocSet: T394 (C-0-T394-cpt) vocSet: T19650 (C-0-T19650-cpt) vocSet: T11555 (C-0-T11555-cpt) specDomain: S13940 (C-0-T11555-S13940-cpt) abstDomain: A19313 (C-0-T11555-S13940-A19313-cpt) abstDomain: A19316 (C-0-T11555-S13940-A19313-A19316-cpt) abstDomain: A10416 (C-0-T11555-S13940-A19313-A19316-A10416-cpt) specDomain: S14006 (C-0-T11555-S13940-A19313-A19316-A10416-S14006-cpt) specDomain: S11595 (C-0-T11555-S13940-A19313-A19316-A10416-S14006-S11595-cpt) specDomain: S12205 (C-0-T11555-S13940-A19313-A19316-A10416-S14006-S11595-S12205-cpt) specDomain: S11569 (C-0-T11555-S13940-A19313-A19316-A10416-S11569-cpt) specDomain: S21464 (C-0-T11555-S13940-A19313-A19316-A10416-S21464-cpt) abstDomain: A19105 (C-0-T11555-S13940-A19313-A19105-cpt) specDomain: S10418 (C-0-T11555-S13940-A19313-A19105-S10418-cpt) specDomain: S11580 (C-0-T11555-S13940-A19313-A19105-S11580-cpt) specDomain: S16927 (C-0-T11555-S13940-A19313-A19105-S16927-cpt) abstDomain: A10428 (C-0-T11555-S13940-A10428-cpt) specDomain: S10441 (C-0-T11555-S13940-A10428-S10441-cpt) abstDomain: A10429 (C-0-T11555-S13940-A10429-cpt) specDomain: S10430 (C-0-T11555-S13940-A10429-S10430-cpt) specDomain: S19089 (C-0-T11555-S13940-A10429-S10430-S19089-cpt) specDomain: S16815 (C-0-T11555-S13940-A10429-S16815-cpt) specDomain: S11591 (C-0-T11555-S13940-A10429-S11591-cpt) abstDomain: A19352 (C-0-T11555-S13940-A19352-cpt) abstDomain: A19367 (C-0-T11555-S13940-A19367-cpt) abstDomain: A19368 (C-0-T11555-S13940-A19368-cpt) abstDomain: A16772 (C-0-T11555-S13940-A16772-cpt) abstDomain: A19382 (C-0-T11555-S13940-A19382-cpt) abstDomain: A14008 (C-0-T11555-S13940-A14008-cpt) abstDomain: A14013 (C-0-T11555-S13940-A14013-cpt) abstDomain: A16930 (C-0-T11555-S13940-A16930-cpt) specDomain: S16773 (C-0-T11555-S13940-A16930-S16773-cpt) abstDomain: A19395 (C-0-T11555-S13940-A19395-cpt) vocSet: T12206 (C-0-T12206-cpt) abstDomain: A19678 (C-0-T12206-A19678-cpt) abstDomain: A19690 (C-0-T12206-A19690-cpt) abstDomain: A19679 (C-0-T12206-A19679-cpt) abstDomain: A19748 (C-0-T12206-A19679-A19748-cpt) abstDomain: A16501 (C-0-T12206-A16501-cpt) abstDomain: A19680 (C-0-T12206-A19680-cpt) abstDomain: A15920 (C-0-T12206-A15920-cpt) abstDomain: A17622 (C-0-T12206-A15920-A17622-cpt) abstDomain: A18877 (C-0-T12206-A18877-cpt) specDomain: S21318 (C-0-T12206-A18877-S21318-cpt) abstDomain: A19637 (C-0-T12206-A19637-cpt) abstDomain: A19681 (C-0-T12206-A19681-cpt) abstDomain: A19682 (C-0-T12206-A19682-cpt) abstDomain: A19683 (C-0-T12206-A19683-cpt) abstDomain: A16368 (C-0-T12206-A16368-cpt) abstDomain: A19720 (C-0-T12206-A19720-cpt) abstDomain: A15925 (C-0-T12206-A15925-cpt) abstDomain: A19263 (C-0-T12206-A19263-cpt) abstDomain: A19684 (C-0-T12206-A19684-cpt) abstDomain: A19563 (C-0-T12206-A19563-cpt) specDomain: S16360 (C-0-T12206-A19563-S17926-S16360-cpt) specDomain: S11564 (C-0-T12206-A19563-S17926-S16360-S11564-cpt) specDomain: S11563 (C-0-T12206-A19563-S17926-S16360-S11563-cpt) specDomain: S11565 (C-0-T12206-A19563-S17926-S16360-S11565-cpt) specDomain: S17930 (C-0-T12206-A19563-S17926-S16360-S17930-cpt) specDomain: S11562 (C-0-T12206-A19563-S17926-S16360-S11562-cpt) specDomain: S19742 (C-0-T12206-A19563-S17926-S19742-cpt) specDomain: S19745 (C-0-T12206-A19563-S17926-S19745-cpt) specDomain: S16349 (C-0-T12206-A19563-S17926-S16349-cpt) specDomain: S19739 (C-0-T12206-A19563-S17926-S19739-cpt) specDomain: S19750 (C-0-T12206-A19563-S17926-S19750-cpt) specDomain: S16346 (C-0-T12206-A19563-S17926-S16346-cpt) specDomain: S19765 (C-0-T12206-A19563-S17926-S16346-S19764-S19765-cpt) specDomain: S19770 (C-0-T12206-A19563-S17926-S16346-S19770-cpt) specDomain: S19767 (C-0-T12206-A19563-S17926-S16346-S19767-cpt) specDomain: S11567 (C-0-T12206-A19563-S17926-S11567-cpt) specDomain: S19776 (C-0-T12206-A19563-S17926-S11567-S19776-cpt) specDomain: S19773 (C-0-T12206-A19563-S17926-S11567-S19773-cpt) specDomain: S19782 (C-0-T12206-A19563-S17926-S11567-S19782-cpt) specDomain: S19779 (C-0-T12206-A19563-S17926-S11567-S19779-cpt) specDomain: S19755 (C-0-T12206-A19563-S17926-S19755-cpt) specDomain: S19742 (C-0-T12206-A19563-S17926-S19755-S19742-cpt) abstDomain: A19685 (C-0-T12206-A19685-cpt) abstDomain: A19417 (C-0-T12206-A19417-cpt) abstDomain: A17660 (C-0-T12206-A17660-cpt) abstDomain: A19450 (C-0-T12206-A17660-A19450-cpt) abstDomain: A10588 (C-0-T12206-A17660-A19450-A10588-cpt) specDomain: S10902 (C-0-T12206-A17660-A19450-A10588-S10902-cpt) specDomain: S10903 (C-0-T12206-A17660-A19450-A10588-S10902-S10903-cpt) specDomain: S10906 (C-0-T12206-A17660-A19450-A10588-S10902-S10906-cpt) specDomain: S10908 (C-0-T12206-A17660-A19450-A10588-S10902-S10908-cpt) specDomain: S10602 (C-0-T12206-A17660-A19450-A10588-S10602-cpt) specDomain: S13792 (C-0-T12206-A17660-A19450-A10588-S10602-S13792-cpt) specDomain: S13798 (C-0-T12206-A17660-A19450-A10588-S10602-S10603-S13798-cpt) specDomain: S13799 (C-0-T12206-A17660-A19450-A10588-S10602-S13799-cpt) specDomain: S10604 (C-0-T12206-A17660-A19450-A10588-S10602-S10604-cpt) specDomain: S10596 (C-0-T12206-A17660-A19450-A10588-S10596-cpt) specDomain: S10598 (C-0-T12206-A17660-A19450-A10588-S10596-S10598-cpt) specDomain: S10599 (C-0-T12206-A17660-A19450-A10588-S10596-S10599-cpt) specDomain: S10920 (C-0-T12206-A17660-A19450-A10588-S10596-S10920-cpt) specDomain: S10916 (C-0-T12206-A17660-A19450-A10588-S10596-S10920-S10916-cpt) specDomain: S10605 (C-0-T12206-A17660-A19450-A10588-S10605-cpt) specDomain: S10589 (C-0-T12206-A17660-A19450-A10588-S10589-cpt) specDomain: S10590 (C-0-T12206-A17660-A19450-A10588-S10589-S10590-cpt) specDomain: S10931 (C-0-T12206-A17660-A19450-A10588-S10589-S10931-cpt) specDomain: S10934 (C-0-T12206-A17660-A19450-A10588-S10589-S10934-cpt) specDomain: S10936 (C-0-T12206-A17660-A19450-A10588-S10589-S10936-cpt) specDomain: S10939 (C-0-T12206-A17660-A19450-A10588-S10589-S10939-cpt) specDomain: S10947 (C-0-T12206-A17660-A19450-A10588-S10589-S10947-cpt) specDomain: S10943 (C-0-T12206-A17660-A19450-A10588-S10589-S10943-cpt) specDomain: S10949 (C-0-T12206-A17660-A19450-A10588-S10589-S10949-cpt) specDomain: S10953 (C-0-T12206-A17660-A19450-A10588-S10589-S10953-cpt) specDomain: S10593 (C-0-T12206-A17660-A19450-A10588-S10589-S10593-cpt) specDomain: S10968 (C-0-T12206-A17660-A19450-A10588-S10589-S10968-cpt) specDomain: S10607 (C-0-T12206-A17660-A19450-A10588-S10607-cpt) abstDomain: A19452 (C-0-T12206-A17660-A19450-A19452-cpt) specDomain: S18100 (C-0-T12206-A17660-A19450-A19452-S18100-cpt) abstDomain: A19451 (C-0-T12206-A17660-A19451-cpt) abstDomain: A16515 (C-0-T12206-A16515-cpt) specDomain: S16521 (C-0-T12206-A16515-S16521-cpt) abstDomain: A19381 (C-0-T12206-A19381-cpt) abstDomain: A18105 (C-0-T12206-A18105-cpt) vocSet: T11603 (C-0-T11603-cpt) specDomain: S21429 (C-0-T11603-S21429-cpt) vocSet: T15999 (C-0-T15999-cpt) specDomain: S16000 (C-0-T15999-S16000-cpt) vocSet: T14581 (C-0-T14581-cpt) abstDomain: A16931 (C-0-T14581-A16931-cpt) abstDomain: A14582 (C-0-T14581-A16931-A14582-cpt) abstDomain: A14584 (C-0-T14581-A16931-A14584-cpt) abstDomain: A14586 (C-0-T14581-A16931-A14586-cpt) abstDomain: A14589 (C-0-T14581-A16931-A14589-cpt) abstDomain: A17019 (C-0-T14581-A16931-A17019-cpt) abstDomain: A14591 (C-0-T14581-A16931-A14591-cpt) abstDomain: A14594 (C-0-T14581-A16931-A14594-cpt) abstDomain: A14598 (C-0-T14581-A16931-A14598-cpt) abstDomain: A16935 (C-0-T14581-A16931-A16935-cpt) abstDomain: A14602 (C-0-T14581-A16931-A14602-cpt) specDomain: S14609 (C-0-T14581-A16931-A14602-S14609-cpt) abstDomain: A14615 (C-0-T14581-A16931-A14615-cpt) specDomain: S14619 (C-0-T14581-A16931-A14615-S14619-cpt) abstDomain: A14628 (C-0-T14581-A16931-A14628-cpt) abstDomain: A14687 (C-0-T14581-A16931-A14687-cpt) abstDomain: A14696 (C-0-T14581-A16931-A14696-cpt) abstDomain: A16990 (C-0-T14581-A16931-A16990-cpt) abstDomain: A14721 (C-0-T14581-A16931-A14721-cpt) abstDomain: A16995 (C-0-T14581-A16931-A16995-cpt) abstDomain: A16997 (C-0-T14581-A16931-A16997-cpt) abstDomain: A14728 (C-0-T14581-A16931-A14728-cpt) abstDomain: A14730 (C-0-T14581-A16931-A14730-cpt) abstDomain: A17003 (C-0-T14581-A16931-A17003-cpt) abstDomain: A14736 (C-0-T14581-A16931-A14736-cpt) abstDomain: A17006 (C-0-T14581-A16931-A17006-cpt) abstDomain: A14739 (C-0-T14581-A16931-A14739-cpt) abstDomain: A17021 (C-0-T14581-A17021-cpt) abstDomain: A17022 (C-0-T14581-A17021-A17022-cpt) abstDomain: A17024 (C-0-T14581-A17021-A17024-cpt) abstDomain: A17027 (C-0-T14581-A17021-A17027-cpt) abstDomain: A17034 (C-0-T14581-A17021-A17034-cpt) abstDomain: A17036 (C-0-T14581-A17021-A17036-cpt) abstDomain: A17038 (C-0-T14581-A17021-A17038-cpt) abstDomain: A17042 (C-0-T14581-A17021-A17042-cpt) abstDomain: A17045 (C-0-T14581-A17021-A17045-cpt) abstDomain: A17048 (C-0-T14581-A17021-A17048-cpt) abstDomain: A17051 (C-0-T14581-A17021-A17051-cpt) abstDomain: A17059 (C-0-T14581-A17021-A17059-cpt) abstDomain: A17056 (C-0-T14581-A17021-A17056-cpt) abstDomain: A17061 (C-0-T14581-A17021-A17061-cpt) abstDomain: A17066 (C-0-T14581-A17021-A17066-cpt) abstDomain: A17068 (C-0-T14581-A17021-A17068-cpt) abstDomain: A17071 (C-0-T14581-A17021-A17071-cpt) abstDomain: A17074 (C-0-T14581-A17021-A17074-cpt) abstDomain: A17076 (C-0-T14581-A17021-A17076-cpt) abstDomain: A17078 (C-0-T14581-A17021-A17078-cpt) abstDomain: A17080 (C-0-T14581-A17021-A17080-cpt) specDomain: S14639 (C-0-T14581-A17021-A17080-S14639-cpt) abstDomain: A17085 (C-0-T14581-A17021-A17085-cpt) abstDomain: A17087 (C-0-T14581-A17021-A17087-cpt) abstDomain: A17089 (C-0-T14581-A17021-A17089-cpt) abstDomain: A17091 (C-0-T14581-A17021-A17091-cpt) specDomain: S14644 (C-0-T14581-A17021-A17091-S14644-cpt) abstDomain: A17097 (C-0-T14581-A17021-A17097-cpt) abstDomain: A17099 (C-0-T14581-A17021-A17099-cpt) abstDomain: A17101 (C-0-T14581-A17021-A17101-cpt) abstDomain: A17103 (C-0-T14581-A17021-A17103-cpt) abstDomain: A17105 (C-0-T14581-A17021-A17105-cpt) abstDomain: A17107 (C-0-T14581-A17021-A17107-cpt) abstDomain: A17109 (C-0-T14581-A17021-A17109-cpt) abstDomain: A17111 (C-0-T14581-A17021-A17111-cpt) abstDomain: A17113 (C-0-T14581-A17021-A17113-cpt) abstDomain: A17115 (C-0-T14581-A17021-A17115-cpt) specDomain: S14650 (C-0-T14581-A17021-A17115-S14650-cpt) abstDomain: A17119 (C-0-T14581-A17021-A17119-cpt) abstDomain: A17123 (C-0-T14581-A17021-A17123-cpt) abstDomain: A17126 (C-0-T14581-A17021-A17126-cpt) abstDomain: A17128 (C-0-T14581-A17021-A17128-cpt) abstDomain: A17130 (C-0-T14581-A17021-A17130-cpt) abstDomain: A17133 (C-0-T14581-A17021-A17133-cpt) abstDomain: A17135 (C-0-T14581-A17021-A17135-cpt) abstDomain: A17137 (C-0-T14581-A17021-A17137-cpt) abstDomain: A17139 (C-0-T14581-A17021-A17139-cpt) abstDomain: A17142 (C-0-T14581-A17021-A17142-cpt) abstDomain: A17146 (C-0-T14581-A17021-A17146-cpt) abstDomain: A17149 (C-0-T14581-A17021-A17149-cpt) abstDomain: A17153 (C-0-T14581-A17021-A17153-cpt) abstDomain: A17156 (C-0-T14581-A17021-A17156-cpt) abstDomain: A17158 (C-0-T14581-A17021-A17158-cpt) abstDomain: A17160 (C-0-T14581-A17021-A17160-cpt) specDomain: S14657 (C-0-T14581-A17021-A17160-S14657-cpt) abstDomain: A17164 (C-0-T14581-A17021-A17164-cpt) abstDomain: A17170 (C-0-T14581-A17021-A17170-cpt) abstDomain: A17173 (C-0-T14581-A17021-A17173-cpt) abstDomain: A17175 (C-0-T14581-A17021-A17175-cpt) abstDomain: A17177 (C-0-T14581-A17021-A17177-cpt) abstDomain: A17182 (C-0-T14581-A17021-A17182-cpt) abstDomain: A17185 (C-0-T14581-A17021-A17185-cpt) abstDomain: A17187 (C-0-T14581-A17021-A17187-cpt) abstDomain: A17190 (C-0-T14581-A17021-A17190-cpt) abstDomain: A17192 (C-0-T14581-A17021-A17192-cpt) abstDomain: A17194 (C-0-T14581-A17021-A17194-cpt) abstDomain: A17196 (C-0-T14581-A17021-A17196-cpt) abstDomain: A17121 (C-0-T14581-A17021-A17121-cpt) abstDomain: A17198 (C-0-T14581-A17021-A17198-cpt) abstDomain: A17200 (C-0-T14581-A17021-A17200-cpt) abstDomain: A17203 (C-0-T14581-A17021-A17203-cpt) abstDomain: A17205 (C-0-T14581-A17021-A17205-cpt) abstDomain: A17208 (C-0-T14581-A17021-A17208-cpt) abstDomain: A17210 (C-0-T14581-A17021-A17210-cpt) abstDomain: A17212 (C-0-T14581-A17021-A17212-cpt) abstDomain: A17214 (C-0-T14581-A17021-A17214-cpt) abstDomain: A17219 (C-0-T14581-A17021-A17219-cpt) abstDomain: A17224 (C-0-T14581-A17021-A17224-cpt) specDomain: S14670 (C-0-T14581-A17021-A17224-S14670-cpt) abstDomain: A17235 (C-0-T14581-A17021-A17235-cpt) abstDomain: A17237 (C-0-T14581-A17021-A17237-cpt) abstDomain: A17239 (C-0-T14581-A17021-A17239-cpt) abstDomain: A17241 (C-0-T14581-A17021-A17241-cpt) abstDomain: A17245 (C-0-T14581-A17021-A17245-cpt) abstDomain: A17247 (C-0-T14581-A17021-A17247-cpt) abstDomain: A17250 (C-0-T14581-A17021-A17250-cpt) abstDomain: A17252 (C-0-T14581-A17021-A17252-cpt) abstDomain: A17254 (C-0-T14581-A17021-A17254-cpt) abstDomain: A17256 (C-0-T14581-A17021-A17256-cpt) specDomain: S14617 (C-0-T14581-A17021-A17256-S14617-cpt) abstDomain: A17264 (C-0-T14581-A17021-A17264-cpt) abstDomain: A17266 (C-0-T14581-A17021-A17266-cpt) abstDomain: A17276 (C-0-T14581-A17021-A17276-cpt) abstDomain: A17282 (C-0-T14581-A17021-A17282-cpt) abstDomain: A17284 (C-0-T14581-A17021-A17284-cpt) abstDomain: A17286 (C-0-T14581-A17021-A17286-cpt) abstDomain: A17289 (C-0-T14581-A17021-A17289-cpt) abstDomain: A17291 (C-0-T14581-A17021-A17291-cpt) abstDomain: A17293 (C-0-T14581-A17021-A17293-cpt) abstDomain: A17298 (C-0-T14581-A17021-A17298-cpt) abstDomain: A17300 (C-0-T14581-A17021-A17300-cpt) abstDomain: A17302 (C-0-T14581-A17021-A17302-cpt) abstDomain: A17295 (C-0-T14581-A17021-A17295-cpt) abstDomain: A17304 (C-0-T14581-A17021-A17304-cpt) abstDomain: A17311 (C-0-T14581-A17021-A17311-cpt) specDomain: S14715 (C-0-T14581-A17021-A17311-S14715-cpt) abstDomain: A17319 (C-0-T14581-A17021-A17319-cpt) specDomain: S14622 (C-0-T14581-A17021-A17319-S14622-cpt) abstDomain: A17321 (C-0-T14581-A17021-A17321-cpt) abstDomain: A17323 (C-0-T14581-A17021-A17323-cpt) abstDomain: A17325 (C-0-T14581-A17021-A17325-cpt) abstDomain: A17328 (C-0-T14581-A17021-A17328-cpt) abstDomain: A17331 (C-0-T14581-A17021-A17331-cpt) abstDomain: A17334 (C-0-T14581-A17021-A17334-cpt) abstDomain: A17336 (C-0-T14581-A17021-A17336-cpt) abstDomain: A17339 (C-0-T14581-A17021-A17339-cpt) abstDomain: A17345 (C-0-T14581-A17021-A17345-cpt) abstDomain: A17347 (C-0-T14581-A17021-A17347-cpt) abstDomain: A17349 (C-0-T14581-A17021-A17349-cpt) abstDomain: A17352 (C-0-T14581-A17021-A17352-cpt) abstDomain: A17356 (C-0-T14581-A17021-A17356-cpt) abstDomain: A17357 (C-0-T14581-A17021-A17357-cpt) abstDomain: A17359 (C-0-T14581-A17021-A17359-cpt) abstDomain: A17361 (C-0-T14581-A17021-A17361-cpt) abstDomain: A17363 (C-0-T14581-A17021-A17363-cpt) abstDomain: A17366 (C-0-T14581-A17021-A17366-cpt) abstDomain: A17368 (C-0-T14581-A17021-A17368-cpt) abstDomain: A17373 (C-0-T14581-A17021-A17373-cpt) specDomain: S14725 (C-0-T14581-A17021-A17373-S14725-cpt) abstDomain: A17378 (C-0-T14581-A17021-A17378-cpt) abstDomain: A17380 (C-0-T14581-A17021-A17380-cpt) abstDomain: A17384 (C-0-T14581-A17021-A17384-cpt) vocSet: D56 (C-0-D56-cpt) vocSet: T390 (C-0-T390-cpt) vocSet: T17416 (C-0-T17416-cpt) vocSet: D54 (C-0-D54-cpt) vocSet: D55 (C-0-D55-cpt) vocSet: T19602 (C-0-T19602-cpt) abstDomain: A19603 (C-0-T19602-A19603-cpt) abstDomain: A19605 (C-0-T19602-A19605-cpt) abstDomain: A19606 (C-0-T19602-A19605-A19606-cpt) abstDomain: A19607 (C-0-T19602-A19605-A19607-cpt) abstDomain: A19604 (C-0-T19602-A19604-cpt) vocSet: T17719 (C-0-T17719-cpt) abstDomain: A17720 (C-0-T17719-A17720-cpt) abstDomain: A19740 (C-0-T17719-A19740-cpt) vocSet: T10981 (C-0-T10981-cpt) vocSet: T11012 (C-0-T11012-cpt) vocSet: T10987 (C-0-T10987-cpt) vocSet: T10992 (C-0-T10992-cpt) vocSet: T11002 (C-0-T11002-cpt) vocSet: T10310 (C-0-T10310-cpt) vocSet: T201 (C-0-T201-cpt) abstDomain: A190 (C-0-T201-A190-cpt) specDomain: S10628 (C-0-T201-A190-S10628-cpt) specDomain: S10631 (C-0-T201-A190-S10631-cpt) vocSet: T10706 (C-0-T10706-cpt) vocSet: T11631 (C-0-T11631-cpt) abstDomain: A11969 (C-0-T11631-A11969-cpt) abstDomain: A12548 (C-0-T11631-A12548-cpt) vocSet: T14866 (C-0-T14866-cpt) abstDomain: A19741 (C-0-T14866-A19741-cpt) abstDomain: A19742 (C-0-T14866-A19742-cpt) vocSet: T12549 (C-0-T12549-cpt) abstDomain: A12550 (C-0-T12549-A12550-cpt) abstDomain: A12558 (C-0-T12549-A12558-cpt) abstDomain: A12814 (C-0-T12549-A12814-cpt) vocSet: T12839 (C-0-T12839-cpt) abstDomain: A12840 (C-0-T12839-A12840-cpt) abstDomain: A12848 (C-0-T12839-A12848-cpt) abstDomain: A13104 (C-0-T12839-A13104-cpt) vocSet: T227 (C-0-T227-cpt) vocSet: T228 (C-0-T228-cpt) vocSet: T11037 (C-0-T11037-cpt) vocSet: T19362 (C-0-T19362-cpt) vocSet: T19360-1 (C-0-T19360-1-cpt) vocSet: D57 (C-0-D57-cpt) vocSet: T11046 (C-0-T11046-cpt) abstDomain: A11047 (C-0-T11046-A11047-cpt) abstDomain: A11050 (C-0-T11046-A11050-cpt)