{
  "blocks": [
    {
      "block_id": "r012:unit:ch_intro",
      "concept_count": 61,
      "concept_ids": [
        "r012:concept:adjacency",
        "r012:concept:algorithm",
        "r012:concept:algorithms-optimization",
        "r012:concept:applied-combinatorics",
        "r012:concept:bead",
        "r012:concept:bipartite-matching",
        "r012:concept:clique",
        "r012:concept:collatz-sequence",
        "r012:concept:combination",
        "r012:concept:combinatorics",
        "r012:concept:computer-algebra-system",
        "r012:concept:connected-component",
        "r012:concept:counting",
        "r012:concept:covering",
        "r012:concept:cycle",
        "r012:concept:digraph",
        "r012:concept:disconnected-graph",
        "r012:concept:discrete-structures",
        "r012:concept:distribution",
        "r012:concept:distribution-cell",
        "r012:concept:edge",
        "r012:concept:edge-crossing",
        "r012:concept:enumeration",
        "r012:concept:eulerian-tour",
        "r012:concept:generating-function",
        "r012:concept:geometry",
        "r012:concept:graph",
        "r012:concept:graph-coloring",
        "r012:concept:graph-connectivity",
        "r012:concept:inclusion-exclusion",
        "r012:concept:independent-set",
        "r012:concept:integer-partition",
        "r012:concept:least-common-multiple",
        "r012:concept:line-arrangement",
        "r012:concept:minimum-spanning-tree",
        "r012:concept:necklace",
        "r012:concept:network-flow",
        "r012:concept:nonincreasing-sequence",
        "r012:concept:number-theory",
        "r012:concept:optimization",
        "r012:concept:pairwise-disjoint",
        "r012:concept:partition",
        "r012:concept:path",
        "r012:concept:permutation",
        "r012:concept:polya-counting",
        "r012:concept:poset",
        "r012:concept:positive-integer",
        "r012:concept:prime-factorization",
        "r012:concept:ramsey-property",
        "r012:concept:recurrence-relation",
        "r012:concept:sequence",
        "r012:concept:set-partition",
        "r012:concept:shortest-path",
        "r012:concept:spanning-tree",
        "r012:concept:string",
        "r012:concept:sudoku",
        "r012:concept:symmetry-equivalence",
        "r012:concept:traveling-salesperson-tour",
        "r012:concept:triangle",
        "r012:concept:vertex",
        "r012:concept:weighted-graph"
      ],
      "exercise_count": 0,
      "exercise_ids": [],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 1,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_intro.html",
      "source_local_id": "ch_intro",
      "source_path": "source/ch_intro.ptx",
      "source_title": "An Introduction to Combinatorics",
      "title_id": "Pengantar Kombinatorika",
      "unit_count": 32,
      "unit_ids": [
        "r012:unit:ch_intro",
        "r012:unit:auto:654d93d9c4c2cfba9f3e2efb",
        "r012:unit:s_intro_intro",
        "r012:unit:s_intro_enum",
        "r012:unit:fig_intro_necklace",
        "r012:unit:s_intro_graph",
        "r012:unit:fig_graphdata",
        "r012:unit:auto:21546ae1bdf04f7552481516",
        "r012:unit:fig_connectedgraph",
        "r012:unit:ex_radiostations",
        "r012:unit:fig_radiostations",
        "r012:unit:auto:4f427a0d8cd35dd9d5f9a181",
        "r012:unit:s_intro_number",
        "r012:unit:ex_collatz",
        "r012:unit:auto:998151e04257beb0771966a3",
        "r012:unit:auto:a2ddc55663aeb46d4ba4cac3",
        "r012:unit:fig_intro_partsof8",
        "r012:unit:s_intro_geom",
        "r012:unit:auto:8b2d77d0f05bf227599dfe13",
        "r012:unit:fig_linesregions",
        "r012:unit:auto:a76fa497932b126ab56512d2",
        "r012:unit:auto:fa2160fd42fe3b1bcc368b77",
        "r012:unit:fig_crossingedges",
        "r012:unit:s_intro_opt",
        "r012:unit:auto:cc19a2bc96d53bd31f78d99d",
        "r012:unit:fig_wgraph-1",
        "r012:unit:auto:43f6d5de5720a72fc6e55148",
        "r012:unit:fig_spantree-1",
        "r012:unit:s_intro_sudoku",
        "r012:unit:auto:a3d640d3f4e483b495967fdb",
        "r012:unit:fig_sudoku",
        "r012:unit:s_intro_discussion"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "example": 12,
        "figure": 10,
        "introduction": 1,
        "section": 8
      }
    },
    {
      "block_id": "r012:unit:ch_strings",
      "concept_count": 16,
      "concept_ids": [
        "r012:concept:alphabet",
        "r012:concept:bijective-transformation",
        "r012:concept:binomial-coefficient",
        "r012:concept:binomial-theorem",
        "r012:concept:catalan-number",
        "r012:concept:character",
        "r012:concept:combination",
        "r012:concept:combinatorial-proof",
        "r012:concept:factorial",
        "r012:concept:lattice-path",
        "r012:concept:multinomial-coefficient",
        "r012:concept:multinomial-theorem",
        "r012:concept:nonnegative-integer",
        "r012:concept:permutation",
        "r012:concept:polynomial-expansion",
        "r012:concept:string"
      ],
      "exercise_count": 71,
      "exercise_ids": [
        "r012:unit:appcomb_strings_intro_reading",
        "r012:unit:appcomb_strings_permutation_reading_check",
        "r012:unit:appcomb_strings_permutation_reading_officers",
        "r012:unit:appcomb_strings_permutation_reading_cochairs",
        "r012:unit:appcomb_strings_permutation_reading_more",
        "r012:unit:appcomb_strings_combinations_reading",
        "r012:unit:appcomb_strings_comb-proof_reading_sum-ints",
        "r012:unit:appcomb_strings_comb-proof_reading_2n-choose-n",
        "r012:unit:appcomb_strings_bin-coeff_reading_candy",
        "r012:unit:appcomb_strings_bin-coeff_reading_pens",
        "r012:unit:appcomb_strings_bin-coeff_reading_lattice-path",
        "r012:unit:appcomb_strings_binom-thm_2-to-n",
        "r012:unit:appcomb_strings_multinom_reading",
        "r012:unit:auto:f410f2c7291f5192b7046f5e",
        "r012:unit:auto:95a7984e4697726618e5263c",
        "r012:unit:auto:72dd3cb89832a186d0a804d7",
        "r012:unit:auto:11ba049352343d2a89f10204",
        "r012:unit:auto:be510954ac4b4e236da5fe5a",
        "r012:unit:auto:b560a755a75fb5de85d99f4b",
        "r012:unit:auto:db3799defdeb36ab19f34d8b",
        "r012:unit:auto:4b25af132215cc1e44b79929",
        "r012:unit:auto:a9ab4f4d85aaea6e636104c8",
        "r012:unit:auto:0dbc5f46a158feba88b9866f",
        "r012:unit:auto:4601180aa34aba6fa43ec417",
        "r012:unit:auto:50494897f62fc2d69d017001",
        "r012:unit:auto:da60f2f564ebc1da1600697d",
        "r012:unit:auto:fee0c42aba0a450427ee650a",
        "r012:unit:auto:9ac463b125a026c45c6c7bbb",
        "r012:unit:auto:0af4bce12356cdbbd0bd2bf5",
        "r012:unit:auto:999eeb57a6f2655317279960",
        "r012:unit:auto:ff5907446775a14fa9675339",
        "r012:unit:auto:e66b6dfaf00cce2fb80742e2",
        "r012:unit:auto:6cad689e5ac1868435dce175",
        "r012:unit:auto:110567367ceeb0a2195f717d",
        "r012:unit:auto:0b63dfe7279e0fd48af44923",
        "r012:unit:auto:d49f7233c9fbb8652b352a94",
        "r012:unit:auto:350b294cf583ae7fbc4327d9",
        "r012:unit:auto:c3d6150f650ec033b2506e38",
        "r012:unit:auto:d6379afbf847628fd479a11a",
        "r012:unit:auto:91c739a0646538cbf0e69df8",
        "r012:unit:auto:7d747c89ba1593da4644e7d6",
        "r012:unit:auto:5b69c154bab9c3ebe60fd173",
        "r012:unit:auto:1017e9717d06a96a03ec3733",
        "r012:unit:auto:43a30bad71b10563bb50b912",
        "r012:unit:auto:465d3d46ef20da17fffcc450",
        "r012:unit:auto:356f8d5a1ac0f785dfd5b5f4",
        "r012:unit:strings_lattice-paths_buzz-bucky",
        "r012:unit:strings_PI_lattice-path-good-bad-activity",
        "r012:unit:strings_PI_lattice-path-transform-activity",
        "r012:unit:strings_PI_binthm-activity",
        "r012:unit:act-strings-rearrange",
        "r012:unit:PI_strings_multinom_terms",
        "r012:unit:PI_strings-multinom-coeff",
        "r012:unit:act-strings_multinomial_find-coeff",
        "r012:unit:appcomb_strings_PI_factorial",
        "r012:unit:appcomb_strings_PI_password",
        "r012:unit:appcomb_strings_PI_password_varlength",
        "r012:unit:appcomb_strings_PI_password_distinct",
        "r012:unit:appcomb_strings_PI_bincoeff_setup",
        "r012:unit:appcomb_strings_PI_bincoeff_formula",
        "r012:unit:appcomb_strings_PI_bincoeff_complement",
        "r012:unit:appcomb_strings_PI_comb-proof-theme",
        "r012:unit:appcomb_strings_PI_sum-ell",
        "r012:unit:strings_PI_sum-bincoeff-square",
        "r012:unit:appcomb_strings_PI_committee-model",
        "r012:unit:strings_PI_folders-dividers-PTX",
        "r012:unit:strings_PI_folders-zero-one-PTX",
        "r012:unit:strings_PI_folders-ge-four-PTX",
        "r012:unit:strings_PI_folders-save-some-PTX",
        "r012:unit:strings_PI_lattice-path-good-bad-PTX",
        "r012:unit:strings_PI_lattice-path-transform-PTX"
      ],
      "explicit_support_count": 30,
      "explicit_support_relation_ids": [
        "r012:relation:answers:47304b8e8eae6445843375cf",
        "r012:relation:solves:ee8af476242c2fb23840a625",
        "r012:relation:answers:872027bd16a3c097b75191be",
        "r012:relation:solves:f418f7178f68d026de1c8be1",
        "r012:relation:answers:e6def34a96534be3750960cc",
        "r012:relation:solves:99c204cd580c39440c9cb11e",
        "r012:relation:answers:f058443632dc801036b200ec",
        "r012:relation:solves:55fc47588405f74062eea0ba",
        "r012:relation:solves:ab0365429d685db90b0392b5",
        "r012:relation:answers:16e7a8bfef15a812c6938e5a",
        "r012:relation:solves:3b9b4818ae41a7908c534bc9",
        "r012:relation:solves:6cb26bc543a69ed45e18e757",
        "r012:relation:answers:47dc18ddb70e316aa4f5dcd7",
        "r012:relation:solves:e8c814370763c3ad98e916cd",
        "r012:relation:solves:146e5181708642b97b2651e7",
        "r012:relation:solves:a4505173f8f78341627b9f9e",
        "r012:relation:solves:b5bc572186ececa9eb2b694c",
        "r012:relation:solves:1ba246282782f991d7038190",
        "r012:relation:answers:89529294636734aa833d8d56",
        "r012:relation:solves:ca3e5bec8e5f723d3f8597cb",
        "r012:relation:answers:87899b1a8374e93abc6eaeed",
        "r012:relation:solves:a740d7c79158ee144941c3d4",
        "r012:relation:hints:a446f73d7078d52ef099ab13",
        "r012:relation:solves:169a1b0032eee0c1052e084b",
        "r012:relation:solves:7023f0f216a730339633440f",
        "r012:relation:solves:038f501729616d72df23438f",
        "r012:relation:solves:7c89d4e8ea7e1c08b53e5eed",
        "r012:relation:hints:0b7bb643405156036c718447",
        "r012:relation:hints:d70c473f196268695b7676ae",
        "r012:relation:hints:2b9bae61892aa80e7faa1e16"
      ],
      "kind": "chapter",
      "ordinal": 2,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_strings.html",
      "source_local_id": "ch_strings",
      "source_path": "source/ch_strings.ptx",
      "source_title": "Strings, Sets, and Binomial Coefficients",
      "title_id": "String, Himpunan, dan Koefisien Binomial",
      "unit_count": 179,
      "unit_ids": [
        "r012:unit:ch_strings",
        "r012:unit:auto:fc5fc8bfbfd6ecbcb43ce1f8",
        "r012:unit:s_strings_intro",
        "r012:unit:exa_strings_ga-plate",
        "r012:unit:auto:7554e91da3ece7042e46225e",
        "r012:unit:auto:45d22edbd652f9a87d49e92b",
        "r012:unit:auto:47d7a6058b624ff8027f1693",
        "r012:unit:auto:0c12de3cc03d6ac23380ad71",
        "r012:unit:fig_string-template",
        "r012:unit:rqs-strings_intro",
        "r012:unit:appcomb_strings_intro_reading",
        "r012:unit:s_strings_permutations",
        "r012:unit:exa_strings_perm",
        "r012:unit:prop_strings_permutations",
        "r012:unit:auto:cad9c1aa4f4814df2aa546ad",
        "r012:unit:exa_strings_officers",
        "r012:unit:auto:0975e52614fd25889debe51c",
        "r012:unit:auto:0a3d3537d31c0cef14767eaa",
        "r012:unit:rqs-strings_permutations",
        "r012:unit:appcomb_strings_permutation_reading_check",
        "r012:unit:appcomb_strings_permutation_reading_officers",
        "r012:unit:appcomb_strings_permutation_reading_cochairs",
        "r012:unit:appcomb_strings_permutation_reading_more",
        "r012:unit:s_strings_combinations",
        "r012:unit:prop_strings_binomraw",
        "r012:unit:auto:a4ffc0c13187704163867fc1",
        "r012:unit:prop_strings_symmetric",
        "r012:unit:auto:4d28e08e3faaf575d51fec4c",
        "r012:unit:auto:28ec651c37cc257233a20b5a",
        "r012:unit:rqs-strings_combinations",
        "r012:unit:appcomb_strings_combinations_reading",
        "r012:unit:s_strings_comb-proof",
        "r012:unit:ex_strings_comb-proof_sum-ints",
        "r012:unit:fig_squaredots",
        "r012:unit:auto:bc453f2e703a9afbf6d4038d",
        "r012:unit:auto:ade4929cbc7ac4ad75fdd9e8",
        "r012:unit:fig_oddsum2",
        "r012:unit:auto:3793a56a3f3a2f940ab2f7d4",
        "r012:unit:auto:01ca6af2f1068b043d28d11c",
        "r012:unit:auto:c23c945f146056e582526439",
        "r012:unit:auto:7ab93e3b7384bd1a5f3d5a9a",
        "r012:unit:auto:194154af66152789c9879dd0",
        "r012:unit:auto:49a245ce6c83dae6ab815ec6",
        "r012:unit:auto:c7bb3264c215701481e83164",
        "r012:unit:ex_strings_comb-proof_2n-choose-n",
        "r012:unit:auto:d666c681dd202e47f017ca8c",
        "r012:unit:rqs-strings_comb-proof",
        "r012:unit:appcomb_strings_comb-proof_reading_sum-ints",
        "r012:unit:img-rectangular-grid-sum-ints",
        "r012:unit:appcomb_strings_comb-proof_reading_2n-choose-n",
        "r012:unit:s_strings_bin-coeff",
        "r012:unit:auto:52a14a2a863460db5625e532",
        "r012:unit:fig_distrib",
        "r012:unit:auto:86898ce92fd24c8fa8e56a4b",
        "r012:unit:auto:c9fa660aeca60b242f6e9a26",
        "r012:unit:auto:edec502df4f41f06d120fe35",
        "r012:unit:auto:80dbd871e332144d83dec949",
        "r012:unit:fig_latticepath",
        "r012:unit:auto:31c6d46a93c78959a12acfea",
        "r012:unit:exa_lattice-Catalan",
        "r012:unit:flippath",
        "r012:unit:rqs-strings_bin-coeff",
        "r012:unit:appcomb_strings_bin-coeff_reading_candy",
        "r012:unit:appcomb_strings_bin-coeff_reading_pens",
        "r012:unit:appcomb_strings_bin-coeff_reading_lattice-path",
        "r012:unit:s_strings_binom-thm",
        "r012:unit:thm_binomial",
        "r012:unit:auto:be48c593165fc4df89d6c7b2",
        "r012:unit:auto:6ef9abd785b9c49a18183690",
        "r012:unit:rqs-strings_binom-thm",
        "r012:unit:appcomb_strings_binom-thm_2-to-n",
        "r012:unit:s_strings_multinom",
        "r012:unit:auto:139b2ee213b81801439f9b88",
        "r012:unit:auto:2553abd61355c04ed542b985",
        "r012:unit:thm-strings-multinomial",
        "r012:unit:exa_strings_multinom",
        "r012:unit:auto:bde0bb8a536bf685f2293921",
        "r012:unit:rqs-strings_multinom",
        "r012:unit:appcomb_strings_multinom_reading",
        "r012:unit:s_strings_discussion",
        "r012:unit:s_strings_exercises",
        "r012:unit:auto:f410f2c7291f5192b7046f5e",
        "r012:unit:auto:95a7984e4697726618e5263c",
        "r012:unit:auto:72dd3cb89832a186d0a804d7",
        "r012:unit:auto:6837c70b99d4b8c8f508c588",
        "r012:unit:auto:f1d6cee1dce0b831f77bbf8d",
        "r012:unit:auto:11ba049352343d2a89f10204",
        "r012:unit:auto:b1b423d2cb847879166a51dc",
        "r012:unit:auto:9335f26c146adbeed375cc2a",
        "r012:unit:auto:be510954ac4b4e236da5fe5a",
        "r012:unit:auto:3dbfcf5d465ffb95ded9eadd",
        "r012:unit:auto:63809514fdd78b6a7680d8bc",
        "r012:unit:auto:b560a755a75fb5de85d99f4b",
        "r012:unit:auto:e005b8cddbb6dd3451c92c22",
        "r012:unit:auto:2720c52104cf3d128a826639",
        "r012:unit:auto:db3799defdeb36ab19f34d8b",
        "r012:unit:auto:4b25af132215cc1e44b79929",
        "r012:unit:auto:43a9810f61a1acce2a6dfbb0",
        "r012:unit:auto:a9ab4f4d85aaea6e636104c8",
        "r012:unit:auto:b5a0c13a297bd216e53f189c",
        "r012:unit:auto:05222a580a9112e3bf932439",
        "r012:unit:auto:0dbc5f46a158feba88b9866f",
        "r012:unit:auto:a1e317e17cbc08a6f953f4c6",
        "r012:unit:auto:4601180aa34aba6fa43ec417",
        "r012:unit:auto:50494897f62fc2d69d017001",
        "r012:unit:auto:3235e37dc1f920f70697ed2e",
        "r012:unit:auto:f33646ebd118d8ad1a982688",
        "r012:unit:auto:da60f2f564ebc1da1600697d",
        "r012:unit:auto:fee0c42aba0a450427ee650a",
        "r012:unit:auto:a563d15e14481db920c570b5",
        "r012:unit:auto:9ac463b125a026c45c6c7bbb",
        "r012:unit:auto:c018bc07ff1667da16b82d71",
        "r012:unit:auto:0af4bce12356cdbbd0bd2bf5",
        "r012:unit:auto:999eeb57a6f2655317279960",
        "r012:unit:auto:d2d9f90c2f0cdae05675535e",
        "r012:unit:auto:ff5907446775a14fa9675339",
        "r012:unit:auto:f5a7219a4b74e22c6e9a9416",
        "r012:unit:auto:e66b6dfaf00cce2fb80742e2",
        "r012:unit:auto:26318525c4650e6d22677750",
        "r012:unit:auto:cd37fb1d23b283bd46b7d3f5",
        "r012:unit:auto:fb7f9ae70ed8db17ac697167",
        "r012:unit:auto:e01e17d302eefd14243adf2c",
        "r012:unit:auto:5ac5255e6fa27271425534fb",
        "r012:unit:auto:d41ac63580d01f30367acff9",
        "r012:unit:auto:f2cf0947318848e87328f400",
        "r012:unit:auto:6cad689e5ac1868435dce175",
        "r012:unit:auto:a07dfd387e4d8b8d5597b20b",
        "r012:unit:auto:110567367ceeb0a2195f717d",
        "r012:unit:auto:4fcdb65e8e76c20e3130e98e",
        "r012:unit:auto:0b63dfe7279e0fd48af44923",
        "r012:unit:auto:d49f7233c9fbb8652b352a94",
        "r012:unit:auto:350b294cf583ae7fbc4327d9",
        "r012:unit:auto:c3d6150f650ec033b2506e38",
        "r012:unit:auto:d6379afbf847628fd479a11a",
        "r012:unit:auto:75e6df14f8fb7b00d0f0e928",
        "r012:unit:auto:91c739a0646538cbf0e69df8",
        "r012:unit:auto:7d747c89ba1593da4644e7d6",
        "r012:unit:auto:3e87762a871bcc6f95428880",
        "r012:unit:auto:5b69c154bab9c3ebe60fd173",
        "r012:unit:auto:1017e9717d06a96a03ec3733",
        "r012:unit:auto:4b501b2e30b7fc3e772145af",
        "r012:unit:auto:43a30bad71b10563bb50b912",
        "r012:unit:auto:465d3d46ef20da17fffcc450",
        "r012:unit:auto:356f8d5a1ac0f785dfd5b5f4",
        "r012:unit:ex_part_seq_cat",
        "r012:unit:auto:00210d7f68b93044c29aea5c",
        "r012:unit:s_strings_lattice-paths-binomial-thm_activity",
        "r012:unit:strings_lattice-paths_buzz-bucky",
        "r012:unit:auto:83b8ca7e2dabbb5e67ff29fb",
        "r012:unit:strings_lattice-paths_buzz-bucky-all",
        "r012:unit:strings_lattice-paths_buzz-bucky-varsity",
        "r012:unit:strings_lattice-paths_buzz-bucky-avoid",
        "r012:unit:strings_PI_lattice-path-good-bad-activity",
        "r012:unit:strings_PI_lattice-path-transform-activity",
        "r012:unit:strings_PI_binthm-activity",
        "r012:unit:act-strings-rearrange",
        "r012:unit:auto:84578869fad2678f4a9a6564",
        "r012:unit:auto:7f826ed7578d16cf06d469a6",
        "r012:unit:PI_strings_multinom_terms",
        "r012:unit:PI_strings-multinom-coeff",
        "r012:unit:act-strings_multinomial_find-coeff",
        "r012:unit:s_strings_PI",
        "r012:unit:appcomb_strings_PI_factorial",
        "r012:unit:appcomb_strings_PI_password",
        "r012:unit:appcomb_strings_PI_password_varlength",
        "r012:unit:appcomb_strings_PI_password_distinct",
        "r012:unit:appcomb_strings_PI_bincoeff_setup",
        "r012:unit:appcomb_strings_PI_bincoeff_formula",
        "r012:unit:appcomb_strings_PI_bincoeff_complement",
        "r012:unit:appcomb_strings_PI_comb-proof-theme",
        "r012:unit:appcomb_strings_PI_sum-ell",
        "r012:unit:strings_PI_sum-bincoeff-square",
        "r012:unit:appcomb_strings_PI_committee-model",
        "r012:unit:strings_PI_folders-dividers-PTX",
        "r012:unit:strings_PI_folders-zero-one-PTX",
        "r012:unit:strings_PI_folders-ge-four-PTX",
        "r012:unit:strings_PI_folders-save-some-PTX",
        "r012:unit:strings_PI_lattice-path-good-bad-PTX",
        "r012:unit:strings_PI_lattice-path-transform-PTX"
      ],
      "unit_type_counts": {
        "answer": 8,
        "chapter": 1,
        "example": 23,
        "exercise": 71,
        "exercises": 2,
        "figure": 6,
        "hint": 4,
        "introduction": 3,
        "latex-image": 1,
        "li": 1,
        "proof": 3,
        "proposition": 3,
        "reading-questions": 7,
        "section": 9,
        "solution": 30,
        "task": 5,
        "theorem": 2
      }
    },
    {
      "block_id": "r012:unit:ch_induction",
      "concept_count": 20,
      "concept_ids": [
        "r012:concept:base-case",
        "r012:concept:binomial-coefficient",
        "r012:concept:comparison-sorting",
        "r012:concept:divisibility",
        "r012:concept:euclidean-algorithm",
        "r012:concept:greatest-common-divisor",
        "r012:concept:induction-hypothesis",
        "r012:concept:induction-step",
        "r012:concept:inductive-definition",
        "r012:concept:integer-division",
        "r012:concept:linear-diophantine-equation",
        "r012:concept:mathematical-induction",
        "r012:concept:merge-sort",
        "r012:concept:open-statement",
        "r012:concept:pascal-triangle",
        "r012:concept:recursion",
        "r012:concept:set-membership",
        "r012:concept:sorting",
        "r012:concept:strong-induction",
        "r012:concept:well-ordering-principle"
      ],
      "exercise_count": 30,
      "exercise_ids": [
        "r012:unit:induction_bincoeffs_reading",
        "r012:unit:induction_recursion_reading",
        "r012:unit:induction_recursion_avoid-12",
        "r012:unit:induction_proofs_hanoi",
        "r012:unit:induction_proofs_ind-hyp",
        "r012:unit:auto:bc8f9a1c6e41090fe9f1e311",
        "r012:unit:auto:5f10160da6b7e7a383babc47",
        "r012:unit:auto:0c9cc6a734a1d65c7998857c",
        "r012:unit:auto:b62489f5994a6b229f62306d",
        "r012:unit:auto:fccf168dc4902eceb788ef0a",
        "r012:unit:auto:0c7b826f45c0346541989db5",
        "r012:unit:auto:d007ba77ab88b0a42dfcc0e2",
        "r012:unit:auto:ba68641bf12bd2d5f74e2285",
        "r012:unit:auto:8cbb71879170a7a1d71de4e4",
        "r012:unit:auto:93846ecf516b8b783849d122",
        "r012:unit:auto:e59dcc647ae742f2f1c6072a",
        "r012:unit:auto:e57b74430cc14210d81be6ba",
        "r012:unit:auto:28749ef3fafd72727982eca4",
        "r012:unit:auto:9f7da2d94b689cf0290c7076",
        "r012:unit:auto:550d3aa36fbebf888bec3811",
        "r012:unit:auto:66f32d2ca53a18802e5e512b",
        "r012:unit:auto:7de0e0efc8059c0724b9d111",
        "r012:unit:auto:f650d15eb15190ca15d43b16",
        "r012:unit:auto:4723e1bcc6bc35de946f4c89",
        "r012:unit:auto:e438802b2d5527a91381cbc2",
        "r012:unit:induction_PI_subsets-contain-1",
        "r012:unit:induction_PI_recursive-eval",
        "r012:unit:induction_PI_proof-step-1",
        "r012:unit:induction_PI_proof-step-2",
        "r012:unit:induction_PI_proof-step-3"
      ],
      "explicit_support_count": 8,
      "explicit_support_relation_ids": [
        "r012:relation:hints:cf5a5a4d38ae47c54f638d91",
        "r012:relation:solves:d792d04b6ae859a3271422c8",
        "r012:relation:solves:f195fb1c512768db9fc5c2db",
        "r012:relation:solves:e560926b21d4baa10d9ef175",
        "r012:relation:hints:6bd3e29f6f13ba4afbbfca16",
        "r012:relation:solves:614835e4cc6319d35f1f382d",
        "r012:relation:solves:f8f977c1f38ed6ebe5f54458",
        "r012:relation:hints:ef8e3da80a2764fbf06a1c3e"
      ],
      "kind": "chapter",
      "ordinal": 3,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_induction.html",
      "source_local_id": "ch_induction",
      "source_path": "source/ch_induction.ptx",
      "source_title": "Induction",
      "title_id": "Induksi",
      "unit_count": 85,
      "unit_ids": [
        "r012:unit:ch_induction",
        "r012:unit:auto:4c4af5d7307c5a54f0a16287",
        "r012:unit:s_induction_intro",
        "r012:unit:s_induction_posintsord",
        "r012:unit:princ_well-order",
        "r012:unit:s_induction_statements",
        "r012:unit:s_induction_bincoeffs",
        "r012:unit:fig_pascal",
        "r012:unit:rqs-induction_bincoeffs",
        "r012:unit:induction_bincoeffs_reading",
        "r012:unit:s_induction_recursion",
        "r012:unit:auto:ea7d4311fbd3ca824e3ce588",
        "r012:unit:auto:fb2ff6e7fe7555138017c6ab",
        "r012:unit:fig_induction_lines-regions",
        "r012:unit:auto:2ce32c27e159fcb3733874a0",
        "r012:unit:auto:616b0bba44c1334ce953ba8d",
        "r012:unit:auto:f3774058b1c1b4322de36fb6",
        "r012:unit:auto:7f36bb6779832451322c835a",
        "r012:unit:fig_induction_lines-regions-rs",
        "r012:unit:auto:a27fe4e374081f36ed124eee",
        "r012:unit:auto:8dea91983970df939fc376fa",
        "r012:unit:rqs-induction_recursion",
        "r012:unit:induction_recursion_reading",
        "r012:unit:induction_recursion_avoid-12",
        "r012:unit:auto:be733c69f1f79c989d8f54c4",
        "r012:unit:s_induction_gcd",
        "r012:unit:thm_division",
        "r012:unit:auto:6953b083224bb099693285a0",
        "r012:unit:thm_euclideanalg",
        "r012:unit:auto:69ac9397464c9468247917c7",
        "r012:unit:thm_gcd-dioph",
        "r012:unit:auto:5f54b054a0ccc569d8461c0f",
        "r012:unit:auto:9fa2c7d24dcb4d8ba626d139",
        "r012:unit:s_induction_recursion_sorting",
        "r012:unit:s_induction_induction",
        "r012:unit:princ_math-induction",
        "r012:unit:s_induction_inductdefs",
        "r012:unit:s_induction_proofs",
        "r012:unit:prop_sumints",
        "r012:unit:auto:6ef4a112d0218e46113abcaf",
        "r012:unit:auto:47f312d3a9994637433590c4",
        "r012:unit:prop_sumodd",
        "r012:unit:auto:d6c536ec88711ecdcc22ac5a",
        "r012:unit:prop_sum-bincoeffs",
        "r012:unit:auto:c4a26b24b1349ff5118ebf45",
        "r012:unit:rqs-induction_proofs",
        "r012:unit:induction_proofs_hanoi",
        "r012:unit:induction_proofs_ind-hyp",
        "r012:unit:s_induction_strong-induction",
        "r012:unit:s_induction_discussion",
        "r012:unit:s_induction_exercises",
        "r012:unit:auto:bc8f9a1c6e41090fe9f1e311",
        "r012:unit:auto:319ecf49b77604a02a1841e5",
        "r012:unit:auto:5f10160da6b7e7a383babc47",
        "r012:unit:auto:0c9cc6a734a1d65c7998857c",
        "r012:unit:auto:73fd1315cdab25d3b53da422",
        "r012:unit:auto:b62489f5994a6b229f62306d",
        "r012:unit:auto:babbba21fe5f81ce4c9d5354",
        "r012:unit:auto:fccf168dc4902eceb788ef0a",
        "r012:unit:auto:606625fb7cc85bd2dedd85f6",
        "r012:unit:auto:0c7b826f45c0346541989db5",
        "r012:unit:auto:d007ba77ab88b0a42dfcc0e2",
        "r012:unit:auto:ba68641bf12bd2d5f74e2285",
        "r012:unit:auto:8cbb71879170a7a1d71de4e4",
        "r012:unit:auto:c13a0c2d885e130530fde24c",
        "r012:unit:auto:93846ecf516b8b783849d122",
        "r012:unit:auto:e59dcc647ae742f2f1c6072a",
        "r012:unit:auto:e57b74430cc14210d81be6ba",
        "r012:unit:auto:28749ef3fafd72727982eca4",
        "r012:unit:auto:9f7da2d94b689cf0290c7076",
        "r012:unit:auto:550d3aa36fbebf888bec3811",
        "r012:unit:auto:1280776e061eca4d50a6f2da",
        "r012:unit:auto:2e7ff7b9f0bcc4afbfccbeaa",
        "r012:unit:auto:66f32d2ca53a18802e5e512b",
        "r012:unit:auto:7de0e0efc8059c0724b9d111",
        "r012:unit:auto:f650d15eb15190ca15d43b16",
        "r012:unit:auto:4723e1bcc6bc35de946f4c89",
        "r012:unit:auto:e438802b2d5527a91381cbc2",
        "r012:unit:auto:25f2089f3c8dec1fd1474256",
        "r012:unit:s_induction_PI",
        "r012:unit:induction_PI_subsets-contain-1",
        "r012:unit:induction_PI_recursive-eval",
        "r012:unit:induction_PI_proof-step-1",
        "r012:unit:induction_PI_proof-step-2",
        "r012:unit:induction_PI_proof-step-3"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "example": 7,
        "exercise": 30,
        "exercises": 2,
        "figure": 3,
        "hint": 3,
        "introduction": 2,
        "principle": 2,
        "proof": 7,
        "proposition": 3,
        "reading-questions": 3,
        "section": 10,
        "solution": 6,
        "subsection": 3,
        "theorem": 3
      }
    },
    {
      "block_id": "r012:unit:ch_basics",
      "concept_count": 19,
      "concept_ids": [
        "r012:concept:arithmetic-progression",
        "r012:concept:asymptotic-solution",
        "r012:concept:big-o",
        "r012:concept:computational-complexity",
        "r012:concept:decreasing-subsequence",
        "r012:concept:exact-solution",
        "r012:concept:exponential-time",
        "r012:concept:function",
        "r012:concept:increasing-subsequence",
        "r012:concept:injection",
        "r012:concept:little-o",
        "r012:concept:nonnegative-integer",
        "r012:concept:np-class",
        "r012:concept:p-class",
        "r012:concept:pigeonhole-principle",
        "r012:concept:polynomial-time",
        "r012:concept:prime-counting-function",
        "r012:concept:sequence",
        "r012:concept:subset-sum"
      ],
      "exercise_count": 5,
      "exercise_ids": [
        "r012:unit:auto:2017ee892a6cbc4c7406b40b",
        "r012:unit:auto:f811896c96bb8adc07c0bbd6",
        "r012:unit:auto:14bbf018b5b6d71a1bdf8b61",
        "r012:unit:auto:efe8b5a23fefb4189292099e",
        "r012:unit:auto:e17fa53aa99a94c71ff733d4"
      ],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 4,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_basics.html",
      "source_local_id": "ch_basics",
      "source_path": "source/ch_basics.ptx",
      "source_title": "Combinatorial Basics",
      "title_id": "Dasar-Dasar Kombinatorika",
      "unit_count": 26,
      "unit_ids": [
        "r012:unit:ch_basics",
        "r012:unit:auto:b566962e8d97bc86884d7997",
        "r012:unit:s_basics_pigeonhole",
        "r012:unit:prop_pigeon",
        "r012:unit:thm_ErdosSzekeres",
        "r012:unit:auto:b8811f8a58ea5a64d90c0568",
        "r012:unit:s_basics_complexity",
        "r012:unit:auto:131514d52d394499e85c9b38",
        "r012:unit:auto:ef3e60935c0310d84bc79991",
        "r012:unit:s_basics_questions",
        "r012:unit:auto:6d19ecb4e25149af83ef520d",
        "r012:unit:auto:33a30d3b5f57c1db38dfb41c",
        "r012:unit:auto:df4f6662a81bff379dee5863",
        "r012:unit:s_basics_big-oh",
        "r012:unit:s_basics_exact",
        "r012:unit:auto:346e4ca50b5b609100aacbd5",
        "r012:unit:auto:a183ab32f40a607295874904",
        "r012:unit:auto:05a8beaaec21ff6e69d7d80b",
        "r012:unit:auto:7500d51a3f97e0e052bdd840",
        "r012:unit:s_basics_discussion",
        "r012:unit:s_basics_exercises",
        "r012:unit:auto:2017ee892a6cbc4c7406b40b",
        "r012:unit:auto:f811896c96bb8adc07c0bbd6",
        "r012:unit:auto:14bbf018b5b6d71a1bdf8b61",
        "r012:unit:auto:efe8b5a23fefb4189292099e",
        "r012:unit:auto:e17fa53aa99a94c71ff733d4"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "exercise": 5,
        "exercises": 1,
        "introduction": 3,
        "proof": 1,
        "proposition": 1,
        "remark": 1,
        "section": 5,
        "subsection": 7,
        "theorem": 1
      }
    },
    {
      "block_id": "r012:unit:ch_graphs",
      "concept_count": 55,
      "concept_ids": [
        "r012:concept:acyclic-graph",
        "r012:concept:bijection",
        "r012:concept:bipartite-graph",
        "r012:concept:brooks-theorem",
        "r012:concept:cayley-formula",
        "r012:concept:chromatic-number",
        "r012:concept:clique-number",
        "r012:concept:complete-bipartite-graph",
        "r012:concept:complete-graph",
        "r012:concept:degree-sequence",
        "r012:concept:dirac-theorem",
        "r012:concept:elementary-subdivision",
        "r012:concept:euler-planar-formula",
        "r012:concept:eulerian-circuit",
        "r012:concept:eulerian-graph",
        "r012:concept:eulerian-trail",
        "r012:concept:first-fit-coloring",
        "r012:concept:forest",
        "r012:concept:four-color-theorem",
        "r012:concept:graph",
        "r012:concept:graph-circuit",
        "r012:concept:graph-face",
        "r012:concept:graph-girth",
        "r012:concept:graph-homeomorphism",
        "r012:concept:graph-incidence",
        "r012:concept:graph-isomorphism",
        "r012:concept:graph-loop",
        "r012:concept:graph-neighbor",
        "r012:concept:graph-walk",
        "r012:concept:hamiltonian-cycle",
        "r012:concept:hamiltonian-graph",
        "r012:concept:independent-graph",
        "r012:concept:induced-subgraph",
        "r012:concept:intersection-graph",
        "r012:concept:interval-graph",
        "r012:concept:isolated-vertex",
        "r012:concept:k-colorable",
        "r012:concept:kuratowski-theorem",
        "r012:concept:labeled-tree",
        "r012:concept:leaf",
        "r012:concept:maximum-degree",
        "r012:concept:multigraph",
        "r012:concept:multiple-edge",
        "r012:concept:perfect-graph",
        "r012:concept:planar-drawing",
        "r012:concept:planar-graph",
        "r012:concept:planarity",
        "r012:concept:proper-coloring",
        "r012:concept:prufer-code",
        "r012:concept:simple-graph",
        "r012:concept:spanning-subgraph",
        "r012:concept:subgraph",
        "r012:concept:tree",
        "r012:concept:vertex-degree",
        "r012:concept:vertex-neighborhood"
      ],
      "exercise_count": 72,
      "exercise_ids": [
        "r012:unit:rq-graphs_intro_degree",
        "r012:unit:rq-graphs_intro_subgraph",
        "r012:unit:graphs_eulerham_reading_compare",
        "r012:unit:graphs_eulerham_reading_noneuler",
        "r012:unit:graphs_eulerham_reading_euler",
        "r012:unit:graphs_color_reading_high-degree",
        "r012:unit:graphs_color_reading_recolor",
        "r012:unit:graphs_color_reading_firstfit",
        "r012:unit:graphs_counting-trees_identify",
        "r012:unit:graphs_counting-trees_start-prufer",
        "r012:unit:graphs_counting-trees_start-build",
        "r012:unit:auto:65548677dbded090a7d33b50",
        "r012:unit:auto:69c2d4d9c0e01e603a703e82",
        "r012:unit:auto:723c411778247195366ef8f9",
        "r012:unit:auto:79557c52790d01c1a89d5efb",
        "r012:unit:auto:88f6765b3b9844d3332bf4b3",
        "r012:unit:auto:4c2ef6ba6f0a9cdbda6a9c94",
        "r012:unit:auto:98aa5cc86679888724bdbe4d",
        "r012:unit:auto:f91f0e94f0e9ff80f7c58baa",
        "r012:unit:auto:5374f7ab057a5a976a16f503",
        "r012:unit:auto:393382e55fd095419648ea30",
        "r012:unit:auto:56bc65cc8bebfa9509d56b2b",
        "r012:unit:auto:0d93a2c68f9df86c4de6c049",
        "r012:unit:auto:2353518a3262cb2006d21a45",
        "r012:unit:auto:55b25d4d1631fea3d8999e0a",
        "r012:unit:auto:90026455c12e5c994646355f",
        "r012:unit:auto:1ee634ed8eab355c3350ccdf",
        "r012:unit:auto:4997a938dd446cd543a8760c",
        "r012:unit:ex_color",
        "r012:unit:auto:238458a737435088a15f3919",
        "r012:unit:auto:c47959536bc72f15baaf520d",
        "r012:unit:auto:046d18ef9dd48e423a6cbdfe",
        "r012:unit:auto:88e829739c515ced56bb23b6",
        "r012:unit:auto:ca9ab529a481f45be19b9ae7",
        "r012:unit:ex_graphs_first-fit-color",
        "r012:unit:auto:d1fe9add68fc925362d04de9",
        "r012:unit:auto:e155237591bb4622173f618d",
        "r012:unit:auto:a0dea82cd7ef968b9cd69aea",
        "r012:unit:auto:e8376179e5fd62c44694e6d6",
        "r012:unit:auto:347819b28ee8432516f8db1d",
        "r012:unit:auto:9a6190f14daddebf421ba8e1",
        "r012:unit:auto:edfcf642b2bc2be898e12bfa",
        "r012:unit:auto:90cd038df35de358c6436ef9",
        "r012:unit:ex_graphs_degseq",
        "r012:unit:ex_graphs_degseq2",
        "r012:unit:auto:657da9ee411f0c9fed6c129e",
        "r012:unit:auto:258cf7ca58f48b04d5ec681e",
        "r012:unit:auto:ed39e4dc5f08af1ba06b78f7",
        "r012:unit:auto:edc25eefc49a47e9cbf860b0",
        "r012:unit:auto:5713425f81417108ab8d86a3",
        "r012:unit:auto:2b519dfc00d541387443004e",
        "r012:unit:auto:8a6e60a8b6286b051c013987",
        "r012:unit:auto:4200147cc15d9ce97a2c6d6e",
        "r012:unit:auto:ab5ccb527191a7e0e804dbb5",
        "r012:unit:graphs_PI_subgraph1",
        "r012:unit:graphs_PI_subgraph2",
        "r012:unit:graphs_PI_subgraph3",
        "r012:unit:graphs_PI_isomorphic1",
        "r012:unit:graphs_PI_isomorphic2",
        "r012:unit:graphs_PI_hamiltonian-G1",
        "r012:unit:graphs_PI_hamiltonian-G2",
        "r012:unit:graphs_PI_hamiltonian-G3",
        "r012:unit:graphs_PI_hamiltonian-G4",
        "r012:unit:graphs_PI_hamiltonian-G5",
        "r012:unit:graphs_PI_coloring-defn",
        "r012:unit:graphs_PI_coloring-subgraph",
        "r012:unit:graphs_PI_coloring-Kn",
        "r012:unit:graphs_PI_bipartite",
        "r012:unit:graphs_PI_tree-to-code",
        "r012:unit:graphs_PI_code-vertices",
        "r012:unit:graphs_PI_code-leaves",
        "r012:unit:graphs_PI_code-first-edge"
      ],
      "explicit_support_count": 17,
      "explicit_support_relation_ids": [
        "r012:relation:solves:b329007020fbf9e78abf29c1",
        "r012:relation:solves:aa20ef20cccb78853e6bd164",
        "r012:relation:solves:232b82be3b1f5cf97b5e2a62",
        "r012:relation:solves:153cf7d421a0461b6026bbe9",
        "r012:relation:solves:cfc78fa476c89cc1d2731471",
        "r012:relation:solves:43dee19de92c61d0fc68a211",
        "r012:relation:solves:cd8d6e289a52b879fecf9711",
        "r012:relation:solves:214d9cdc773681154010070d",
        "r012:relation:solves:b57f1ea8177d81bca3b0e154",
        "r012:relation:solves:207f40ee4b57bf3df553b361",
        "r012:relation:solves:f094a9b5c7ba258891c61bc5",
        "r012:relation:solves:07ef751ca42c3ea3549873bc",
        "r012:relation:solves:b0d50a198f920998591d7478",
        "r012:relation:solves:b043ea91c191b544dbe11d62",
        "r012:relation:solves:926df07ffd18815d84830fa0",
        "r012:relation:solves:e3fe9be243c65a5691373d4c",
        "r012:relation:hints:4f7970ea226baaa99b4a07fd"
      ],
      "kind": "chapter",
      "ordinal": 5,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_graphs.html",
      "source_local_id": "ch_graphs",
      "source_path": "source/ch_graphs.ptx",
      "source_title": "Graph Theory",
      "title_id": "Teori Graf",
      "unit_count": 200,
      "unit_ids": [
        "r012:unit:ch_graphs",
        "r012:unit:auto:08392a4c135a6970baf69f2b",
        "r012:unit:s_graphs_intro",
        "r012:unit:fig_small_graph",
        "r012:unit:fig_subgraphs",
        "r012:unit:fig_complete_graphs",
        "r012:unit:fig_paths",
        "r012:unit:fig_cycles",
        "r012:unit:fig_isomorphic",
        "r012:unit:fig_nonisomorphic",
        "r012:unit:fig_spantree",
        "r012:unit:thm-graphs-first",
        "r012:unit:eq_graphs_degsum",
        "r012:unit:auto:000e983ed23e271a7d797945",
        "r012:unit:auto:e4aae9c9c21b55c07c8cf661",
        "r012:unit:prop_tree-leaves",
        "r012:unit:auto:881e4f66fad2bd72113bced6",
        "r012:unit:rqs-graphs_intro",
        "r012:unit:rq-graphs_intro_degree",
        "r012:unit:rq-graphs_intro_subgraph",
        "r012:unit:s_graphs_multigraphs",
        "r012:unit:s_graphs_eulerham",
        "r012:unit:fig_bridges",
        "r012:unit:thm_eulerian",
        "r012:unit:auto:41d1f1c26db10464773ec989",
        "r012:unit:alg-eulerian",
        "r012:unit:step-eulerian-subcircuit",
        "r012:unit:fig_graphs_eulerexample",
        "r012:unit:fig_bridges-graph",
        "r012:unit:fig_eulham",
        "r012:unit:fig_petersen",
        "r012:unit:thm_graphs_dirac",
        "r012:unit:auto:da718dd563358ea05ac7f4be",
        "r012:unit:rqs-graphs_eulerham",
        "r012:unit:graphs_eulerham_reading_compare",
        "r012:unit:graphs_eulerham_reading_noneuler",
        "r012:unit:graphs_eulerham_reading_euler",
        "r012:unit:s_graphs_color",
        "r012:unit:auto:c244eed92aaaa077aa7a0053",
        "r012:unit:fig_graphs_chi4",
        "r012:unit:disc-graphs_color-intro",
        "r012:unit:auto:f28aba0b200c71f8c6e33e49",
        "r012:unit:thm_graphs_bipartite",
        "r012:unit:auto:f617e7950e8d92026c8d18f1",
        "r012:unit:fig_graphs_languages",
        "r012:unit:fig_graphs_k33",
        "r012:unit:auto:b8d1218bf4db5bc8a1baa306",
        "r012:unit:prop_graphs_pigeon-general",
        "r012:unit:prop_triangle-free",
        "r012:unit:auto:431fddeb1996bc9fbdd291c4",
        "r012:unit:auto:e2be9f6248b8d0d4b829a408",
        "r012:unit:auto:7bebe8d25fe627c32e39c489",
        "r012:unit:fig_k44minus",
        "r012:unit:img_k44minus",
        "r012:unit:fig_graphs_interval-graph",
        "r012:unit:thm_intgraphcol",
        "r012:unit:auto:33ff0089471c5134b072e4a7",
        "r012:unit:rqs-graphs_color",
        "r012:unit:graphs_color_reading_high-degree",
        "r012:unit:graphs_color_reading_recolor",
        "r012:unit:graphs_color_reading_firstfit",
        "r012:unit:s_graphs_planar",
        "r012:unit:fig_graphs_utils",
        "r012:unit:fig_planar",
        "r012:unit:fig_k4-planar",
        "r012:unit:auto:aa6b578dc9615b1c96970552",
        "r012:unit:auto:3d1e21182de47dba282818b2",
        "r012:unit:thm_max-edge-planar",
        "r012:unit:thm_kuratowski",
        "r012:unit:fig_petersen-graph-k33",
        "r012:unit:fig_needs-four-colors",
        "r012:unit:thm_4ct",
        "r012:unit:s_graphs_counting-trees",
        "r012:unit:fig_trees-5verts",
        "r012:unit:thm_cayley",
        "r012:unit:ex_prufer-code",
        "r012:unit:fig_prufer-code",
        "r012:unit:fig_prufer-code-delete1",
        "r012:unit:auto:bfb9e2cb7259e2f854f9d9ae",
        "r012:unit:ex_prufer-code-reverse",
        "r012:unit:tab_prufer-code-reverse",
        "r012:unit:fig_prufer-code-reverse",
        "r012:unit:rqs-graphs_counting-trees",
        "r012:unit:graphs_counting-trees_identify",
        "r012:unit:graphs_counting-trees_start-prufer",
        "r012:unit:img-tree-prufer-reading",
        "r012:unit:graphs_counting-trees_start-build",
        "r012:unit:s_graphs_complexity",
        "r012:unit:s_graphs_discussion",
        "r012:unit:s_graphs_exercises",
        "r012:unit:auto:65548677dbded090a7d33b50",
        "r012:unit:fig_graphs_graph_ex",
        "r012:unit:auto:69c2d4d9c0e01e603a703e82",
        "r012:unit:auto:723c411778247195366ef8f9",
        "r012:unit:auto:79557c52790d01c1a89d5efb",
        "r012:unit:auto:ff603adadd84860eeb6a3169",
        "r012:unit:auto:88f6765b3b9844d3332bf4b3",
        "r012:unit:fig_graphs_subgraphs_ex",
        "r012:unit:auto:4c2ef6ba6f0a9cdbda6a9c94",
        "r012:unit:auto:98aa5cc86679888724bdbe4d",
        "r012:unit:fig_graphs_isomorphic_ex",
        "r012:unit:auto:64ad12c1c076a035868cc8e9",
        "r012:unit:auto:f91f0e94f0e9ff80f7c58baa",
        "r012:unit:fig_graphs_euler_exercise",
        "r012:unit:auto:5374f7ab057a5a976a16f503",
        "r012:unit:fig_graphs_euler_hamilton_ex",
        "r012:unit:auto:a425b234324d7985eafcbdf0",
        "r012:unit:auto:393382e55fd095419648ea30",
        "r012:unit:fig_graphs_noneuler_exercise",
        "r012:unit:auto:56bc65cc8bebfa9509d56b2b",
        "r012:unit:auto:0d93a2c68f9df86c4de6c049",
        "r012:unit:auto:2353518a3262cb2006d21a45",
        "r012:unit:fig_graphs_bipartite_ex",
        "r012:unit:auto:55b25d4d1631fea3d8999e0a",
        "r012:unit:fig_graphs_coloring_ex",
        "r012:unit:auto:a506b04972802d9261d5f51d",
        "r012:unit:auto:90026455c12e5c994646355f",
        "r012:unit:auto:f5b2eb7b69a56afcbbd38a1f",
        "r012:unit:auto:1ee634ed8eab355c3350ccdf",
        "r012:unit:auto:c650138c712bd4378cfc304b",
        "r012:unit:auto:4997a938dd446cd543a8760c",
        "r012:unit:auto:5f484029deefd53f905160b4",
        "r012:unit:ex_color",
        "r012:unit:auto:238458a737435088a15f3919",
        "r012:unit:auto:c47959536bc72f15baaf520d",
        "r012:unit:auto:046d18ef9dd48e423a6cbdfe",
        "r012:unit:auto:88e829739c515ced56bb23b6",
        "r012:unit:auto:ca9ab529a481f45be19b9ae7",
        "r012:unit:ex_graphs_first-fit-color",
        "r012:unit:auto:d1fe9add68fc925362d04de9",
        "r012:unit:fig_graphs_intervals-ex",
        "r012:unit:auto:cf6e541ee0459906a49863b7",
        "r012:unit:graphs-ex-interval-graph-soln",
        "r012:unit:auto:ead847cdea4662b84d6a0b3a",
        "r012:unit:auto:556672e2e09c26c2f1e28bf3",
        "r012:unit:auto:e155237591bb4622173f618d",
        "r012:unit:auto:a0dea82cd7ef968b9cd69aea",
        "r012:unit:auto:e8376179e5fd62c44694e6d6",
        "r012:unit:auto:91ea89b1e2c35d0a8968a0c0",
        "r012:unit:auto:347819b28ee8432516f8db1d",
        "r012:unit:fig_graphs_planar_ex",
        "r012:unit:auto:d6c3d8fd412a8ad03e6c6976",
        "r012:unit:auto:9a6190f14daddebf421ba8e1",
        "r012:unit:auto:edfcf642b2bc2be898e12bfa",
        "r012:unit:auto:11f327e2cd31b4aedf824981",
        "r012:unit:planar-eulerian-n-10-m-21",
        "r012:unit:auto:90cd038df35de358c6436ef9",
        "r012:unit:ex_graphs_degseq",
        "r012:unit:auto:607188a5856c54813a7d2ddf",
        "r012:unit:ex_graphs_degseq2",
        "r012:unit:auto:657da9ee411f0c9fed6c129e",
        "r012:unit:auto:258cf7ca58f48b04d5ec681e",
        "r012:unit:auto:ed39e4dc5f08af1ba06b78f7",
        "r012:unit:fig_graphs_tree-10verts-ex1",
        "r012:unit:auto:ac571736e8f107a75a005408",
        "r012:unit:auto:edc25eefc49a47e9cbf860b0",
        "r012:unit:fig_graphs_tree-10verts-ex2",
        "r012:unit:auto:5713425f81417108ab8d86a3",
        "r012:unit:fig_graphs_tree-14verts-ex3",
        "r012:unit:auto:e5c02f3749617d0707c93f7b",
        "r012:unit:auto:2b519dfc00d541387443004e",
        "r012:unit:auto:9a551d139ef7eb1d7cc16567",
        "r012:unit:auto:8a6e60a8b6286b051c013987",
        "r012:unit:auto:4200147cc15d9ce97a2c6d6e",
        "r012:unit:auto:4aa77ce711c420cf471714da",
        "r012:unit:auto:ab5ccb527191a7e0e804dbb5",
        "r012:unit:auto:76931f7c99044e9bd27e3fcc",
        "r012:unit:s_graphs_PI",
        "r012:unit:graphs_PI_subgraph1",
        "r012:unit:graphs_PI_subgraph2",
        "r012:unit:graphs_PI_subgraph3",
        "r012:unit:graphs_PI_isomorphic1",
        "r012:unit:graphs_PI_isomorphic2",
        "r012:unit:graphs_PI_hamiltonian-G1",
        "r012:unit:img-hamgraph1",
        "r012:unit:auto:4a383152b7bf6e3b1ec65d97",
        "r012:unit:graphs_PI_hamiltonian-G2",
        "r012:unit:img-hamgraph2",
        "r012:unit:auto:41c9aa75261c5c647312ef91",
        "r012:unit:graphs_PI_hamiltonian-G3",
        "r012:unit:img-hamgraph3",
        "r012:unit:auto:4f64a9dc16b1b60d975ff95e",
        "r012:unit:graphs_PI_hamiltonian-G4",
        "r012:unit:petersen-graph",
        "r012:unit:auto:fb5cb6aceb24c969d223c32c",
        "r012:unit:auto:bb6dfad7d50e7310e1e2004d",
        "r012:unit:auto:7d2275a7156280536f23806d",
        "r012:unit:graphs_PI_hamiltonian-G5",
        "r012:unit:petersen-plus-e",
        "r012:unit:auto:e744da24681607e573778d76",
        "r012:unit:auto:245f200b4b1a326e305aa0e2",
        "r012:unit:auto:da292f36c846eaac8a455739",
        "r012:unit:graphs_PI_coloring-defn",
        "r012:unit:graphs_PI_coloring-subgraph",
        "r012:unit:graphs_PI_coloring-Kn",
        "r012:unit:graphs_PI_bipartite",
        "r012:unit:graphs_PI_tree-to-code",
        "r012:unit:graphs_PI_code-vertices",
        "r012:unit:graphs_PI_code-leaves",
        "r012:unit:graphs_PI_code-first-edge"
      ],
      "unit_type_counts": {
        "algorithm": 1,
        "chapter": 1,
        "corollary": 1,
        "definition": 11,
        "example": 2,
        "exercise": 72,
        "exercises": 2,
        "figure": 41,
        "hint": 1,
        "image": 2,
        "introduction": 2,
        "li": 1,
        "md": 1,
        "prefigure": 7,
        "proof": 10,
        "proposition": 3,
        "reading-questions": 4,
        "remark": 1,
        "section": 8,
        "solution": 16,
        "subsection": 3,
        "theorem": 10
      }
    },
    {
      "block_id": "r012:unit:ch_posets",
      "concept_count": 68,
      "concept_ids": [
        "r012:concept:antichain-partition",
        "r012:concept:bubble-sort",
        "r012:concept:chain-partition",
        "r012:concept:closed-interval",
        "r012:concept:comparability-graph",
        "r012:concept:connected-poset",
        "r012:concept:cover-graph",
        "r012:concept:cover-relation",
        "r012:concept:degenerate-interval",
        "r012:concept:dilworth-theorem",
        "r012:concept:disjoint-poset-sum",
        "r012:concept:distinguishing-interval-representation",
        "r012:concept:down-set",
        "r012:concept:dual-dilworth-theorem",
        "r012:concept:dual-poset",
        "r012:concept:equivalence-relation",
        "r012:concept:first-fit-chain-partition",
        "r012:concept:first-fit-coloring",
        "r012:concept:fishburn-theorem",
        "r012:concept:forbidden-subposet",
        "r012:concept:ground-set",
        "r012:concept:hasse-diagram",
        "r012:concept:incomparability-graph",
        "r012:concept:integer-endpoint",
        "r012:concept:interval-endpoint",
        "r012:concept:interval-graph",
        "r012:concept:interval-order",
        "r012:concept:interval-order-width-algorithm",
        "r012:concept:interval-representation",
        "r012:concept:lattice",
        "r012:concept:linear-extension",
        "r012:concept:linear-order",
        "r012:concept:linked-list",
        "r012:concept:loose-point",
        "r012:concept:maximal-chain",
        "r012:concept:maximal-element",
        "r012:concept:maximum-chain",
        "r012:concept:merge-sort",
        "r012:concept:minimal-element",
        "r012:concept:minimal-interval-representation",
        "r012:concept:partial-order",
        "r012:concept:perfect-graph",
        "r012:concept:poset",
        "r012:concept:poset-antichain",
        "r012:concept:poset-automorphism",
        "r012:concept:poset-chain",
        "r012:concept:poset-comparability",
        "r012:concept:poset-component",
        "r012:concept:poset-dimension",
        "r012:concept:poset-embedding",
        "r012:concept:poset-height",
        "r012:concept:poset-incomparability",
        "r012:concept:poset-isomorphism",
        "r012:concept:poset-rank",
        "r012:concept:poset-width",
        "r012:concept:quick-sort",
        "r012:concept:self-dual-poset",
        "r012:concept:set-inclusion",
        "r012:concept:sorting",
        "r012:concept:sperner-theorem",
        "r012:concept:subposet",
        "r012:concept:subset-lattice",
        "r012:concept:symmetric-relation",
        "r012:concept:topological-sort",
        "r012:concept:total-order",
        "r012:concept:two-plus-two-poset",
        "r012:concept:unlabeled-poset",
        "r012:concept:up-set"
      ],
      "exercise_count": 50,
      "exercise_ids": [
        "r012:unit:posets_intro_reading-comparable",
        "r012:unit:posets_intro_reading-chain",
        "r012:unit:posets_intro_reading-antichain",
        "r012:unit:reading_posets_additional-concepts_graphs",
        "r012:unit:posets_dilworth_reading",
        "r012:unit:posets-rq_intervalorder_list-less",
        "r012:unit:posets-rq_intervalorder_list-incomp",
        "r012:unit:posets-rq_intervalorder_not-intord",
        "r012:unit:rq-posets_intervalorder_findrep-loose-point",
        "r012:unit:rq-posets_dilworth-intord-partial",
        "r012:unit:rq-posets_dilworth-intord-width",
        "r012:unit:auto:2e924d8c6f724ee8d4eb8be9",
        "r012:unit:auto:ae551fcb91b9d813610423d4",
        "r012:unit:auto:29f571e1390981b4b7163b93",
        "r012:unit:exer_posets_division",
        "r012:unit:auto:6cad279ffb13c98fbe821ce5",
        "r012:unit:auto:c026fb8e5b8826a383e29be2",
        "r012:unit:auto:6fc795026ccf8843ae202696",
        "r012:unit:auto:98e5fe3263d7cd1666cae593",
        "r012:unit:auto:fc00bd7518a7a94266154f1c",
        "r012:unit:auto:8079635fbc4d38f493b000dc",
        "r012:unit:auto:e0b20fe34fc676effa60a250",
        "r012:unit:auto:44cb1b3aa1fdae739fc821ca",
        "r012:unit:auto:f81fb5dafbd49cb38084cd60",
        "r012:unit:auto:73a25af25d09f4196845adf9",
        "r012:unit:auto:bc94eaaa40ba5a276e501aa5",
        "r012:unit:auto:651e00dafbb8b882fa71bd3f",
        "r012:unit:auto:22b356cf3625d028998ca7db",
        "r012:unit:auto:347b6dd5f70b334e2b989613",
        "r012:unit:auto:144482dcd24dcb5624a6483d",
        "r012:unit:auto:12dc521cbf0985e8c6ab6f05",
        "r012:unit:auto:3e0c87884fa6a31cd7042a45",
        "r012:unit:posets_PI_movie-poset",
        "r012:unit:posets_PI_antichains",
        "r012:unit:posets_PI_chains",
        "r012:unit:posets_PI_antichain-type",
        "r012:unit:posets_PI_chain-type1",
        "r012:unit:posets_PI_chain-type2",
        "r012:unit:posets_PI_17-pt-chain",
        "r012:unit:posets_PI_points-subset-lattice",
        "r012:unit:posets_PI_subset-lattice-minimal",
        "r012:unit:posets_PI_subset-lattice-height",
        "r012:unit:posets_PI_intord-less",
        "r012:unit:posets_PI_intord-incomp",
        "r012:unit:posets_PI_find-two-plus-two",
        "r012:unit:posets_PI_find-intrep-interval",
        "r012:unit:posets_PI_intord-findrep-nocontain",
        "r012:unit:posets_PI_intord-findrep-small-downset",
        "r012:unit:posets_PI_intord-firstfit-chains",
        "r012:unit:posets_PI_intord-firstfit-already-assigned"
      ],
      "explicit_support_count": 12,
      "explicit_support_relation_ids": [
        "r012:relation:solves:69bf9333a451f7ecab334759",
        "r012:relation:solves:9eb873f82cf04bfe2e41aa7e",
        "r012:relation:solves:b12d3017451ee32f3b690389",
        "r012:relation:solves:998caaa0a8c7a73ef2f59553",
        "r012:relation:solves:fad9617525acbefc0ee74b09",
        "r012:relation:solves:89a36dd0e23e47dadd378280",
        "r012:relation:solves:fac6dce993984fa254ee7948",
        "r012:relation:solves:fd3ac2b6cad5b8d175d7f778",
        "r012:relation:solves:9b741e962a770056b9ec8bb0",
        "r012:relation:solves:63ca6ab16e4b1604bac61a97",
        "r012:relation:hints:d8ffdac932258cddc4014562",
        "r012:relation:hints:d825b79644873356cba375a9"
      ],
      "kind": "chapter",
      "ordinal": 6,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_posets.html",
      "source_local_id": "ch_posets",
      "source_path": "source/ch_posets.ptx",
      "source_title": "Partially Ordered Sets",
      "title_id": "Himpunan Terurut Parsial",
      "unit_count": 141,
      "unit_ids": [
        "r012:unit:ch_posets",
        "r012:unit:auto:be51e7b4d528499641208404",
        "r012:unit:auto:762664c168563ea0832e5e5b",
        "r012:unit:fig_movies",
        "r012:unit:s_posets_intro",
        "r012:unit:exa_binaryrel",
        "r012:unit:auto:06e983098e9f542aaddbb4b0",
        "r012:unit:fig_covergraphs",
        "r012:unit:fig_17ptposet",
        "r012:unit:auto:3a77be206ad7c53efd317f80",
        "r012:unit:exa_construct",
        "r012:unit:fig_constructposets",
        "r012:unit:fig_compincomp",
        "r012:unit:fig_subposet",
        "r012:unit:auto:cd195ed8c94cc224220984da",
        "r012:unit:rqs-posets_intro",
        "r012:unit:posets_intro_reading-comparable",
        "r012:unit:posets_intro_reading-chain",
        "r012:unit:posets_intro_reading-antichain",
        "r012:unit:s_posets_additional-concepts",
        "r012:unit:auto:9fa3b4654d9916a058d41b66",
        "r012:unit:f_unlabeled",
        "r012:unit:auto:bb6b3019466165fefb6c61ee",
        "r012:unit:fig_noncompgraph",
        "r012:unit:discussion_posets_additional-concepts_claims",
        "r012:unit:rqs-posets_additional-concepts",
        "r012:unit:reading_posets_additional-concepts_graphs",
        "r012:unit:s_posets_dilworth",
        "r012:unit:thm_dilworth",
        "r012:unit:thm_dualdilworth",
        "r012:unit:auto:94057576be39128d8b46e036",
        "r012:unit:fig_height5",
        "r012:unit:auto:cb18d73054c8d88bbaf37bf3",
        "r012:unit:rqs-posets_dilworth",
        "r012:unit:posets_dilworth_reading",
        "r012:unit:para_posets_dilworth_proof",
        "r012:unit:fig_width7",
        "r012:unit:auto:7defb47dbb721d38e9a03f2a",
        "r012:unit:s_posets_sorting",
        "r012:unit:fig_posets_lin-extn",
        "r012:unit:auto:62a8ddab2dba5327a67cf7c3",
        "r012:unit:auto:87b0522dd38aa09adc56ddd9",
        "r012:unit:s_posets_subset-lattice",
        "r012:unit:auto:de1091f92749ed08b6ab1e24",
        "r012:unit:fig_4cube",
        "r012:unit:ss_posets_subset-lattice_sperner",
        "r012:unit:thm_sperner",
        "r012:unit:auto:33e439c8805ad0cae93d6ce7",
        "r012:unit:s_posets_intervalorder",
        "r012:unit:fig_6ptintorder",
        "r012:unit:thm_fishburn",
        "r012:unit:auto:a4362315290ba0900cf6f2f4",
        "r012:unit:rqs-posets_intervalorder",
        "r012:unit:posets-rq_intervalorder_list-less",
        "r012:unit:posets_intervalorder_rq-intord1",
        "r012:unit:posets-rq_intervalorder_list-incomp",
        "r012:unit:posets_intervalorder_rq-intord2",
        "r012:unit:posets-rq_intervalorder_not-intord",
        "r012:unit:posets_intervalorder_rq-not-intord",
        "r012:unit:s_posets_intervalorder_findrep",
        "r012:unit:thm_intord-minrep",
        "r012:unit:fig_10ptintorder",
        "r012:unit:rqs-posets_intervalorder_findrep",
        "r012:unit:rq-posets_intervalorder_findrep-loose-point",
        "r012:unit:s_posets_dilworth-intord",
        "r012:unit:auto:5f127a0f36370b1973d0d5e8",
        "r012:unit:fig_FirstFit",
        "r012:unit:rqs-posets_dilworth-intord",
        "r012:unit:rq-posets_dilworth-intord-partial",
        "r012:unit:posets_dilworth-intord_rq1",
        "r012:unit:rq-posets_dilworth-intord-width",
        "r012:unit:posets_dilworth-intord_rq2",
        "r012:unit:s_posets_discussion",
        "r012:unit:s_posets_exercises",
        "r012:unit:auto:2e924d8c6f724ee8d4eb8be9",
        "r012:unit:auto:ae551fcb91b9d813610423d4",
        "r012:unit:auto:29f571e1390981b4b7163b93",
        "r012:unit:exer_posets_division",
        "r012:unit:auto:6cad279ffb13c98fbe821ce5",
        "r012:unit:auto:c026fb8e5b8826a383e29be2",
        "r012:unit:auto:8b86725e25b5b53f9b78d02b",
        "r012:unit:auto:6fc795026ccf8843ae202696",
        "r012:unit:auto:085eef75fbc221c8539125fd",
        "r012:unit:auto:98e5fe3263d7cd1666cae593",
        "r012:unit:auto:d57d42c05fddf1e880e252df",
        "r012:unit:auto:fc00bd7518a7a94266154f1c",
        "r012:unit:auto:a20f131d03807527ff45ebd7",
        "r012:unit:auto:8079635fbc4d38f493b000dc",
        "r012:unit:auto:1309cea2994e8e43e9c03468",
        "r012:unit:auto:e0b20fe34fc676effa60a250",
        "r012:unit:auto:fcda848baccb4f015963b0ca",
        "r012:unit:auto:44cb1b3aa1fdae739fc821ca",
        "r012:unit:fig_intord_to_diag_ex",
        "r012:unit:auto:2124c8b77378df62a9471ad7",
        "r012:unit:intord-to-diagram-exercise1",
        "r012:unit:auto:05770695024dc73965dec408",
        "r012:unit:auto:f81fb5dafbd49cb38084cd60",
        "r012:unit:fig_intord_to_diag_ex2",
        "r012:unit:auto:73a25af25d09f4196845adf9",
        "r012:unit:fig_intord_find_rep_ex1",
        "r012:unit:auto:bc94eaaa40ba5a276e501aa5",
        "r012:unit:fig_intord_find_rep_ex4",
        "r012:unit:auto:eae8b57c721815521f9f7306",
        "r012:unit:auto:651e00dafbb8b882fa71bd3f",
        "r012:unit:fig_intord_find_rep_ex2",
        "r012:unit:auto:853be05aa5da6212a844837f",
        "r012:unit:auto:22b356cf3625d028998ca7db",
        "r012:unit:fig_intord_find_rep_ex3",
        "r012:unit:auto:347b6dd5f70b334e2b989613",
        "r012:unit:fig_intord_firstfit_ex1",
        "r012:unit:auto:482349e8f2bb923c1701759f",
        "r012:unit:auto:144482dcd24dcb5624a6483d",
        "r012:unit:auto:90b8b4e5eb57ae64daeb4bb5",
        "r012:unit:auto:12dc521cbf0985e8c6ab6f05",
        "r012:unit:auto:9c669e328b809df5f3d14056",
        "r012:unit:auto:3e0c87884fa6a31cd7042a45",
        "r012:unit:s_posets_PI",
        "r012:unit:posets_PI_movie-poset",
        "r012:unit:posets_PI_antichains",
        "r012:unit:big-poset-PI1",
        "r012:unit:auto:f16ad6760e5ffaa6a0b03f33",
        "r012:unit:posets_PI_chains",
        "r012:unit:big-poset-PI2",
        "r012:unit:posets_PI_antichain-type",
        "r012:unit:big-poset-PI3",
        "r012:unit:posets_PI_chain-type1",
        "r012:unit:big-poset-PI4",
        "r012:unit:posets_PI_chain-type2",
        "r012:unit:big-poset-PI5",
        "r012:unit:posets_PI_17-pt-chain",
        "r012:unit:posets_PI_points-subset-lattice",
        "r012:unit:posets_PI_subset-lattice-minimal",
        "r012:unit:posets_PI_subset-lattice-height",
        "r012:unit:posets_PI_intord-less",
        "r012:unit:posets_PI_intord-incomp",
        "r012:unit:posets_PI_find-two-plus-two",
        "r012:unit:posets_PI_find-intrep-interval",
        "r012:unit:posets_PI_intord-findrep-nocontain",
        "r012:unit:posets_PI_intord-findrep-small-downset",
        "r012:unit:posets_PI_intord-firstfit-chains",
        "r012:unit:posets_PI_intord-firstfit-already-assigned"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "definition": 2,
        "example": 3,
        "exercise": 50,
        "exercises": 2,
        "figure": 22,
        "hint": 2,
        "image": 5,
        "introduction": 2,
        "paragraphs": 1,
        "prefigure": 6,
        "proof": 3,
        "reading-questions": 6,
        "remark": 10,
        "section": 9,
        "solution": 11,
        "subsection": 1,
        "theorem": 5
      }
    },
    {
      "block_id": "r012:unit:ch_inclusion-exclusion",
      "concept_count": 35,
      "concept_ids": [
        "r012:concept:alphabet",
        "r012:concept:applied-combinatorics",
        "r012:concept:bijection",
        "r012:concept:binomial-coefficient",
        "r012:concept:counting",
        "r012:concept:derangement",
        "r012:concept:derangement-asymptotic-probability",
        "r012:concept:derangement-enumeration-formula",
        "r012:concept:divisibility",
        "r012:concept:divisibility-count-for-primes",
        "r012:concept:euler-phi-function",
        "r012:concept:euler-phi-product-formula",
        "r012:concept:fixed-point",
        "r012:concept:folder-distribution-model",
        "r012:concept:function",
        "r012:concept:function-image",
        "r012:concept:greatest-common-divisor",
        "r012:concept:hat-check-problem",
        "r012:concept:inclusion-exclusion",
        "r012:concept:inclusion-exclusion-property",
        "r012:concept:induction-hypothesis",
        "r012:concept:large-integer-arithmetic",
        "r012:concept:mathematical-induction",
        "r012:concept:nonnegative-integer",
        "r012:concept:number-theory",
        "r012:concept:permutation",
        "r012:concept:positive-integer",
        "r012:concept:prime-factorization",
        "r012:concept:public-key-cryptography",
        "r012:concept:relative-primality",
        "r012:concept:string",
        "r012:concept:surjection",
        "r012:concept:surjection-enumeration-formula",
        "r012:concept:upper-bound-constraint",
        "r012:concept:venn-diagram"
      ],
      "exercise_count": 53,
      "exercise_ids": [
        "r012:unit:inclusion-exclusion_intro-rq-divisor",
        "r012:unit:inclusion-exclusion_statement_rq-terms",
        "r012:unit:auto:6f81637b674d35e3b9c52db6",
        "r012:unit:auto:57e66ed9d3c2ff813057e08a",
        "r012:unit:auto:bcf11634162a181d473028c2",
        "r012:unit:auto:4e9bc9daa9d492eb99a9687e",
        "r012:unit:auto:d231242cd967c0a706fecd21",
        "r012:unit:auto:435387697278dbaa95cd68bd",
        "r012:unit:auto:328950a879727c218a6d3e20",
        "r012:unit:auto:1e317ac7ad56d3f690eee82d",
        "r012:unit:auto:a7f9067b48428dc877bc51cd",
        "r012:unit:auto:de56645de488d5edfb1159c8",
        "r012:unit:auto:70defe67d530396a9b7f44a6",
        "r012:unit:auto:e40cd59d752b9bc0e1054221",
        "r012:unit:auto:208311f0391cb61229660932",
        "r012:unit:auto:9b34068d4135ce50c6edf53b",
        "r012:unit:auto:348b30fdefc7b569859875ee",
        "r012:unit:auto:05d35182197ca9d5f94b2a2a",
        "r012:unit:auto:b00f4c1ebe8f22d1fea2b679",
        "r012:unit:auto:c21327425f502cb88dc01f87",
        "r012:unit:auto:188ed1baafaca38d1d0aace3",
        "r012:unit:auto:d3aa5845be4c822d4b946901",
        "r012:unit:auto:66ec74e480cb41c08378fa17",
        "r012:unit:auto:484c06194f105dfcf44848df",
        "r012:unit:auto:a9579cdd2bb5d5ed175a99b6",
        "r012:unit:auto:f3fccbe0a8d9a59de7093609",
        "r012:unit:auto:f4225bc36db63210d3c4bed4",
        "r012:unit:auto:a6e3b9be074c8b2c5ea8a0cd",
        "r012:unit:auto:509b5abe35c1f884b0712fda",
        "r012:unit:inclusion-exclusion_PI_IE-sum-terms",
        "r012:unit:inclusion-exclusion_PI_surjection",
        "r012:unit:inclusion-exclusion_PI_functions-count",
        "r012:unit:inclusion-exclusion_PI_function-property",
        "r012:unit:inclusion-exclusion_PI_perms-count",
        "r012:unit:inclusion-exclusion_PI_perm-prop",
        "r012:unit:inclusion-exclusion_PI_rel-prime",
        "r012:unit:inclusion-exclusion_activity_IE-sum-terms-8",
        "r012:unit:inclusion-exclusion_activity_surjection",
        "r012:unit:inclusion-exclusion_activity_functions-count",
        "r012:unit:inclusion-exclusion_activity_function-property",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_properties",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_one-prop",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_two-prop",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_two-prop-2-5",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_three-prop",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_conclusion",
        "r012:unit:act_inclusion-exclusion_surjections-formula-properties",
        "r012:unit:act_inclusion-exclusion_surjections-formula_one-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_two-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_four-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_j-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_j-subsets",
        "r012:unit:act_inclusion-exclusion_surjections-formula_conclusion"
      ],
      "explicit_support_count": 6,
      "explicit_support_relation_ids": [
        "r012:relation:solves:063ead9adf68a3fe9e7e4bcf",
        "r012:relation:solves:db51d91247f291fd72f93813",
        "r012:relation:solves:8752fce10662efcf39cf9cf8",
        "r012:relation:solves:eed254b8fa0b951e90bb7c72",
        "r012:relation:solves:a72576d4ac8c81f0ddcf6c4a",
        "r012:relation:hints:893cab4dd0ca1e0621fdc555"
      ],
      "kind": "chapter",
      "ordinal": 7,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_inclusion-exclusion.html",
      "source_local_id": "ch_inclusion-exclusion",
      "source_path": "source/ch_inclusion-exclusion.ptx",
      "source_title": "Inclusion-Exclusion",
      "title_id": "Inklusi–Eksklusi",
      "unit_count": 102,
      "unit_ids": [
        "r012:unit:ch_inclusion-exclusion",
        "r012:unit:auto:8b4b0c93b275558730fa3875",
        "r012:unit:s_inclusion-exclusion_intro",
        "r012:unit:exa_inclusion-exclusion_students",
        "r012:unit:auto:02e53b3d1d70290d159730bc",
        "r012:unit:fig_venn-app-comb",
        "r012:unit:venn-diagram-students",
        "r012:unit:exa_inclusion-exclusion_int-solns",
        "r012:unit:exa_inclusion-exclusion_prop-inject",
        "r012:unit:exa_inclusion-exclusion_prop-derange",
        "r012:unit:exa_inclusion-exclusion_prop-divis",
        "r012:unit:rqs-inclusion-exclusion_intro",
        "r012:unit:inclusion-exclusion_intro-rq-divisor",
        "r012:unit:s_inclusion-exclusion_statement",
        "r012:unit:thm_inclusion-exclusion",
        "r012:unit:eq_inclusion-exclusion",
        "r012:unit:auto:157db7e274f439b81e0dec9b",
        "r012:unit:rqs-inclusion-exclusion_statement",
        "r012:unit:inclusion-exclusion_statement_rq-terms",
        "r012:unit:s_inclusion-exclusion_surjections",
        "r012:unit:auto:0436226a7a3aec223fbb66d8",
        "r012:unit:auto:ead8b23e16dc2a353a7c3c9a",
        "r012:unit:auto:d82b928b4ab1bfb15c849fb5",
        "r012:unit:s_inclusion-exclusion_derangements",
        "r012:unit:auto:efc19c37945fe17ccd593b42",
        "r012:unit:auto:dec906b7a981dd80a50fb0a2",
        "r012:unit:auto:0ccd82df017d6432c7a435f0",
        "r012:unit:auto:57a1c249f2782f556231221b",
        "r012:unit:auto:3ac47f248ab24d08c8fbed2f",
        "r012:unit:auto:0faa5a1d42e8503171d0a48a",
        "r012:unit:s_inclusion-exclusion_euler-phi",
        "r012:unit:thm_eulerphi",
        "r012:unit:eq_eulerphi",
        "r012:unit:prop_num-divisible",
        "r012:unit:auto:40c708c69ade17788d6a5947",
        "r012:unit:auto:5cf98fb376a04e75419df1f9",
        "r012:unit:auto:78cd58d5f8395977c731d2e1",
        "r012:unit:s_inclusion-exclusion_discussion",
        "r012:unit:s_inclusion-exclusion_exercises",
        "r012:unit:auto:6f81637b674d35e3b9c52db6",
        "r012:unit:auto:b8cac72ecfd4e88e45fa59bc",
        "r012:unit:auto:57e66ed9d3c2ff813057e08a",
        "r012:unit:auto:bcf11634162a181d473028c2",
        "r012:unit:auto:4e9bc9daa9d492eb99a9687e",
        "r012:unit:auto:d231242cd967c0a706fecd21",
        "r012:unit:auto:7b8f62d34845d641c2e57f0c",
        "r012:unit:auto:435387697278dbaa95cd68bd",
        "r012:unit:auto:328950a879727c218a6d3e20",
        "r012:unit:auto:76ca4cd132d1a847219afb0f",
        "r012:unit:auto:1e317ac7ad56d3f690eee82d",
        "r012:unit:auto:a7f9067b48428dc877bc51cd",
        "r012:unit:auto:de56645de488d5edfb1159c8",
        "r012:unit:auto:70defe67d530396a9b7f44a6",
        "r012:unit:tab_function_e-i-ex",
        "r012:unit:auto:e40cd59d752b9bc0e1054221",
        "r012:unit:tab_perm-e-i-ex",
        "r012:unit:auto:208311f0391cb61229660932",
        "r012:unit:auto:9b34068d4135ce50c6edf53b",
        "r012:unit:auto:348b30fdefc7b569859875ee",
        "r012:unit:auto:05d35182197ca9d5f94b2a2a",
        "r012:unit:auto:b00f4c1ebe8f22d1fea2b679",
        "r012:unit:auto:47f4d9bb89ec37081c0e05e3",
        "r012:unit:auto:c21327425f502cb88dc01f87",
        "r012:unit:auto:188ed1baafaca38d1d0aace3",
        "r012:unit:auto:d3aa5845be4c822d4b946901",
        "r012:unit:auto:66ec74e480cb41c08378fa17",
        "r012:unit:auto:795b6d4c24720d6fe770ec01",
        "r012:unit:auto:484c06194f105dfcf44848df",
        "r012:unit:auto:a3b7bb136de03ef64d157c04",
        "r012:unit:auto:a9579cdd2bb5d5ed175a99b6",
        "r012:unit:auto:f3fccbe0a8d9a59de7093609",
        "r012:unit:auto:f4225bc36db63210d3c4bed4",
        "r012:unit:auto:a6e3b9be074c8b2c5ea8a0cd",
        "r012:unit:auto:509b5abe35c1f884b0712fda",
        "r012:unit:s_inclusion-exclusion_PI",
        "r012:unit:inclusion-exclusion_PI_IE-sum-terms",
        "r012:unit:inclusion-exclusion_PI_surjection",
        "r012:unit:inclusion-exclusion_PI_functions-count",
        "r012:unit:inclusion-exclusion_PI_function-property",
        "r012:unit:inclusion-exclusion_PI_perms-count",
        "r012:unit:inclusion-exclusion_PI_perm-prop",
        "r012:unit:inclusion-exclusion_PI_rel-prime",
        "r012:unit:s_inclusion-exclusion_surjections_activity",
        "r012:unit:inclusion-exclusion_activity_IE-sum-terms-8",
        "r012:unit:def-surjection",
        "r012:unit:def-image",
        "r012:unit:inclusion-exclusion_activity_surjection",
        "r012:unit:inclusion-exclusion_activity_functions-count",
        "r012:unit:inclusion-exclusion_activity_function-property",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_properties",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_one-prop",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_two-prop",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_two-prop-2-5",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_three-prop",
        "r012:unit:act_inclusion-exclusion_surjections-8-5_conclusion",
        "r012:unit:act_inclusion-exclusion_surjections-formula-properties",
        "r012:unit:act_inclusion-exclusion_surjections-formula_one-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_two-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_four-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_j-prop",
        "r012:unit:act_inclusion-exclusion_surjections-formula_j-subsets",
        "r012:unit:act_inclusion-exclusion_surjections-formula_conclusion"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "definition": 2,
        "example": 8,
        "exercise": 53,
        "exercises": 2,
        "figure": 3,
        "hint": 1,
        "image": 1,
        "introduction": 1,
        "lemma": 2,
        "md": 2,
        "proof": 5,
        "proposition": 1,
        "reading-questions": 2,
        "section": 7,
        "solution": 6,
        "theorem": 5
      }
    },
    {
      "block_id": "r012:unit:ch_genfunction",
      "concept_count": 42,
      "concept_ids": [
        "r012:concept:big-o",
        "r012:concept:binomial-coefficient",
        "r012:concept:binomial-theorem",
        "r012:concept:central-binomial-convolution",
        "r012:concept:central-binomial-generating-function",
        "r012:concept:coin-change-generating-function",
        "r012:concept:distinct-part-partition",
        "r012:concept:distribution",
        "r012:concept:euler-partition-theorem",
        "r012:concept:even-symbol-count-filter",
        "r012:concept:exponential-generating-function",
        "r012:concept:exponential-generating-function-coefficient-extraction",
        "r012:concept:factorial",
        "r012:concept:falling-product-recurrence",
        "r012:concept:finite-geometric-series",
        "r012:concept:formal-power-series",
        "r012:concept:generalized-binomial-coefficient",
        "r012:concept:generalized-binomial-theorem",
        "r012:concept:generating-function",
        "r012:concept:generating-function-distribution-model",
        "r012:concept:generating-function-exercise-synthesis",
        "r012:concept:geometric-series",
        "r012:concept:inclusion-exclusion",
        "r012:concept:integer-partition",
        "r012:concept:least-common-multiple",
        "r012:concept:multiset-generating-function",
        "r012:concept:negative-half-binomial-coefficient",
        "r012:concept:nonnegative-integer",
        "r012:concept:odd-part-partition",
        "r012:concept:ordered-coin-sequence-generating-function",
        "r012:concept:ordinary-generating-function",
        "r012:concept:partial-fraction-coefficient-extraction",
        "r012:concept:partition-generating-function",
        "r012:concept:partition-number",
        "r012:concept:power-series",
        "r012:concept:power-series-product",
        "r012:concept:radius-of-convergence",
        "r012:concept:required-symbol-egf-factor",
        "r012:concept:restricted-object-distribution",
        "r012:concept:restricted-passcode-egf",
        "r012:concept:sage-power-series-expansion",
        "r012:concept:string"
      ],
      "exercise_count": 38,
      "exercise_ids": [
        "r012:unit:genfunction_distributions_rq-constant_term",
        "r012:unit:genfunction_distributions_rq-coins",
        "r012:unit:rq-genfunction_exponential_passcode",
        "r012:unit:auto:de5413975c5928244d4ef92d",
        "r012:unit:auto:c9e4ae3fbb7d521e57578b77",
        "r012:unit:auto:aa5622144b1b3ea4ff5aa1f9",
        "r012:unit:auto:c4c8833f92db93b2e94ad128",
        "r012:unit:auto:e1321354951ba5fcec2ae15c",
        "r012:unit:auto:ad5800950b29d7f51c43a73e",
        "r012:unit:ex_genfunction_ineq-clean",
        "r012:unit:auto:6b0d982902d4e6cfc0dfed45",
        "r012:unit:auto:ee8879a06017a0d2b15e112b",
        "r012:unit:auto:318098a808461c4b431eaeec",
        "r012:unit:auto:921b776e937d50a2fd4c2c37",
        "r012:unit:auto:9da8ebe78f63c221b5b6bc64",
        "r012:unit:auto:8def6d29b55112ab987c47ed",
        "r012:unit:auto:e8d44b4a1a92ff638df8e07e",
        "r012:unit:auto:3a3cdb7defb6ad5b83822a4f",
        "r012:unit:auto:c53a9727c6ac71ed663831ee",
        "r012:unit:auto:e0f50e92137238f006185b9f",
        "r012:unit:auto:5a5a5f490053509f506e2e65",
        "r012:unit:auto:fce61924f5d5515db0dda1a7",
        "r012:unit:auto:036523eaa2d61e9332b741a9",
        "r012:unit:auto:cf2c41b37a21c756eb8fd9bc",
        "r012:unit:auto:7bf7f50248eb334f48c18d4f",
        "r012:unit:auto:cd91522cddb9cb10442a7836",
        "r012:unit:auto:f3edcd631926927e1e6b9719",
        "r012:unit:auto:fdf77306cd6d226cfda10c55",
        "r012:unit:auto:39ab9828f6c93359abfbc514",
        "r012:unit:ex_genfunction_ineq-messy",
        "r012:unit:auto:a65033c7e640b8b32155ee76",
        "r012:unit:genfunction_PI_apples-one",
        "r012:unit:genfunction_PI_apples-five",
        "r012:unit:genfunction_PI_apples-oranges-bananas",
        "r012:unit:genfunction_PI_polynomial",
        "r012:unit:genfunction_PI_exponential-vs-ordinary",
        "r012:unit:genfunction_PI_string-restrict-4",
        "r012:unit:genfunction_PI_string-restrict-2"
      ],
      "explicit_support_count": 7,
      "explicit_support_relation_ids": [
        "r012:relation:solves:723e377b535900498171c95d",
        "r012:relation:hints:0f7d296be4239f55c81b743a",
        "r012:relation:solves:310ed9e4bf18200edad11253",
        "r012:relation:hints:1290726be356f804b3c14e03",
        "r012:relation:answers:3b3ccd8d12246333972010df",
        "r012:relation:solves:b4c541d9979c1569437d08b4",
        "r012:relation:hints:0ad7f3166203b381c961f98c"
      ],
      "kind": "chapter",
      "ordinal": 8,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_genfunction.html",
      "source_local_id": "ch_genfunction",
      "source_path": "source/ch_genfunction.ptx",
      "source_title": "Generating Functions",
      "title_id": "Fungsi Pembangkit",
      "unit_count": 89,
      "unit_ids": [
        "r012:unit:ch_genfunction",
        "r012:unit:auto:5d06d4ea1ab81098c21c9be0",
        "r012:unit:s_genfunction_intro",
        "r012:unit:exam_genfunction_geom-series",
        "r012:unit:eq_genfunction_finite-geom",
        "r012:unit:auto:0be40ee4fe111164419b75cb",
        "r012:unit:prop_genfunction-product",
        "r012:unit:s_genfunction_distributions",
        "r012:unit:exa_genfunction_apples",
        "r012:unit:exa_genfunction_fruit",
        "r012:unit:auto:2d043fada756b0e678fbcfa4",
        "r012:unit:exa_genfunction_partial-fracs",
        "r012:unit:auto:692d3d5206064b390fb35ace",
        "r012:unit:exa_genfunction_multisets",
        "r012:unit:auto:d7c45bbaac6cda937a07c30e",
        "r012:unit:rqs-genfunction_distributions",
        "r012:unit:genfunction_distributions_rq-constant_term",
        "r012:unit:genfunction_distributions_rq-coins",
        "r012:unit:s_genfunction_gen-bin-thm",
        "r012:unit:auto:404b9eaf4b1ef3eb26f316ad",
        "r012:unit:auto:8f3500f97b0ab7c55c94505a",
        "r012:unit:thm_newton-binomial",
        "r012:unit:s_genfunction_binom-app",
        "r012:unit:auto:c03a554019cff7389d010e0a",
        "r012:unit:auto:19fe094123fad8db0f430437",
        "r012:unit:l_newbinom",
        "r012:unit:auto:0bd3b62b200da00131d43e75",
        "r012:unit:t_sqrt",
        "r012:unit:auto:79d958c3e26c2de12eddca3f",
        "r012:unit:auto:77bb8e40ef7c0def33263edd",
        "r012:unit:s_genfunction_partitions-integer",
        "r012:unit:fig_genfunction_partsof8",
        "r012:unit:thm_partition",
        "r012:unit:auto:c1cbbffbb5bf258ea18be45d",
        "r012:unit:s_genfunction_exponential",
        "r012:unit:auto:a92a089aa7a8dd70c223b7f8",
        "r012:unit:auto:7db46e9144887cfe4587f1aa",
        "r012:unit:auto:3259ae9833c0290eb6d05545",
        "r012:unit:auto:4b9b577c7e32e0494cb91c36",
        "r012:unit:ex_genfunction_exponential_passcode",
        "r012:unit:rqs-genfunction_exponential",
        "r012:unit:rq-genfunction_exponential_passcode",
        "r012:unit:s_genfunction_discussion",
        "r012:unit:s_genfunction_exercises",
        "r012:unit:auto:e3dfb8524ffbb34b5062db90",
        "r012:unit:auto:de5413975c5928244d4ef92d",
        "r012:unit:auto:c9e4ae3fbb7d521e57578b77",
        "r012:unit:auto:aa5622144b1b3ea4ff5aa1f9",
        "r012:unit:auto:c4c8833f92db93b2e94ad128",
        "r012:unit:auto:e1321354951ba5fcec2ae15c",
        "r012:unit:auto:ad5800950b29d7f51c43a73e",
        "r012:unit:ex_genfunction_ineq-clean",
        "r012:unit:auto:077a3c17f2ebc0690b0ad934",
        "r012:unit:auto:6b0d982902d4e6cfc0dfed45",
        "r012:unit:auto:ee8879a06017a0d2b15e112b",
        "r012:unit:auto:318098a808461c4b431eaeec",
        "r012:unit:auto:921b776e937d50a2fd4c2c37",
        "r012:unit:auto:01062773643c273567236f44",
        "r012:unit:auto:9da8ebe78f63c221b5b6bc64",
        "r012:unit:auto:510a0fb2ef3cdad37eca7e81",
        "r012:unit:auto:8def6d29b55112ab987c47ed",
        "r012:unit:auto:e8d44b4a1a92ff638df8e07e",
        "r012:unit:auto:3a3cdb7defb6ad5b83822a4f",
        "r012:unit:exer_genfunction_coin-toll",
        "r012:unit:auto:027fb432a9986f9c24a39e2e",
        "r012:unit:auto:774277a4814925295d7481f1",
        "r012:unit:auto:46be14a19d3b560435dab10c",
        "r012:unit:auto:c53a9727c6ac71ed663831ee",
        "r012:unit:auto:e0f50e92137238f006185b9f",
        "r012:unit:auto:5a5a5f490053509f506e2e65",
        "r012:unit:auto:fce61924f5d5515db0dda1a7",
        "r012:unit:auto:036523eaa2d61e9332b741a9",
        "r012:unit:auto:cf2c41b37a21c756eb8fd9bc",
        "r012:unit:auto:7bf7f50248eb334f48c18d4f",
        "r012:unit:auto:cd91522cddb9cb10442a7836",
        "r012:unit:auto:f3edcd631926927e1e6b9719",
        "r012:unit:auto:fdf77306cd6d226cfda10c55",
        "r012:unit:auto:39ab9828f6c93359abfbc514",
        "r012:unit:ex_genfunction_ineq-messy",
        "r012:unit:auto:b227d2ba3023d16a25e65e43",
        "r012:unit:auto:a65033c7e640b8b32155ee76",
        "r012:unit:s_genfunction_PI",
        "r012:unit:genfunction_PI_apples-one",
        "r012:unit:genfunction_PI_apples-five",
        "r012:unit:genfunction_PI_apples-oranges-bananas",
        "r012:unit:genfunction_PI_polynomial",
        "r012:unit:genfunction_PI_exponential-vs-ordinary",
        "r012:unit:genfunction_PI_string-restrict-4",
        "r012:unit:genfunction_PI_string-restrict-2"
      ],
      "unit_type_counts": {
        "answer": 1,
        "chapter": 1,
        "corollary": 1,
        "definition": 2,
        "example": 10,
        "exercise": 38,
        "exercises": 2,
        "figure": 1,
        "hint": 3,
        "introduction": 2,
        "lemma": 2,
        "li": 1,
        "md": 1,
        "proof": 4,
        "proposition": 1,
        "reading-questions": 2,
        "section": 7,
        "solution": 7,
        "theorem": 3
      }
    },
    {
      "block_id": "r012:unit:ch_recurrence",
      "concept_count": 70,
      "concept_ids": [
        "r012:concept:advancement-operator",
        "r012:concept:advancement-operator-equation",
        "r012:concept:advancement-operator-exercise-synthesis",
        "r012:concept:advancement-operator-polynomial",
        "r012:concept:catalan-lattice-path-decomposition",
        "r012:concept:checkerboard",
        "r012:concept:closed-form-expression",
        "r012:concept:consecutive-term-ratio",
        "r012:concept:constant-coefficient-recurrence",
        "r012:concept:database-identifier-recurrence",
        "r012:concept:distinct-root-recurrence-solution",
        "r012:concept:explicit-recurrence-solution",
        "r012:concept:factored-advancement-operator-general-solution",
        "r012:concept:fibonacci-number",
        "r012:concept:fibonacci-sequence",
        "r012:concept:fibonacci-tiling-recurrence",
        "r012:concept:first-degree-advancement-operator-solution-space",
        "r012:concept:forbidden-substring-recurrence",
        "r012:concept:full-binary-tree",
        "r012:concept:function",
        "r012:concept:generating-function",
        "r012:concept:generating-function-coefficient-shift",
        "r012:concept:generating-function-recurrence-method",
        "r012:concept:homogeneous-linear-recurrence",
        "r012:concept:homogeneous-recurrence-classification",
        "r012:concept:homogeneous-recurrence-solution-space",
        "r012:concept:initial-condition",
        "r012:concept:initial-value-constant-determination",
        "r012:concept:l-tile-rectangle-recurrence",
        "r012:concept:left-child",
        "r012:concept:line-arrangement",
        "r012:concept:line-region-recurrence",
        "r012:concept:linear-operator",
        "r012:concept:linear-recurrence-classification",
        "r012:concept:linear-recurrence-equation",
        "r012:concept:naive-recursion-cost",
        "r012:concept:nonconstant-coefficient-recurrence",
        "r012:concept:nonhomogeneous-forcing-generating-function",
        "r012:concept:nonhomogeneous-linear-recurrence",
        "r012:concept:ordered-tree",
        "r012:concept:particular-plus-homogeneous-solution",
        "r012:concept:particular-solution",
        "r012:concept:particular-solution-trial-method",
        "r012:concept:particular-trial-overlap-adjustment",
        "r012:concept:positive-half-binomial-coefficient",
        "r012:concept:real-vector-space",
        "r012:concept:recurrence",
        "r012:concept:recurrence-equation",
        "r012:concept:recurrence-equation-exercise-synthesis",
        "r012:concept:recurrence-generating-function-exercise-synthesis",
        "r012:concept:recurrence-relation",
        "r012:concept:recurrence-runtime-benchmark",
        "r012:concept:recursive-evaluation",
        "r012:concept:repeated-root-recurrence-solution",
        "r012:concept:right-child",
        "r012:concept:rooted-tree",
        "r012:concept:rubot",
        "r012:concept:rubot-catalan-recurrence",
        "r012:concept:rubot-generating-function",
        "r012:concept:sequence",
        "r012:concept:string",
        "r012:concept:substring",
        "r012:concept:tile",
        "r012:concept:tower-of-hanoi-recurrence",
        "r012:concept:tree-child",
        "r012:concept:tree-root",
        "r012:concept:unlabeled-tree",
        "r012:concept:vector-space-basis-and-dimension",
        "r012:concept:vector-subspace",
        "r012:concept:zero-root-shift-reduction"
      ],
      "exercise_count": 29,
      "exercise_ids": [
        "r012:unit:rq-recurrence_linear-matching",
        "r012:unit:rq-recurrence_adv-ops_rewrite",
        "r012:unit:rq-recurrence_solving-solve-plus-4",
        "r012:unit:rq-recurrence_solving-solve-plus-deg-two",
        "r012:unit:rq-recurrence_solving-async-nonlinear",
        "r012:unit:recurrence_discussion_takeaways",
        "r012:unit:auto:ac892aec96eaa77b4a0a36e4",
        "r012:unit:auto:9cf4d7c8a20de4ca8b9de93e",
        "r012:unit:auto:3549d4f120ca30032c33a0d1",
        "r012:unit:auto:8e94530a2b3d9882659d84f1",
        "r012:unit:auto:93b94559d7290fc61a4d7009",
        "r012:unit:auto:8e977a982b82e4f10923a472",
        "r012:unit:auto:f10a68b8c3ec6f2b75b92e9a",
        "r012:unit:auto:46233cb583804154445beacc",
        "r012:unit:auto:7ed09f79b0fb4d1b7de08cae",
        "r012:unit:auto:be824cc6b96066d8d01042a9",
        "r012:unit:auto:7ad32a20f169b1d58bcd7202",
        "r012:unit:auto:7126d6d352834b81eac3866d",
        "r012:unit:auto:a4561d5ffe8f5b7ea7d9b05c",
        "r012:unit:auto:2cfed815ad84a270e98c40b4",
        "r012:unit:ex_recurrence_gen-fn",
        "r012:unit:auto:fdcb4e382775725188f7ddfb",
        "r012:unit:auto:8b87a353e8228ac6d2ab68b5",
        "r012:unit:auto:3110fa2523dd10b3fb16b771",
        "r012:unit:auto:2805f151f78e8bead70ba078",
        "r012:unit:auto:a58313acc3d83680ca48be27",
        "r012:unit:recurrence_PI_linear",
        "r012:unit:recurrence_PI_homogeneous",
        "r012:unit:recurrence_PI_solve-deg-one"
      ],
      "explicit_support_count": 1,
      "explicit_support_relation_ids": [
        "r012:relation:hints:9134e53aa8b966740cf96e10"
      ],
      "kind": "chapter",
      "ordinal": 9,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_recurrence.html",
      "source_local_id": "ch_recurrence",
      "source_path": "source/ch_recurrence.ptx",
      "source_title": "Recurrence Equations",
      "title_id": "Persamaan Rekurensi",
      "unit_count": 111,
      "unit_ids": [
        "r012:unit:ch_recurrence",
        "r012:unit:auto:b2a4979434434bc7233ca327",
        "r012:unit:s_recurrence_intro",
        "r012:unit:s_recurrence_intro_fib",
        "r012:unit:tab_fib-ratios",
        "r012:unit:auto:a5fd615b1106d334b47d57d4",
        "r012:unit:s_recurrence_intro_strings",
        "r012:unit:ex_recurrence_binary-strings-no-11",
        "r012:unit:ex_recurrence_ternary-strings-no-20",
        "r012:unit:s_recurrence_intro_lines",
        "r012:unit:fig_geomregions",
        "r012:unit:s_recurrence_linear",
        "r012:unit:rqs-recurrence_linear",
        "r012:unit:rq-recurrence_linear-matching",
        "r012:unit:s_recurrence_adv-ops",
        "r012:unit:auto:12b6629772d99bdcaab15a9b",
        "r012:unit:ex_recurrence_diffeq",
        "r012:unit:auto:27087d0ded854684444635f4",
        "r012:unit:auto:45c00a23c466b44177d15161",
        "r012:unit:ex_recurrence_adveq",
        "r012:unit:auto:03810a7758a5b5bb714c9db1",
        "r012:unit:s_recurrence_adv-ops_const-coeff",
        "r012:unit:eqn_advance",
        "r012:unit:s_recurrence_adv-ops_roots-factors",
        "r012:unit:s_recurrence_adv-ops_zero",
        "r012:unit:rqs-recurrence_adv-ops",
        "r012:unit:rq-recurrence_adv-ops_rewrite",
        "r012:unit:auto:579ed4ce02dc9e5c91947fa1",
        "r012:unit:s_recurrence_solving",
        "r012:unit:auto:6fc2244ca73e66280136cd35",
        "r012:unit:s_recurrence_solving_homogeneous",
        "r012:unit:ex_recurrence_deg2",
        "r012:unit:eqn_recurrence_deg2",
        "r012:unit:auto:84a0496a222b53d7a794ad33",
        "r012:unit:ex_recurrence_ternary-strings-no-20-solved",
        "r012:unit:eqn_recurrence_ternary",
        "r012:unit:auto:6fb2d3d14bf9ef34219de62c",
        "r012:unit:auto:7e986cac2f05f207b4f84e52",
        "r012:unit:ex_recurrence_deg2-repeated",
        "r012:unit:auto:59e37c5e565bbb90b27c376a",
        "r012:unit:ex_recurrence_deg4-repeated",
        "r012:unit:auto:7a086af1059186533045c2a0",
        "r012:unit:eqn_recurrence_deg4-repeated",
        "r012:unit:s_recurrence_solving_nonhomogeneous",
        "r012:unit:auto:4a09aa7241b0bf6a931d0955",
        "r012:unit:auto:2b9501b6517e77e868e24689",
        "r012:unit:auto:71277975a4975b582e2a5ed0",
        "r012:unit:ex_recurrence_lines-solved",
        "r012:unit:auto:025bf0a72a4db690049c74bf",
        "r012:unit:auto:fe34519bf04224978c455222",
        "r012:unit:rqs-recurrence_solving",
        "r012:unit:rq-recurrence_solving-solve-plus-4",
        "r012:unit:rq-recurrence_solving-solve-plus-deg-two",
        "r012:unit:rq-recurrence_solving-async-nonlinear",
        "r012:unit:s_recurrence_rigorous",
        "r012:unit:auto:ba2f054b693f6319b15736f2",
        "r012:unit:s_recurrence_rigorous_principal",
        "r012:unit:thm_advance",
        "r012:unit:s_recurrence_rigorous_start",
        "r012:unit:lem_base",
        "r012:unit:auto:8330e14ca1873f918cbadb50",
        "r012:unit:lem_particular",
        "r012:unit:eqn_nonhomogeneous",
        "r012:unit:eqn_homogeneous",
        "r012:unit:auto:3cdf045c69a328229cf28c05",
        "r012:unit:auto:c52c9183ba4135b30d2552a6",
        "r012:unit:eqn_distinct",
        "r012:unit:auto:0521558e3324b301583e231e",
        "r012:unit:eqn_distinct2",
        "r012:unit:eqn_distinct3",
        "r012:unit:s_recurrence_rigorous_repeated",
        "r012:unit:lem_rr",
        "r012:unit:eqn_rr",
        "r012:unit:eqn_solutionrr",
        "r012:unit:s_recurrence_rigorous_general",
        "r012:unit:auto:4411fbc2b5a9d67ef15e7dff",
        "r012:unit:s_recurrence_genfunction",
        "r012:unit:ex_recurrence_gf-homog",
        "r012:unit:ex_recurrence_gf-nonhomog",
        "r012:unit:s_recurrence_rubots",
        "r012:unit:fig_rubots",
        "r012:unit:l_half-binomial",
        "r012:unit:thm_catalan-genfunction",
        "r012:unit:s_recurrence_discussion",
        "r012:unit:rqs-recurrence_discussion",
        "r012:unit:recurrence_discussion_takeaways",
        "r012:unit:s_recurrence_exercises",
        "r012:unit:auto:ac892aec96eaa77b4a0a36e4",
        "r012:unit:auto:9cf4d7c8a20de4ca8b9de93e",
        "r012:unit:auto:3549d4f120ca30032c33a0d1",
        "r012:unit:auto:8e94530a2b3d9882659d84f1",
        "r012:unit:auto:93b94559d7290fc61a4d7009",
        "r012:unit:auto:8e977a982b82e4f10923a472",
        "r012:unit:auto:f10a68b8c3ec6f2b75b92e9a",
        "r012:unit:auto:46233cb583804154445beacc",
        "r012:unit:auto:7ed09f79b0fb4d1b7de08cae",
        "r012:unit:auto:be824cc6b96066d8d01042a9",
        "r012:unit:auto:7ad32a20f169b1d58bcd7202",
        "r012:unit:auto:7126d6d352834b81eac3866d",
        "r012:unit:auto:a4561d5ffe8f5b7ea7d9b05c",
        "r012:unit:auto:2cfed815ad84a270e98c40b4",
        "r012:unit:ex_recurrence_gen-fn",
        "r012:unit:auto:fdcb4e382775725188f7ddfb",
        "r012:unit:auto:8b87a353e8228ac6d2ab68b5",
        "r012:unit:auto:3110fa2523dd10b3fb16b771",
        "r012:unit:auto:2805f151f78e8bead70ba078",
        "r012:unit:auto:a58313acc3d83680ca48be27",
        "r012:unit:s_recurrence_PI",
        "r012:unit:recurrence_PI_linear",
        "r012:unit:recurrence_PI_homogeneous",
        "r012:unit:recurrence_PI_solve-deg-one"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "example": 18,
        "exercise": 29,
        "exercises": 2,
        "figure": 3,
        "hint": 1,
        "introduction": 4,
        "lemma": 4,
        "md": 11,
        "proof": 3,
        "reading-questions": 4,
        "section": 8,
        "solution": 8,
        "subsection": 12,
        "theorem": 3
      }
    },
    {
      "block_id": "r012:unit:ch_probability",
      "concept_count": 57,
      "concept_ids": [
        "r012:concept:absolute-convergence",
        "r012:concept:adaptive-wagering-without-replacement",
        "r012:concept:alternative-variance-identity",
        "r012:concept:bernoulli-count-variance",
        "r012:concept:bernoulli-trials",
        "r012:concept:binary-string",
        "r012:concept:binomial-count-probability",
        "r012:concept:central-tendency",
        "r012:concept:chain-rule",
        "r012:concept:chebyshev-inequality",
        "r012:concept:complete-subgraph",
        "r012:concept:conditional-probability",
        "r012:concept:conditional-probability-application",
        "r012:concept:context-dependent-preference",
        "r012:concept:countably-infinite-sample-space",
        "r012:concept:dependent-events",
        "r012:concept:derangement-probability",
        "r012:concept:disjoint-events",
        "r012:concept:elementary-outcome",
        "r012:concept:equally-likely-outcomes",
        "r012:concept:erdos-renyi-random-graph",
        "r012:concept:event",
        "r012:concept:expected-bernoulli-success-count",
        "r012:concept:expected-value",
        "r012:concept:failure",
        "r012:concept:fair-coin",
        "r012:concept:fair-game",
        "r012:concept:finite-set",
        "r012:concept:first-decisive-event-probability",
        "r012:concept:fixed-bernoulli-outcome-string",
        "r012:concept:full-house",
        "r012:concept:full-house-probability",
        "r012:concept:independent-events",
        "r012:concept:infinite-probability-space",
        "r012:concept:infinite-series",
        "r012:concept:linearity-of-expectation",
        "r012:concept:markov-inequality",
        "r012:concept:outcome",
        "r012:concept:pairwise-independent-random-variables",
        "r012:concept:partitioned-event-probability",
        "r012:concept:payoff-ratio",
        "r012:concept:preference",
        "r012:concept:probability",
        "r012:concept:probability-exercise-synthesis",
        "r012:concept:probability-measure",
        "r012:concept:probability-space",
        "r012:concept:random-graph",
        "r012:concept:random-variable",
        "r012:concept:repeated-independent-sampling",
        "r012:concept:sample-space",
        "r012:concept:sampling-without-replacement",
        "r012:concept:set-function",
        "r012:concept:standard-deviation",
        "r012:concept:success",
        "r012:concept:uncountable-sample-space",
        "r012:concept:variance",
        "r012:concept:vertex-set"
      ],
      "exercise_count": 6,
      "exercise_ids": [
        "r012:unit:auto:ae9e45d23d7ae655a004a48e",
        "r012:unit:auto:6af0972d376281846c73515c",
        "r012:unit:auto:39044bf03ea223bfcd378e8f",
        "r012:unit:auto:f6784d3449a3d1a00f4c7855",
        "r012:unit:auto:6691548129df37fcc64c5423",
        "r012:unit:auto:07a5e2769ec7b1889ef21fcf"
      ],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 10,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_probability.html",
      "source_local_id": "ch_probability",
      "source_path": "source/ch_probability.ptx",
      "source_title": "Probability",
      "title_id": "Probabilitas",
      "unit_count": 54,
      "unit_ids": [
        "r012:unit:ch_probability",
        "r012:unit:auto:662e3bb0f4096cd83bffd676",
        "r012:unit:s_probability_intro",
        "r012:unit:fig_spinner",
        "r012:unit:auto:7b8975bfedbafba14aa4e12a",
        "r012:unit:auto:33c963d4a1733b8680bf29a7",
        "r012:unit:auto:dc7056216e439071dc1ede50",
        "r012:unit:auto:56571ed736bc51d7ce86d6d1",
        "r012:unit:auto:d275dcdb8b05d03219dfcac9",
        "r012:unit:auto:f7e40464a595ae094b2b7cdf",
        "r012:unit:s_probability_conditional",
        "r012:unit:auto:cf51ab7939254cfefade0b8c",
        "r012:unit:auto:9993d92d77c0f40d26e93f31",
        "r012:unit:exa_twojars",
        "r012:unit:auto:e890493d9ce5282dd02dd98c",
        "r012:unit:auto:05f265d02d3ca62d0f8281ac",
        "r012:unit:exa_twodie",
        "r012:unit:s_probability_bernoulli-trials",
        "r012:unit:auto:db94db2f7872e2d60d2c14d9",
        "r012:unit:auto:32044d97999cdcfffee7f5b3",
        "r012:unit:auto:b42f3491cea83177c7826fab",
        "r012:unit:s_probability_discrete-random-variables",
        "r012:unit:auto:fa26c80a67c89c43da03624e",
        "r012:unit:auto:60c6a1b068fc8ed42ca7593c",
        "r012:unit:auto:35a079f39425cb52d1e8033e",
        "r012:unit:auto:7e2a630e17326b4f9f1938dc",
        "r012:unit:prop_linearexpect",
        "r012:unit:auto:50435ea8dccf727c79b95617",
        "r012:unit:auto:f4036c5496787d4bb754e7c7",
        "r012:unit:auto:547efd53cf33ac25d1c84daa",
        "r012:unit:s_probability_central-tendency",
        "r012:unit:auto:cb7ff5c803d045f07d0f6a7c",
        "r012:unit:thm_markov",
        "r012:unit:auto:f500f84f36aceb3795d3ee64",
        "r012:unit:auto:dd704af3675a6c3b2f7eb811",
        "r012:unit:auto:1ca23f7a2a506b65cda662e4",
        "r012:unit:auto:4bd593cb3ed0759f3af2567d",
        "r012:unit:prop_altvar",
        "r012:unit:auto:04e29835753888d7a1f7f7c4",
        "r012:unit:thm_chebyshev",
        "r012:unit:auto:6f4a1059e3bf486185892a99",
        "r012:unit:auto:354fbfc06218f60f0c0cd93d",
        "r012:unit:auto:492448e06d01b1f5aff88288",
        "r012:unit:s_probability_infinite-outcomes",
        "r012:unit:auto:bbd504642e6e005fdb6f75d4",
        "r012:unit:auto:9f5b75658465146534f073d6",
        "r012:unit:s_probability_discussion",
        "r012:unit:s_probability_exercises",
        "r012:unit:auto:ae9e45d23d7ae655a004a48e",
        "r012:unit:auto:6af0972d376281846c73515c",
        "r012:unit:auto:39044bf03ea223bfcd378e8f",
        "r012:unit:auto:f6784d3449a3d1a00f4c7855",
        "r012:unit:auto:6691548129df37fcc64c5423",
        "r012:unit:auto:07a5e2769ec7b1889ef21fcf"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "example": 21,
        "exercise": 6,
        "exercises": 1,
        "figure": 1,
        "introduction": 4,
        "proof": 3,
        "proposition": 2,
        "remark": 2,
        "section": 7,
        "subsection": 4,
        "theorem": 2
      }
    },
    {
      "block_id": "r012:unit:ch_probmeth",
      "concept_count": 27,
      "concept_ids": [
        "r012:concept:binomial-coefficient",
        "r012:concept:chromatic-number",
        "r012:concept:clique",
        "r012:concept:complete-graph",
        "r012:concept:erdos-high-girth-high-chromatic-theorem",
        "r012:concept:expected-value",
        "r012:concept:factorial",
        "r012:concept:first-moment-method",
        "r012:concept:general-ramsey-theorem",
        "r012:concept:graph-girth",
        "r012:concept:graph-ramsey-theorem",
        "r012:concept:independent-set",
        "r012:concept:induced-subgraph",
        "r012:concept:isolated-vertex",
        "r012:concept:linearity-of-expectation",
        "r012:concept:probabilistic-method",
        "r012:concept:probability-space",
        "r012:concept:ramsey-number",
        "r012:concept:ramsey-property",
        "r012:concept:random-graph",
        "r012:concept:random-tournament",
        "r012:concept:random-variable",
        "r012:concept:stirling-approximation",
        "r012:concept:symmetric-ramsey-number",
        "r012:concept:threshold-probability",
        "r012:concept:tournament",
        "r012:concept:with-high-probability"
      ],
      "exercise_count": 5,
      "exercise_ids": [
        "r012:unit:auto:e0d98d6aea836beb002735f8",
        "r012:unit:auto:73562dac5be1e7fe8effd609",
        "r012:unit:auto:3795b07190a639c7cf85bd25",
        "r012:unit:auto:c55fd90841226ded37669e43",
        "r012:unit:auto:920932210f3e48d48d5fab67"
      ],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 11,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_probmeth.html",
      "source_local_id": "ch_probmeth",
      "source_path": "source/ch_probmeth.ptx",
      "source_title": "Applying Probability to Combinatorics",
      "title_id": "Menerapkan Probabilitas pada Kombinatorika",
      "unit_count": 28,
      "unit_ids": [
        "r012:unit:ch_probmeth",
        "r012:unit:s_probmeth_graph-ramsey",
        "r012:unit:lem_r33",
        "r012:unit:auto:f4fe5ced8ad9a24f7e63719f",
        "r012:unit:thm_graphramsey",
        "r012:unit:auto:d02601349e657a94593ab861",
        "r012:unit:s_ramsey_small",
        "r012:unit:tab_ramsey_small",
        "r012:unit:s_ramsey_estimatesize",
        "r012:unit:s_ramsey_probability",
        "r012:unit:thm_rnn",
        "r012:unit:auto:9852113baa37e0eb158e9c5c",
        "r012:unit:eqn_rnn",
        "r012:unit:auto:9babf4cb33ba3f1ca9e1a950",
        "r012:unit:s_ramsey_theorem",
        "r012:unit:thm_genramsey",
        "r012:unit:s_ramsey_girth",
        "r012:unit:auto:b6b04eb97f24fc97d7619bbd",
        "r012:unit:thm_girth",
        "r012:unit:auto:b476049651675c6af371fa05",
        "r012:unit:auto:5bd21d354818d561ad365ea0",
        "r012:unit:s_ramsey_discussion",
        "r012:unit:s_ramsey_exercises",
        "r012:unit:auto:e0d98d6aea836beb002735f8",
        "r012:unit:auto:73562dac5be1e7fe8effd609",
        "r012:unit:auto:3795b07190a639c7cf85bd25",
        "r012:unit:auto:c55fd90841226ded37669e43",
        "r012:unit:auto:920932210f3e48d48d5fab67"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "exercise": 5,
        "exercises": 1,
        "figure": 1,
        "introduction": 1,
        "lemma": 1,
        "md": 1,
        "proof": 4,
        "remark": 1,
        "section": 7,
        "subsection": 1,
        "theorem": 4
      }
    },
    {
      "block_id": "r012:unit:ch_graphalgorithms",
      "concept_count": 28,
      "concept_ids": [
        "r012:concept:constrained-minimum-spanning-network",
        "r012:concept:dijkstra-algorithm",
        "r012:concept:dijkstra-negative-weight-failure",
        "r012:concept:dijkstra-nonnegative-correctness",
        "r012:concept:dijkstra-permanent-distance-monotonicity",
        "r012:concept:dijkstra-relaxation",
        "r012:concept:directed-cycle",
        "r012:concept:directed-distance",
        "r012:concept:directed-edge",
        "r012:concept:directed-path",
        "r012:concept:directed-path-length",
        "r012:concept:graph-algorithm",
        "r012:concept:greedy-algorithm",
        "r012:concept:heap-priority-structure",
        "r012:concept:kruskal-algorithm",
        "r012:concept:minimum-spanning-tree",
        "r012:concept:minimum-spanning-tree-algorithm-history",
        "r012:concept:oriented-graph",
        "r012:concept:prim-algorithm",
        "r012:concept:root-vertex",
        "r012:concept:safe-minimum-cut-edge",
        "r012:concept:shortest-path-algorithm-history",
        "r012:concept:shortest-path-subpath-optimality",
        "r012:concept:spanning-forest",
        "r012:concept:spanning-forest-component-count",
        "r012:concept:spanning-tree-exchange-principle",
        "r012:concept:weighted-digraph",
        "r012:concept:weighted-graph"
      ],
      "exercise_count": 16,
      "exercise_ids": [
        "r012:unit:auto:cb283dd60991e8a0c7645974",
        "r012:unit:auto:f7bd3faa0ba472b087af7e10",
        "r012:unit:auto:7ebe704f0e12eda04550edc4",
        "r012:unit:auto:12f7c2da39a85e30597b17f8",
        "r012:unit:auto:688316e5dea7d2d8e8537dd6",
        "r012:unit:auto:d46bf349fe25a7422f1453d0",
        "r012:unit:auto:1d4b8f89f4bceae7a5754001",
        "r012:unit:auto:5af93712f676284570edb5f2",
        "r012:unit:auto:591716d66f6798181539d854",
        "r012:unit:auto:2896a20bdb4dee86a3f1204b",
        "r012:unit:auto:be120cd875bb41ee6ff40e6d",
        "r012:unit:auto:fbdbbfdd913b7a4f03551801",
        "r012:unit:auto:f532a3e44e77442ac96e3d20",
        "r012:unit:auto:e2096817e3992cdc7038a565",
        "r012:unit:auto:457813006a6529b4a549e082",
        "r012:unit:auto:fc6b5f6179dbc2e0dc34b73a"
      ],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 12,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_graphalgorithms.html",
      "source_local_id": "ch_graphalgorithms",
      "source_path": "source/ch_graphalgorithms.ptx",
      "source_title": "Graph Algorithms",
      "title_id": "Algoritma Graf",
      "unit_count": 66,
      "unit_ids": [
        "r012:unit:ch_graphalgorithms",
        "r012:unit:auto:365805fb6aac70f8b0eb1e43",
        "r012:unit:s_graphalgorithms_min-wt-span",
        "r012:unit:auto:91f026da452bd9e5c45276ec",
        "r012:unit:fig_graphalgorithms_spantreegraph",
        "r012:unit:auto:1ad7060f59520740ba80ef4f",
        "r012:unit:prop_graphalgorithms_spanforest",
        "r012:unit:prop_graphalgorithms_exchange",
        "r012:unit:auto:02d9b9bea3ad5babc3a2a86a",
        "r012:unit:fig_graphalgorithms_exchange",
        "r012:unit:lem_graphalgorithms_tech",
        "r012:unit:auto:52395ededac66acc0fd47372",
        "r012:unit:auto:ca6836cd3158ae9d7604036c",
        "r012:unit:auto:ee64c42365be92d37cefaab3",
        "r012:unit:alg_kruskal",
        "r012:unit:auto:bae3e8927c7d8d9515abb1a9",
        "r012:unit:alg_prim",
        "r012:unit:auto:dbddb17b55b796a544bb6f58",
        "r012:unit:auto:fde3d857fe3623290170674c",
        "r012:unit:s_graphalgorithms_digraphs",
        "r012:unit:fig_graphalgorithms_digraph",
        "r012:unit:s_graphalgorithms_shortest-paths",
        "r012:unit:auto:be197b76dc3e13fc3ab20d67",
        "r012:unit:auto:e039df75c9c568d545d48458",
        "r012:unit:alg_dijkstra",
        "r012:unit:auto:68c1f40dc2602b361d8dceb9",
        "r012:unit:fig_graphalgorithms_dijkstragraph",
        "r012:unit:auto:2439c441ae91b8dfa802dba7",
        "r012:unit:auto:c6f7a17e0c128a736fcc6574",
        "r012:unit:auto:26e5475466f215ad26712e0a",
        "r012:unit:auto:b8213a94e40c25117faba03a",
        "r012:unit:auto:fc7b081f7ab412cc81545def",
        "r012:unit:auto:66a1f94fb9745253c0e6d603",
        "r012:unit:auto:93e0260d50ec0065e8b3cada",
        "r012:unit:auto:ee8d4a5f04cf3a34cb615bbe",
        "r012:unit:auto:842bd4f2c0492187f2e1ea64",
        "r012:unit:auto:f21a1f56781178442f01f91d",
        "r012:unit:auto:6a81ae5c891847cfca987de3",
        "r012:unit:auto:d2ca3635524cb5792438f29a",
        "r012:unit:auto:4d2de1f96a396d5a3c15a0ce",
        "r012:unit:fig_graphalgorithms_dijkstra-proof",
        "r012:unit:s_graphalgorithms_historical-notes",
        "r012:unit:s_graphalgorithms_exercises",
        "r012:unit:auto:cb283dd60991e8a0c7645974",
        "r012:unit:fig_span_tree_ex1",
        "r012:unit:auto:f7bd3faa0ba472b087af7e10",
        "r012:unit:auto:7ebe704f0e12eda04550edc4",
        "r012:unit:fig_span_tree_ex2",
        "r012:unit:auto:12f7c2da39a85e30597b17f8",
        "r012:unit:auto:688316e5dea7d2d8e8537dd6",
        "r012:unit:fig_span_tree_ex3",
        "r012:unit:auto:d46bf349fe25a7422f1453d0",
        "r012:unit:auto:1d4b8f89f4bceae7a5754001",
        "r012:unit:auto:5af93712f676284570edb5f2",
        "r012:unit:auto:591716d66f6798181539d854",
        "r012:unit:auto:2896a20bdb4dee86a3f1204b",
        "r012:unit:auto:be120cd875bb41ee6ff40e6d",
        "r012:unit:fig_graphalgorithms_dijkstra_ex1",
        "r012:unit:auto:fbdbbfdd913b7a4f03551801",
        "r012:unit:tab_digraph1",
        "r012:unit:auto:f532a3e44e77442ac96e3d20",
        "r012:unit:fig_graphalgorithms_dijkstra_ex2",
        "r012:unit:auto:e2096817e3992cdc7038a565",
        "r012:unit:tab_digraph2",
        "r012:unit:auto:457813006a6529b4a549e082",
        "r012:unit:auto:fc6b5f6179dbc2e0dc34b73a"
      ],
      "unit_type_counts": {
        "algorithm": 2,
        "chapter": 1,
        "example": 2,
        "exercise": 16,
        "exercises": 1,
        "figure": 12,
        "introduction": 3,
        "lemma": 1,
        "paragraphs": 8,
        "proof": 3,
        "proposition": 4,
        "remark": 1,
        "section": 4,
        "subsection": 7,
        "theorem": 1
      }
    },
    {
      "block_id": "r012:unit:ch_networkflow",
      "concept_count": 35,
      "concept_ids": [
        "r012:concept:algorithms-optimization",
        "r012:concept:augmenting-flow-update",
        "r012:concept:augmenting-path",
        "r012:concept:breadth-first-label-scan",
        "r012:concept:current-flow",
        "r012:concept:cut-capacity",
        "r012:concept:directed-edge",
        "r012:concept:edge",
        "r012:concept:edge-capacity",
        "r012:concept:edge-flow-status",
        "r012:concept:flow-conservation-law",
        "r012:concept:flow-cut-capacity-bound",
        "r012:concept:flow-network",
        "r012:concept:flow-value",
        "r012:concept:ford-fulkerson-labeling-algorithm",
        "r012:concept:graph-incidence",
        "r012:concept:graph-neighbor",
        "r012:concept:integral-maximum-flow",
        "r012:concept:linear-order",
        "r012:concept:linear-programming",
        "r012:concept:max-flow-min-cut-theorem",
        "r012:concept:maximum-flow",
        "r012:concept:minimum-cut",
        "r012:concept:network-cut",
        "r012:concept:network-flow",
        "r012:concept:network-flow-linear-program",
        "r012:concept:network-flow-optimality-certificate",
        "r012:concept:network-source-and-sink",
        "r012:concept:optimization",
        "r012:concept:oriented-graph",
        "r012:concept:path",
        "r012:concept:spare-capacity",
        "r012:concept:vertex",
        "r012:concept:vertex-potential",
        "r012:concept:zero-flow"
      ],
      "exercise_count": 11,
      "exercise_ids": [
        "r012:unit:auto:9b9a1f9d29e6e4f35afb7393",
        "r012:unit:auto:fb05b2cc09e905e12beb3564",
        "r012:unit:auto:f9600969c36abf89b0db5628",
        "r012:unit:ex_networkflow_update",
        "r012:unit:auto:9e21c03f74f2396d8887cd97",
        "r012:unit:auto:5d2d0ca4a63c1626c4349b92",
        "r012:unit:ex_networkflow_do-update",
        "r012:unit:auto:23afb7e7d40e9ea1dfd47c99",
        "r012:unit:auto:62b8a08bd019f8d0f5e1fcdd",
        "r012:unit:auto:453ba4a54f12dcc2e6760f38",
        "r012:unit:auto:1dc48e7981ef74118b237c21"
      ],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 13,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_networkflow.html",
      "source_local_id": "ch_networkflow",
      "source_path": "source/ch_networkflow.ptx",
      "source_title": "Network Flows",
      "title_id": "Aliran Jaringan",
      "unit_count": 45,
      "unit_ids": [
        "r012:unit:ch_networkflow",
        "r012:unit:auto:1550f0e28baf11113a5b8c16",
        "r012:unit:s_networkflow_intro",
        "r012:unit:fig_networkflow_network",
        "r012:unit:fig_networkflow_netflow",
        "r012:unit:s_networkflow_flows-cuts",
        "r012:unit:auto:1709cdbec8de0268c1adaf40",
        "r012:unit:thm_networkflow_flowleqcut",
        "r012:unit:auto:82d03b1385fffb638f57225f",
        "r012:unit:auto:1a5fe701c1703ce54a2b6c04",
        "r012:unit:s_networkflow_augmenting",
        "r012:unit:auto:aacf4c9ae6b4352e5f2c5a16",
        "r012:unit:networkflow_spare",
        "r012:unit:networkflow_used",
        "r012:unit:exa_networkflow_augpath",
        "r012:unit:prop_networkflow_update",
        "r012:unit:exa_networkflow_delta",
        "r012:unit:auto:0d28d49fc35f65830ed69839",
        "r012:unit:fig_networkflow_smallnet",
        "r012:unit:s_networkflow_labeling-algorithm",
        "r012:unit:auto:05c021fbd1433d95b20a4ee6",
        "r012:unit:alg_labeling",
        "r012:unit:s_networkflow_example",
        "r012:unit:auto:3b3f7ccd6abe21dccdf3834a",
        "r012:unit:fig_networkflow_updated-flow",
        "r012:unit:auto:31ca7b697727db357f71f2cb",
        "r012:unit:fig_networkflow_flow4",
        "r012:unit:s_networkflow_integer-programming",
        "r012:unit:s_networkflow_exercises",
        "r012:unit:auto:9b9a1f9d29e6e4f35afb7393",
        "r012:unit:fig_networkflow_invalid",
        "r012:unit:auto:fb05b2cc09e905e12beb3564",
        "r012:unit:fig_networkflow_network_ex",
        "r012:unit:auto:f9600969c36abf89b0db5628",
        "r012:unit:fig_networkflow_augpath_ex",
        "r012:unit:ex_networkflow_update",
        "r012:unit:auto:9e21c03f74f2396d8887cd97",
        "r012:unit:auto:5d2d0ca4a63c1626c4349b92",
        "r012:unit:ex_networkflow_do-update",
        "r012:unit:auto:23afb7e7d40e9ea1dfd47c99",
        "r012:unit:auto:62b8a08bd019f8d0f5e1fcdd",
        "r012:unit:fig_networkflow_network_find_flow1",
        "r012:unit:auto:453ba4a54f12dcc2e6760f38",
        "r012:unit:fig_networkflow_network_find_flow2",
        "r012:unit:auto:1dc48e7981ef74118b237c21"
      ],
      "unit_type_counts": {
        "algorithm": 1,
        "chapter": 1,
        "example": 3,
        "exercise": 11,
        "exercises": 1,
        "figure": 10,
        "introduction": 3,
        "li": 2,
        "proof": 1,
        "proposition": 1,
        "remark": 1,
        "section": 6,
        "subsection": 2,
        "theorem": 2
      }
    },
    {
      "block_id": "r012:unit:ch_flowapplications",
      "concept_count": 22,
      "concept_ids": [
        "r012:concept:augmenting-path",
        "r012:concept:bipartite-matching",
        "r012:concept:bipartite-matching-flow-reduction",
        "r012:concept:chain-partition",
        "r012:concept:dilworth-theorem",
        "r012:concept:flow-derived-chain-partition",
        "r012:concept:full-edge-selection-interpretation",
        "r012:concept:hall-neighborhood-condition",
        "r012:concept:hall-theorem",
        "r012:concept:integer-maximum-flow-integrality",
        "r012:concept:labeled-unlabeled-antichain-certificate",
        "r012:concept:matching",
        "r012:concept:matching-assignment-model",
        "r012:concept:matching-obstruction-certificate",
        "r012:concept:matching-saturation",
        "r012:concept:maximum-bipartite-matching",
        "r012:concept:network-flow",
        "r012:concept:poset-antichain",
        "r012:concept:poset-network-reconstruction",
        "r012:concept:poset-to-flow-network",
        "r012:concept:poset-width",
        "r012:concept:unit-capacity-integral-flow"
      ],
      "exercise_count": 9,
      "exercise_ids": [
        "r012:unit:auto:eed81cb8cba429ff66ee6f28",
        "r012:unit:auto:f60475abf0e0451bad39d925",
        "r012:unit:auto:9a45b86b45f910fbda460059",
        "r012:unit:auto:88b4520fefa1b203c1c4daed",
        "r012:unit:auto:c004249ce3c77795dc8ca2ea",
        "r012:unit:auto:6f9232648c3ca8a280bbb427",
        "r012:unit:auto:7a9dd51508cef05d059ea1f8",
        "r012:unit:auto:cac0a925995fedd2d6c7a20b",
        "r012:unit:auto:ec214be7e3e958d4e43ea8c2"
      ],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 14,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_flowapplications.html",
      "source_local_id": "ch_flowapplications",
      "source_path": "source/ch_flowapplications.ptx",
      "source_title": "Combinatorial Applications of Network Flows",
      "title_id": "Penerapan Kombinatorial Aliran Jaringan",
      "unit_count": 33,
      "unit_ids": [
        "r012:unit:ch_flowapplications",
        "r012:unit:auto:599c500efd48480a4edb03e6",
        "r012:unit:s_flowapplications_intro",
        "r012:unit:auto:9b96003364ee6def0fcb4b84",
        "r012:unit:s_flowapplications_bip-match",
        "r012:unit:fig_flowapplications_bip_graph",
        "r012:unit:fig_flowapplications_bip_match",
        "r012:unit:fig_flowapplications_bipmatch_network",
        "r012:unit:img_flowapplications_bipmatch_network",
        "r012:unit:fig_flowapplications_initial_flow",
        "r012:unit:fig_flowapplications_bipmatch_maxflow",
        "r012:unit:thm_flowapplications_hall",
        "r012:unit:s_flowapplications_chain-partition",
        "r012:unit:auto:915fe9dceca3fbc77523d6e2",
        "r012:unit:fig_flowapplications-poset",
        "r012:unit:fig_flowapplications-network",
        "r012:unit:fig_flowapplications_poset_network_flow",
        "r012:unit:fig_flowapplications_poset_network_flow2",
        "r012:unit:s_flowapplications_exercises",
        "r012:unit:auto:eed81cb8cba429ff66ee6f28",
        "r012:unit:fig_flowapplications_matching_ex1",
        "r012:unit:auto:f60475abf0e0451bad39d925",
        "r012:unit:fig_flowapplications_matching_ex2",
        "r012:unit:auto:9a45b86b45f910fbda460059",
        "r012:unit:auto:88b4520fefa1b203c1c4daed",
        "r012:unit:auto:c004249ce3c77795dc8ca2ea",
        "r012:unit:fig_flowapplications_poset_network_ex1",
        "r012:unit:auto:6f9232648c3ca8a280bbb427",
        "r012:unit:auto:7a9dd51508cef05d059ea1f8",
        "r012:unit:auto:cac0a925995fedd2d6c7a20b",
        "r012:unit:fig_flowapplications_poset_network_ex",
        "r012:unit:auto:ec214be7e3e958d4e43ea8c2",
        "r012:unit:fig_flowapplications_poset_ex"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "exercise": 9,
        "exercises": 1,
        "figure": 15,
        "image": 1,
        "introduction": 1,
        "section": 3,
        "theorem": 2
      }
    },
    {
      "block_id": "r012:unit:ch_polya",
      "concept_count": 43,
      "concept_ids": [
        "r012:concept:aromatic-hydrocarbon",
        "r012:concept:burnside-lemma",
        "r012:concept:coloring-equivalence-under-action",
        "r012:concept:cube-face-coloring",
        "r012:concept:cycle-index",
        "r012:concept:cycle-notation",
        "r012:concept:cyclic-group",
        "r012:concept:dihedral-group",
        "r012:concept:equivalence-class",
        "r012:concept:finite-coloring",
        "r012:concept:fixed-coloring-under-transformation",
        "r012:concept:fixed-set",
        "r012:concept:function-composition",
        "r012:concept:group",
        "r012:concept:group-action",
        "r012:concept:identity-transformation",
        "r012:concept:inequivalent-coloring",
        "r012:concept:inventory-substitution",
        "r012:concept:inverse-transformation",
        "r012:concept:isomer",
        "r012:concept:isomer-enumeration",
        "r012:concept:labeled-graph",
        "r012:concept:modular-arithmetic",
        "r012:concept:noncommutative-operation",
        "r012:concept:nonisomorphic-graph",
        "r012:concept:octave",
        "r012:concept:pair-group",
        "r012:concept:pattern-inventory",
        "r012:concept:permutation-group",
        "r012:concept:permutation-multiplication",
        "r012:concept:polya-enumeration-theorem",
        "r012:concept:polya-exercise-synthesis",
        "r012:concept:reflection",
        "r012:concept:regular-graph",
        "r012:concept:scale",
        "r012:concept:scale-transposition",
        "r012:concept:square-vertex-coloring",
        "r012:concept:stabilizer",
        "r012:concept:symmetric-group",
        "r012:concept:symmetry-aware-enumeration",
        "r012:concept:tic-tac-toe-board-enumeration",
        "r012:concept:unlabeled-graph",
        "r012:concept:unlabeled-graph-enumeration"
      ],
      "exercise_count": 12,
      "exercise_ids": [
        "r012:unit:ex_polya_perm-rep",
        "r012:unit:auto:217f12bfa8b36f71fd5f7ae7",
        "r012:unit:auto:8c654d1f6a0b0342c07bb4eb",
        "r012:unit:auto:55b78e6ec7dda62622983119",
        "r012:unit:ex_polya_cyclic12",
        "r012:unit:auto:3c44a92127e3678a393b4bdd",
        "r012:unit:auto:c7a2aae43a669efa1508f7b1",
        "r012:unit:ex_polya_perm-pairs",
        "r012:unit:auto:7ce8b90cc2b414d83c0c5892",
        "r012:unit:auto:a6f2a17a0a412992b4e67cc1",
        "r012:unit:auto:f6573cd810ccf60cc2c00741",
        "r012:unit:auto:f0f646a152ae746a5ab3b494"
      ],
      "explicit_support_count": 1,
      "explicit_support_relation_ids": [
        "r012:relation:hints:840a22e75f0a20bbc8f56e7f"
      ],
      "kind": "chapter",
      "ordinal": 15,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_polya.html",
      "source_local_id": "ch_polya",
      "source_path": "source/ch_polya.ptx",
      "source_title": "Pólya's Enumeration Theorem",
      "title_id": "Teorema Enumerasi Pólya",
      "unit_count": 50,
      "unit_ids": [
        "r012:unit:ch_polya",
        "r012:unit:auto:573e4c1162b083011455a429",
        "r012:unit:s_polya_square",
        "r012:unit:fig_polya_squares",
        "r012:unit:tab_polya_fixed-square",
        "r012:unit:s_polya_perm-groups",
        "r012:unit:auto:53296b9f1871fc90722639aa",
        "r012:unit:ss_polya_perm-groups_rep",
        "r012:unit:fig_polya_perm-digraph",
        "r012:unit:auto:027d1eb9fc42904ce46957be",
        "r012:unit:ss_polya_perm-groups_mult",
        "r012:unit:auto:127426479ed84bfdc2945d36",
        "r012:unit:auto:777e2e85c5f1d9d23b205542",
        "r012:unit:auto:0369018c1a8421e478137aa2",
        "r012:unit:s_polya_burnside",
        "r012:unit:prop_polya_sum-stabs",
        "r012:unit:auto:e713aa51246733af1404e7c3",
        "r012:unit:lem_polya_burnside",
        "r012:unit:auto:fdc41887f2b091c4fe05c448",
        "r012:unit:s_polya_polya",
        "r012:unit:auto:76308af41f0f63bb8666e10a",
        "r012:unit:ss_polya_polya_cycle-index",
        "r012:unit:tab_polya_square-cycles",
        "r012:unit:ss_polya_polya_full",
        "r012:unit:thm_polya_polya",
        "r012:unit:s_polya_apps",
        "r012:unit:auto:48d6efeec6cf713d96928086",
        "r012:unit:ss_polya_scales",
        "r012:unit:fig_polya_scales",
        "r012:unit:ss_polya_isomers",
        "r012:unit:tab_polya_benzene",
        "r012:unit:ss_polya_graphs",
        "r012:unit:fig_polya_graphs",
        "r012:unit:s_polya_exercises",
        "r012:unit:ex_polya_perm-rep",
        "r012:unit:auto:217f12bfa8b36f71fd5f7ae7",
        "r012:unit:auto:8c654d1f6a0b0342c07bb4eb",
        "r012:unit:auto:55b78e6ec7dda62622983119",
        "r012:unit:fig_polya_pentagon",
        "r012:unit:ex_polya_cyclic12",
        "r012:unit:auto:3c44a92127e3678a393b4bdd",
        "r012:unit:auto:c7a2aae43a669efa1508f7b1",
        "r012:unit:ex_polya_perm-pairs",
        "r012:unit:auto:7ce8b90cc2b414d83c0c5892",
        "r012:unit:auto:a6f2a17a0a412992b4e67cc1",
        "r012:unit:ex_polya_graphs5-pt1",
        "r012:unit:auto:f6573cd810ccf60cc2c00741",
        "r012:unit:fig_polya_TTT",
        "r012:unit:auto:f0f646a152ae746a5ab3b494",
        "r012:unit:auto:689a2b407b7d593bea577e32"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "example": 4,
        "exercise": 12,
        "exercises": 1,
        "figure": 9,
        "hint": 1,
        "introduction": 4,
        "lemma": 1,
        "li": 1,
        "proof": 2,
        "proposition": 1,
        "section": 5,
        "subsection": 7,
        "theorem": 1
      }
    },
    {
      "block_id": "r012:unit:ch_kitchensink",
      "concept_count": 62,
      "concept_ids": [
        "r012:concept:absorbing-markov-chain",
        "r012:concept:absorbing-state",
        "r012:concept:arithmetic-combinatorics",
        "r012:concept:arithmetic-progression",
        "r012:concept:asymmetric-lovasz-local-lemma",
        "r012:concept:asymptotic-order",
        "r012:concept:blocking-pair",
        "r012:concept:circle-permutation-double-count",
        "r012:concept:complementary-set-pair",
        "r012:concept:deferred-acceptance-algorithm",
        "r012:concept:dependency-neighborhood",
        "r012:concept:dual-integer-partition",
        "r012:concept:erdos-ko-rado-theorem",
        "r012:concept:event",
        "r012:concept:event-complement",
        "r012:concept:event-complement-product-notation",
        "r012:concept:extremal-family",
        "r012:concept:extremal-set-theory",
        "r012:concept:forest-online-color-lower-bound",
        "r012:concept:gale-ryser-theorem",
        "r012:concept:incomparability",
        "r012:concept:independent-events",
        "r012:concept:independent-set-bad-event",
        "r012:concept:intersecting-set-family",
        "r012:concept:local-lemma-conditional-induction",
        "r012:concept:local-lemma-parameter-balancing",
        "r012:concept:local-lemma-ramsey-lower-bound",
        "r012:concept:lower-bound",
        "r012:concept:markov-chain",
        "r012:concept:nonincreasing-sequence",
        "r012:concept:number-theory",
        "r012:concept:offline-algorithm",
        "r012:concept:online-algorithm",
        "r012:concept:online-graph-coloring-game",
        "r012:concept:online-poset-antichain-partition",
        "r012:concept:partial-order",
        "r012:concept:partition-cover-relation",
        "r012:concept:partition-dominance-order",
        "r012:concept:poset-antichain",
        "r012:concept:probabilistic-method",
        "r012:concept:probability-space",
        "r012:concept:proper-coloring",
        "r012:concept:ramsey-event-dependency-count",
        "r012:concept:ramsey-number",
        "r012:concept:ramsey-property",
        "r012:concept:random-graph",
        "r012:concept:receiver-monotonicity",
        "r012:concept:regular-transition-matrix",
        "r012:concept:row-column-sum-strings",
        "r012:concept:set-family",
        "r012:concept:sperner-extremal-family",
        "r012:concept:sperner-theorem",
        "r012:concept:stable-matching",
        "r012:concept:stationary-limiting-distribution",
        "r012:concept:stochastic-matrix",
        "r012:concept:strict-preference-order",
        "r012:concept:symmetric-lovasz-local-lemma",
        "r012:concept:szemeredi-online-antichain-optimality",
        "r012:concept:transition-matrix",
        "r012:concept:triangle-bad-event",
        "r012:concept:van-der-waerden-theorem",
        "r012:concept:zero-one-matrix"
      ],
      "exercise_count": 0,
      "exercise_ids": [],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "chapter",
      "ordinal": 16,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_kitchensink.html",
      "source_local_id": "ch_kitchensink",
      "source_path": "source/ch_kitchensink.ptx",
      "source_title": "The Many Faces of Combinatorics",
      "title_id": "Beragam Wajah Kombinatorika",
      "unit_count": 39,
      "unit_ids": [
        "r012:unit:ch_kitchensink",
        "r012:unit:s_kitchensink_online",
        "r012:unit:auto:3767594505de0a6c5505d6a9",
        "r012:unit:exa_P4",
        "r012:unit:thm_olforest",
        "r012:unit:auto:cc44a385f76c0a2c7101c4d5",
        "r012:unit:auto:f9ea33bf56229313b00c2f9b",
        "r012:unit:auto:12aceeddc87c1fdef0bc6b45",
        "r012:unit:auto:a4e6d5e88a585c217e6c88e7",
        "r012:unit:auto:7ae17ace055b16a23741f4b6",
        "r012:unit:auto:d999188fbdeef51619facbd4",
        "r012:unit:auto:32e01cf779f5b41852939dc3",
        "r012:unit:s_kitchensink_extremal-set-theory",
        "r012:unit:exa_intersecting",
        "r012:unit:exa_Sperner",
        "r012:unit:auto:42103ee13800a3fe74ce9a8b",
        "r012:unit:auto:47cc4b582c619f5b4368626f",
        "r012:unit:s_kitchensink_markov-chains",
        "r012:unit:auto:7135d37757f73e169fe2e2f7",
        "r012:unit:eqn_transition",
        "r012:unit:thm_regular",
        "r012:unit:auto:abcd4c6a7f01f4f0e3720fa6",
        "r012:unit:auto:4794720607374699d51eec4f",
        "r012:unit:eqn_absorbing",
        "r012:unit:s_kitchensink_stable-match",
        "r012:unit:s_kitchensink_zero-one-matrices",
        "r012:unit:auto:2f0409168bc08fa51ad5859b",
        "r012:unit:prop_partitioncover",
        "r012:unit:auto:5f86ce3b0247d79dc64a8077",
        "r012:unit:auto:cabf64f1aa98a8a4413cd647",
        "r012:unit:auto:57cedb436befff82c83ed9b3",
        "r012:unit:s_kitchensink_arithmetic-combinatorics",
        "r012:unit:auto:2c43873e0968cfc6d26f9acb",
        "r012:unit:s_kitchensink_lovasz-local",
        "r012:unit:lem_LLL",
        "r012:unit:auto:d1e4a3379bffc16b1d57ecfd",
        "r012:unit:lem_LLL-sym",
        "r012:unit:auto:f483b83e640687a9ae0572ff",
        "r012:unit:s_kitchensink_applying-local-lemma"
      ],
      "unit_type_counts": {
        "chapter": 1,
        "example": 4,
        "introduction": 3,
        "lemma": 2,
        "md": 2,
        "proof": 7,
        "proposition": 1,
        "remark": 1,
        "section": 8,
        "subsection": 3,
        "theorem": 7
      }
    },
    {
      "block_id": "r012:unit:ch_epilogue",
      "concept_count": 18,
      "concept_ids": [
        "r012:concept:aircraft-crew-positioning",
        "r012:concept:attendant-software",
        "r012:concept:computational-public-health",
        "r012:concept:computing-device",
        "r012:concept:cutting-head",
        "r012:concept:epilogue",
        "r012:concept:graduate-fellowship",
        "r012:concept:industrial-optimization",
        "r012:concept:initial-public-offering",
        "r012:concept:operating-system",
        "r012:concept:postdoctoral-position",
        "r012:concept:quantitative-finance-career",
        "r012:concept:safety-net",
        "r012:concept:scheduling-irregularity",
        "r012:concept:smartphone",
        "r012:concept:technology-entrepreneurship",
        "r012:concept:tenure-track-position",
        "r012:concept:venture-capital"
      ],
      "exercise_count": 0,
      "exercise_ids": [],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "appendix",
      "ordinal": 17,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/ch_epilogue.html",
      "source_local_id": "ch_epilogue",
      "source_path": "source/ch_epilogue.ptx",
      "source_title": "Epilogue",
      "title_id": "Epilog",
      "unit_count": 1,
      "unit_ids": [
        "r012:unit:ch_epilogue"
      ],
      "unit_type_counts": {
        "appendix": 1
      }
    },
    {
      "block_id": "r012:unit:app_background",
      "concept_count": 129,
      "concept_ids": [
        "r012:concept:addition-laws",
        "r012:concept:addition-monotonicity",
        "r012:concept:additive-inverse",
        "r012:concept:algebraic-number",
        "r012:concept:algebraic-transcendental-number",
        "r012:concept:antisymmetric-relation",
        "r012:concept:axiom-of-choice",
        "r012:concept:axiom-of-extensionality",
        "r012:concept:axiom-of-infinity",
        "r012:concept:base",
        "r012:concept:bijection",
        "r012:concept:binary-operation",
        "r012:concept:binary-relation",
        "r012:concept:cantor-diagonal-nonsurjection",
        "r012:concept:cartesian-product",
        "r012:concept:cartesian-product-cardinality",
        "r012:concept:combinatorics-background-appendix",
        "r012:concept:complex-number-system",
        "r012:concept:cut-arithmetic",
        "r012:concept:decimal-expansion",
        "r012:concept:dedekind-cut",
        "r012:concept:denominator",
        "r012:concept:digit",
        "r012:concept:division",
        "r012:concept:division-algorithm",
        "r012:concept:element",
        "r012:concept:empty-set",
        "r012:concept:empty-set-axiom",
        "r012:concept:equivalence-class",
        "r012:concept:equivalence-relation",
        "r012:concept:existential-quantifier",
        "r012:concept:exponent-laws",
        "r012:concept:finite-cardinality",
        "r012:concept:finite-cartesian-product",
        "r012:concept:finite-decimal-expansion",
        "r012:concept:finite-injection-surjection-equivalence",
        "r012:concept:finite-set",
        "r012:concept:first-coordinate",
        "r012:concept:fraction",
        "r012:concept:function",
        "r012:concept:function-as-relation",
        "r012:concept:imaginary-unit",
        "r012:concept:inclusive-exclusive-or",
        "r012:concept:infinite-set",
        "r012:concept:initial-segment-notation",
        "r012:concept:injection",
        "r012:concept:integer",
        "r012:concept:integer-addition",
        "r012:concept:integer-construction",
        "r012:concept:integer-exponentiation",
        "r012:concept:integer-exponents-on-rationals",
        "r012:concept:integer-multiplication",
        "r012:concept:integer-pair-equivalence",
        "r012:concept:integer-pair-equivalence-proof",
        "r012:concept:integer-total-order",
        "r012:concept:integer-zero",
        "r012:concept:irrational-number",
        "r012:concept:least-omitted-positive-integer",
        "r012:concept:logical-conjunction",
        "r012:concept:logical-disjunction",
        "r012:concept:logical-equivalence",
        "r012:concept:logical-implication",
        "r012:concept:logical-negation",
        "r012:concept:logical-quantifier",
        "r012:concept:mathematical-induction",
        "r012:concept:monotonicity-law",
        "r012:concept:multiplication-laws",
        "r012:concept:multiplication-monotonicity",
        "r012:concept:multiplicative-cancellation",
        "r012:concept:multiplicative-inverse",
        "r012:concept:natural-number-order",
        "r012:concept:natural-order-totality",
        "r012:concept:negated-relation",
        "r012:concept:nonnegative-integer",
        "r012:concept:number-system-construction-sequence",
        "r012:concept:numerator",
        "r012:concept:open-statement",
        "r012:concept:ordered-pair",
        "r012:concept:pairing-axiom",
        "r012:concept:partial-order",
        "r012:concept:peano-postulates",
        "r012:concept:polynomial",
        "r012:concept:positional-base-notation",
        "r012:concept:positive-cut",
        "r012:concept:positive-integer",
        "r012:concept:positive-integer-induction",
        "r012:concept:power-set-axiom",
        "r012:concept:predicate",
        "r012:concept:prime-membership-witness",
        "r012:concept:prime-number",
        "r012:concept:proper-subset",
        "r012:concept:proposition",
        "r012:concept:rational-arithmetic",
        "r012:concept:rational-cut",
        "r012:concept:rational-number",
        "r012:concept:rational-order",
        "r012:concept:rational-pair-equivalence",
        "r012:concept:real-number-as-cut",
        "r012:concept:recursive-addition",
        "r012:concept:recursive-multiplication",
        "r012:concept:reflexive-relation",
        "r012:concept:regularity-axiom",
        "r012:concept:repeating-decimal",
        "r012:concept:replacement-axiom",
        "r012:concept:restricted-exponentiation",
        "r012:concept:second-coordinate",
        "r012:concept:separation-axiom",
        "r012:concept:set",
        "r012:concept:set-builder-notation",
        "r012:concept:set-equality-criterion",
        "r012:concept:set-inclusion",
        "r012:concept:set-intersection",
        "r012:concept:set-membership",
        "r012:concept:set-partition",
        "r012:concept:set-theoretic-foundations",
        "r012:concept:set-union",
        "r012:concept:strict-order-from-partial-order",
        "r012:concept:subtraction",
        "r012:concept:successor-function",
        "r012:concept:surjection",
        "r012:concept:symmetric-relation",
        "r012:concept:total-order",
        "r012:concept:transcendental-number",
        "r012:concept:transitive-relation",
        "r012:concept:tuple",
        "r012:concept:union-axiom",
        "r012:concept:universal-quantifier",
        "r012:concept:well-defined-operation",
        "r012:concept:zfc-set-theory"
      ],
      "exercise_count": 0,
      "exercise_ids": [],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "appendix",
      "ordinal": 18,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/app_background.html",
      "source_local_id": "app_background",
      "source_path": "source/app_background.ptx",
      "source_title": "Background Material for Combinatorics",
      "title_id": "Materi Dasar untuk Kombinatorika",
      "unit_count": 115,
      "unit_ids": [
        "r012:unit:app_background",
        "r012:unit:auto:bc6a3aac49fa0f9288c6a2aa",
        "r012:unit:s_background_intro",
        "r012:unit:auto:afd1699ebcd437420e75847e",
        "r012:unit:auto:b13945523de78e3aee53cb41",
        "r012:unit:s_background_int-union",
        "r012:unit:auto:b9e3ebb8dc4c9e3e5edef7c7",
        "r012:unit:auto:f19308da62ead72c65722c78",
        "r012:unit:auto:87a1aa5eb5f87251d1810845",
        "r012:unit:auto:09b3390bcd5856e7b4193f8a",
        "r012:unit:auto:7b910f078492bcbe711fcfb8",
        "r012:unit:s_background_products",
        "r012:unit:auto:c0b8952d0045e19abf29df8f",
        "r012:unit:s_background_relations",
        "r012:unit:cond_function-at-most-one",
        "r012:unit:exa_function",
        "r012:unit:auto:7106a059c3bfd432c3bfc460",
        "r012:unit:auto:272307bfd5a30a9833004a3f",
        "r012:unit:s_background_finite-sets",
        "r012:unit:auto:9f5546a8177edab272013e19",
        "r012:unit:auto:b35479936254f91b44e864db",
        "r012:unit:auto:b9bbdb78bf5719eafe8b777b",
        "r012:unit:auto:e7b1cb4382e7cd832cced92e",
        "r012:unit:exe_sb",
        "r012:unit:prop_xy",
        "r012:unit:auto:767c1ef3d1b2ec67994d084f",
        "r012:unit:s_background_notation",
        "r012:unit:s_background_formal-num-sys",
        "r012:unit:auto:4903dce4ef247da5bef4e35b",
        "r012:unit:peano_induction",
        "r012:unit:auto:870b9109be8fa7fe614a01d1",
        "r012:unit:auto:78092c17650e9871567cf8a0",
        "r012:unit:s_background_add",
        "r012:unit:auto:546f24cc8a53e527ff7489b8",
        "r012:unit:auto:b7de0d1cc7a0dbe57b45d184",
        "r012:unit:auto:490d991c138588c00a2078f1",
        "r012:unit:auto:bc4b368e65f86543b4cb5b86",
        "r012:unit:auto:0380422933f370430e4848b1",
        "r012:unit:auto:181a27ed7ce533461ca9a22e",
        "r012:unit:auto:d5e448d8b814cf4822231143",
        "r012:unit:auto:801aa7396f3d680020b4e379",
        "r012:unit:auto:fb4c02468cf607df6b54192e",
        "r012:unit:lem_sum0",
        "r012:unit:auto:37e97d2b362d2485e4876813",
        "r012:unit:auto:199eded93dc29d93e8c9ce85",
        "r012:unit:auto:5e04860628a03bebf5834b03",
        "r012:unit:s_background_mult",
        "r012:unit:auto:e4c979957359a6e105fb627f",
        "r012:unit:auto:cd6c0cdb728b01aba5e68c8f",
        "r012:unit:auto:4dd2d4d9021858eab10ad449",
        "r012:unit:auto:3bf2073a5822b8b8002481cb",
        "r012:unit:auto:3364466cdd060c3242fc9bd4",
        "r012:unit:auto:c82d76e91ce74a71b4c93ded",
        "r012:unit:auto:87315ef605aa4441b0791a2e",
        "r012:unit:auto:a378668872a0c84774c921cf",
        "r012:unit:auto:2ba9750f1e4fbe45abfdcd8a",
        "r012:unit:auto:6ec856a2875ee6117c85c974",
        "r012:unit:auto:73607b984b32ca9cc2f4a06f",
        "r012:unit:auto:ae57c2d53c39e74275cf606a",
        "r012:unit:s_background_exp",
        "r012:unit:auto:69284932b3072f16baf08e93",
        "r012:unit:auto:e3d06cc45d80417c98936eaf",
        "r012:unit:auto:e30893ef360e351ff06ac5f5",
        "r012:unit:auto:fda25ee32128fb46b62e974d",
        "r012:unit:s_background_order",
        "r012:unit:s_background_total-order-N",
        "r012:unit:auto:35c8808a4a2f70c2e36d3e7a",
        "r012:unit:auto:bd587aefb21b7b0235863caf",
        "r012:unit:auto:e992622ddfcfc4a15e078b1d",
        "r012:unit:auto:ab25be7ad62fb7bac5164955",
        "r012:unit:auto:de10dbb383f4bfbd712bb5d7",
        "r012:unit:auto:06cb95ed0751c8381d5f4677",
        "r012:unit:auto:92f45594ffaf56b91b4c591a",
        "r012:unit:auto:c135f474f8160241b39ac8d2",
        "r012:unit:auto:3e4ad4f44a49742fc2b59680",
        "r012:unit:auto:509b8f9e591d89d4fdbd48d7",
        "r012:unit:s_background_decimal",
        "r012:unit:auto:42456a01b9d2f2371b248869",
        "r012:unit:auto:fd736eddeac1c38df813c04f",
        "r012:unit:auto:3856dd43d652f4814465d3c2",
        "r012:unit:auto:19bbfe96fbef2077e9346577",
        "r012:unit:auto:70d0e95179cbaa0e1961843b",
        "r012:unit:s_background_equivalence",
        "r012:unit:s_background_integers",
        "r012:unit:auto:dfa1368392bfe711af27f3cb",
        "r012:unit:auto:197b77bb9dbc20b6e4460968",
        "r012:unit:auto:8a2b6e064c5bf5582ffdd432",
        "r012:unit:auto:612bd18c0227dc9fa0d1e308",
        "r012:unit:auto:1b8dbdba090e6fafa097b8a0",
        "r012:unit:auto:06557b5c77f1a0cec9034194",
        "r012:unit:s_background_prop-integers",
        "r012:unit:auto:0935ad4164e5fda622644b26",
        "r012:unit:auto:9b80b937fe38a3592e7415a8",
        "r012:unit:auto:a8941d1922d32c6765c9e612",
        "r012:unit:auto:e196b020c5e268ba01acce5f",
        "r012:unit:auto:1ac9044a4a442bfd1bc8f44b",
        "r012:unit:auto:fa23b8935fd92a0e88eec5f8",
        "r012:unit:auto:882e1795e061d1c8acd6146f",
        "r012:unit:auto:c51798781691867f06237a6f",
        "r012:unit:s_background_rationals",
        "r012:unit:auto:a6e1642758c4aeb203b4c48c",
        "r012:unit:auto:482af125d1d96e2944748dce",
        "r012:unit:auto:358f75f88e2edce7b98d32c8",
        "r012:unit:auto:3b9781e888d366660a6da117",
        "r012:unit:auto:a5b79b3eaa33837ac7d6011a",
        "r012:unit:auto:6532b17c740dc6536cbdfe20",
        "r012:unit:s_background_reals",
        "r012:unit:s_background_complex",
        "r012:unit:auto:f96bfe75ccf0e4ce69b60e9a",
        "r012:unit:auto:d2ac985ea7fda68d2aa21e54",
        "r012:unit:auto:917b875be572450808847271",
        "r012:unit:auto:4d8c9466098d89c13190f7ae",
        "r012:unit:auto:89f41776bc9056958713e101",
        "r012:unit:s_background_ZFC",
        "r012:unit:axiom_ZFC"
      ],
      "unit_type_counts": {
        "appendix": 1,
        "axiom": 1,
        "conjecture": 1,
        "corollary": 1,
        "example": 6,
        "introduction": 6,
        "lemma": 10,
        "li": 2,
        "principle": 1,
        "proof": 27,
        "proposition": 8,
        "section": 19,
        "subsection": 8,
        "theorem": 24
      }
    },
    {
      "block_id": "r012:unit:auto:890b13ffad581b51ada6044f",
      "concept_count": 1,
      "concept_ids": [
        "r012:concept:notation-list"
      ],
      "exercise_count": 0,
      "exercise_ids": [],
      "explicit_support_count": 0,
      "explicit_support_relation_ids": [],
      "kind": "appendix",
      "ordinal": 19,
      "public_reader_url": "https://kokunoyumeto.github.io/applied-combinatorics-id/",
      "source_local_id": null,
      "source_path": "source/backmatter.ptx",
      "source_title": "List of Notation",
      "title_id": "Daftar Notasi",
      "unit_count": 1,
      "unit_ids": [
        "r012:unit:auto:890b13ffad581b51ada6044f"
      ],
      "unit_type_counts": {
        "appendix": 1
      }
    }
  ],
  "contract": "course-learning-capability/1",
  "course_id": "C70",
  "limitations": [
    "Adapter memproyeksikan identitas, struktur, dan bukti tanpa menyalin badan sumber atau terjemahan buku.",
    "Status edisi target native tetap draft; klaim publik yang lebih tepat adalah draf Bahasa Indonesia lengkap yang diperiksa mesin, tanpa klaim tinjauan manusia.",
    "Dari 407 unit latihan, hanya relasi dukungan eksplisit native yang ditampilkan: 57 solusi, 9 jawaban, dan 16 petunjuk. Unit solusi lain tidak dipasangkan secara rekaan.",
    "Satu xref yang tidak terselesaikan berada pada sumber hulu yang dibekukan; target Bahasa Indonesia memiliki nol xref yang tidak terselesaikan.",
    "Prasyarat B10 adalah jangkar tingkat kursus eksternal; adapter tidak menciptakan prasyarat atau hasil belajar per unit.",
    "Backend common-v1 19.049 rekaman tetap proyeksi virtual reversibel; indeks pengguna hanya membawa metadata terpilih."
  ],
  "locale": "id-ID",
  "native_course_outcome": "Select and justify combinatorial models and proof techniques across discrete problems.",
  "native_course_scope": "Advanced counting, recurrences, generating functions, graph theory, partially ordered sets and extremal methods.",
  "native_role_id": "R012",
  "portable_html_archive": "https://zenodo.org/records/22062005/files/03_KOMBINATORIKA_TERAPAN_ID-ID_HTML_READER_2026.08.22.2.zip?download=1",
  "portable_source_archive": "https://zenodo.org/records/22062005/files/01_KOMBINATORIKA_TERAPAN_ID-ID_CORRESPONDING_SOURCE_2026.08.22.2.zip?download=1",
  "prerequisite_scope": "native_course_level_external_B10_anchor_not_per_unit_invention",
  "program_prerequisites": [
    "B10"
  ],
  "public_pdf": "https://zenodo.org/records/22062005/files/00_KOMBINATORIKA_TERAPAN_ID-ID_COMPLETE_LINKED_READER_2026.08.22.2.pdf?download=1",
  "public_reader": "https://kokunoyumeto.github.io/applied-combinatorics-id/",
  "route": {
    "all_unit_ids": [
      "r012:unit:app-comb",
      "r012:unit:auto:7887209d465df248ff1a3433",
      "r012:unit:auto:b2ab091f9d9924c91b03d9a2",
      "r012:unit:auto:3e681f4b8fe95af3c04047e2",
      "r012:unit:auto:1fee8099c00fd4bdd0886aa9",
      "r012:unit:auto:dcd34c871cf376993964a730",
      "r012:unit:auto:8771e56db3fb859182241e27",
      "r012:unit:preface-2016",
      "r012:unit:ch_prologue",
      "r012:unit:ch_intro",
      "r012:unit:auto:654d93d9c4c2cfba9f3e2efb",
      "r012:unit:s_intro_intro",
      "r012:unit:s_intro_enum",
      "r012:unit:fig_intro_necklace",
      "r012:unit:s_intro_graph",
      "r012:unit:fig_graphdata",
      "r012:unit:auto:21546ae1bdf04f7552481516",
      "r012:unit:fig_connectedgraph",
      "r012:unit:ex_radiostations",
      "r012:unit:fig_radiostations",
      "r012:unit:auto:4f427a0d8cd35dd9d5f9a181",
      "r012:unit:s_intro_number",
      "r012:unit:ex_collatz",
      "r012:unit:auto:998151e04257beb0771966a3",
      "r012:unit:auto:a2ddc55663aeb46d4ba4cac3",
      "r012:unit:fig_intro_partsof8",
      "r012:unit:s_intro_geom",
      "r012:unit:auto:8b2d77d0f05bf227599dfe13",
      "r012:unit:fig_linesregions",
      "r012:unit:auto:a76fa497932b126ab56512d2",
      "r012:unit:auto:fa2160fd42fe3b1bcc368b77",
      "r012:unit:fig_crossingedges",
      "r012:unit:s_intro_opt",
      "r012:unit:auto:cc19a2bc96d53bd31f78d99d",
      "r012:unit:fig_wgraph-1",
      "r012:unit:auto:43f6d5de5720a72fc6e55148",
      "r012:unit:fig_spantree-1",
      "r012:unit:s_intro_sudoku",
      "r012:unit:auto:a3d640d3f4e483b495967fdb",
      "r012:unit:fig_sudoku",
      "r012:unit:s_intro_discussion",
      "r012:unit:ch_strings",
      "r012:unit:auto:fc5fc8bfbfd6ecbcb43ce1f8",
      "r012:unit:s_strings_intro",
      "r012:unit:exa_strings_ga-plate",
      "r012:unit:auto:7554e91da3ece7042e46225e",
      "r012:unit:auto:45d22edbd652f9a87d49e92b",
      "r012:unit:auto:47d7a6058b624ff8027f1693",
      "r012:unit:auto:0c12de3cc03d6ac23380ad71",
      "r012:unit:fig_string-template",
      "r012:unit:rqs-strings_intro",
      "r012:unit:appcomb_strings_intro_reading",
      "r012:unit:s_strings_permutations",
      "r012:unit:exa_strings_perm",
      "r012:unit:prop_strings_permutations",
      "r012:unit:auto:cad9c1aa4f4814df2aa546ad",
      "r012:unit:exa_strings_officers",
      "r012:unit:auto:0975e52614fd25889debe51c",
      "r012:unit:auto:0a3d3537d31c0cef14767eaa",
      "r012:unit:rqs-strings_permutations",
      "r012:unit:appcomb_strings_permutation_reading_check",
      "r012:unit:appcomb_strings_permutation_reading_officers",
      "r012:unit:appcomb_strings_permutation_reading_cochairs",
      "r012:unit:appcomb_strings_permutation_reading_more",
      "r012:unit:s_strings_combinations",
      "r012:unit:prop_strings_binomraw",
      "r012:unit:auto:a4ffc0c13187704163867fc1",
      "r012:unit:prop_strings_symmetric",
      "r012:unit:auto:4d28e08e3faaf575d51fec4c",
      "r012:unit:auto:28ec651c37cc257233a20b5a",
      "r012:unit:rqs-strings_combinations",
      "r012:unit:appcomb_strings_combinations_reading",
      "r012:unit:s_strings_comb-proof",
      "r012:unit:ex_strings_comb-proof_sum-ints",
      "r012:unit:fig_squaredots",
      "r012:unit:auto:bc453f2e703a9afbf6d4038d",
      "r012:unit:auto:ade4929cbc7ac4ad75fdd9e8",
      "r012:unit:fig_oddsum2",
      "r012:unit:auto:3793a56a3f3a2f940ab2f7d4",
      "r012:unit:auto:01ca6af2f1068b043d28d11c",
      "r012:unit:auto:c23c945f146056e582526439",
      "r012:unit:auto:7ab93e3b7384bd1a5f3d5a9a",
      "r012:unit:auto:194154af66152789c9879dd0",
      "r012:unit:auto:49a245ce6c83dae6ab815ec6",
      "r012:unit:auto:c7bb3264c215701481e83164",
      "r012:unit:ex_strings_comb-proof_2n-choose-n",
      "r012:unit:auto:d666c681dd202e47f017ca8c",
      "r012:unit:rqs-strings_comb-proof",
      "r012:unit:appcomb_strings_comb-proof_reading_sum-ints",
      "r012:unit:img-rectangular-grid-sum-ints",
      "r012:unit:appcomb_strings_comb-proof_reading_2n-choose-n",
      "r012:unit:s_strings_bin-coeff",
      "r012:unit:auto:52a14a2a863460db5625e532",
      "r012:unit:fig_distrib",
      "r012:unit:auto:86898ce92fd24c8fa8e56a4b",
      "r012:unit:auto:c9fa660aeca60b242f6e9a26",
      "r012:unit:auto:edec502df4f41f06d120fe35",
      "r012:unit:auto:80dbd871e332144d83dec949",
      "r012:unit:fig_latticepath",
      "r012:unit:auto:31c6d46a93c78959a12acfea",
      "r012:unit:exa_lattice-Catalan",
      "r012:unit:flippath",
      "r012:unit:rqs-strings_bin-coeff",
      "r012:unit:appcomb_strings_bin-coeff_reading_candy",
      "r012:unit:appcomb_strings_bin-coeff_reading_pens",
      "r012:unit:appcomb_strings_bin-coeff_reading_lattice-path",
      "r012:unit:s_strings_binom-thm",
      "r012:unit:thm_binomial",
      "r012:unit:auto:be48c593165fc4df89d6c7b2",
      "r012:unit:auto:6ef9abd785b9c49a18183690",
      "r012:unit:rqs-strings_binom-thm",
      "r012:unit:appcomb_strings_binom-thm_2-to-n",
      "r012:unit:s_strings_multinom",
      "r012:unit:auto:139b2ee213b81801439f9b88",
      "r012:unit:auto:2553abd61355c04ed542b985",
      "r012:unit:thm-strings-multinomial",
      "r012:unit:exa_strings_multinom",
      "r012:unit:auto:bde0bb8a536bf685f2293921",
      "r012:unit:rqs-strings_multinom",
      "r012:unit:appcomb_strings_multinom_reading",
      "r012:unit:s_strings_discussion",
      "r012:unit:s_strings_exercises",
      "r012:unit:auto:f410f2c7291f5192b7046f5e",
      "r012:unit:auto:95a7984e4697726618e5263c",
      "r012:unit:auto:72dd3cb89832a186d0a804d7",
      "r012:unit:auto:6837c70b99d4b8c8f508c588",
      "r012:unit:auto:f1d6cee1dce0b831f77bbf8d",
      "r012:unit:auto:11ba049352343d2a89f10204",
      "r012:unit:auto:b1b423d2cb847879166a51dc",
      "r012:unit:auto:9335f26c146adbeed375cc2a",
      "r012:unit:auto:be510954ac4b4e236da5fe5a",
      "r012:unit:auto:3dbfcf5d465ffb95ded9eadd",
      "r012:unit:auto:63809514fdd78b6a7680d8bc",
      "r012:unit:auto:b560a755a75fb5de85d99f4b",
      "r012:unit:auto:e005b8cddbb6dd3451c92c22",
      "r012:unit:auto:2720c52104cf3d128a826639",
      "r012:unit:auto:db3799defdeb36ab19f34d8b",
      "r012:unit:auto:4b25af132215cc1e44b79929",
      "r012:unit:auto:43a9810f61a1acce2a6dfbb0",
      "r012:unit:auto:a9ab4f4d85aaea6e636104c8",
      "r012:unit:auto:b5a0c13a297bd216e53f189c",
      "r012:unit:auto:05222a580a9112e3bf932439",
      "r012:unit:auto:0dbc5f46a158feba88b9866f",
      "r012:unit:auto:a1e317e17cbc08a6f953f4c6",
      "r012:unit:auto:4601180aa34aba6fa43ec417",
      "r012:unit:auto:50494897f62fc2d69d017001",
      "r012:unit:auto:3235e37dc1f920f70697ed2e",
      "r012:unit:auto:f33646ebd118d8ad1a982688",
      "r012:unit:auto:da60f2f564ebc1da1600697d",
      "r012:unit:auto:fee0c42aba0a450427ee650a",
      "r012:unit:auto:a563d15e14481db920c570b5",
      "r012:unit:auto:9ac463b125a026c45c6c7bbb",
      "r012:unit:auto:c018bc07ff1667da16b82d71",
      "r012:unit:auto:0af4bce12356cdbbd0bd2bf5",
      "r012:unit:auto:999eeb57a6f2655317279960",
      "r012:unit:auto:d2d9f90c2f0cdae05675535e",
      "r012:unit:auto:ff5907446775a14fa9675339",
      "r012:unit:auto:f5a7219a4b74e22c6e9a9416",
      "r012:unit:auto:e66b6dfaf00cce2fb80742e2",
      "r012:unit:auto:26318525c4650e6d22677750",
      "r012:unit:auto:cd37fb1d23b283bd46b7d3f5",
      "r012:unit:auto:fb7f9ae70ed8db17ac697167",
      "r012:unit:auto:e01e17d302eefd14243adf2c",
      "r012:unit:auto:5ac5255e6fa27271425534fb",
      "r012:unit:auto:d41ac63580d01f30367acff9",
      "r012:unit:auto:f2cf0947318848e87328f400",
      "r012:unit:auto:6cad689e5ac1868435dce175",
      "r012:unit:auto:a07dfd387e4d8b8d5597b20b",
      "r012:unit:auto:110567367ceeb0a2195f717d",
      "r012:unit:auto:4fcdb65e8e76c20e3130e98e",
      "r012:unit:auto:0b63dfe7279e0fd48af44923",
      "r012:unit:auto:d49f7233c9fbb8652b352a94",
      "r012:unit:auto:350b294cf583ae7fbc4327d9",
      "r012:unit:auto:c3d6150f650ec033b2506e38",
      "r012:unit:auto:d6379afbf847628fd479a11a",
      "r012:unit:auto:75e6df14f8fb7b00d0f0e928",
      "r012:unit:auto:91c739a0646538cbf0e69df8",
      "r012:unit:auto:7d747c89ba1593da4644e7d6",
      "r012:unit:auto:3e87762a871bcc6f95428880",
      "r012:unit:auto:5b69c154bab9c3ebe60fd173",
      "r012:unit:auto:1017e9717d06a96a03ec3733",
      "r012:unit:auto:4b501b2e30b7fc3e772145af",
      "r012:unit:auto:43a30bad71b10563bb50b912",
      "r012:unit:auto:465d3d46ef20da17fffcc450",
      "r012:unit:auto:356f8d5a1ac0f785dfd5b5f4",
      "r012:unit:ex_part_seq_cat",
      "r012:unit:auto:00210d7f68b93044c29aea5c",
      "r012:unit:s_strings_lattice-paths-binomial-thm_activity",
      "r012:unit:strings_lattice-paths_buzz-bucky",
      "r012:unit:auto:83b8ca7e2dabbb5e67ff29fb",
      "r012:unit:strings_lattice-paths_buzz-bucky-all",
      "r012:unit:strings_lattice-paths_buzz-bucky-varsity",
      "r012:unit:strings_lattice-paths_buzz-bucky-avoid",
      "r012:unit:strings_PI_lattice-path-good-bad-activity",
      "r012:unit:strings_PI_lattice-path-transform-activity",
      "r012:unit:strings_PI_binthm-activity",
      "r012:unit:act-strings-rearrange",
      "r012:unit:auto:84578869fad2678f4a9a6564",
      "r012:unit:auto:7f826ed7578d16cf06d469a6",
      "r012:unit:PI_strings_multinom_terms",
      "r012:unit:PI_strings-multinom-coeff",
      "r012:unit:act-strings_multinomial_find-coeff",
      "r012:unit:s_strings_PI",
      "r012:unit:appcomb_strings_PI_factorial",
      "r012:unit:appcomb_strings_PI_password",
      "r012:unit:appcomb_strings_PI_password_varlength",
      "r012:unit:appcomb_strings_PI_password_distinct",
      "r012:unit:appcomb_strings_PI_bincoeff_setup",
      "r012:unit:appcomb_strings_PI_bincoeff_formula",
      "r012:unit:appcomb_strings_PI_bincoeff_complement",
      "r012:unit:appcomb_strings_PI_comb-proof-theme",
      "r012:unit:appcomb_strings_PI_sum-ell",
      "r012:unit:strings_PI_sum-bincoeff-square",
      "r012:unit:appcomb_strings_PI_committee-model",
      "r012:unit:strings_PI_folders-dividers-PTX",
      "r012:unit:strings_PI_folders-zero-one-PTX",
      "r012:unit:strings_PI_folders-ge-four-PTX",
      "r012:unit:strings_PI_folders-save-some-PTX",
      "r012:unit:strings_PI_lattice-path-good-bad-PTX",
      "r012:unit:strings_PI_lattice-path-transform-PTX",
      "r012:unit:ch_induction",
      "r012:unit:auto:4c4af5d7307c5a54f0a16287",
      "r012:unit:s_induction_intro",
      "r012:unit:s_induction_posintsord",
      "r012:unit:princ_well-order",
      "r012:unit:s_induction_statements",
      "r012:unit:s_induction_bincoeffs",
      "r012:unit:fig_pascal",
      "r012:unit:rqs-induction_bincoeffs",
      "r012:unit:induction_bincoeffs_reading",
      "r012:unit:s_induction_recursion",
      "r012:unit:auto:ea7d4311fbd3ca824e3ce588",
      "r012:unit:auto:fb2ff6e7fe7555138017c6ab",
      "r012:unit:fig_induction_lines-regions",
      "r012:unit:auto:2ce32c27e159fcb3733874a0",
      "r012:unit:auto:616b0bba44c1334ce953ba8d",
      "r012:unit:auto:f3774058b1c1b4322de36fb6",
      "r012:unit:auto:7f36bb6779832451322c835a",
      "r012:unit:fig_induction_lines-regions-rs",
      "r012:unit:auto:a27fe4e374081f36ed124eee",
      "r012:unit:auto:8dea91983970df939fc376fa",
      "r012:unit:rqs-induction_recursion",
      "r012:unit:induction_recursion_reading",
      "r012:unit:induction_recursion_avoid-12",
      "r012:unit:auto:be733c69f1f79c989d8f54c4",
      "r012:unit:s_induction_gcd",
      "r012:unit:thm_division",
      "r012:unit:auto:6953b083224bb099693285a0",
      "r012:unit:thm_euclideanalg",
      "r012:unit:auto:69ac9397464c9468247917c7",
      "r012:unit:thm_gcd-dioph",
      "r012:unit:auto:5f54b054a0ccc569d8461c0f",
      "r012:unit:auto:9fa2c7d24dcb4d8ba626d139",
      "r012:unit:s_induction_recursion_sorting",
      "r012:unit:s_induction_induction",
      "r012:unit:princ_math-induction",
      "r012:unit:s_induction_inductdefs",
      "r012:unit:s_induction_proofs",
      "r012:unit:prop_sumints",
      "r012:unit:auto:6ef4a112d0218e46113abcaf",
      "r012:unit:auto:47f312d3a9994637433590c4",
      "r012:unit:prop_sumodd",
      "r012:unit:auto:d6c536ec88711ecdcc22ac5a",
      "r012:unit:prop_sum-bincoeffs",
      "r012:unit:auto:c4a26b24b1349ff5118ebf45",
      "r012:unit:rqs-induction_proofs",
      "r012:unit:induction_proofs_hanoi",
      "r012:unit:induction_proofs_ind-hyp",
      "r012:unit:s_induction_strong-induction",
      "r012:unit:s_induction_discussion",
      "r012:unit:s_induction_exercises",
      "r012:unit:auto:bc8f9a1c6e41090fe9f1e311",
      "r012:unit:auto:319ecf49b77604a02a1841e5",
      "r012:unit:auto:5f10160da6b7e7a383babc47",
      "r012:unit:auto:0c9cc6a734a1d65c7998857c",
      "r012:unit:auto:73fd1315cdab25d3b53da422",
      "r012:unit:auto:b62489f5994a6b229f62306d",
      "r012:unit:auto:babbba21fe5f81ce4c9d5354",
      "r012:unit:auto:fccf168dc4902eceb788ef0a",
      "r012:unit:auto:606625fb7cc85bd2dedd85f6",
      "r012:unit:auto:0c7b826f45c0346541989db5",
      "r012:unit:auto:d007ba77ab88b0a42dfcc0e2",
      "r012:unit:auto:ba68641bf12bd2d5f74e2285",
      "r012:unit:auto:8cbb71879170a7a1d71de4e4",
      "r012:unit:auto:c13a0c2d885e130530fde24c",
      "r012:unit:auto:93846ecf516b8b783849d122",
      "r012:unit:auto:e59dcc647ae742f2f1c6072a",
      "r012:unit:auto:e57b74430cc14210d81be6ba",
      "r012:unit:auto:28749ef3fafd72727982eca4",
      "r012:unit:auto:9f7da2d94b689cf0290c7076",
      "r012:unit:auto:550d3aa36fbebf888bec3811",
      "r012:unit:auto:1280776e061eca4d50a6f2da",
      "r012:unit:auto:2e7ff7b9f0bcc4afbfccbeaa",
      "r012:unit:auto:66f32d2ca53a18802e5e512b",
      "r012:unit:auto:7de0e0efc8059c0724b9d111",
      "r012:unit:auto:f650d15eb15190ca15d43b16",
      "r012:unit:auto:4723e1bcc6bc35de946f4c89",
      "r012:unit:auto:e438802b2d5527a91381cbc2",
      "r012:unit:auto:25f2089f3c8dec1fd1474256",
      "r012:unit:s_induction_PI",
      "r012:unit:induction_PI_subsets-contain-1",
      "r012:unit:induction_PI_recursive-eval",
      "r012:unit:induction_PI_proof-step-1",
      "r012:unit:induction_PI_proof-step-2",
      "r012:unit:induction_PI_proof-step-3",
      "r012:unit:ch_basics",
      "r012:unit:auto:b566962e8d97bc86884d7997",
      "r012:unit:s_basics_pigeonhole",
      "r012:unit:prop_pigeon",
      "r012:unit:thm_ErdosSzekeres",
      "r012:unit:auto:b8811f8a58ea5a64d90c0568",
      "r012:unit:s_basics_complexity",
      "r012:unit:auto:131514d52d394499e85c9b38",
      "r012:unit:auto:ef3e60935c0310d84bc79991",
      "r012:unit:s_basics_questions",
      "r012:unit:auto:6d19ecb4e25149af83ef520d",
      "r012:unit:auto:33a30d3b5f57c1db38dfb41c",
      "r012:unit:auto:df4f6662a81bff379dee5863",
      "r012:unit:s_basics_big-oh",
      "r012:unit:s_basics_exact",
      "r012:unit:auto:346e4ca50b5b609100aacbd5",
      "r012:unit:auto:a183ab32f40a607295874904",
      "r012:unit:auto:05a8beaaec21ff6e69d7d80b",
      "r012:unit:auto:7500d51a3f97e0e052bdd840",
      "r012:unit:s_basics_discussion",
      "r012:unit:s_basics_exercises",
      "r012:unit:auto:2017ee892a6cbc4c7406b40b",
      "r012:unit:auto:f811896c96bb8adc07c0bbd6",
      "r012:unit:auto:14bbf018b5b6d71a1bdf8b61",
      "r012:unit:auto:efe8b5a23fefb4189292099e",
      "r012:unit:auto:e17fa53aa99a94c71ff733d4",
      "r012:unit:ch_graphs",
      "r012:unit:auto:08392a4c135a6970baf69f2b",
      "r012:unit:s_graphs_intro",
      "r012:unit:fig_small_graph",
      "r012:unit:fig_subgraphs",
      "r012:unit:fig_complete_graphs",
      "r012:unit:fig_paths",
      "r012:unit:fig_cycles",
      "r012:unit:fig_isomorphic",
      "r012:unit:fig_nonisomorphic",
      "r012:unit:fig_spantree",
      "r012:unit:thm-graphs-first",
      "r012:unit:eq_graphs_degsum",
      "r012:unit:auto:000e983ed23e271a7d797945",
      "r012:unit:auto:e4aae9c9c21b55c07c8cf661",
      "r012:unit:prop_tree-leaves",
      "r012:unit:auto:881e4f66fad2bd72113bced6",
      "r012:unit:rqs-graphs_intro",
      "r012:unit:rq-graphs_intro_degree",
      "r012:unit:rq-graphs_intro_subgraph",
      "r012:unit:s_graphs_multigraphs",
      "r012:unit:s_graphs_eulerham",
      "r012:unit:fig_bridges",
      "r012:unit:thm_eulerian",
      "r012:unit:auto:41d1f1c26db10464773ec989",
      "r012:unit:alg-eulerian",
      "r012:unit:step-eulerian-subcircuit",
      "r012:unit:fig_graphs_eulerexample",
      "r012:unit:fig_bridges-graph",
      "r012:unit:fig_eulham",
      "r012:unit:fig_petersen",
      "r012:unit:thm_graphs_dirac",
      "r012:unit:auto:da718dd563358ea05ac7f4be",
      "r012:unit:rqs-graphs_eulerham",
      "r012:unit:graphs_eulerham_reading_compare",
      "r012:unit:graphs_eulerham_reading_noneuler",
      "r012:unit:graphs_eulerham_reading_euler",
      "r012:unit:s_graphs_color",
      "r012:unit:auto:c244eed92aaaa077aa7a0053",
      "r012:unit:fig_graphs_chi4",
      "r012:unit:disc-graphs_color-intro",
      "r012:unit:auto:f28aba0b200c71f8c6e33e49",
      "r012:unit:thm_graphs_bipartite",
      "r012:unit:auto:f617e7950e8d92026c8d18f1",
      "r012:unit:fig_graphs_languages",
      "r012:unit:fig_graphs_k33",
      "r012:unit:auto:b8d1218bf4db5bc8a1baa306",
      "r012:unit:prop_graphs_pigeon-general",
      "r012:unit:prop_triangle-free",
      "r012:unit:auto:431fddeb1996bc9fbdd291c4",
      "r012:unit:auto:e2be9f6248b8d0d4b829a408",
      "r012:unit:auto:7bebe8d25fe627c32e39c489",
      "r012:unit:fig_k44minus",
      "r012:unit:img_k44minus",
      "r012:unit:fig_graphs_interval-graph",
      "r012:unit:thm_intgraphcol",
      "r012:unit:auto:33ff0089471c5134b072e4a7",
      "r012:unit:rqs-graphs_color",
      "r012:unit:graphs_color_reading_high-degree",
      "r012:unit:graphs_color_reading_recolor",
      "r012:unit:graphs_color_reading_firstfit",
      "r012:unit:s_graphs_planar",
      "r012:unit:fig_graphs_utils",
      "r012:unit:fig_planar",
      "r012:unit:fig_k4-planar",
      "r012:unit:auto:aa6b578dc9615b1c96970552",
      "r012:unit:auto:3d1e21182de47dba282818b2",
      "r012:unit:thm_max-edge-planar",
      "r012:unit:thm_kuratowski",
      "r012:unit:fig_petersen-graph-k33",
      "r012:unit:fig_needs-four-colors",
      "r012:unit:thm_4ct",
      "r012:unit:s_graphs_counting-trees",
      "r012:unit:fig_trees-5verts",
      "r012:unit:thm_cayley",
      "r012:unit:ex_prufer-code",
      "r012:unit:fig_prufer-code",
      "r012:unit:fig_prufer-code-delete1",
      "r012:unit:auto:bfb9e2cb7259e2f854f9d9ae",
      "r012:unit:ex_prufer-code-reverse",
      "r012:unit:tab_prufer-code-reverse",
      "r012:unit:fig_prufer-code-reverse",
      "r012:unit:rqs-graphs_counting-trees",
      "r012:unit:graphs_counting-trees_identify",
      "r012:unit:graphs_counting-trees_start-prufer",
      "r012:unit:img-tree-prufer-reading",
      "r012:unit:graphs_counting-trees_start-build",
      "r012:unit:s_graphs_complexity",
      "r012:unit:s_graphs_discussion",
      "r012:unit:s_graphs_exercises",
      "r012:unit:auto:65548677dbded090a7d33b50",
      "r012:unit:fig_graphs_graph_ex",
      "r012:unit:auto:69c2d4d9c0e01e603a703e82",
      "r012:unit:auto:723c411778247195366ef8f9",
      "r012:unit:auto:79557c52790d01c1a89d5efb",
      "r012:unit:auto:ff603adadd84860eeb6a3169",
      "r012:unit:auto:88f6765b3b9844d3332bf4b3",
      "r012:unit:fig_graphs_subgraphs_ex",
      "r012:unit:auto:4c2ef6ba6f0a9cdbda6a9c94",
      "r012:unit:auto:98aa5cc86679888724bdbe4d",
      "r012:unit:fig_graphs_isomorphic_ex",
      "r012:unit:auto:64ad12c1c076a035868cc8e9",
      "r012:unit:auto:f91f0e94f0e9ff80f7c58baa",
      "r012:unit:fig_graphs_euler_exercise",
      "r012:unit:auto:5374f7ab057a5a976a16f503",
      "r012:unit:fig_graphs_euler_hamilton_ex",
      "r012:unit:auto:a425b234324d7985eafcbdf0",
      "r012:unit:auto:393382e55fd095419648ea30",
      "r012:unit:fig_graphs_noneuler_exercise",
      "r012:unit:auto:56bc65cc8bebfa9509d56b2b",
      "r012:unit:auto:0d93a2c68f9df86c4de6c049",
      "r012:unit:auto:2353518a3262cb2006d21a45",
      "r012:unit:fig_graphs_bipartite_ex",
      "r012:unit:auto:55b25d4d1631fea3d8999e0a",
      "r012:unit:fig_graphs_coloring_ex",
      "r012:unit:auto:a506b04972802d9261d5f51d",
      "r012:unit:auto:90026455c12e5c994646355f",
      "r012:unit:auto:f5b2eb7b69a56afcbbd38a1f",
      "r012:unit:auto:1ee634ed8eab355c3350ccdf",
      "r012:unit:auto:c650138c712bd4378cfc304b",
      "r012:unit:auto:4997a938dd446cd543a8760c",
      "r012:unit:auto:5f484029deefd53f905160b4",
      "r012:unit:ex_color",
      "r012:unit:auto:238458a737435088a15f3919",
      "r012:unit:auto:c47959536bc72f15baaf520d",
      "r012:unit:auto:046d18ef9dd48e423a6cbdfe",
      "r012:unit:auto:88e829739c515ced56bb23b6",
      "r012:unit:auto:ca9ab529a481f45be19b9ae7",
      "r012:unit:ex_graphs_first-fit-color",
      "r012:unit:auto:d1fe9add68fc925362d04de9",
      "r012:unit:fig_graphs_intervals-ex",
      "r012:unit:auto:cf6e541ee0459906a49863b7",
      "r012:unit:graphs-ex-interval-graph-soln",
      "r012:unit:auto:ead847cdea4662b84d6a0b3a",
      "r012:unit:auto:556672e2e09c26c2f1e28bf3",
      "r012:unit:auto:e155237591bb4622173f618d",
      "r012:unit:auto:a0dea82cd7ef968b9cd69aea",
      "r012:unit:auto:e8376179e5fd62c44694e6d6",
      "r012:unit:auto:91ea89b1e2c35d0a8968a0c0",
      "r012:unit:auto:347819b28ee8432516f8db1d",
      "r012:unit:fig_graphs_planar_ex",
      "r012:unit:auto:d6c3d8fd412a8ad03e6c6976",
      "r012:unit:auto:9a6190f14daddebf421ba8e1",
      "r012:unit:auto:edfcf642b2bc2be898e12bfa",
      "r012:unit:auto:11f327e2cd31b4aedf824981",
      "r012:unit:planar-eulerian-n-10-m-21",
      "r012:unit:auto:90cd038df35de358c6436ef9",
      "r012:unit:ex_graphs_degseq",
      "r012:unit:auto:607188a5856c54813a7d2ddf",
      "r012:unit:ex_graphs_degseq2",
      "r012:unit:auto:657da9ee411f0c9fed6c129e",
      "r012:unit:auto:258cf7ca58f48b04d5ec681e",
      "r012:unit:auto:ed39e4dc5f08af1ba06b78f7",
      "r012:unit:fig_graphs_tree-10verts-ex1",
      "r012:unit:auto:ac571736e8f107a75a005408",
      "r012:unit:auto:edc25eefc49a47e9cbf860b0",
      "r012:unit:fig_graphs_tree-10verts-ex2",
      "r012:unit:auto:5713425f81417108ab8d86a3",
      "r012:unit:fig_graphs_tree-14verts-ex3",
      "r012:unit:auto:e5c02f3749617d0707c93f7b",
      "r012:unit:auto:2b519dfc00d541387443004e",
      "r012:unit:auto:9a551d139ef7eb1d7cc16567",
      "r012:unit:auto:8a6e60a8b6286b051c013987",
      "r012:unit:auto:4200147cc15d9ce97a2c6d6e",
      "r012:unit:auto:4aa77ce711c420cf471714da",
      "r012:unit:auto:ab5ccb527191a7e0e804dbb5",
      "r012:unit:auto:76931f7c99044e9bd27e3fcc",
      "r012:unit:s_graphs_PI",
      "r012:unit:graphs_PI_subgraph1",
      "r012:unit:graphs_PI_subgraph2",
      "r012:unit:graphs_PI_subgraph3",
      "r012:unit:graphs_PI_isomorphic1",
      "r012:unit:graphs_PI_isomorphic2",
      "r012:unit:graphs_PI_hamiltonian-G1",
      "r012:unit:img-hamgraph1",
      "r012:unit:auto:4a383152b7bf6e3b1ec65d97",
      "r012:unit:graphs_PI_hamiltonian-G2",
      "r012:unit:img-hamgraph2",
      "r012:unit:auto:41c9aa75261c5c647312ef91",
      "r012:unit:graphs_PI_hamiltonian-G3",
      "r012:unit:img-hamgraph3",
      "r012:unit:auto:4f64a9dc16b1b60d975ff95e",
      "r012:unit:graphs_PI_hamiltonian-G4",
      "r012:unit:petersen-graph",
      "r012:unit:auto:fb5cb6aceb24c969d223c32c",
      "r012:unit:auto:bb6dfad7d50e7310e1e2004d",
      "r012:unit:auto:7d2275a7156280536f23806d",
      "r012:unit:graphs_PI_hamiltonian-G5",
      "r012:unit:petersen-plus-e",
      "r012:unit:auto:e744da24681607e573778d76",
      "r012:unit:auto:245f200b4b1a326e305aa0e2",
      "r012:unit:auto:da292f36c846eaac8a455739",
      "r012:unit:graphs_PI_coloring-defn",
      "r012:unit:graphs_PI_coloring-subgraph",
      "r012:unit:graphs_PI_coloring-Kn",
      "r012:unit:graphs_PI_bipartite",
      "r012:unit:graphs_PI_tree-to-code",
      "r012:unit:graphs_PI_code-vertices",
      "r012:unit:graphs_PI_code-leaves",
      "r012:unit:graphs_PI_code-first-edge",
      "r012:unit:ch_posets",
      "r012:unit:auto:be51e7b4d528499641208404",
      "r012:unit:auto:762664c168563ea0832e5e5b",
      "r012:unit:fig_movies",
      "r012:unit:s_posets_intro",
      "r012:unit:exa_binaryrel",
      "r012:unit:auto:06e983098e9f542aaddbb4b0",
      "r012:unit:fig_covergraphs",
      "r012:unit:fig_17ptposet",
      "r012:unit:auto:3a77be206ad7c53efd317f80",
      "r012:unit:exa_construct",
      "r012:unit:fig_constructposets",
      "r012:unit:fig_compincomp",
      "r012:unit:fig_subposet",
      "r012:unit:auto:cd195ed8c94cc224220984da",
      "r012:unit:rqs-posets_intro",
      "r012:unit:posets_intro_reading-comparable",
      "r012:unit:posets_intro_reading-chain",
      "r012:unit:posets_intro_reading-antichain",
      "r012:unit:s_posets_additional-concepts",
      "r012:unit:auto:9fa3b4654d9916a058d41b66",
      "r012:unit:f_unlabeled",
      "r012:unit:auto:bb6b3019466165fefb6c61ee",
      "r012:unit:fig_noncompgraph",
      "r012:unit:discussion_posets_additional-concepts_claims",
      "r012:unit:rqs-posets_additional-concepts",
      "r012:unit:reading_posets_additional-concepts_graphs",
      "r012:unit:s_posets_dilworth",
      "r012:unit:thm_dilworth",
      "r012:unit:thm_dualdilworth",
      "r012:unit:auto:94057576be39128d8b46e036",
      "r012:unit:fig_height5",
      "r012:unit:auto:cb18d73054c8d88bbaf37bf3",
      "r012:unit:rqs-posets_dilworth",
      "r012:unit:posets_dilworth_reading",
      "r012:unit:para_posets_dilworth_proof",
      "r012:unit:fig_width7",
      "r012:unit:auto:7defb47dbb721d38e9a03f2a",
      "r012:unit:s_posets_sorting",
      "r012:unit:fig_posets_lin-extn",
      "r012:unit:auto:62a8ddab2dba5327a67cf7c3",
      "r012:unit:auto:87b0522dd38aa09adc56ddd9",
      "r012:unit:s_posets_subset-lattice",
      "r012:unit:auto:de1091f92749ed08b6ab1e24",
      "r012:unit:fig_4cube",
      "r012:unit:ss_posets_subset-lattice_sperner",
      "r012:unit:thm_sperner",
      "r012:unit:auto:33e439c8805ad0cae93d6ce7",
      "r012:unit:s_posets_intervalorder",
      "r012:unit:fig_6ptintorder",
      "r012:unit:thm_fishburn",
      "r012:unit:auto:a4362315290ba0900cf6f2f4",
      "r012:unit:rqs-posets_intervalorder",
      "r012:unit:posets-rq_intervalorder_list-less",
      "r012:unit:posets_intervalorder_rq-intord1",
      "r012:unit:posets-rq_intervalorder_list-incomp",
      "r012:unit:posets_intervalorder_rq-intord2",
      "r012:unit:posets-rq_intervalorder_not-intord",
      "r012:unit:posets_intervalorder_rq-not-intord",
      "r012:unit:s_posets_intervalorder_findrep",
      "r012:unit:thm_intord-minrep",
      "r012:unit:fig_10ptintorder",
      "r012:unit:rqs-posets_intervalorder_findrep",
      "r012:unit:rq-posets_intervalorder_findrep-loose-point",
      "r012:unit:s_posets_dilworth-intord",
      "r012:unit:auto:5f127a0f36370b1973d0d5e8",
      "r012:unit:fig_FirstFit",
      "r012:unit:rqs-posets_dilworth-intord",
      "r012:unit:rq-posets_dilworth-intord-partial",
      "r012:unit:posets_dilworth-intord_rq1",
      "r012:unit:rq-posets_dilworth-intord-width",
      "r012:unit:posets_dilworth-intord_rq2",
      "r012:unit:s_posets_discussion",
      "r012:unit:s_posets_exercises",
      "r012:unit:auto:2e924d8c6f724ee8d4eb8be9",
      "r012:unit:auto:ae551fcb91b9d813610423d4",
      "r012:unit:auto:29f571e1390981b4b7163b93",
      "r012:unit:exer_posets_division",
      "r012:unit:auto:6cad279ffb13c98fbe821ce5",
      "r012:unit:auto:c026fb8e5b8826a383e29be2",
      "r012:unit:auto:8b86725e25b5b53f9b78d02b",
      "r012:unit:auto:6fc795026ccf8843ae202696",
      "r012:unit:auto:085eef75fbc221c8539125fd",
      "r012:unit:auto:98e5fe3263d7cd1666cae593",
      "r012:unit:auto:d57d42c05fddf1e880e252df",
      "r012:unit:auto:fc00bd7518a7a94266154f1c",
      "r012:unit:auto:a20f131d03807527ff45ebd7",
      "r012:unit:auto:8079635fbc4d38f493b000dc",
      "r012:unit:auto:1309cea2994e8e43e9c03468",
      "r012:unit:auto:e0b20fe34fc676effa60a250",
      "r012:unit:auto:fcda848baccb4f015963b0ca",
      "r012:unit:auto:44cb1b3aa1fdae739fc821ca",
      "r012:unit:fig_intord_to_diag_ex",
      "r012:unit:auto:2124c8b77378df62a9471ad7",
      "r012:unit:intord-to-diagram-exercise1",
      "r012:unit:auto:05770695024dc73965dec408",
      "r012:unit:auto:f81fb5dafbd49cb38084cd60",
      "r012:unit:fig_intord_to_diag_ex2",
      "r012:unit:auto:73a25af25d09f4196845adf9",
      "r012:unit:fig_intord_find_rep_ex1",
      "r012:unit:auto:bc94eaaa40ba5a276e501aa5",
      "r012:unit:fig_intord_find_rep_ex4",
      "r012:unit:auto:eae8b57c721815521f9f7306",
      "r012:unit:auto:651e00dafbb8b882fa71bd3f",
      "r012:unit:fig_intord_find_rep_ex2",
      "r012:unit:auto:853be05aa5da6212a844837f",
      "r012:unit:auto:22b356cf3625d028998ca7db",
      "r012:unit:fig_intord_find_rep_ex3",
      "r012:unit:auto:347b6dd5f70b334e2b989613",
      "r012:unit:fig_intord_firstfit_ex1",
      "r012:unit:auto:482349e8f2bb923c1701759f",
      "r012:unit:auto:144482dcd24dcb5624a6483d",
      "r012:unit:auto:90b8b4e5eb57ae64daeb4bb5",
      "r012:unit:auto:12dc521cbf0985e8c6ab6f05",
      "r012:unit:auto:9c669e328b809df5f3d14056",
      "r012:unit:auto:3e0c87884fa6a31cd7042a45",
      "r012:unit:s_posets_PI",
      "r012:unit:posets_PI_movie-poset",
      "r012:unit:posets_PI_antichains",
      "r012:unit:big-poset-PI1",
      "r012:unit:auto:f16ad6760e5ffaa6a0b03f33",
      "r012:unit:posets_PI_chains",
      "r012:unit:big-poset-PI2",
      "r012:unit:posets_PI_antichain-type",
      "r012:unit:big-poset-PI3",
      "r012:unit:posets_PI_chain-type1",
      "r012:unit:big-poset-PI4",
      "r012:unit:posets_PI_chain-type2",
      "r012:unit:big-poset-PI5",
      "r012:unit:posets_PI_17-pt-chain",
      "r012:unit:posets_PI_points-subset-lattice",
      "r012:unit:posets_PI_subset-lattice-minimal",
      "r012:unit:posets_PI_subset-lattice-height",
      "r012:unit:posets_PI_intord-less",
      "r012:unit:posets_PI_intord-incomp",
      "r012:unit:posets_PI_find-two-plus-two",
      "r012:unit:posets_PI_find-intrep-interval",
      "r012:unit:posets_PI_intord-findrep-nocontain",
      "r012:unit:posets_PI_intord-findrep-small-downset",
      "r012:unit:posets_PI_intord-firstfit-chains",
      "r012:unit:posets_PI_intord-firstfit-already-assigned",
      "r012:unit:ch_inclusion-exclusion",
      "r012:unit:auto:8b4b0c93b275558730fa3875",
      "r012:unit:s_inclusion-exclusion_intro",
      "r012:unit:exa_inclusion-exclusion_students",
      "r012:unit:auto:02e53b3d1d70290d159730bc",
      "r012:unit:fig_venn-app-comb",
      "r012:unit:venn-diagram-students",
      "r012:unit:exa_inclusion-exclusion_int-solns",
      "r012:unit:exa_inclusion-exclusion_prop-inject",
      "r012:unit:exa_inclusion-exclusion_prop-derange",
      "r012:unit:exa_inclusion-exclusion_prop-divis",
      "r012:unit:rqs-inclusion-exclusion_intro",
      "r012:unit:inclusion-exclusion_intro-rq-divisor",
      "r012:unit:s_inclusion-exclusion_statement",
      "r012:unit:thm_inclusion-exclusion",
      "r012:unit:eq_inclusion-exclusion",
      "r012:unit:auto:157db7e274f439b81e0dec9b",
      "r012:unit:rqs-inclusion-exclusion_statement",
      "r012:unit:inclusion-exclusion_statement_rq-terms",
      "r012:unit:s_inclusion-exclusion_surjections",
      "r012:unit:auto:0436226a7a3aec223fbb66d8",
      "r012:unit:auto:ead8b23e16dc2a353a7c3c9a",
      "r012:unit:auto:d82b928b4ab1bfb15c849fb5",
      "r012:unit:s_inclusion-exclusion_derangements",
      "r012:unit:auto:efc19c37945fe17ccd593b42",
      "r012:unit:auto:dec906b7a981dd80a50fb0a2",
      "r012:unit:auto:0ccd82df017d6432c7a435f0",
      "r012:unit:auto:57a1c249f2782f556231221b",
      "r012:unit:auto:3ac47f248ab24d08c8fbed2f",
      "r012:unit:auto:0faa5a1d42e8503171d0a48a",
      "r012:unit:s_inclusion-exclusion_euler-phi",
      "r012:unit:thm_eulerphi",
      "r012:unit:eq_eulerphi",
      "r012:unit:prop_num-divisible",
      "r012:unit:auto:40c708c69ade17788d6a5947",
      "r012:unit:auto:5cf98fb376a04e75419df1f9",
      "r012:unit:auto:78cd58d5f8395977c731d2e1",
      "r012:unit:s_inclusion-exclusion_discussion",
      "r012:unit:s_inclusion-exclusion_exercises",
      "r012:unit:auto:6f81637b674d35e3b9c52db6",
      "r012:unit:auto:b8cac72ecfd4e88e45fa59bc",
      "r012:unit:auto:57e66ed9d3c2ff813057e08a",
      "r012:unit:auto:bcf11634162a181d473028c2",
      "r012:unit:auto:4e9bc9daa9d492eb99a9687e",
      "r012:unit:auto:d231242cd967c0a706fecd21",
      "r012:unit:auto:7b8f62d34845d641c2e57f0c",
      "r012:unit:auto:435387697278dbaa95cd68bd",
      "r012:unit:auto:328950a879727c218a6d3e20",
      "r012:unit:auto:76ca4cd132d1a847219afb0f",
      "r012:unit:auto:1e317ac7ad56d3f690eee82d",
      "r012:unit:auto:a7f9067b48428dc877bc51cd",
      "r012:unit:auto:de56645de488d5edfb1159c8",
      "r012:unit:auto:70defe67d530396a9b7f44a6",
      "r012:unit:tab_function_e-i-ex",
      "r012:unit:auto:e40cd59d752b9bc0e1054221",
      "r012:unit:tab_perm-e-i-ex",
      "r012:unit:auto:208311f0391cb61229660932",
      "r012:unit:auto:9b34068d4135ce50c6edf53b",
      "r012:unit:auto:348b30fdefc7b569859875ee",
      "r012:unit:auto:05d35182197ca9d5f94b2a2a",
      "r012:unit:auto:b00f4c1ebe8f22d1fea2b679",
      "r012:unit:auto:47f4d9bb89ec37081c0e05e3",
      "r012:unit:auto:c21327425f502cb88dc01f87",
      "r012:unit:auto:188ed1baafaca38d1d0aace3",
      "r012:unit:auto:d3aa5845be4c822d4b946901",
      "r012:unit:auto:66ec74e480cb41c08378fa17",
      "r012:unit:auto:795b6d4c24720d6fe770ec01",
      "r012:unit:auto:484c06194f105dfcf44848df",
      "r012:unit:auto:a3b7bb136de03ef64d157c04",
      "r012:unit:auto:a9579cdd2bb5d5ed175a99b6",
      "r012:unit:auto:f3fccbe0a8d9a59de7093609",
      "r012:unit:auto:f4225bc36db63210d3c4bed4",
      "r012:unit:auto:a6e3b9be074c8b2c5ea8a0cd",
      "r012:unit:auto:509b5abe35c1f884b0712fda",
      "r012:unit:s_inclusion-exclusion_PI",
      "r012:unit:inclusion-exclusion_PI_IE-sum-terms",
      "r012:unit:inclusion-exclusion_PI_surjection",
      "r012:unit:inclusion-exclusion_PI_functions-count",
      "r012:unit:inclusion-exclusion_PI_function-property",
      "r012:unit:inclusion-exclusion_PI_perms-count",
      "r012:unit:inclusion-exclusion_PI_perm-prop",
      "r012:unit:inclusion-exclusion_PI_rel-prime",
      "r012:unit:s_inclusion-exclusion_surjections_activity",
      "r012:unit:inclusion-exclusion_activity_IE-sum-terms-8",
      "r012:unit:def-surjection",
      "r012:unit:def-image",
      "r012:unit:inclusion-exclusion_activity_surjection",
      "r012:unit:inclusion-exclusion_activity_functions-count",
      "r012:unit:inclusion-exclusion_activity_function-property",
      "r012:unit:act_inclusion-exclusion_surjections-8-5_properties",
      "r012:unit:act_inclusion-exclusion_surjections-8-5_one-prop",
      "r012:unit:act_inclusion-exclusion_surjections-8-5_two-prop",
      "r012:unit:act_inclusion-exclusion_surjections-8-5_two-prop-2-5",
      "r012:unit:act_inclusion-exclusion_surjections-8-5_three-prop",
      "r012:unit:act_inclusion-exclusion_surjections-8-5_conclusion",
      "r012:unit:act_inclusion-exclusion_surjections-formula-properties",
      "r012:unit:act_inclusion-exclusion_surjections-formula_one-prop",
      "r012:unit:act_inclusion-exclusion_surjections-formula_two-prop",
      "r012:unit:act_inclusion-exclusion_surjections-formula_four-prop",
      "r012:unit:act_inclusion-exclusion_surjections-formula_j-prop",
      "r012:unit:act_inclusion-exclusion_surjections-formula_j-subsets",
      "r012:unit:act_inclusion-exclusion_surjections-formula_conclusion",
      "r012:unit:ch_genfunction",
      "r012:unit:auto:5d06d4ea1ab81098c21c9be0",
      "r012:unit:s_genfunction_intro",
      "r012:unit:exam_genfunction_geom-series",
      "r012:unit:eq_genfunction_finite-geom",
      "r012:unit:auto:0be40ee4fe111164419b75cb",
      "r012:unit:prop_genfunction-product",
      "r012:unit:s_genfunction_distributions",
      "r012:unit:exa_genfunction_apples",
      "r012:unit:exa_genfunction_fruit",
      "r012:unit:auto:2d043fada756b0e678fbcfa4",
      "r012:unit:exa_genfunction_partial-fracs",
      "r012:unit:auto:692d3d5206064b390fb35ace",
      "r012:unit:exa_genfunction_multisets",
      "r012:unit:auto:d7c45bbaac6cda937a07c30e",
      "r012:unit:rqs-genfunction_distributions",
      "r012:unit:genfunction_distributions_rq-constant_term",
      "r012:unit:genfunction_distributions_rq-coins",
      "r012:unit:s_genfunction_gen-bin-thm",
      "r012:unit:auto:404b9eaf4b1ef3eb26f316ad",
      "r012:unit:auto:8f3500f97b0ab7c55c94505a",
      "r012:unit:thm_newton-binomial",
      "r012:unit:s_genfunction_binom-app",
      "r012:unit:auto:c03a554019cff7389d010e0a",
      "r012:unit:auto:19fe094123fad8db0f430437",
      "r012:unit:l_newbinom",
      "r012:unit:auto:0bd3b62b200da00131d43e75",
      "r012:unit:t_sqrt",
      "r012:unit:auto:79d958c3e26c2de12eddca3f",
      "r012:unit:auto:77bb8e40ef7c0def33263edd",
      "r012:unit:s_genfunction_partitions-integer",
      "r012:unit:fig_genfunction_partsof8",
      "r012:unit:thm_partition",
      "r012:unit:auto:c1cbbffbb5bf258ea18be45d",
      "r012:unit:s_genfunction_exponential",
      "r012:unit:auto:a92a089aa7a8dd70c223b7f8",
      "r012:unit:auto:7db46e9144887cfe4587f1aa",
      "r012:unit:auto:3259ae9833c0290eb6d05545",
      "r012:unit:auto:4b9b577c7e32e0494cb91c36",
      "r012:unit:ex_genfunction_exponential_passcode",
      "r012:unit:rqs-genfunction_exponential",
      "r012:unit:rq-genfunction_exponential_passcode",
      "r012:unit:s_genfunction_discussion",
      "r012:unit:s_genfunction_exercises",
      "r012:unit:auto:e3dfb8524ffbb34b5062db90",
      "r012:unit:auto:de5413975c5928244d4ef92d",
      "r012:unit:auto:c9e4ae3fbb7d521e57578b77",
      "r012:unit:auto:aa5622144b1b3ea4ff5aa1f9",
      "r012:unit:auto:c4c8833f92db93b2e94ad128",
      "r012:unit:auto:e1321354951ba5fcec2ae15c",
      "r012:unit:auto:ad5800950b29d7f51c43a73e",
      "r012:unit:ex_genfunction_ineq-clean",
      "r012:unit:auto:077a3c17f2ebc0690b0ad934",
      "r012:unit:auto:6b0d982902d4e6cfc0dfed45",
      "r012:unit:auto:ee8879a06017a0d2b15e112b",
      "r012:unit:auto:318098a808461c4b431eaeec",
      "r012:unit:auto:921b776e937d50a2fd4c2c37",
      "r012:unit:auto:01062773643c273567236f44",
      "r012:unit:auto:9da8ebe78f63c221b5b6bc64",
      "r012:unit:auto:510a0fb2ef3cdad37eca7e81",
      "r012:unit:auto:8def6d29b55112ab987c47ed",
      "r012:unit:auto:e8d44b4a1a92ff638df8e07e",
      "r012:unit:auto:3a3cdb7defb6ad5b83822a4f",
      "r012:unit:exer_genfunction_coin-toll",
      "r012:unit:auto:027fb432a9986f9c24a39e2e",
      "r012:unit:auto:774277a4814925295d7481f1",
      "r012:unit:auto:46be14a19d3b560435dab10c",
      "r012:unit:auto:c53a9727c6ac71ed663831ee",
      "r012:unit:auto:e0f50e92137238f006185b9f",
      "r012:unit:auto:5a5a5f490053509f506e2e65",
      "r012:unit:auto:fce61924f5d5515db0dda1a7",
      "r012:unit:auto:036523eaa2d61e9332b741a9",
      "r012:unit:auto:cf2c41b37a21c756eb8fd9bc",
      "r012:unit:auto:7bf7f50248eb334f48c18d4f",
      "r012:unit:auto:cd91522cddb9cb10442a7836",
      "r012:unit:auto:f3edcd631926927e1e6b9719",
      "r012:unit:auto:fdf77306cd6d226cfda10c55",
      "r012:unit:auto:39ab9828f6c93359abfbc514",
      "r012:unit:ex_genfunction_ineq-messy",
      "r012:unit:auto:b227d2ba3023d16a25e65e43",
      "r012:unit:auto:a65033c7e640b8b32155ee76",
      "r012:unit:s_genfunction_PI",
      "r012:unit:genfunction_PI_apples-one",
      "r012:unit:genfunction_PI_apples-five",
      "r012:unit:genfunction_PI_apples-oranges-bananas",
      "r012:unit:genfunction_PI_polynomial",
      "r012:unit:genfunction_PI_exponential-vs-ordinary",
      "r012:unit:genfunction_PI_string-restrict-4",
      "r012:unit:genfunction_PI_string-restrict-2",
      "r012:unit:ch_recurrence",
      "r012:unit:auto:b2a4979434434bc7233ca327",
      "r012:unit:s_recurrence_intro",
      "r012:unit:s_recurrence_intro_fib",
      "r012:unit:tab_fib-ratios",
      "r012:unit:auto:a5fd615b1106d334b47d57d4",
      "r012:unit:s_recurrence_intro_strings",
      "r012:unit:ex_recurrence_binary-strings-no-11",
      "r012:unit:ex_recurrence_ternary-strings-no-20",
      "r012:unit:s_recurrence_intro_lines",
      "r012:unit:fig_geomregions",
      "r012:unit:s_recurrence_linear",
      "r012:unit:rqs-recurrence_linear",
      "r012:unit:rq-recurrence_linear-matching",
      "r012:unit:s_recurrence_adv-ops",
      "r012:unit:auto:12b6629772d99bdcaab15a9b",
      "r012:unit:ex_recurrence_diffeq",
      "r012:unit:auto:27087d0ded854684444635f4",
      "r012:unit:auto:45c00a23c466b44177d15161",
      "r012:unit:ex_recurrence_adveq",
      "r012:unit:auto:03810a7758a5b5bb714c9db1",
      "r012:unit:s_recurrence_adv-ops_const-coeff",
      "r012:unit:eqn_advance",
      "r012:unit:s_recurrence_adv-ops_roots-factors",
      "r012:unit:s_recurrence_adv-ops_zero",
      "r012:unit:rqs-recurrence_adv-ops",
      "r012:unit:rq-recurrence_adv-ops_rewrite",
      "r012:unit:auto:579ed4ce02dc9e5c91947fa1",
      "r012:unit:s_recurrence_solving",
      "r012:unit:auto:6fc2244ca73e66280136cd35",
      "r012:unit:s_recurrence_solving_homogeneous",
      "r012:unit:ex_recurrence_deg2",
      "r012:unit:eqn_recurrence_deg2",
      "r012:unit:auto:84a0496a222b53d7a794ad33",
      "r012:unit:ex_recurrence_ternary-strings-no-20-solved",
      "r012:unit:eqn_recurrence_ternary",
      "r012:unit:auto:6fb2d3d14bf9ef34219de62c",
      "r012:unit:auto:7e986cac2f05f207b4f84e52",
      "r012:unit:ex_recurrence_deg2-repeated",
      "r012:unit:auto:59e37c5e565bbb90b27c376a",
      "r012:unit:ex_recurrence_deg4-repeated",
      "r012:unit:auto:7a086af1059186533045c2a0",
      "r012:unit:eqn_recurrence_deg4-repeated",
      "r012:unit:s_recurrence_solving_nonhomogeneous",
      "r012:unit:auto:4a09aa7241b0bf6a931d0955",
      "r012:unit:auto:2b9501b6517e77e868e24689",
      "r012:unit:auto:71277975a4975b582e2a5ed0",
      "r012:unit:ex_recurrence_lines-solved",
      "r012:unit:auto:025bf0a72a4db690049c74bf",
      "r012:unit:auto:fe34519bf04224978c455222",
      "r012:unit:rqs-recurrence_solving",
      "r012:unit:rq-recurrence_solving-solve-plus-4",
      "r012:unit:rq-recurrence_solving-solve-plus-deg-two",
      "r012:unit:rq-recurrence_solving-async-nonlinear",
      "r012:unit:s_recurrence_rigorous",
      "r012:unit:auto:ba2f054b693f6319b15736f2",
      "r012:unit:s_recurrence_rigorous_principal",
      "r012:unit:thm_advance",
      "r012:unit:s_recurrence_rigorous_start",
      "r012:unit:lem_base",
      "r012:unit:auto:8330e14ca1873f918cbadb50",
      "r012:unit:lem_particular",
      "r012:unit:eqn_nonhomogeneous",
      "r012:unit:eqn_homogeneous",
      "r012:unit:auto:3cdf045c69a328229cf28c05",
      "r012:unit:auto:c52c9183ba4135b30d2552a6",
      "r012:unit:eqn_distinct",
      "r012:unit:auto:0521558e3324b301583e231e",
      "r012:unit:eqn_distinct2",
      "r012:unit:eqn_distinct3",
      "r012:unit:s_recurrence_rigorous_repeated",
      "r012:unit:lem_rr",
      "r012:unit:eqn_rr",
      "r012:unit:eqn_solutionrr",
      "r012:unit:s_recurrence_rigorous_general",
      "r012:unit:auto:4411fbc2b5a9d67ef15e7dff",
      "r012:unit:s_recurrence_genfunction",
      "r012:unit:ex_recurrence_gf-homog",
      "r012:unit:ex_recurrence_gf-nonhomog",
      "r012:unit:s_recurrence_rubots",
      "r012:unit:fig_rubots",
      "r012:unit:l_half-binomial",
      "r012:unit:thm_catalan-genfunction",
      "r012:unit:s_recurrence_discussion",
      "r012:unit:rqs-recurrence_discussion",
      "r012:unit:recurrence_discussion_takeaways",
      "r012:unit:s_recurrence_exercises",
      "r012:unit:auto:ac892aec96eaa77b4a0a36e4",
      "r012:unit:auto:9cf4d7c8a20de4ca8b9de93e",
      "r012:unit:auto:3549d4f120ca30032c33a0d1",
      "r012:unit:auto:8e94530a2b3d9882659d84f1",
      "r012:unit:auto:93b94559d7290fc61a4d7009",
      "r012:unit:auto:8e977a982b82e4f10923a472",
      "r012:unit:auto:f10a68b8c3ec6f2b75b92e9a",
      "r012:unit:auto:46233cb583804154445beacc",
      "r012:unit:auto:7ed09f79b0fb4d1b7de08cae",
      "r012:unit:auto:be824cc6b96066d8d01042a9",
      "r012:unit:auto:7ad32a20f169b1d58bcd7202",
      "r012:unit:auto:7126d6d352834b81eac3866d",
      "r012:unit:auto:a4561d5ffe8f5b7ea7d9b05c",
      "r012:unit:auto:2cfed815ad84a270e98c40b4",
      "r012:unit:ex_recurrence_gen-fn",
      "r012:unit:auto:fdcb4e382775725188f7ddfb",
      "r012:unit:auto:8b87a353e8228ac6d2ab68b5",
      "r012:unit:auto:3110fa2523dd10b3fb16b771",
      "r012:unit:auto:2805f151f78e8bead70ba078",
      "r012:unit:auto:a58313acc3d83680ca48be27",
      "r012:unit:s_recurrence_PI",
      "r012:unit:recurrence_PI_linear",
      "r012:unit:recurrence_PI_homogeneous",
      "r012:unit:recurrence_PI_solve-deg-one",
      "r012:unit:ch_probability",
      "r012:unit:auto:662e3bb0f4096cd83bffd676",
      "r012:unit:s_probability_intro",
      "r012:unit:fig_spinner",
      "r012:unit:auto:7b8975bfedbafba14aa4e12a",
      "r012:unit:auto:33c963d4a1733b8680bf29a7",
      "r012:unit:auto:dc7056216e439071dc1ede50",
      "r012:unit:auto:56571ed736bc51d7ce86d6d1",
      "r012:unit:auto:d275dcdb8b05d03219dfcac9",
      "r012:unit:auto:f7e40464a595ae094b2b7cdf",
      "r012:unit:s_probability_conditional",
      "r012:unit:auto:cf51ab7939254cfefade0b8c",
      "r012:unit:auto:9993d92d77c0f40d26e93f31",
      "r012:unit:exa_twojars",
      "r012:unit:auto:e890493d9ce5282dd02dd98c",
      "r012:unit:auto:05f265d02d3ca62d0f8281ac",
      "r012:unit:exa_twodie",
      "r012:unit:s_probability_bernoulli-trials",
      "r012:unit:auto:db94db2f7872e2d60d2c14d9",
      "r012:unit:auto:32044d97999cdcfffee7f5b3",
      "r012:unit:auto:b42f3491cea83177c7826fab",
      "r012:unit:s_probability_discrete-random-variables",
      "r012:unit:auto:fa26c80a67c89c43da03624e",
      "r012:unit:auto:60c6a1b068fc8ed42ca7593c",
      "r012:unit:auto:35a079f39425cb52d1e8033e",
      "r012:unit:auto:7e2a630e17326b4f9f1938dc",
      "r012:unit:prop_linearexpect",
      "r012:unit:auto:50435ea8dccf727c79b95617",
      "r012:unit:auto:f4036c5496787d4bb754e7c7",
      "r012:unit:auto:547efd53cf33ac25d1c84daa",
      "r012:unit:s_probability_central-tendency",
      "r012:unit:auto:cb7ff5c803d045f07d0f6a7c",
      "r012:unit:thm_markov",
      "r012:unit:auto:f500f84f36aceb3795d3ee64",
      "r012:unit:auto:dd704af3675a6c3b2f7eb811",
      "r012:unit:auto:1ca23f7a2a506b65cda662e4",
      "r012:unit:auto:4bd593cb3ed0759f3af2567d",
      "r012:unit:prop_altvar",
      "r012:unit:auto:04e29835753888d7a1f7f7c4",
      "r012:unit:thm_chebyshev",
      "r012:unit:auto:6f4a1059e3bf486185892a99",
      "r012:unit:auto:354fbfc06218f60f0c0cd93d",
      "r012:unit:auto:492448e06d01b1f5aff88288",
      "r012:unit:s_probability_infinite-outcomes",
      "r012:unit:auto:bbd504642e6e005fdb6f75d4",
      "r012:unit:auto:9f5b75658465146534f073d6",
      "r012:unit:s_probability_discussion",
      "r012:unit:s_probability_exercises",
      "r012:unit:auto:ae9e45d23d7ae655a004a48e",
      "r012:unit:auto:6af0972d376281846c73515c",
      "r012:unit:auto:39044bf03ea223bfcd378e8f",
      "r012:unit:auto:f6784d3449a3d1a00f4c7855",
      "r012:unit:auto:6691548129df37fcc64c5423",
      "r012:unit:auto:07a5e2769ec7b1889ef21fcf",
      "r012:unit:ch_probmeth",
      "r012:unit:s_probmeth_graph-ramsey",
      "r012:unit:lem_r33",
      "r012:unit:auto:f4fe5ced8ad9a24f7e63719f",
      "r012:unit:thm_graphramsey",
      "r012:unit:auto:d02601349e657a94593ab861",
      "r012:unit:s_ramsey_small",
      "r012:unit:tab_ramsey_small",
      "r012:unit:s_ramsey_estimatesize",
      "r012:unit:s_ramsey_probability",
      "r012:unit:thm_rnn",
      "r012:unit:auto:9852113baa37e0eb158e9c5c",
      "r012:unit:eqn_rnn",
      "r012:unit:auto:9babf4cb33ba3f1ca9e1a950",
      "r012:unit:s_ramsey_theorem",
      "r012:unit:thm_genramsey",
      "r012:unit:s_ramsey_girth",
      "r012:unit:auto:b6b04eb97f24fc97d7619bbd",
      "r012:unit:thm_girth",
      "r012:unit:auto:b476049651675c6af371fa05",
      "r012:unit:auto:5bd21d354818d561ad365ea0",
      "r012:unit:s_ramsey_discussion",
      "r012:unit:s_ramsey_exercises",
      "r012:unit:auto:e0d98d6aea836beb002735f8",
      "r012:unit:auto:73562dac5be1e7fe8effd609",
      "r012:unit:auto:3795b07190a639c7cf85bd25",
      "r012:unit:auto:c55fd90841226ded37669e43",
      "r012:unit:auto:920932210f3e48d48d5fab67",
      "r012:unit:ch_graphalgorithms",
      "r012:unit:auto:365805fb6aac70f8b0eb1e43",
      "r012:unit:s_graphalgorithms_min-wt-span",
      "r012:unit:auto:91f026da452bd9e5c45276ec",
      "r012:unit:fig_graphalgorithms_spantreegraph",
      "r012:unit:auto:1ad7060f59520740ba80ef4f",
      "r012:unit:prop_graphalgorithms_spanforest",
      "r012:unit:prop_graphalgorithms_exchange",
      "r012:unit:auto:02d9b9bea3ad5babc3a2a86a",
      "r012:unit:fig_graphalgorithms_exchange",
      "r012:unit:lem_graphalgorithms_tech",
      "r012:unit:auto:52395ededac66acc0fd47372",
      "r012:unit:auto:ca6836cd3158ae9d7604036c",
      "r012:unit:auto:ee64c42365be92d37cefaab3",
      "r012:unit:alg_kruskal",
      "r012:unit:auto:bae3e8927c7d8d9515abb1a9",
      "r012:unit:alg_prim",
      "r012:unit:auto:dbddb17b55b796a544bb6f58",
      "r012:unit:auto:fde3d857fe3623290170674c",
      "r012:unit:s_graphalgorithms_digraphs",
      "r012:unit:fig_graphalgorithms_digraph",
      "r012:unit:s_graphalgorithms_shortest-paths",
      "r012:unit:auto:be197b76dc3e13fc3ab20d67",
      "r012:unit:auto:e039df75c9c568d545d48458",
      "r012:unit:alg_dijkstra",
      "r012:unit:auto:68c1f40dc2602b361d8dceb9",
      "r012:unit:fig_graphalgorithms_dijkstragraph",
      "r012:unit:auto:2439c441ae91b8dfa802dba7",
      "r012:unit:auto:c6f7a17e0c128a736fcc6574",
      "r012:unit:auto:26e5475466f215ad26712e0a",
      "r012:unit:auto:b8213a94e40c25117faba03a",
      "r012:unit:auto:fc7b081f7ab412cc81545def",
      "r012:unit:auto:66a1f94fb9745253c0e6d603",
      "r012:unit:auto:93e0260d50ec0065e8b3cada",
      "r012:unit:auto:ee8d4a5f04cf3a34cb615bbe",
      "r012:unit:auto:842bd4f2c0492187f2e1ea64",
      "r012:unit:auto:f21a1f56781178442f01f91d",
      "r012:unit:auto:6a81ae5c891847cfca987de3",
      "r012:unit:auto:d2ca3635524cb5792438f29a",
      "r012:unit:auto:4d2de1f96a396d5a3c15a0ce",
      "r012:unit:fig_graphalgorithms_dijkstra-proof",
      "r012:unit:s_graphalgorithms_historical-notes",
      "r012:unit:s_graphalgorithms_exercises",
      "r012:unit:auto:cb283dd60991e8a0c7645974",
      "r012:unit:fig_span_tree_ex1",
      "r012:unit:auto:f7bd3faa0ba472b087af7e10",
      "r012:unit:auto:7ebe704f0e12eda04550edc4",
      "r012:unit:fig_span_tree_ex2",
      "r012:unit:auto:12f7c2da39a85e30597b17f8",
      "r012:unit:auto:688316e5dea7d2d8e8537dd6",
      "r012:unit:fig_span_tree_ex3",
      "r012:unit:auto:d46bf349fe25a7422f1453d0",
      "r012:unit:auto:1d4b8f89f4bceae7a5754001",
      "r012:unit:auto:5af93712f676284570edb5f2",
      "r012:unit:auto:591716d66f6798181539d854",
      "r012:unit:auto:2896a20bdb4dee86a3f1204b",
      "r012:unit:auto:be120cd875bb41ee6ff40e6d",
      "r012:unit:fig_graphalgorithms_dijkstra_ex1",
      "r012:unit:auto:fbdbbfdd913b7a4f03551801",
      "r012:unit:tab_digraph1",
      "r012:unit:auto:f532a3e44e77442ac96e3d20",
      "r012:unit:fig_graphalgorithms_dijkstra_ex2",
      "r012:unit:auto:e2096817e3992cdc7038a565",
      "r012:unit:tab_digraph2",
      "r012:unit:auto:457813006a6529b4a549e082",
      "r012:unit:auto:fc6b5f6179dbc2e0dc34b73a",
      "r012:unit:ch_networkflow",
      "r012:unit:auto:1550f0e28baf11113a5b8c16",
      "r012:unit:s_networkflow_intro",
      "r012:unit:fig_networkflow_network",
      "r012:unit:fig_networkflow_netflow",
      "r012:unit:s_networkflow_flows-cuts",
      "r012:unit:auto:1709cdbec8de0268c1adaf40",
      "r012:unit:thm_networkflow_flowleqcut",
      "r012:unit:auto:82d03b1385fffb638f57225f",
      "r012:unit:auto:1a5fe701c1703ce54a2b6c04",
      "r012:unit:s_networkflow_augmenting",
      "r012:unit:auto:aacf4c9ae6b4352e5f2c5a16",
      "r012:unit:networkflow_spare",
      "r012:unit:networkflow_used",
      "r012:unit:exa_networkflow_augpath",
      "r012:unit:prop_networkflow_update",
      "r012:unit:exa_networkflow_delta",
      "r012:unit:auto:0d28d49fc35f65830ed69839",
      "r012:unit:fig_networkflow_smallnet",
      "r012:unit:s_networkflow_labeling-algorithm",
      "r012:unit:auto:05c021fbd1433d95b20a4ee6",
      "r012:unit:alg_labeling",
      "r012:unit:s_networkflow_example",
      "r012:unit:auto:3b3f7ccd6abe21dccdf3834a",
      "r012:unit:fig_networkflow_updated-flow",
      "r012:unit:auto:31ca7b697727db357f71f2cb",
      "r012:unit:fig_networkflow_flow4",
      "r012:unit:s_networkflow_integer-programming",
      "r012:unit:s_networkflow_exercises",
      "r012:unit:auto:9b9a1f9d29e6e4f35afb7393",
      "r012:unit:fig_networkflow_invalid",
      "r012:unit:auto:fb05b2cc09e905e12beb3564",
      "r012:unit:fig_networkflow_network_ex",
      "r012:unit:auto:f9600969c36abf89b0db5628",
      "r012:unit:fig_networkflow_augpath_ex",
      "r012:unit:ex_networkflow_update",
      "r012:unit:auto:9e21c03f74f2396d8887cd97",
      "r012:unit:auto:5d2d0ca4a63c1626c4349b92",
      "r012:unit:ex_networkflow_do-update",
      "r012:unit:auto:23afb7e7d40e9ea1dfd47c99",
      "r012:unit:auto:62b8a08bd019f8d0f5e1fcdd",
      "r012:unit:fig_networkflow_network_find_flow1",
      "r012:unit:auto:453ba4a54f12dcc2e6760f38",
      "r012:unit:fig_networkflow_network_find_flow2",
      "r012:unit:auto:1dc48e7981ef74118b237c21",
      "r012:unit:ch_flowapplications",
      "r012:unit:auto:599c500efd48480a4edb03e6",
      "r012:unit:s_flowapplications_intro",
      "r012:unit:auto:9b96003364ee6def0fcb4b84",
      "r012:unit:s_flowapplications_bip-match",
      "r012:unit:fig_flowapplications_bip_graph",
      "r012:unit:fig_flowapplications_bip_match",
      "r012:unit:fig_flowapplications_bipmatch_network",
      "r012:unit:img_flowapplications_bipmatch_network",
      "r012:unit:fig_flowapplications_initial_flow",
      "r012:unit:fig_flowapplications_bipmatch_maxflow",
      "r012:unit:thm_flowapplications_hall",
      "r012:unit:s_flowapplications_chain-partition",
      "r012:unit:auto:915fe9dceca3fbc77523d6e2",
      "r012:unit:fig_flowapplications-poset",
      "r012:unit:fig_flowapplications-network",
      "r012:unit:fig_flowapplications_poset_network_flow",
      "r012:unit:fig_flowapplications_poset_network_flow2",
      "r012:unit:s_flowapplications_exercises",
      "r012:unit:auto:eed81cb8cba429ff66ee6f28",
      "r012:unit:fig_flowapplications_matching_ex1",
      "r012:unit:auto:f60475abf0e0451bad39d925",
      "r012:unit:fig_flowapplications_matching_ex2",
      "r012:unit:auto:9a45b86b45f910fbda460059",
      "r012:unit:auto:88b4520fefa1b203c1c4daed",
      "r012:unit:auto:c004249ce3c77795dc8ca2ea",
      "r012:unit:fig_flowapplications_poset_network_ex1",
      "r012:unit:auto:6f9232648c3ca8a280bbb427",
      "r012:unit:auto:7a9dd51508cef05d059ea1f8",
      "r012:unit:auto:cac0a925995fedd2d6c7a20b",
      "r012:unit:fig_flowapplications_poset_network_ex",
      "r012:unit:auto:ec214be7e3e958d4e43ea8c2",
      "r012:unit:fig_flowapplications_poset_ex",
      "r012:unit:ch_polya",
      "r012:unit:auto:573e4c1162b083011455a429",
      "r012:unit:s_polya_square",
      "r012:unit:fig_polya_squares",
      "r012:unit:tab_polya_fixed-square",
      "r012:unit:s_polya_perm-groups",
      "r012:unit:auto:53296b9f1871fc90722639aa",
      "r012:unit:ss_polya_perm-groups_rep",
      "r012:unit:fig_polya_perm-digraph",
      "r012:unit:auto:027d1eb9fc42904ce46957be",
      "r012:unit:ss_polya_perm-groups_mult",
      "r012:unit:auto:127426479ed84bfdc2945d36",
      "r012:unit:auto:777e2e85c5f1d9d23b205542",
      "r012:unit:auto:0369018c1a8421e478137aa2",
      "r012:unit:s_polya_burnside",
      "r012:unit:prop_polya_sum-stabs",
      "r012:unit:auto:e713aa51246733af1404e7c3",
      "r012:unit:lem_polya_burnside",
      "r012:unit:auto:fdc41887f2b091c4fe05c448",
      "r012:unit:s_polya_polya",
      "r012:unit:auto:76308af41f0f63bb8666e10a",
      "r012:unit:ss_polya_polya_cycle-index",
      "r012:unit:tab_polya_square-cycles",
      "r012:unit:ss_polya_polya_full",
      "r012:unit:thm_polya_polya",
      "r012:unit:s_polya_apps",
      "r012:unit:auto:48d6efeec6cf713d96928086",
      "r012:unit:ss_polya_scales",
      "r012:unit:fig_polya_scales",
      "r012:unit:ss_polya_isomers",
      "r012:unit:tab_polya_benzene",
      "r012:unit:ss_polya_graphs",
      "r012:unit:fig_polya_graphs",
      "r012:unit:s_polya_exercises",
      "r012:unit:ex_polya_perm-rep",
      "r012:unit:auto:217f12bfa8b36f71fd5f7ae7",
      "r012:unit:auto:8c654d1f6a0b0342c07bb4eb",
      "r012:unit:auto:55b78e6ec7dda62622983119",
      "r012:unit:fig_polya_pentagon",
      "r012:unit:ex_polya_cyclic12",
      "r012:unit:auto:3c44a92127e3678a393b4bdd",
      "r012:unit:auto:c7a2aae43a669efa1508f7b1",
      "r012:unit:ex_polya_perm-pairs",
      "r012:unit:auto:7ce8b90cc2b414d83c0c5892",
      "r012:unit:auto:a6f2a17a0a412992b4e67cc1",
      "r012:unit:ex_polya_graphs5-pt1",
      "r012:unit:auto:f6573cd810ccf60cc2c00741",
      "r012:unit:fig_polya_TTT",
      "r012:unit:auto:f0f646a152ae746a5ab3b494",
      "r012:unit:auto:689a2b407b7d593bea577e32",
      "r012:unit:ch_kitchensink",
      "r012:unit:s_kitchensink_online",
      "r012:unit:auto:3767594505de0a6c5505d6a9",
      "r012:unit:exa_P4",
      "r012:unit:thm_olforest",
      "r012:unit:auto:cc44a385f76c0a2c7101c4d5",
      "r012:unit:auto:f9ea33bf56229313b00c2f9b",
      "r012:unit:auto:12aceeddc87c1fdef0bc6b45",
      "r012:unit:auto:a4e6d5e88a585c217e6c88e7",
      "r012:unit:auto:7ae17ace055b16a23741f4b6",
      "r012:unit:auto:d999188fbdeef51619facbd4",
      "r012:unit:auto:32e01cf779f5b41852939dc3",
      "r012:unit:s_kitchensink_extremal-set-theory",
      "r012:unit:exa_intersecting",
      "r012:unit:exa_Sperner",
      "r012:unit:auto:42103ee13800a3fe74ce9a8b",
      "r012:unit:auto:47cc4b582c619f5b4368626f",
      "r012:unit:s_kitchensink_markov-chains",
      "r012:unit:auto:7135d37757f73e169fe2e2f7",
      "r012:unit:eqn_transition",
      "r012:unit:thm_regular",
      "r012:unit:auto:abcd4c6a7f01f4f0e3720fa6",
      "r012:unit:auto:4794720607374699d51eec4f",
      "r012:unit:eqn_absorbing",
      "r012:unit:s_kitchensink_stable-match",
      "r012:unit:s_kitchensink_zero-one-matrices",
      "r012:unit:auto:2f0409168bc08fa51ad5859b",
      "r012:unit:prop_partitioncover",
      "r012:unit:auto:5f86ce3b0247d79dc64a8077",
      "r012:unit:auto:cabf64f1aa98a8a4413cd647",
      "r012:unit:auto:57cedb436befff82c83ed9b3",
      "r012:unit:s_kitchensink_arithmetic-combinatorics",
      "r012:unit:auto:2c43873e0968cfc6d26f9acb",
      "r012:unit:s_kitchensink_lovasz-local",
      "r012:unit:lem_LLL",
      "r012:unit:auto:d1e4a3379bffc16b1d57ecfd",
      "r012:unit:lem_LLL-sym",
      "r012:unit:auto:f483b83e640687a9ae0572ff",
      "r012:unit:s_kitchensink_applying-local-lemma",
      "r012:unit:backmatter",
      "r012:unit:ch_epilogue",
      "r012:unit:app_background",
      "r012:unit:auto:bc6a3aac49fa0f9288c6a2aa",
      "r012:unit:s_background_intro",
      "r012:unit:auto:afd1699ebcd437420e75847e",
      "r012:unit:auto:b13945523de78e3aee53cb41",
      "r012:unit:s_background_int-union",
      "r012:unit:auto:b9e3ebb8dc4c9e3e5edef7c7",
      "r012:unit:auto:f19308da62ead72c65722c78",
      "r012:unit:auto:87a1aa5eb5f87251d1810845",
      "r012:unit:auto:09b3390bcd5856e7b4193f8a",
      "r012:unit:auto:7b910f078492bcbe711fcfb8",
      "r012:unit:s_background_products",
      "r012:unit:auto:c0b8952d0045e19abf29df8f",
      "r012:unit:s_background_relations",
      "r012:unit:cond_function-at-most-one",
      "r012:unit:exa_function",
      "r012:unit:auto:7106a059c3bfd432c3bfc460",
      "r012:unit:auto:272307bfd5a30a9833004a3f",
      "r012:unit:s_background_finite-sets",
      "r012:unit:auto:9f5546a8177edab272013e19",
      "r012:unit:auto:b35479936254f91b44e864db",
      "r012:unit:auto:b9bbdb78bf5719eafe8b777b",
      "r012:unit:auto:e7b1cb4382e7cd832cced92e",
      "r012:unit:exe_sb",
      "r012:unit:prop_xy",
      "r012:unit:auto:767c1ef3d1b2ec67994d084f",
      "r012:unit:s_background_notation",
      "r012:unit:s_background_formal-num-sys",
      "r012:unit:auto:4903dce4ef247da5bef4e35b",
      "r012:unit:peano_induction",
      "r012:unit:auto:870b9109be8fa7fe614a01d1",
      "r012:unit:auto:78092c17650e9871567cf8a0",
      "r012:unit:s_background_add",
      "r012:unit:auto:546f24cc8a53e527ff7489b8",
      "r012:unit:auto:b7de0d1cc7a0dbe57b45d184",
      "r012:unit:auto:490d991c138588c00a2078f1",
      "r012:unit:auto:bc4b368e65f86543b4cb5b86",
      "r012:unit:auto:0380422933f370430e4848b1",
      "r012:unit:auto:181a27ed7ce533461ca9a22e",
      "r012:unit:auto:d5e448d8b814cf4822231143",
      "r012:unit:auto:801aa7396f3d680020b4e379",
      "r012:unit:auto:fb4c02468cf607df6b54192e",
      "r012:unit:lem_sum0",
      "r012:unit:auto:37e97d2b362d2485e4876813",
      "r012:unit:auto:199eded93dc29d93e8c9ce85",
      "r012:unit:auto:5e04860628a03bebf5834b03",
      "r012:unit:s_background_mult",
      "r012:unit:auto:e4c979957359a6e105fb627f",
      "r012:unit:auto:cd6c0cdb728b01aba5e68c8f",
      "r012:unit:auto:4dd2d4d9021858eab10ad449",
      "r012:unit:auto:3bf2073a5822b8b8002481cb",
      "r012:unit:auto:3364466cdd060c3242fc9bd4",
      "r012:unit:auto:c82d76e91ce74a71b4c93ded",
      "r012:unit:auto:87315ef605aa4441b0791a2e",
      "r012:unit:auto:a378668872a0c84774c921cf",
      "r012:unit:auto:2ba9750f1e4fbe45abfdcd8a",
      "r012:unit:auto:6ec856a2875ee6117c85c974",
      "r012:unit:auto:73607b984b32ca9cc2f4a06f",
      "r012:unit:auto:ae57c2d53c39e74275cf606a",
      "r012:unit:s_background_exp",
      "r012:unit:auto:69284932b3072f16baf08e93",
      "r012:unit:auto:e3d06cc45d80417c98936eaf",
      "r012:unit:auto:e30893ef360e351ff06ac5f5",
      "r012:unit:auto:fda25ee32128fb46b62e974d",
      "r012:unit:s_background_order",
      "r012:unit:s_background_total-order-N",
      "r012:unit:auto:35c8808a4a2f70c2e36d3e7a",
      "r012:unit:auto:bd587aefb21b7b0235863caf",
      "r012:unit:auto:e992622ddfcfc4a15e078b1d",
      "r012:unit:auto:ab25be7ad62fb7bac5164955",
      "r012:unit:auto:de10dbb383f4bfbd712bb5d7",
      "r012:unit:auto:06cb95ed0751c8381d5f4677",
      "r012:unit:auto:92f45594ffaf56b91b4c591a",
      "r012:unit:auto:c135f474f8160241b39ac8d2",
      "r012:unit:auto:3e4ad4f44a49742fc2b59680",
      "r012:unit:auto:509b8f9e591d89d4fdbd48d7",
      "r012:unit:s_background_decimal",
      "r012:unit:auto:42456a01b9d2f2371b248869",
      "r012:unit:auto:fd736eddeac1c38df813c04f",
      "r012:unit:auto:3856dd43d652f4814465d3c2",
      "r012:unit:auto:19bbfe96fbef2077e9346577",
      "r012:unit:auto:70d0e95179cbaa0e1961843b",
      "r012:unit:s_background_equivalence",
      "r012:unit:s_background_integers",
      "r012:unit:auto:dfa1368392bfe711af27f3cb",
      "r012:unit:auto:197b77bb9dbc20b6e4460968",
      "r012:unit:auto:8a2b6e064c5bf5582ffdd432",
      "r012:unit:auto:612bd18c0227dc9fa0d1e308",
      "r012:unit:auto:1b8dbdba090e6fafa097b8a0",
      "r012:unit:auto:06557b5c77f1a0cec9034194",
      "r012:unit:s_background_prop-integers",
      "r012:unit:auto:0935ad4164e5fda622644b26",
      "r012:unit:auto:9b80b937fe38a3592e7415a8",
      "r012:unit:auto:a8941d1922d32c6765c9e612",
      "r012:unit:auto:e196b020c5e268ba01acce5f",
      "r012:unit:auto:1ac9044a4a442bfd1bc8f44b",
      "r012:unit:auto:fa23b8935fd92a0e88eec5f8",
      "r012:unit:auto:882e1795e061d1c8acd6146f",
      "r012:unit:auto:c51798781691867f06237a6f",
      "r012:unit:s_background_rationals",
      "r012:unit:auto:a6e1642758c4aeb203b4c48c",
      "r012:unit:auto:482af125d1d96e2944748dce",
      "r012:unit:auto:358f75f88e2edce7b98d32c8",
      "r012:unit:auto:3b9781e888d366660a6da117",
      "r012:unit:auto:a5b79b3eaa33837ac7d6011a",
      "r012:unit:auto:6532b17c740dc6536cbdfe20",
      "r012:unit:s_background_reals",
      "r012:unit:s_background_complex",
      "r012:unit:auto:f96bfe75ccf0e4ce69b60e9a",
      "r012:unit:auto:d2ac985ea7fda68d2aa21e54",
      "r012:unit:auto:917b875be572450808847271",
      "r012:unit:auto:4d8c9466098d89c13190f7ae",
      "r012:unit:auto:89f41776bc9056958713e101",
      "r012:unit:s_background_ZFC",
      "r012:unit:axiom_ZFC",
      "r012:unit:auto:890b13ffad581b51ada6044f",
      "r012:unit:auto:6f074d6a8fcb7cf736f5fdd2"
    ],
    "block_ids": [
      "r012:unit:ch_intro",
      "r012:unit:ch_strings",
      "r012:unit:ch_induction",
      "r012:unit:ch_basics",
      "r012:unit:ch_graphs",
      "r012:unit:ch_posets",
      "r012:unit:ch_inclusion-exclusion",
      "r012:unit:ch_genfunction",
      "r012:unit:ch_recurrence",
      "r012:unit:ch_probability",
      "r012:unit:ch_probmeth",
      "r012:unit:ch_graphalgorithms",
      "r012:unit:ch_networkflow",
      "r012:unit:ch_flowapplications",
      "r012:unit:ch_polya",
      "r012:unit:ch_kitchensink",
      "r012:unit:ch_epilogue",
      "r012:unit:app_background",
      "r012:unit:auto:890b13ffad581b51ada6044f"
    ],
    "root_unit_id": "r012:unit:app-comb",
    "route_id": "C70:route:r012-complete"
  },
  "schema": "c70-learning-map/1",
  "title": "Kombinatorika Terapan"
}