name: graph coloring
objective: min

domains:
  d:
    type: d
    values: [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]

variables:
  v000:
    domain: d
  v001:
    domain: d
  v002:
    domain: d
  v003:
    domain: d
  v004:
    domain: d
  v005:
    domain: d
  v006:
    domain: d
  v007:
    domain: d
  v008:
    domain: d
  v009:
    domain: d
  v010:
    domain: d
  v011:
    domain: d
  v012:
    domain: d
  v013:
    domain: d
  v014:
    domain: d
  v015:
    domain: d
  v016:
    domain: d
  v017:
    domain: d
  v018:
    domain: d
  v019:
    domain: d

constraints:
  c000_002:
    type: extensional
    values:
      0: 0 0 | 2 5 | 2 8
      1: 5 0 | 9 1 | 1 3 | 9 3 | 5 6 | 2 7 | 6 7
      2: 6 0 | 2 1 | 0 2 | 4 3 | 6 3 | 8 6 | 1 7
      3: 4 1 | 1 2 | 2 2 | 8 2 | 0 3 | 3 3 | 0 4 | 2 4 | 7 4 | 0 5 | 4 7 | 7 7 | 8
        7 | 4 8 | 7 9 | 8 9
      4: 1 1 | 6 1 | 2 3 | 9 4 | 2 6 | 9 9
      5: 3 0 | 5 2 | 7 2 | 5 3 | 7 3 | 8 3 | 6 4 | 6 5 | 5 7 | 4 9
      6: 4 0 | 9 0 | 6 2 | 9 2 | 3 4 | 5 4 | 8 5 | 3 6 | 4 6 | 7 6 | 9 7 | 5 8 | 0
        9
      7: 2 0 | 8 0 | 3 1 | 5 1 | 7 1 | 8 1 | 3 5 | 5 5 | 7 5 | 9 5 | 0 6 | 1 6 | 6
        6 | 9 6 | 0 8 | 7 8 | 8 8 | 2 9 | 3 9
      8: 4 4 | 1 5 | 4 5 | 0 7 | 3 7 | 3 8 | 6 8 | 1 9
      9: 1 0 | 7 0 | 0 1 | 3 2 | 4 2 | 1 4 | 8 4 | 1 8 | 9 8 | 5 9 | 6 9
    variables:
    - v000
    - v002
  c000_003:
    type: extensional
    values:
      0: 0 2 | 3 2 | 5 2 | 7 2 | 8 3 | 7 4 | 3 8 | 1 9 | 5 9
      1: 8 1 | 4 3 | 2 4 | 3 4 | 6 4 | 9 4 | 0 7
      2: 2 2 | 9 2 | 0 4 | 4 4 | 0 5 | 3 5 | 9 9
      3: 8 0 | 3 1 | 5 1 | 1 2 | 0 3 | 1 3 | 3 3 | 8 4 | 7 5 | 3 6 | 5 6 | 6 6
      4: 0 1 | 1 1 | 7 3 | 1 4 | 4 6 | 8 7 | 9 8
      5: 4 0 | 9 0 | 7 1 | 8 2 | 2 3 | 5 3 | 4 5 | 5 5 | 8 6 | 5 7 | 9 7 | 8 8 | 7
        9
      6: 2 0 | 5 0 | 4 1 | 4 2 | 1 5 | 3 7 | 0 8 | 5 8
      7: 7 0 | 2 1 | 6 2 | 2 5 | 8 5 | 2 6 | 2 7 | 7 7 | 7 8 | 3 9 | 8 9
      8: 0 0 | 1 0 | 6 1 | 9 1 | 6 3 | 9 3 | 6 5 | 1 6 | 4 7 | 6 7 | 2 8 | 4 8 | 0
        9 | 2 9 | 4 9 | 6 9
      9: 3 0 | 6 0 | 5 4 | 9 5 | 0 6 | 7 6 | 9 6 | 1 7 | 1 8 | 6 8
    variables:
    - v000
    - v003
  c000_006:
    type: extensional
    values:
      0: 0 0 | 2 0 | 8 1 | 9 2 | 3 3 | 5 3 | 8 4 | 4 5 | 5 5 | 8 7
      1: 3 0 | 6 1 | 4 2 | 5 2 | 4 4 | 1 5 | 3 7 | 6 7 | 1 8 | 3 9 | 6 9
      2: 2 2 | 2 3 | 8 3 | 9 4 | 5 7 | 8 8 | 1 9
      3: 4 0 | 3 1 | 3 2 | 6 2 | 7 2 | 7 3 | 7 4 | 2 5 | 3 5 | 3 6 | 4 6 | 8 6 | 4
        7 | 6 8 | 7 8
      4: 7 0 | 8 0 | 1 2 | 9 3 | 3 4 | 5 6 | 3 8 | 4 9
      5: 1 0 | 6 0 | 7 1 | 5 4 | 7 5 | 2 6 | 9 7 | 2 8 | 9 8
      6: 1 1 | 8 2 | 2 7 | 5 8 | 9 9
      7: 4 1 | 0 2 | 4 3 | 6 3 | 0 4 | 1 4 | 7 7 | 0 8 | 0 9
      8: 9 0 | 2 1 | 5 1 | 1 3 | 6 4 | 6 5 | 8 5 | 9 5 | 0 6 | 1 6 | 6 6 | 7 6 | 1
        7 | 2 9 | 5 9 | 7 9
      9: 5 0 | 0 1 | 9 1 | 0 3 | 2 4 | 0 5 | 9 6 | 0 7 | 4 8 | 8 9
    variables:
    - v000
    - v006
  c000_008:
    type: extensional
    values:
      0: 7 0 | 0 2 | 9 2 | 7 4 | 0 5 | 2 5 | 7 5 | 0 6 | 0 7 | 1 7 | 4 8
      1: 3 0 | 5 0 | 2 1 | 3 4 | 6 4 | 9 7
      2: 5 2 | 1 4 | 4 4 | 1 5 | 4 5 | 1 6 | 4 6 | 2 7 | 1 8
      3: 9 0 | 4 1 | 1 3 | 5 3 | 6 5 | 5 6 | 3 7 | 7 7 | 2 8 | 2 9 | 9 9
      4: 2 0 | 6 3 | 7 3 | 0 4 | 8 4 | 8 5 | 4 7 | 5 8 | 8 8 | 3 9
      5: 4 0 | 8 0 | 3 1 | 5 1 | 9 1 | 0 3 | 4 3 | 9 4 | 2 6 | 3 6 | 1 9 | 5 9
      6: 6 0 | 1 1 | 7 1 | 6 2 | 8 3 | 3 5 | 9 5 | 6 6 | 7 6 | 6 7 | 7 8 | 9 8
      7: 0 0 | 6 1 | 1 2 | 2 2 | 9 3 | 2 4 | 5 5 | 0 8 | 6 8
      8: 1 0 | 8 1 | 3 2 | 4 2 | 7 2 | 8 6 | 8 7 | 3 8 | 4 9 | 6 9 | 8 9
      9: 0 1 | 8 2 | 2 3 | 3 3 | 5 4 | 9 6 | 5 7 | 0 9 | 7 9
    variables:
    - v000
    - v008
  c000_009:
    type: extensional
    values:
      0: 3 1 | 6 3 | 9 3 | 7 4 | 4 6 | 5 6 | 0 7 | 1 7 | 2 7 | 0 8 | 3 8 | 4 8 | 9
        8
      1: 6 2 | 0 3 | 2 4 | 9 4 | 2 8 | 4 9
      2: 4 0 | 4 1 | 9 1 | 7 2 | 3 3 | 6 4 | 8 6 | 7 9
      3: 5 0 | 0 1 | 4 4 | 4 5 | 5 5 | 4 7 | 6 7 | 8 8
      4: 1 0 | 3 0 | 7 0 | 1 1 | 5 1 | 8 2 | 4 3 | 8 3 | 0 4 | 1 8
      5: 2 0 | 0 2 | 5 2 | 9 2 | 5 4 | 8 4 | 3 5 | 0 6 | 8 7 | 0 9 | 5 9 | 6 9
      6: 2 1 | 8 1 | 3 2 | 1 4 | 0 5 | 2 5 | 6 5 | 7 5 | 8 5 | 5 7 | 6 8 | 9 9
      7: 6 0 | 8 0 | 6 1 | 3 4 | 3 6 | 7 8 | 1 9
      8: 0 0 | 7 1 | 1 2 | 2 2 | 4 2 | 2 3 | 5 3 | 1 5 | 2 6 | 3 7 | 9 7 | 5 8 | 3
        9
      9: 9 0 | 1 3 | 7 3 | 9 5 | 1 6 | 6 6 | 7 6 | 9 6 | 7 7 | 2 9 | 8 9
    variables:
    - v000
    - v009
  c000_011:
    type: extensional
    values:
      0: 3 6 | 7 6 | 6 9 | 9 9
      1: 9 0 | 0 1 | 7 1 | 1 2 | 2 2 | 6 2 | 6 3 | 9 3 | 8 4 | 1 5 | 2 5 | 4 5 | 7
        5 | 5 6 | 1 7 | 3 7 | 6 8 | 8 9
      2: 1 0 | 3 0 | 3 2 | 2 4 | 9 7 | 0 8 | 0 9
      3: 4 0 | 9 1 | 7 2 | 4 3 | 7 3 | 3 4 | 7 4 | 2 8 | 4 8 | 9 8 | 3 9
      4: 1 1 | 4 2 | 0 3 | 8 3 | 9 4 | 5 5 | 8 5 | 9 5 | 3 8 | 1 9 | 2 9
      5: 2 0 | 8 0 | 0 2 | 1 3 | 2 3 | 4 4 | 2 6 | 4 7 | 7 7 | 1 8 | 5 8 | 7 8 | 5
        9
      6: 6 0 | 5 2 | 5 3 | 6 4 | 1 6 | 6 6 | 5 7 | 4 9
      7: 7 0 | 6 1 | 8 1 | 8 2 | 9 2 | 0 4 | 5 4 | 3 5 | 4 6 | 0 7 | 8 8
      8: 0 0 | 5 0 | 2 1 | 4 1 | 5 1 | 1 4 | 8 6 | 8 7
      9: 3 1 | 3 3 | 0 5 | 6 5 | 0 6 | 9 6 | 2 7 | 6 7 | 7 9
    variables:
    - v000
    - v011
  c000_012:
    type: extensional
    values:
      0: 9 0 | 3 2 | 3 3 | 7 3 | 9 3 | 2 5 | 5 6 | 2 7 | 4 8 | 5 8 | 8 8
      1: 3 1 | 8 1 | 4 2 | 3 4 | 4 4 | 7 7
      2: 1 0 | 2 0 | 2 1 | 6 1 | 7 2 | 2 3 | 7 4 | 0 5 | 7 5 | 1 9 | 5 9
      3: 5 1 | 9 1 | 2 2 | 0 3 | 9 7 | 1 8 | 9 8
      4: 4 0 | 6 2 | 1 3 | 9 5 | 3 7
      5: 0 2 | 1 2 | 8 2 | 4 3 | 5 4 | 8 4 | 1 5 | 3 5 | 0 6 | 3 6 | 8 6 | 5 7 | 6
        8 | 8 9
      6: 0 0 | 5 0 | 7 0 | 9 2 | 5 3 | 1 4 | 6 4 | 1 6 | 2 6 | 4 6 | 1 7 | 0 8 | 7
        8 | 0 9 | 3 9 | 4 9 | 6 9
      7: 8 3 | 0 4 | 5 5 | 6 5 | 8 5 | 6 6 | 7 6 | 0 7 | 9 9
      8: 3 0 | 0 1 | 1 1 | 4 1 | 7 1 | 2 4 | 9 4 | 9 6 | 6 7 | 8 7
      9: 6 0 | 8 0 | 5 2 | 6 3 | 4 5 | 4 7 | 2 8 | 3 8 | 2 9 | 7 9
    variables:
    - v000
    - v012
  c000_015:
    type: extensional
    values:
      0: 1 0 | 1 1 | 3 1 | 8 2 | 3 3 | 6 3 | 8 3 | 9 3 | 0 5 | 7 6 | 2 8 | 5 9
      1: 2 2 | 6 2 | 5 4 | 9 5 | 5 7 | 3 8 | 2 9 | 7 9
      2: 2 1 | 9 2 | 4 4 | 9 8 | 6 9
      3: 3 0 | 4 2 | 7 2 | 3 4 | 6 4 | 7 4 | 6 5 | 1 6 | 0 7 | 7 7 | 5 8
      4: 6 0 | 4 1 | 2 3 | 4 3 | 1 4 | 4 5 | 3 7 | 8 7 | 0 9
      5: 5 1 | 2 5 | 3 5 | 3 6 | 2 7 | 6 8 | 9 9
      6: 4 0 | 7 0 | 8 4 | 1 5 | 9 7 | 1 8 | 4 8 | 8 8 | 3 9 | 8 9
      7: 8 0 | 9 0 | 0 1 | 9 1 | 3 2 | 5 2 | 0 3 | 1 3 | 5 3 | 9 4 | 8 6 | 9 6 | 4
        9
      8: 0 0 | 2 0 | 5 0 | 6 1 | 7 1 | 8 1 | 0 2 | 1 2 | 0 4 | 2 4 | 8 5 | 4 6 | 1
        7 | 4 7 | 6 7 | 0 8 | 1 9
      9: 7 3 | 5 5 | 7 5 | 0 6 | 2 6 | 5 6 | 6 6 | 7 8
    variables:
    - v000
    - v015
  c001_002:
    type: extensional
    values:
      0: 0 0 | 6 1 | 8 2 | 8 4 | 1 5 | 4 6 | 6 8 | 5 9
      1: 8 1 | 3 3 | 2 4 | 9 4 | 3 5 | 0 8 | 1 9
      2: 2 1 | 0 5 | 5 5 | 8 5 | 5 6 | 7 6 | 9 6 | 9 7 | 2 9
      3: 4 0 | 0 1 | 9 1 | 7 3 | 8 3 | 5 4 | 8 6 | 3 7 | 1 8 | 2 8 | 7 8
      4: 2 0 | 7 1 | 1 2 | 7 2 | 0 3 | 1 4 | 0 6 | 3 6 | 5 8 | 9 8 | 4 9
      5: 3 2 | 2 3 | 3 4 | 2 5 | 1 7 | 4 8
      6: 6 0 | 1 1 | 3 1 | 6 2 | 9 2 | 1 3 | 4 3 | 6 3 | 9 3 | 7 4 | 6 5 | 0 7 | 4
        7 | 8 7 | 8 9
      7: 4 1 | 0 2 | 2 2 | 5 2 | 0 4 | 4 4 | 6 4 | 2 7 | 5 7 | 3 8 | 0 9 | 6 9 | 9
        9
      8: 1 0 | 5 0 | 9 0 | 5 3 | 7 5 | 9 5 | 1 6 | 2 6 | 8 8
      9: 3 0 | 7 0 | 8 0 | 5 1 | 4 2 | 4 5 | 6 6 | 6 7 | 7 7 | 3 9 | 7 9
    variables:
    - v001
    - v002
  c001_003:
    type: extensional
    values:
      0: 4 0 | 7 0 | 9 1 | 1 2 | 4 2 | 1 3 | 4 4 | 8 4 | 1 7 | 2 7 | 3 7 | 6 8 | 7
        8 | 6 9 | 9 9
      1: 3 1 | 3 2 | 0 3 | 6 3 | 5 4 | 2 5 | 1 8 | 3 9
      2: 1 0 | 2 0 | 5 2 | 6 4 | 2 6 | 4 8 | 8 8
      3: 7 1 | 4 3 | 9 3
      4: 5 0 | 8 0 | 4 1 | 7 2 | 3 3 | 8 3 | 1 6 | 6 6 | 9 6 | 0 7 | 0 8 | 2 8 | 9
        8
      5: 0 0 | 9 2 | 7 3 | 0 4 | 3 4 | 6 5 | 1 9 | 4 9
      6: 9 0 | 0 1 | 8 1 | 6 2 | 1 4 | 2 4 | 0 6 | 3 6 | 7 6 | 4 7 | 6 7 | 8 7 | 9
        7 | 5 9
      7: 1 1 | 5 1 | 5 3 | 1 5 | 2 9
      8: 3 0 | 6 0 | 0 2 | 3 5 | 4 5 | 8 5 | 9 5 | 5 7 | 3 8 | 0 9 | 7 9
      9: 2 1 | 6 1 | 2 2 | 8 2 | 2 3 | 7 4 | 9 4 | 0 5 | 5 5 | 7 5 | 4 6 | 5 6 | 8
        6 | 7 7 | 5 8 | 8 9
    variables:
    - v001
    - v003
  c001_004:
    type: extensional
    values:
      0: 9 0 | 5 1 | 5 2 | 9 4 | 0 5 | 9 5 | 1 6 | 1 7 | 3 9
      1: 7 0 | 0 2 | 5 3 | 8 4 | 3 5 | 4 6 | 9 6 | 9 7 | 9 8 | 1 9
      2: 8 1 | 1 5 | 4 8
      3: 1 1 | 2 1 | 0 3 | 3 3 | 4 4 | 5 4 | 8 5 | 6 6 | 2 8
      4: 6 0 | 4 2 | 6 2 | 6 3 | 3 4 | 4 7 | 4 9 | 5 9
      5: 1 0 | 3 0 | 3 1 | 6 1 | 7 2 | 8 2 | 5 5 | 0 6 | 3 6 | 6 7 | 8 7 | 0 8 | 6
        8 | 8 8 | 7 9
      6: 2 0 | 0 1 | 1 2 | 2 2 | 3 2 | 1 3 | 9 3 | 0 4 | 4 5 | 0 7 | 5 7 | 1 8 | 8
        9 | 9 9
      7: 8 0 | 4 1 | 7 1 | 2 3 | 7 3 | 1 4 | 2 5 | 6 5 | 3 8
      8: 5 0 | 9 1 | 9 2 | 4 3 | 6 4 | 2 6 | 7 6 | 2 7 | 5 8 | 0 9 | 2 9 | 6 9
      9: 0 0 | 4 0 | 8 3 | 2 4 | 7 4 | 7 5 | 5 6 | 8 6 | 3 7 | 7 7 | 7 8
    variables:
    - v001
    - v004
  c001_005:
    type: extensional
    values:
      0: 6 0 | 0 1 | 4 1 | 5 2 | 1 5 | 5 5 | 9 5 | 3 6 | 5 7 | 5 8 | 0 9 | 3 9 | 5
        9
      1: 0 0 | 5 0 | 2 1 | 0 2 | 6 2 | 4 3 | 6 3 | 8 5 | 8 6 | 0 8 | 3 8 | 6 8 | 7
        9
      2: 7 0 | 5 1 | 8 1 | 2 2 | 8 2 | 1 3 | 3 3 | 3 5 | 0 6 | 0 7 | 1 9
      3: 6 1 | 7 3 | 5 4 | 4 5 | 4 6 | 2 7 | 2 8 | 8 8 | 9 8 | 2 9 | 4 9
      4: 1 0 | 1 1 | 9 1 | 9 3 | 6 4 | 1 6 | 6 7 | 8 7 | 4 8
      5: 9 2 | 0 3 | 4 4 | 8 4 | 9 4 | 2 5 | 2 6 | 9 6 | 1 7 | 3 7 | 9 7 | 9 9
      6: 7 1 | 2 4 | 0 5 | 6 5 | 6 6 | 7 6 | 7 8 | 8 9
      7: 2 0 | 3 0 | 4 0 | 3 2 | 2 3 | 5 3 | 1 4 | 3 4 | 7 5 | 5 6
      8: 9 0 | 3 1 | 8 3 | 0 4 | 4 7 | 1 8
      9: 8 0 | 1 2 | 4 2 | 7 2 | 7 4 | 7 7 | 6 9
    variables:
    - v001
    - v005
  c001_010:
    type: extensional
    values:
      0: 3 0 | 0 1 | 3 1 | 2 3 | 0 4 | 0 5 | 2 5 | 1 6 | 6 8 | 0 9 | 1 9 | 3 9
      1: 0 0 | 8 0 | 7 1 | 9 1 | 4 3 | 6 3 | 7 3 | 9 3 | 8 4 | 6 6 | 8 6 | 0 7 | 1
        7 | 2 7 | 3 8 | 7 9 | 8 9
      2: 6 0 | 6 5 | 5 6 | 9 6 | 7 8 | 2 9 | 9 9
      3: 2 2 | 3 2 | 8 2 | 3 4 | 5 5 | 9 5 | 5 7 | 2 8
      4: 5 0 | 0 2 | 6 2 | 2 4 | 7 4 | 3 5 | 4 5 | 7 5 | 4 6 | 5 8
      5: 7 0 | 1 2 | 9 2 | 0 3 | 5 3 | 8 3 | 5 4 | 2 6 | 3 7 | 7 7 | 5 9
      6: 4 0 | 1 1 | 5 2 | 3 3 | 1 4 | 8 5 | 6 7 | 8 8 | 6 9
      7: 5 1 | 4 4 | 9 4 | 1 5 | 8 7
      8: 2 0 | 4 1 | 8 1 | 4 2 | 7 2 | 0 6 | 3 6 | 7 6 | 0 8 | 4 8 | 9 8 | 4 9
      9: 1 0 | 9 0 | 2 1 | 6 1 | 1 3 | 6 4 | 4 7 | 9 7 | 1 8
    variables:
    - v001
    - v010
  c002_005:
    type: extensional
    values:
      0: 6 0 | 2 1 | 9 2 | 7 4 | 3 6 | 6 6 | 2 7 | 6 7 | 0 8 | 3 9
      1: 0 0 | 7 0 | 6 1 | 5 2 | 7 2 | 2 3 | 1 6 | 4 6 | 7 6 | 3 7 | 4 8 | 9 8 | 4
        9
      2: 4 0 | 8 0 | 8 1 | 0 2 | 1 2 | 1 4 | 5 4 | 7 5 | 2 6 | 5 6 | 8 6 | 1 7 | 1
        8 | 5 8 | 6 9
      3: 9 0 | 9 1 | 6 2 | 4 3 | 9 3 | 0 4 | 2 4 | 1 5 | 7 7
      4: 3 0 | 5 0 | 0 1 | 1 1 | 4 1 | 5 3 | 0 5 | 2 5 | 3 5 | 0 6 | 3 8 | 8 9
      5: 2 0 | 6 4 | 9 6 | 6 8 | 7 8 | 2 9 | 9 9
      6: 7 1 | 3 3 | 7 3 | 4 5 | 6 5 | 5 7
      7: 5 1 | 4 2 | 0 3 | 5 5 | 0 7 | 8 7 | 9 7
      8: 2 2 | 8 2 | 8 3 | 3 4 | 4 4 | 8 4 | 9 5 | 4 7 | 2 8 | 8 8 | 1 9 | 7 9
      9: 1 0 | 3 1 | 3 2 | 1 3 | 6 3 | 9 4 | 8 5 | 0 9 | 5 9
    variables:
    - v002
    - v005
  c002_013:
    type: extensional
    values:
      0: 6 0 | 6 1 | 3 2 | 0 4 | 2 4 | 5 4 | 8 8 | 4 9 | 5 9
      1: 7 0 | 9 1 | 7 2 | 8 2 | 6 5
      2: 0 0 | 8 0 | 0 1 | 9 4 | 2 6 | 4 6 | 7 6 | 5 7 | 0 8
      3: 3 0 | 5 0 | 2 2 | 1 4 | 4 4 | 1 5 | 9 6 | 3 7 | 8 7 | 9 7 | 5 8
      4: 8 1 | 0 2 | 5 3 | 6 3 | 7 4 | 6 6 | 8 6 | 7 7 | 1 8 | 3 9 | 7 9 | 8 9
      5: 7 1 | 0 3 | 7 3 | 8 4 | 0 7 | 6 7 | 6 8 | 6 9
      6: 1 0 | 1 1 | 2 1 | 9 3 | 3 5 | 8 5 | 1 7 | 4 7 | 9 9
      7: 1 2 | 6 2 | 1 3 | 3 3 | 8 3 | 3 4 | 0 5 | 2 5 | 5 5 | 7 5 | 0 6 | 5 6 | 2
        8
      8: 2 0 | 4 1 | 2 3 | 4 5 | 9 5 | 3 6 | 2 7 | 0 9 | 2 9
      9: 4 0 | 9 0 | 3 1 | 5 1 | 4 2 | 5 2 | 9 2 | 4 3 | 6 4 | 1 6 | 3 8 | 4 8 | 7
        8 | 9 8 | 1 9
    variables:
    - v002
    - v013
  c003_004:
    type: extensional
    values:
      0: 0 1 | 1 2 | 7 2 | 7 4 | 9 7 | 0 9 | 8 9
      1: 1 0 | 5 0 | 1 1 | 9 1 | 0 2 | 5 3 | 7 3 | 0 6 | 2 6 | 2 8 | 9 9
      2: 6 0 | 2 1 | 3 1 | 3 2 | 2 3 | 9 3 | 3 5 | 9 6 | 0 7 | 2 7 | 6 9
      3: 4 2 | 5 2 | 6 2 | 9 2 | 1 4 | 5 4 | 4 7 | 9 8 | 7 9
      4: 6 1 | 8 1 | 2 2 | 4 3 | 0 4 | 3 4 | 1 5 | 4 5 | 9 5 | 3 7 | 7 7 | 8 7 | 0
        8
      5: 2 0 | 9 0 | 0 3 | 2 4 | 9 4 | 2 5 | 8 5 | 1 7 | 8 8 | 1 9
      6: 8 0 | 8 2 | 6 4 | 8 4 | 0 5 | 3 6 | 5 6 | 8 6 | 1 8 | 3 8
      7: 0 0 | 4 0 | 7 0 | 4 1 | 7 1 | 1 3 | 3 3 | 6 3 | 6 5 | 7 5 | 1 6 | 7 6 | 3
        9
      8: 3 0 | 5 1 | 5 5 | 4 6 | 6 6 | 5 7 | 6 7 | 5 8 | 6 8 | 7 8
      9: 8 3 | 4 4 | 4 8 | 2 9 | 4 9 | 5 9
    variables:
    - v003
    - v004
  c003_006:
    type: extensional
    values:
      0: 5 1 | 9 2 | 0 3 | 5 4 | 9 4 | 5 6 | 4 8 | 5 8 | 2 9
      1: 0 2 | 3 2 | 8 2 | 1 3 | 4 4 | 8 4 | 2 5 | 4 7 | 5 7
      2: 0 0 | 4 0 | 5 0 | 7 2 | 5 5 | 7 6 | 4 9
      3: 9 0 | 4 1 | 7 1 | 2 4 | 3 5 | 8 5 | 0 6 | 4 6 | 1 7 | 1 8 | 7 8 | 0 9 | 6
        9 | 8 9 | 9 9
      4: 2 0 | 6 0 | 1 1 | 6 1 | 9 1 | 2 2 | 2 3 | 5 3 | 6 4 | 7 7 | 8 7 | 9 7
      5: 1 0 | 8 1 | 1 5 | 1 6 | 9 6 | 3 7 | 6 8 | 1 9 | 5 9
      6: 3 0 | 2 1 | 1 2 | 6 2 | 4 3 | 6 3 | 7 3 | 1 4 | 0 5 | 6 5 | 6 7 | 2 8 | 3
        9
      7: 7 0 | 8 0 | 3 1 | 3 3 | 0 4 | 3 4 | 4 5 | 7 5 | 3 6 | 0 7 | 3 8
      8: 5 2 | 8 3 | 7 4 | 2 6 | 0 8 | 8 8 | 9 8
      9: 0 1 | 4 2 | 9 3 | 9 5 | 6 6 | 8 6 | 2 7 | 7 9
    variables:
    - v003
    - v006
  c003_007:
    type: extensional
    values:
      0: 7 0 | 8 0 | 0 2 | 1 2 | 8 4 | 5 6 | 6 7 | 9 8 | 8 9
      1: 5 1 | 6 1 | 9 1 | 5 2 | 1 4 | 0 5 | 6 5 | 8 6 | 4 8 | 9 9
      2: 5 0 | 0 1 | 4 1 | 9 3 | 9 5 | 4 6 | 2 7 | 6 8 | 2 9 | 4 9 | 5 9 | 6 9
      3: 2 3 | 3 3 | 3 4 | 6 4 | 8 5 | 1 6 | 2 6 | 7 7 | 2 8
      4: 0 0 | 9 0 | 4 2 | 8 2 | 9 2 | 8 3 | 4 5 | 5 5 | 0 6 | 1 7 | 8 7 | 9 7
      5: 6 0 | 8 1 | 2 2 | 6 3 | 0 4 | 2 4 | 4 4 | 9 4 | 3 6 | 6 6 | 8 8 | 3 9
      6: 3 0 | 3 5 | 0 8 | 3 8 | 7 8
      7: 4 0 | 2 1 | 7 1 | 6 2 | 5 3 | 1 5 | 7 5 | 5 7 | 5 8
      8: 1 0 | 1 1 | 3 1 | 3 2 | 1 3 | 7 3 | 5 4 | 7 4 | 7 6 | 0 7 | 3 7 | 1 8 | 0
        9 | 1 9
      9: 2 0 | 7 2 | 0 3 | 4 3 | 2 5 | 9 6 | 4 7 | 7 9
    variables:
    - v003
    - v007
  c003_008:
    type: extensional
    values:
      0: 0 1 | 3 2 | 1 3 | 6 3 | 4 5 | 6 5 | 2 7 | 4 8 | 5 8 | 4 9 | 9 9
      1: 4 0 | 9 1 | 1 2 | 2 2 | 4 2 | 7 2 | 0 4 | 8 4 | 2 5 | 3 5 | 5 5 | 9 5 | 8
        6 | 4 7 | 1 8 | 7 8
      2: 6 2 | 7 3 | 3 6 | 0 8
      3: 1 1 | 8 3 | 5 4 | 7 4 | 1 5 | 6 7 | 0 9 | 2 9
      4: 6 1 | 0 2 | 2 3 | 0 5 | 5 6 | 8 7 | 1 9
      5: 8 1 | 5 2 | 9 2 | 7 5 | 2 6 | 7 6 | 3 8 | 9 8 | 3 9 | 6 9
      6: 2 0 | 3 0 | 3 1 | 4 1 | 9 3 | 2 4 | 4 4 | 9 4 | 8 5 | 0 6 | 1 7 | 3 7 | 9
        7 | 6 8 | 5 9
      7: 1 0 | 5 0 | 6 0 | 5 1 | 5 3 | 6 4 | 0 7 | 8 9
      8: 0 0 | 8 0 | 9 0 | 7 1 | 3 3 | 1 4 | 4 6 | 5 7 | 2 8
      9: 7 0 | 2 1 | 8 2 | 0 3 | 4 3 | 3 4 | 1 6 | 6 6 | 9 6 | 7 7 | 8 8 | 7 9
    variables:
    - v003
    - v008
  c003_010:
    type: extensional
    values:
      0: 2 2 | 5 2 | 6 2 | 9 2 | 7 3 | 8 4 | 9 4 | 0 6 | 7 6 | 8 7 | 8 8 | 2 9
      1: 1 0 | 0 1 | 6 1 | 7 2 | 5 4 | 7 5 | 3 6 | 1 7 | 4 8 | 6 8 | 0 9 | 4 9 | 8
        9
      2: 7 0 | 4 1 | 8 1 | 4 2 | 3 3 | 9 3 | 3 4 | 3 5 | 1 6 | 6 6 | 5 7 | 3 8
      3: 3 0 | 1 1 | 5 3 | 0 4 | 9 5 | 7 7 | 2 8 | 9 8 | 6 9
      4: 4 0 | 3 2 | 0 3 | 5 5 | 2 6 | 4 7 | 7 9
      5: 2 1 | 3 1 | 6 3 | 4 5 | 8 5 | 0 7 | 3 7 | 1 9 | 3 9
      6: 5 0 | 8 0 | 1 2 | 1 5 | 4 6 | 5 8 | 7 8
      7: 6 0 | 5 1 | 1 3 | 4 4 | 0 5 | 2 7 | 6 7 | 9 7 | 0 8 | 1 8 | 9 9
      8: 9 0 | 9 1 | 0 2 | 2 3 | 1 4 | 7 4 | 6 5 | 5 9
      9: 0 0 | 2 0 | 7 1 | 8 2 | 4 3 | 8 3 | 2 4 | 6 4 | 2 5 | 5 6 | 8 6 | 9 6
    variables:
    - v003
    - v010
  c003_013:
    type: extensional
    values:
      0: 0 0 | 2 0 | 7 0 | 0 1 | 6 1 | 6 2 | 2 3 | 4 3 | 5 4 | 7 5 | 9 5 | 5 7 | 1
        8 | 7 9
      1: 4 0 | 8 0 | 2 1 | 5 2 | 9 2 | 6 5 | 5 6 | 6 6 | 7 6 | 6 8 | 0 9 | 1 9
      2: 1 0 | 5 0 | 0 3 | 5 3 | 0 4 | 4 4 | 4 6 | 4 8 | 7 8 | 5 9
      3: 3 1 | 5 1 | 2 2 | 3 2 | 7 2 | 3 3 | 3 5 | 4 5 | 1 6 | 9 6 | 6 7 | 4 9
      4: 1 3 | 6 3 | 1 4 | 2 4 | 6 4 | 7 4 | 1 5 | 2 5 | 0 8 | 3 9 | 8 9
      5: 5 5 | 8 5 | 2 6 | 3 6 | 8 6 | 3 7 | 8 7 | 9 7 | 3 8 | 6 9
      6: 4 1 | 8 2 | 1 7 | 2 8 | 5 8 | 8 8 | 9 8
      7: 6 0 | 7 1 | 0 2 | 1 2 | 4 2 | 7 3 | 9 3 | 3 4 | 9 4 | 0 5 | 0 6 | 2 7 | 4
        7 | 2 9
      8: 3 0 | 9 1 | 8 3 | 0 7
      9: 9 0 | 1 1 | 8 1 | 8 4 | 7 7 | 9 9
    variables:
    - v003
    - v013
  c003_014:
    type: extensional
    values:
      0: 1 0 | 1 1 | 1 2 | 6 2 | 2 3 | 1 4 | 7 4 | 3 5 | 1 6 | 2 6 | 4 6 | 2 7 | 0
        8 | 3 8 | 2 9 | 4 9 | 6 9
      1: 0 0 | 8 0 | 6 1 | 2 2 | 5 3 | 8 6 | 1 8 | 8 8 | 1 9 | 7 9
      2: 6 3 | 9 3 | 8 4 | 2 5 | 4 5 | 0 7 | 3 7 | 9 8 | 8 9
      3: 4 0 | 5 0 | 6 0 | 7 0 | 7 2 | 0 3 | 3 4 | 5 4 | 6 4 | 1 5 | 7 5 | 6 6 | 3
        9 | 9 9
      4: 9 0 | 4 2 | 5 2 | 4 3 | 2 4 | 4 4 | 6 7 | 2 8 | 4 8 | 6 8 | 7 8
      5: 0 1 | 8 1 | 9 1 | 3 3 | 8 3 | 6 5 | 0 6 | 7 6 | 5 7 | 5 8
      6: 3 0 | 0 2 | 0 5 | 9 5 | 5 6 | 9 6 | 8 7 | 9 7
      7: 2 0 | 3 1 | 7 1 | 7 3 | 0 4 | 9 4 | 3 6 | 0 9
      8: 4 1 | 5 1 | 9 2 | 5 5 | 7 7
      9: 2 1 | 3 2 | 8 2 | 1 3 | 8 5 | 1 7 | 4 7 | 5 9
    variables:
    - v003
    - v014
  c004_007:
    type: extensional
    values:
      0: 0 0 | 0 3 | 8 3 | 9 3
      1: 2 0 | 2 1 | 9 1 | 3 2 | 8 4 | 1 5 | 4 5 | 1 7 | 6 8 | 3 9
      2: 4 1 | 5 1 | 6 2 | 0 4 | 5 4 | 4 6 | 7 6 | 6 7 | 1 8 | 9 8 | 6 9
      3: 4 2 | 3 3 | 7 3 | 4 4 | 9 4 | 0 8 | 3 8
      4: 8 0 | 9 0 | 1 2 | 0 5 | 3 6 | 9 6 | 2 7 | 9 7 | 7 8 | 9 9
      5: 3 0 | 3 1 | 5 2 | 5 3 | 1 4 | 2 4 | 6 4 | 7 4 | 7 5 | 5 6 | 4 7 | 5 7 | 4
        8 | 5 8 | 5 9
      6: 4 0 | 7 0 | 2 2 | 9 2 | 1 3 | 3 4 | 2 5 | 5 5 | 6 5 | 9 5 | 6 6 | 0 7 | 7
        7 | 2 9 | 8 9
      7: 5 0 | 6 0 | 6 1 | 7 2 | 6 3 | 8 5 | 1 6 | 3 7 | 8 8 | 1 9
      8: 0 1 | 8 1 | 0 2 | 2 3 | 3 5 | 2 6 | 8 7 | 4 9
      9: 1 0 | 1 1 | 7 1 | 8 2 | 4 3 | 0 6 | 8 6 | 2 8 | 0 9 | 7 9
    variables:
    - v004
    - v007
  c005_009:
    type: extensional
    values:
      0: 3 0 | 2 1 | 7 1 | 8 3 | 2 4 | 5 5 | 9 5 | 2 6 | 2 7 | 4 7 | 8 7 | 0 8 | 5
        9 | 7 9 | 8 9
      1: 1 0 | 2 0 | 6 0 | 3 1 | 4 1 | 6 1 | 3 2 | 3 4 | 9 7 | 6 8 | 9 8 | 0 9 | 3
        9 | 4 9
      2: 4 0 | 5 0 | 0 1 | 9 1 | 4 2 | 7 2 | 7 5 | 3 8
      3: 2 2 | 0 3 | 4 3 | 8 5 | 4 6 | 4 8
      4: 0 0 | 3 3 | 6 3 | 1 4 | 6 4 | 9 4 | 3 5 | 4 5 | 0 6 | 3 7 | 6 9
      5: 1 5 | 2 8 | 5 8
      6: 7 0 | 8 1 | 9 2 | 0 4 | 8 4 | 7 6 | 9 6 | 0 7 | 1 7 | 5 7 | 1 8
      7: 1 1 | 1 2 | 5 3 | 9 3 | 7 4 | 2 5 | 1 6 | 3 6 | 6 6 | 8 6 | 6 7 | 7 7 | 1
        9
      8: 0 2 | 5 2 | 8 2 | 2 3 | 7 3 | 4 4 | 6 5 | 5 6 | 9 9
      9: 8 0 | 9 0 | 5 1 | 6 2 | 1 3 | 5 4 | 0 5 | 7 8 | 8 8 | 2 9
    variables:
    - v005
    - v009
  c005_016:
    type: extensional
    values:
      0: 2 0 | 3 4 | 7 4 | 8 4 | 8 6 | 2 7 | 8 7 | 6 8 | 8 9
      1: 0 0 | 3 0 | 7 0 | 3 1 | 5 1 | 6 1 | 9 1 | 4 2 | 5 4 | 2 6 | 7 8 | 0 9 | 7
        9
      2: 8 0 | 4 1 | 5 2 | 6 2 | 3 3 | 6 4 | 5 5 | 6 6 | 7 6 | 2 9
      3: 2 2 | 4 3 | 0 6 | 0 7 | 1 7 | 7 7 | 5 8 | 9 9
      4: 0 1 | 2 3 | 8 3 | 4 4 | 0 5 | 3 5 | 9 5 | 4 6 | 4 7 | 5 7 | 6 7 | 2 8 | 1
        9
      5: 4 0 | 9 0 | 0 2 | 1 2 | 5 3 | 9 3 | 9 4 | 6 5 | 9 7
      6: 5 0 | 1 1 | 7 1 | 8 1 | 7 2 | 0 3 | 2 5 | 3 6 | 4 8 | 8 8 | 9 8
      7: 2 1 | 0 4 | 1 4 | 1 6
      8: 3 2 | 8 2 | 6 3 | 2 4 | 7 5 | 5 6 | 9 6 | 1 8 | 3 9 | 6 9
      9: 1 0 | 6 0 | 9 2 | 1 3 | 7 3 | 1 5 | 4 5 | 8 5 | 3 7 | 0 8 | 3 8 | 4 9 | 5
        9
    variables:
    - v005
    - v016
  c006_016:
    type: extensional
    values:
      0: 7 0 | 2 1 | 0 3 | 2 3 | 8 4 | 9 5
      1: 1 0 | 2 0 | 2 2 | 2 4 | 3 4 | 2 5 | 0 6 | 7 8 | 0 9 | 7 9
      2: 3 1 | 0 2 | 3 2 | 7 3 | 0 4 | 9 6 | 3 7 | 4 7 | 3 8 | 8 8
      3: 1 1 | 7 1 | 1 2 | 8 2 | 5 3 | 9 3 | 5 4 | 7 5 | 2 7 | 8 7 | 5 8 | 6 8 | 8
        9
      4: 3 0 | 4 0 | 6 1 | 4 2 | 4 3 | 7 6 | 5 9 | 6 9 | 9 9
      5: 5 0 | 6 0 | 9 0 | 0 1 | 5 1 | 7 2 | 1 3 | 1 4 | 6 5 | 9 8 | 4 9
      6: 5 5 | 3 6 | 8 6 | 1 9 | 3 9
      7: 0 0 | 4 1 | 6 2 | 7 4 | 9 4 | 1 5 | 8 5 | 0 7 | 1 8 | 2 8 | 4 8 | 2 9
      8: 8 0 | 9 1 | 5 2 | 3 3 | 6 3 | 8 3 | 0 5 | 3 5 | 4 5 | 6 6 | 6 7 | 7 7 | 9
        7
      9: 8 1 | 9 2 | 4 4 | 6 4 | 1 6 | 2 6 | 4 6 | 5 6 | 1 7 | 5 7 | 0 8
    variables:
    - v006
    - v016
  c007_014:
    type: extensional
    values:
      0: 1 0 | 5 1 | 3 2 | 2 3 | 7 4 | 9 4 | 5 5 | 5 8 | 3 9
      1: 4 2 | 0 4 | 2 5 | 8 6 | 2 7 | 6 8 | 0 9 | 7 9
      2: 7 0 | 8 0 | 1 1 | 9 2 | 4 3 | 3 4 | 4 4 | 6 7 | 4 8 | 9 9
      3: 0 0 | 3 1 | 5 2 | 8 2 | 0 3 | 3 3 | 5 3 | 1 5 | 5 7 | 1 8 | 6 9
      4: 9 1 | 6 4
      5: 2 0 | 5 0 | 9 0 | 2 1 | 8 1 | 9 3 | 1 4 | 8 4 | 0 5 | 6 5 | 7 5 | 0 6 | 4
        6 | 5 6 | 1 7 | 4 7 | 7 7 | 2 8 | 8 8 | 1 9
      6: 4 0 | 4 1 | 6 1 | 1 2 | 2 2 | 6 2 | 7 3 | 8 3 | 8 5 | 2 6 | 6 6 | 9 6 | 3
        7 | 3 8 | 4 9
      7: 0 2 | 7 2 | 2 4 | 5 4 | 3 5 | 9 5 | 1 6 | 8 7 | 9 7 | 0 8 | 7 8 | 2 9 | 5
        9
      8: 6 0 | 0 1 | 7 1 | 4 5
      9: 3 0 | 1 3 | 6 3 | 3 6 | 7 6 | 0 7 | 9 8 | 8 9
    variables:
    - v007
    - v014
  c009_018:
    type: extensional
    values:
      0: 0 0 | 0 1 | 3 3 | 4 3 | 2 6 | 4 6 | 9 6 | 1 7 | 3 9
      1: 0 7 | 0 8 | 2 8 | 6 8
      2: 6 0 | 6 1 | 7 1 | 6 2 | 7 3 | 8 3 | 1 4 | 2 4 | 4 4 | 4 5 | 5 5 | 8 7
      3: 2 0 | 7 0 | 5 4 | 6 4 | 1 6 | 7 7 | 9 7 | 5 9
      4: 3 0 | 3 1 | 5 1 | 2 2 | 3 2 | 4 2 | 5 2 | 8 2 | 1 3 | 2 3 | 1 5 | 3 5 | 3
        6 | 6 6 | 7 6 | 2 7 | 5 7 | 6 7 | 3 8 | 2 9 | 6 9 | 8 9 | 9 9
      5: 1 1 | 7 5 | 8 5 | 4 7 | 4 8 | 5 8 | 7 8 | 9 8
      6: 0 2 | 0 3 | 2 5 | 3 7 | 8 8 | 4 9
      7: 9 0 | 9 1 | 7 2 | 5 3 | 5 6 | 1 8
      8: 4 0 | 5 0 | 0 4 | 3 4 | 8 4 | 9 4 | 0 5 | 0 6 | 8 6 | 1 9 | 7 9
      9: 1 0 | 8 0 | 2 1 | 4 1 | 8 1 | 1 2 | 9 2 | 6 3 | 9 3 | 7 4 | 6 5 | 9 5 | 0
        9
    variables:
    - v009
    - v018
  c010_011:
    type: extensional
    values:
      0: 8 1 | 5 2 | 9 3 | 2 4 | 5 5 | 6 7 | 3 8
      1: 0 0 | 3 0 | 3 3 | 0 4 | 1 4 | 4 4 | 9 4 | 8 5 | 2 7 | 7 8
      2: 7 0 | 9 0 | 6 1 | 9 2 | 1 3 | 6 3 | 5 4 | 3 5 | 3 6 | 4 9
      3: 2 1 | 2 2 | 4 2 | 0 3 | 3 4 | 7 4 | 8 4 | 1 6 | 5 6 | 3 7 | 2 8 | 8 8 | 2
        9 | 3 9
      4: 7 2 | 8 3 | 4 5 | 9 7 | 6 8 | 9 8
      5: 3 1 | 4 1 | 9 1 | 8 2 | 0 9
      6: 2 0 | 6 0 | 7 1 | 3 2 | 2 3 | 4 3 | 5 3 | 2 6 | 7 6 | 9 6 | 0 7 | 5 7 | 0
        8 | 1 8 | 4 8
      7: 4 0 | 8 0 | 0 1 | 1 1 | 0 2 | 7 3 | 2 5 | 9 5 | 0 6 | 1 7 | 1 9 | 5 9 | 8
        9
      8: 5 0 | 1 2 | 6 4 | 6 5 | 4 6 | 6 6 | 8 6 | 4 7 | 6 9
      9: 1 0 | 5 1 | 6 2 | 0 5 | 1 5 | 7 5 | 7 7 | 8 7 | 5 8 | 7 9 | 9 9
    variables:
    - v010
    - v011
  c010_012:
    type: extensional
    values:
      0: 5 0 | 0 3 | 3 3 | 2 4 | 3 6 | 4 6 | 3 7 | 7 8 | 8 8 | 1 9
      1: 4 2 | 7 2 | 1 3 | 7 3 | 1 4 | 4 4 | 8 5 | 5 6 | 7 6
      2: 2 1 | 1 5 | 3 5 | 0 8 | 2 8 | 4 8 | 5 9
      3: 0 0 | 8 0 | 1 2 | 2 2 | 5 3 | 0 5 | 6 6 | 5 7 | 9 7 | 3 8 | 2 9 | 7 9
      4: 4 0 | 6 1 | 6 2 | 2 3 | 6 4 | 5 5 | 7 5 | 0 6 | 5 8
      5: 0 1 | 5 1 | 7 1 | 8 4 | 2 5 | 9 6 | 0 7
      6: 1 0 | 3 0 | 7 0 | 1 1 | 8 1 | 0 2 | 8 2 | 8 3 | 4 5 | 2 7 | 1 8 | 6 8 | 9
        8 | 6 9 | 8 9 | 9 9
      7: 2 0 | 5 2 | 9 2 | 6 3 | 9 4 | 9 5 | 1 7 | 4 7 | 6 7
      8: 3 1 | 4 1 | 3 2 | 0 4 | 3 4 | 6 5 | 8 7 | 0 9 | 3 9
      9: 6 0 | 9 0 | 9 1 | 4 3 | 9 3 | 5 4 | 7 4 | 1 6 | 2 6 | 8 6 | 7 7 | 4 9
    variables:
    - v010
    - v012
  c010_017:
    type: extensional
    values:
      0: 8 2 | 1 3 | 8 4 | 9 4 | 8 6 | 1 7 | 7 7 | 9 7 | 5 8
      1: 9 0 | 0 1 | 8 1 | 0 2 | 2 2 | 3 2 | 4 2 | 1 5 | 5 5 | 1 6 | 5 6 | 6 6 | 5
        7 | 9 8 | 0 9 | 3 9 | 8 9
      2: 6 0 | 3 1 | 0 4 | 3 5 | 3 7 | 1 8 | 2 8 | 1 9 | 4 9
      3: 3 0 | 2 1 | 0 5 | 2 5 | 0 6 | 2 6 | 0 8 | 7 9
      4: 1 0 | 4 0 | 3 3 | 8 3 | 3 4 | 5 4 | 3 6 | 0 7 | 3 8 | 4 8 | 7 8 | 8 8 | 6
        9
      5: 4 1 | 5 1 | 7 5 | 4 7 | 5 9
      6: 7 1 | 9 2 | 9 3 | 6 4 | 8 5 | 4 6 | 7 6 | 8 7
      7: 9 1 | 1 2 | 7 2 | 2 3 | 6 3 | 2 4 | 7 4 | 6 5 | 9 5 | 6 8
      8: 0 0 | 5 0 | 7 0 | 8 0 | 1 1 | 6 1 | 5 2 | 6 2 | 5 3 | 7 3 | 1 4 | 4 4 | 6
        7
      9: 2 0 | 0 3 | 4 3 | 4 5 | 9 6 | 2 7 | 2 9 | 9 9
    variables:
    - v010
    - v017
  c010_019:
    type: extensional
    values:
      0: 4 2 | 3 3 | 7 4 | 7 6 | 1 7 | 2 7 | 1 8 | 7 9
      1: 4 0 | 9 1 | 5 3 | 9 4 | 7 5 | 3 7 | 5 7 | 7 7 | 3 8 | 6 8 | 8 9 | 9 9
      2: 6 0 | 3 1 | 8 1 | 6 3 | 9 3 | 0 4 | 4 4 | 5 4 | 8 5 | 3 6
      3: 9 0 | 2 1 | 4 1 | 6 1 | 7 1 | 0 2 | 3 2 | 7 2 | 8 2 | 5 5 | 9 5 | 2 9 | 3
        9 | 4 9
      4: 2 0 | 7 0 | 0 1 | 7 3 | 8 3 | 4 5 | 5 6 | 6 7 | 9 7 | 4 8 | 7 8 | 1 9 | 5
        9
      5: 5 0 | 1 1 | 2 2 | 0 3 | 1 3 | 1 4 | 1 5 | 6 5 | 4 6 | 5 8 | 6 9
      6: 1 0 | 3 0 | 1 2 | 2 3 | 0 5 | 1 6 | 2 6 | 4 7
      7: 8 0 | 5 1 | 2 4 | 8 7 | 0 8 | 8 8 | 9 8 | 0 9
      8: 5 2 | 6 2 | 9 2 | 3 4 | 6 4 | 8 4 | 2 5 | 6 6 | 0 7 | 2 8
      9: 0 0 | 4 3 | 3 5 | 0 6 | 8 6 | 9 6
    variables:
    - v010
    - v019
  c011_015:
    type: extensional
    values:
      0: 1 0 | 3 0 | 0 1 | 9 3 | 2 4 | 1 5 | 1 6 | 7 7 | 2 8 | 2 9
      1: 6 1 | 8 2 | 4 4 | 5 4 | 3 5 | 5 7 | 0 8 | 4 9 | 6 9
      2: 0 0 | 6 3 | 6 5 | 7 5 | 5 6 | 6 7 | 9 8 | 0 9 | 1 9 | 3 9
      3: 5 1 | 7 1 | 0 2 | 1 3 | 0 4 | 7 4 | 0 6 | 5 8 | 8 8 | 8 9
      4: 2 1 | 8 1 | 3 2 | 4 2 | 6 2 | 9 2 | 3 3 | 4 3 | 7 3 | 8 3 | 1 7 | 6 8 | 7
        9 | 9 9
      5: 6 0 | 9 0 | 3 1 | 1 2 | 5 2 | 7 6 | 0 7 | 3 7 | 4 8
      6: 8 0 | 4 1 | 0 5 | 2 5 | 8 5 | 6 6 | 8 6
      7: 9 1 | 0 3 | 3 4 | 8 4 | 9 4 | 3 8 | 7 8
      8: 4 0 | 7 0 | 2 2 | 7 2 | 2 3 | 5 3 | 4 5 | 4 6 | 4 7 | 9 7 | 5 9
      9: 2 0 | 5 0 | 1 1 | 1 4 | 6 4 | 5 5 | 9 5 | 2 6 | 3 6 | 9 6 | 2 7 | 8 7 | 1
        8
    variables:
    - v011
    - v015
  c012_017:
    type: extensional
    values:
      0: 0 1 | 3 2 | 1 4 | 4 4 | 9 4 | 0 5 | 6 5 | 5 6 | 8 6 | 1 7 | 2 7 | 4 8 | 2
        9 | 3 9
      1: 3 0 | 8 1 | 6 3 | 4 9 | 6 9
      2: 2 0 | 8 4 | 8 5 | 1 6 | 4 6 | 9 7 | 3 8
      3: 0 0 | 6 1 | 5 2 | 4 3 | 8 3 | 1 5 | 0 6 | 2 6 | 8 8 | 9 8 | 0 9 | 5 9
      4: 5 0 | 5 1 | 4 2 | 8 2 | 0 3 | 7 6 | 4 7 | 6 8 | 7 8 | 1 9 | 9 9
      5: 6 0 | 9 0 | 4 1 | 1 2 | 1 3 | 2 3 | 9 3 | 5 4 | 7 5
      6: 4 0 | 1 1 | 3 1 | 7 2 | 3 3 | 2 4 | 3 4 | 4 5 | 9 5 | 7 7 | 0 8
      7: 8 0 | 0 2 | 6 4 | 7 4 | 3 5 | 3 7 | 5 7 | 2 8
      8: 2 2 | 5 3 | 0 4 | 3 6 | 8 7 | 5 8
      9: 1 0 | 7 0 | 2 1 | 7 1 | 9 1 | 6 2 | 9 2 | 7 3 | 2 5 | 5 5 | 6 6 | 9 6 | 0
        7 | 6 7 | 1 8 | 7 9 | 8 9
    variables:
    - v012
    - v017
  c013_018:
    type: extensional
    values:
      0: 8 0 | 9 1 | 1 3 | 8 3 | 7 4 | 9 6 | 9 7 | 2 8
      1: 3 1 | 1 2 | 3 2 | 0 3 | 4 3 | 2 4 | 3 5 | 0 6 | 6 6 | 1 7 | 2 7 | 0 8 | 3
        8
      2: 0 0 | 5 0 | 6 0 | 0 1 | 6 2 | 3 3 | 1 5 | 4 5 | 8 6 | 6 7 | 8 7 | 3 9
      3: 2 0 | 7 1 | 0 4 | 5 4 | 8 5 | 1 6 | 5 6 | 5 8 | 0 9 | 6 9 | 7 9 | 8 9
      4: 3 0 | 5 2 | 2 3 | 1 4 | 3 6 | 4 8 | 2 9 | 9 9
      5: 8 1 | 4 2 | 6 4 | 8 4 | 9 4 | 6 5 | 7 5 | 7 6 | 6 8
      6: 7 2 | 8 2 | 9 3 | 3 4 | 4 4 | 0 5 | 2 6 | 4 6 | 0 7 | 4 7 | 9 8 | 5 9
      7: 4 0 | 2 1 | 5 1 | 6 1 | 9 2 | 5 5 | 9 5 | 1 8
      8: 1 0 | 7 0 | 1 1 | 0 2 | 2 2 | 5 3 | 6 3 | 7 3 | 2 5 | 5 7 | 7 8 | 8 8 | 1
        9
      9: 9 0 | 4 1 | 3 7 | 7 7 | 4 9
    variables:
    - v013
    - v018
  c016_019:
    type: extensional
    values:
      0: 0 0 | 1 0 | 1 1 | 0 2 | 0 3 | 2 4 | 6 4 | 7 4 | 3 5
      1: 8 0 | 8 1 | 9 1 | 2 2 | 2 3 | 9 3 | 1 6 | 1 7 | 8 7 | 9 8 | 3 9
      2: 5 1 | 6 8
      3: 0 1 | 2 1 | 5 2 | 8 4 | 0 5 | 2 5 | 5 5 | 2 6 | 7 6 | 5 8 | 6 9
      4: 3 0 | 6 1 | 7 1 | 4 2 | 6 3 | 0 4 | 9 4 | 6 6 | 0 9
      5: 5 0 | 9 0 | 3 2 | 1 3 | 5 3 | 8 3 | 1 4 | 3 4 | 4 4 | 4 5 | 8 5 | 9 5 | 2
        7 | 3 7 | 4 8 | 1 9 | 5 9
      6: 7 0 | 7 2 | 8 2 | 9 2 | 7 3 | 1 5 | 0 6 | 5 7 | 3 8 | 7 8 | 8 8 | 7 9
      7: 2 0 | 6 0 | 4 1 | 3 3 | 4 3 | 5 4 | 4 6 | 7 7 | 9 7 | 2 8 | 2 9
      8: 3 1 | 6 2 | 9 6 | 0 8 | 4 9 | 9 9
      9: 4 0 | 1 2 | 6 5 | 7 5 | 3 6 | 5 6 | 8 6 | 0 7 | 4 7 | 6 7 | 1 8 | 8 9
    variables:
    - v016
    - v019

agents:
  a000:
    capacity: 8000
  a001:
    capacity: 5000
  a002:
    capacity: 4000
  a003:
    capacity: 9000
  a004:
    capacity: 3000
  a005:
    capacity: 4000
  a006:
    capacity: 3000
  a007:
    capacity: 3000
  a008:
    capacity: 2000
  a009:
    capacity: 3000
  a010:
    capacity: 6000
  a011:
    capacity: 3000
  a012:
    capacity: 3000
  a013:
    capacity: 3000
  a014:
    capacity: 2000
  a015:
    capacity: 2000
  a016:
    capacity: 3000
  a017:
    capacity: 2000
  a018:
    capacity: 2000
  a019:
    capacity: 2000
hosting_costs:
  a000:
    computations:
      c000_002: 9
      c000_003: 1
      c000_006: 4
      c000_008: 2
      c000_009: 6
      c000_011: 1
      c000_012: 9
      c000_015: 0
      c001_002: 10
      c001_003: 6
      c001_004: 2
      c001_005: 8
      c001_010: 9
      c002_005: 9
      c002_013: 1
      c003_004: 3
      c003_006: 7
      c003_007: 9
      c003_008: 7
      c003_010: 9
      c003_013: 10
      c003_014: 9
      c004_007: 4
      c005_009: 2
      c005_016: 2
      c006_016: 4
      c007_014: 2
      c009_018: 6
      c010_011: 1
      c010_012: 8
      c010_017: 7
      c010_019: 1
      c011_015: 4
      c012_017: 1
      c013_018: 0
      c016_019: 2
      v000: 0
      v001: 6
      v002: 4
      v003: 3
      v004: 6
      v005: 8
      v006: 9
      v007: 4
      v008: 9
      v009: 4
      v010: 9
      v011: 8
      v012: 9
      v013: 6
      v014: 5
      v015: 9
      v016: 2
      v017: 10
      v018: 9
      v019: 6
    default: 10
  a001:
    computations:
      c000_002: 8
      c000_003: 2
      c000_006: 4
      c000_008: 7
      c000_009: 5
      c000_011: 9
      c000_012: 10
      c000_015: 9
      c001_002: 10
      c001_003: 5
      c001_004: 9
      c001_005: 6
      c001_010: 4
      c002_005: 7
      c002_013: 6
      c003_004: 2
      c003_006: 5
      c003_007: 8
      c003_008: 1
      c003_010: 6
      c003_013: 5
      c003_014: 8
      c004_007: 5
      c005_009: 3
      c005_016: 4
      c006_016: 0
      c007_014: 10
      c009_018: 2
      c010_011: 7
      c010_012: 2
      c010_017: 0
      c010_019: 8
      c011_015: 9
      c012_017: 7
      c013_018: 8
      c016_019: 1
      v000: 10
      v001: 0
      v002: 2
      v003: 7
      v004: 3
      v005: 0
      v006: 4
      v007: 8
      v008: 8
      v009: 8
      v010: 0
      v011: 7
      v012: 9
      v013: 7
      v014: 2
      v015: 8
      v016: 1
      v017: 10
      v018: 9
      v019: 5
    default: 10
  a002:
    computations:
      c000_002: 7
      c000_003: 1
      c000_006: 2
      c000_008: 3
      c000_009: 3
      c000_011: 2
      c000_012: 1
      c000_015: 6
      c001_002: 1
      c001_003: 5
      c001_004: 3
      c001_005: 2
      c001_010: 1
      c002_005: 2
      c002_013: 0
      c003_004: 0
      c003_006: 8
      c003_007: 0
      c003_008: 4
      c003_010: 7
      c003_013: 9
      c003_014: 10
      c004_007: 1
      c005_009: 0
      c005_016: 8
      c006_016: 5
      c007_014: 1
      c009_018: 0
      c010_011: 9
      c010_012: 3
      c010_017: 0
      c010_019: 6
      c011_015: 4
      c012_017: 3
      c013_018: 10
      c016_019: 9
      v000: 7
      v001: 3
      v002: 0
      v003: 4
      v004: 7
      v005: 5
      v006: 3
      v007: 3
      v008: 7
      v009: 9
      v010: 10
      v011: 10
      v012: 8
      v013: 6
      v014: 8
      v015: 1
      v016: 4
      v017: 7
      v018: 9
      v019: 3
    default: 10
  a003:
    computations:
      c000_002: 1
      c000_003: 5
      c000_006: 8
      c000_008: 9
      c000_009: 7
      c000_011: 8
      c000_012: 7
      c000_015: 1
      c001_002: 3
      c001_003: 1
      c001_004: 6
      c001_005: 2
      c001_010: 6
      c002_005: 1
      c002_013: 9
      c003_004: 8
      c003_006: 0
      c003_007: 4
      c003_008: 1
      c003_010: 9
      c003_013: 6
      c003_014: 1
      c004_007: 0
      c005_009: 3
      c005_016: 6
      c006_016: 10
      c007_014: 8
      c009_018: 2
      c010_011: 6
      c010_012: 6
      c010_017: 1
      c010_019: 1
      c011_015: 10
      c012_017: 5
      c013_018: 3
      c016_019: 0
      v000: 6
      v001: 3
      v002: 0
      v003: 0
      v004: 9
      v005: 3
      v006: 0
      v007: 2
      v008: 1
      v009: 2
      v010: 6
      v011: 10
      v012: 2
      v013: 7
      v014: 3
      v015: 8
      v016: 6
      v017: 4
      v018: 6
      v019: 5
    default: 10
  a004:
    computations:
      c000_002: 8
      c000_003: 9
      c000_006: 8
      c000_008: 7
      c000_009: 0
      c000_011: 4
      c000_012: 8
      c000_015: 7
      c001_002: 9
      c001_003: 3
      c001_004: 1
      c001_005: 9
      c001_010: 9
      c002_005: 4
      c002_013: 8
      c003_004: 5
      c003_006: 10
      c003_007: 3
      c003_008: 1
      c003_010: 2
      c003_013: 3
      c003_014: 7
      c004_007: 10
      c005_009: 2
      c005_016: 0
      c006_016: 5
      c007_014: 7
      c009_018: 9
      c010_011: 6
      c010_012: 0
      c010_017: 0
      c010_019: 3
      c011_015: 1
      c012_017: 5
      c013_018: 10
      c016_019: 9
      v000: 9
      v001: 2
      v002: 4
      v003: 1
      v004: 0
      v005: 2
      v006: 8
      v007: 5
      v008: 7
      v009: 10
      v010: 8
      v011: 9
      v012: 2
      v013: 2
      v014: 8
      v015: 4
      v016: 8
      v017: 6
      v018: 9
      v019: 2
    default: 10
  a005:
    computations:
      c000_002: 2
      c000_003: 3
      c000_006: 4
      c000_008: 10
      c000_009: 4
      c000_011: 4
      c000_012: 8
      c000_015: 2
      c001_002: 9
      c001_003: 8
      c001_004: 8
      c001_005: 10
      c001_010: 3
      c002_005: 6
      c002_013: 4
      c003_004: 3
      c003_006: 0
      c003_007: 10
      c003_008: 8
      c003_010: 8
      c003_013: 9
      c003_014: 5
      c004_007: 5
      c005_009: 0
      c005_016: 1
      c006_016: 9
      c007_014: 5
      c009_018: 3
      c010_011: 0
      c010_012: 1
      c010_017: 6
      c010_019: 9
      c011_015: 1
      c012_017: 7
      c013_018: 8
      c016_019: 10
      v000: 4
      v001: 1
      v002: 4
      v003: 2
      v004: 7
      v005: 0
      v006: 8
      v007: 7
      v008: 8
      v009: 8
      v010: 6
      v011: 9
      v012: 9
      v013: 9
      v014: 4
      v015: 2
      v016: 3
      v017: 4
      v018: 3
      v019: 10
    default: 10
  a006:
    computations:
      c000_002: 6
      c000_003: 3
      c000_006: 5
      c000_008: 3
      c000_009: 7
      c000_011: 5
      c000_012: 3
      c000_015: 1
      c001_002: 4
      c001_003: 2
      c001_004: 7
      c001_005: 6
      c001_010: 8
      c002_005: 9
      c002_013: 3
      c003_004: 2
      c003_006: 1
      c003_007: 0
      c003_008: 8
      c003_010: 8
      c003_013: 10
      c003_014: 2
      c004_007: 8
      c005_009: 2
      c005_016: 1
      c006_016: 3
      c007_014: 0
      c009_018: 10
      c010_011: 10
      c010_012: 5
      c010_017: 7
      c010_019: 3
      c011_015: 7
      c012_017: 0
      c013_018: 2
      c016_019: 9
      v000: 6
      v001: 1
      v002: 8
      v003: 9
      v004: 3
      v005: 0
      v006: 0
      v007: 6
      v008: 10
      v009: 3
      v010: 1
      v011: 7
      v012: 9
      v013: 7
      v014: 1
      v015: 7
      v016: 1
      v017: 5
      v018: 10
      v019: 7
    default: 10
  a007:
    computations:
      c000_002: 9
      c000_003: 9
      c000_006: 3
      c000_008: 0
      c000_009: 1
      c000_011: 1
      c000_012: 8
      c000_015: 1
      c001_002: 1
      c001_003: 5
      c001_004: 2
      c001_005: 2
      c001_010: 7
      c002_005: 4
      c002_013: 10
      c003_004: 7
      c003_006: 10
      c003_007: 9
      c003_008: 3
      c003_010: 8
      c003_013: 5
      c003_014: 6
      c004_007: 9
      c005_009: 1
      c005_016: 10
      c006_016: 9
      c007_014: 1
      c009_018: 6
      c010_011: 3
      c010_012: 10
      c010_017: 0
      c010_019: 6
      c011_015: 0
      c012_017: 10
      c013_018: 3
      c016_019: 0
      v000: 7
      v001: 7
      v002: 1
      v003: 9
      v004: 1
      v005: 10
      v006: 2
      v007: 0
      v008: 10
      v009: 7
      v010: 6
      v011: 1
      v012: 7
      v013: 6
      v014: 2
      v015: 6
      v016: 9
      v017: 4
      v018: 7
      v019: 9
    default: 10
  a008:
    computations:
      c000_002: 4
      c000_003: 0
      c000_006: 5
      c000_008: 8
      c000_009: 2
      c000_011: 10
      c000_012: 8
      c000_015: 2
      c001_002: 7
      c001_003: 7
      c001_004: 7
      c001_005: 0
      c001_010: 4
      c002_005: 3
      c002_013: 4
      c003_004: 9
      c003_006: 1
      c003_007: 6
      c003_008: 8
      c003_010: 10
      c003_013: 6
      c003_014: 6
      c004_007: 0
      c005_009: 5
      c005_016: 10
      c006_016: 5
      c007_014: 3
      c009_018: 1
      c010_011: 9
      c010_012: 8
      c010_017: 10
      c010_019: 3
      c011_015: 10
      c012_017: 5
      c013_018: 1
      c016_019: 7
      v000: 9
      v001: 7
      v002: 7
      v003: 7
      v004: 4
      v005: 8
      v006: 8
      v007: 7
      v008: 0
      v009: 8
      v010: 4
      v011: 4
      v012: 3
      v013: 10
      v014: 5
      v015: 7
      v016: 6
      v017: 10
      v018: 3
      v019: 2
    default: 10
  a009:
    computations:
      c000_002: 8
      c000_003: 9
      c000_006: 6
      c000_008: 3
      c000_009: 2
      c000_011: 0
      c000_012: 4
      c000_015: 7
      c001_002: 4
      c001_003: 0
      c001_004: 6
      c001_005: 8
      c001_010: 5
      c002_005: 1
      c002_013: 1
      c003_004: 4
      c003_006: 6
      c003_007: 1
      c003_008: 0
      c003_010: 6
      c003_013: 4
      c003_014: 10
      c004_007: 2
      c005_009: 4
      c005_016: 9
      c006_016: 8
      c007_014: 4
      c009_018: 5
      c010_011: 10
      c010_012: 10
      c010_017: 8
      c010_019: 4
      c011_015: 8
      c012_017: 1
      c013_018: 2
      c016_019: 5
      v000: 3
      v001: 1
      v002: 4
      v003: 9
      v004: 6
      v005: 0
      v006: 6
      v007: 9
      v008: 8
      v009: 0
      v010: 4
      v011: 5
      v012: 5
      v013: 6
      v014: 9
      v015: 10
      v016: 10
      v017: 8
      v018: 5
      v019: 5
    default: 10
  a010:
    computations:
      c000_002: 9
      c000_003: 6
      c000_006: 9
      c000_008: 0
      c000_009: 9
      c000_011: 3
      c000_012: 10
      c000_015: 3
      c001_002: 6
      c001_003: 9
      c001_004: 6
      c001_005: 6
      c001_010: 2
      c002_005: 2
      c002_013: 4
      c003_004: 3
      c003_006: 9
      c003_007: 2
      c003_008: 3
      c003_010: 4
      c003_013: 5
      c003_014: 6
      c004_007: 6
      c005_009: 0
      c005_016: 1
      c006_016: 3
      c007_014: 6
      c009_018: 8
      c010_011: 3
      c010_012: 10
      c010_017: 6
      c010_019: 3
      c011_015: 8
      c012_017: 9
      c013_018: 1
      c016_019: 2
      v000: 10
      v001: 8
      v002: 2
      v003: 7
      v004: 9
      v005: 9
      v006: 3
      v007: 6
      v008: 5
      v009: 6
      v010: 0
      v011: 2
      v012: 3
      v013: 2
      v014: 10
      v015: 10
      v016: 1
      v017: 0
      v018: 3
      v019: 0
    default: 10
  a011:
    computations:
      c000_002: 10
      c000_003: 3
      c000_006: 6
      c000_008: 0
      c000_009: 8
      c000_011: 4
      c000_012: 4
      c000_015: 1
      c001_002: 0
      c001_003: 8
      c001_004: 4
      c001_005: 8
      c001_010: 1
      c002_005: 1
      c002_013: 5
      c003_004: 7
      c003_006: 5
      c003_007: 5
      c003_008: 0
      c003_010: 10
      c003_013: 1
      c003_014: 7
      c004_007: 2
      c005_009: 5
      c005_016: 6
      c006_016: 0
      c007_014: 0
      c009_018: 10
      c010_011: 2
      c010_012: 1
      c010_017: 5
      c010_019: 10
      c011_015: 5
      c012_017: 3
      c013_018: 1
      c016_019: 4
      v000: 9
      v001: 6
      v002: 3
      v003: 1
      v004: 3
      v005: 0
      v006: 3
      v007: 1
      v008: 2
      v009: 0
      v010: 6
      v011: 0
      v012: 9
      v013: 0
      v014: 3
      v015: 4
      v016: 2
      v017: 2
      v018: 5
      v019: 7
    default: 10
  a012:
    computations:
      c000_002: 7
      c000_003: 0
      c000_006: 5
      c000_008: 1
      c000_009: 8
      c000_011: 3
      c000_012: 6
      c000_015: 4
      c001_002: 2
      c001_003: 6
      c001_004: 10
      c001_005: 5
      c001_010: 8
      c002_005: 2
      c002_013: 5
      c003_004: 2
      c003_006: 10
      c003_007: 9
      c003_008: 7
      c003_010: 5
      c003_013: 8
      c003_014: 10
      c004_007: 8
      c005_009: 1
      c005_016: 2
      c006_016: 8
      c007_014: 5
      c009_018: 3
      c010_011: 2
      c010_012: 7
      c010_017: 4
      c010_019: 4
      c011_015: 1
      c012_017: 0
      c013_018: 6
      c016_019: 7
      v000: 2
      v001: 10
      v002: 4
      v003: 2
      v004: 4
      v005: 10
      v006: 4
      v007: 2
      v008: 6
      v009: 4
      v010: 10
      v011: 0
      v012: 0
      v013: 6
      v014: 5
      v015: 9
      v016: 7
      v017: 8
      v018: 10
      v019: 0
    default: 10
  a013:
    computations:
      c000_002: 2
      c000_003: 4
      c000_006: 2
      c000_008: 4
      c000_009: 1
      c000_011: 6
      c000_012: 9
      c000_015: 2
      c001_002: 8
      c001_003: 9
      c001_004: 4
      c001_005: 9
      c001_010: 8
      c002_005: 10
      c002_013: 2
      c003_004: 8
      c003_006: 6
      c003_007: 7
      c003_008: 8
      c003_010: 1
      c003_013: 9
      c003_014: 8
      c004_007: 2
      c005_009: 1
      c005_016: 0
      c006_016: 6
      c007_014: 10
      c009_018: 8
      c010_011: 6
      c010_012: 6
      c010_017: 5
      c010_019: 0
      c011_015: 1
      c012_017: 10
      c013_018: 7
      c016_019: 0
      v000: 4
      v001: 9
      v002: 6
      v003: 9
      v004: 1
      v005: 9
      v006: 6
      v007: 1
      v008: 1
      v009: 7
      v010: 6
      v011: 10
      v012: 4
      v013: 0
      v014: 9
      v015: 6
      v016: 8
      v017: 4
      v018: 9
      v019: 5
    default: 10
  a014:
    computations:
      c000_002: 3
      c000_003: 2
      c000_006: 10
      c000_008: 3
      c000_009: 0
      c000_011: 10
      c000_012: 10
      c000_015: 8
      c001_002: 3
      c001_003: 5
      c001_004: 9
      c001_005: 10
      c001_010: 9
      c002_005: 6
      c002_013: 6
      c003_004: 0
      c003_006: 10
      c003_007: 1
      c003_008: 2
      c003_010: 2
      c003_013: 4
      c003_014: 7
      c004_007: 4
      c005_009: 10
      c005_016: 7
      c006_016: 4
      c007_014: 7
      c009_018: 5
      c010_011: 4
      c010_012: 9
      c010_017: 9
      c010_019: 4
      c011_015: 3
      c012_017: 9
      c013_018: 10
      c016_019: 10
      v000: 3
      v001: 4
      v002: 1
      v003: 0
      v004: 0
      v005: 6
      v006: 4
      v007: 0
      v008: 2
      v009: 1
      v010: 6
      v011: 9
      v012: 6
      v013: 10
      v014: 0
      v015: 10
      v016: 0
      v017: 10
      v018: 3
      v019: 0
    default: 10
  a015:
    computations:
      c000_002: 8
      c000_003: 3
      c000_006: 0
      c000_008: 1
      c000_009: 6
      c000_011: 4
      c000_012: 4
      c000_015: 1
      c001_002: 2
      c001_003: 10
      c001_004: 1
      c001_005: 0
      c001_010: 9
      c002_005: 5
      c002_013: 1
      c003_004: 6
      c003_006: 1
      c003_007: 6
      c003_008: 4
      c003_010: 4
      c003_013: 5
      c003_014: 1
      c004_007: 2
      c005_009: 8
      c005_016: 9
      c006_016: 8
      c007_014: 6
      c009_018: 2
      c010_011: 8
      c010_012: 7
      c010_017: 0
      c010_019: 10
      c011_015: 7
      c012_017: 6
      c013_018: 7
      c016_019: 7
      v000: 6
      v001: 4
      v002: 9
      v003: 10
      v004: 1
      v005: 5
      v006: 1
      v007: 4
      v008: 2
      v009: 10
      v010: 0
      v011: 2
      v012: 1
      v013: 3
      v014: 9
      v015: 0
      v016: 5
      v017: 3
      v018: 6
      v019: 8
    default: 10
  a016:
    computations:
      c000_002: 9
      c000_003: 6
      c000_006: 6
      c000_008: 7
      c000_009: 9
      c000_011: 6
      c000_012: 2
      c000_015: 8
      c001_002: 2
      c001_003: 6
      c001_004: 2
      c001_005: 10
      c001_010: 3
      c002_005: 1
      c002_013: 1
      c003_004: 9
      c003_006: 2
      c003_007: 10
      c003_008: 3
      c003_010: 1
      c003_013: 7
      c003_014: 7
      c004_007: 5
      c005_009: 4
      c005_016: 1
      c006_016: 3
      c007_014: 0
      c009_018: 1
      c010_011: 2
      c010_012: 7
      c010_017: 1
      c010_019: 5
      c011_015: 0
      c012_017: 1
      c013_018: 2
      c016_019: 1
      v000: 4
      v001: 7
      v002: 8
      v003: 9
      v004: 10
      v005: 0
      v006: 4
      v007: 0
      v008: 8
      v009: 3
      v010: 7
      v011: 8
      v012: 9
      v013: 1
      v014: 2
      v015: 0
      v016: 0
      v017: 0
      v018: 6
      v019: 3
    default: 10
  a017:
    computations:
      c000_002: 10
      c000_003: 5
      c000_006: 3
      c000_008: 8
      c000_009: 3
      c000_011: 8
      c000_012: 2
      c000_015: 4
      c001_002: 0
      c001_003: 0
      c001_004: 2
      c001_005: 9
      c001_010: 7
      c002_005: 2
      c002_013: 3
      c003_004: 9
      c003_006: 0
      c003_007: 8
      c003_008: 1
      c003_010: 6
      c003_013: 2
      c003_014: 7
      c004_007: 5
      c005_009: 3
      c005_016: 7
      c006_016: 9
      c007_014: 1
      c009_018: 5
      c010_011: 2
      c010_012: 6
      c010_017: 3
      c010_019: 10
      c011_015: 0
      c012_017: 5
      c013_018: 1
      c016_019: 1
      v000: 0
      v001: 1
      v002: 8
      v003: 0
      v004: 8
      v005: 1
      v006: 6
      v007: 10
      v008: 4
      v009: 7
      v010: 8
      v011: 10
      v012: 7
      v013: 10
      v014: 6
      v015: 7
      v016: 2
      v017: 0
      v018: 10
      v019: 3
    default: 10
  a018:
    computations:
      c000_002: 9
      c000_003: 0
      c000_006: 4
      c000_008: 9
      c000_009: 4
      c000_011: 10
      c000_012: 5
      c000_015: 7
      c001_002: 2
      c001_003: 10
      c001_004: 3
      c001_005: 2
      c001_010: 0
      c002_005: 3
      c002_013: 4
      c003_004: 1
      c003_006: 4
      c003_007: 10
      c003_008: 2
      c003_010: 1
      c003_013: 0
      c003_014: 4
      c004_007: 3
      c005_009: 7
      c005_016: 5
      c006_016: 3
      c007_014: 7
      c009_018: 1
      c010_011: 9
      c010_012: 6
      c010_017: 1
      c010_019: 9
      c011_015: 1
      c012_017: 7
      c013_018: 5
      c016_019: 5
      v000: 1
      v001: 0
      v002: 4
      v003: 2
      v004: 10
      v005: 9
      v006: 5
      v007: 6
      v008: 2
      v009: 1
      v010: 2
      v011: 4
      v012: 6
      v013: 2
      v014: 2
      v015: 5
      v016: 5
      v017: 7
      v018: 0
      v019: 3
    default: 10
  a019:
    computations:
      c000_002: 8
      c000_003: 5
      c000_006: 8
      c000_008: 5
      c000_009: 10
      c000_011: 2
      c000_012: 2
      c000_015: 5
      c001_002: 9
      c001_003: 8
      c001_004: 1
      c001_005: 6
      c001_010: 8
      c002_005: 3
      c002_013: 8
      c003_004: 7
      c003_006: 4
      c003_007: 7
      c003_008: 10
      c003_010: 5
      c003_013: 2
      c003_014: 10
      c004_007: 0
      c005_009: 2
      c005_016: 1
      c006_016: 9
      c007_014: 2
      c009_018: 5
      c010_011: 7
      c010_012: 10
      c010_017: 0
      c010_019: 4
      c011_015: 8
      c012_017: 6
      c013_018: 7
      c016_019: 2
      v000: 7
      v001: 10
      v002: 6
      v003: 3
      v004: 2
      v005: 5
      v006: 0
      v007: 7
      v008: 1
      v009: 7
      v010: 8
      v011: 8
      v012: 1
      v013: 3
      v014: 8
      v015: 2
      v016: 7
      v017: 6
      v018: 0
      v019: 0
    default: 10
routes:
  a000:
    a002: 0.4166666666666667
    a003: 0.11764705882352941
    a006: 0.5454545454545454
    a008: 0.7
    a009: 0.5454545454545454
    a011: 0.5454545454545454
    a012: 0.5454545454545454
    a015: 0.7
  a001:
    a002: 0.2222222222222222
    a003: 0.35714285714285715
    a004: 0.375
    a005: 0.2222222222222222
    a010: 0.18181818181818182
  a002:
    a000: 0.4166666666666667
    a001: 0.2222222222222222
    a005: 0.125
    a013: 0.2857142857142857
  a003:
    a000: 0.11764705882352941
    a001: 0.35714285714285715
    a004: 0.5833333333333334
    a006: 0.5833333333333334
    a007: 0.5833333333333334
    a008: 0.7272727272727273
    a010: 0.26666666666666666
    a013: 0.5833333333333334
    a014: 0.7272727272727273
  a004:
    a001: 0.375
    a003: 0.5833333333333334
    a007: 0.16666666666666666
  a005:
    a001: 0.2222222222222222
    a002: 0.125
    a009: 0.2857142857142857
    a016: 0.2857142857142857
  a006:
    a000: 0.5454545454545454
    a003: 0.5833333333333334
    a016: 0.16666666666666666
  a007:
    a003: 0.5833333333333334
    a004: 0.16666666666666666
    a014: 0.4
  a008:
    a000: 0.7
    a003: 0.7272727272727273
  a009:
    a000: 0.5454545454545454
    a005: 0.2857142857142857
    a018: 0.4
  a010:
    a001: 0.18181818181818182
    a003: 0.26666666666666666
    a011: 0.4444444444444444
    a012: 0.4444444444444444
    a017: 0.625
    a019: 0.625
  a011:
    a000: 0.5454545454545454
    a010: 0.4444444444444444
    a015: 0.4
  a012:
    a000: 0.5454545454545454
    a010: 0.4444444444444444
    a017: 0.4
  a013:
    a002: 0.2857142857142857
    a003: 0.5833333333333334
    a018: 0.4
  a014:
    a003: 0.7272727272727273
    a007: 0.4
  a015:
    a000: 0.7
    a011: 0.4
  a016:
    a005: 0.2857142857142857
    a006: 0.16666666666666666
    a019: 0.4
  a017:
    a010: 0.625
    a012: 0.4
  a018:
    a009: 0.4
    a013: 0.4
  a019:
    a010: 0.625
    a016: 0.4
  default: 1
