A PPROACH - 2 The central algorithm: ReviseGraph(G) function 1: G i - - PowerPoint PPT Presentation

a pproach 2
SMART_READER_LITE
LIVE PREVIEW

A PPROACH - 2 The central algorithm: ReviseGraph(G) function 1: G i - - PowerPoint PPT Presentation

Introduction Multiscale Network Modeling Results M ULTIGRID APPROACH FOR MODELING NETWORKS F IELDS I NSTITUTE A. Sasha Gutfraind Lauren A. Meyers Ilya Safro University of Illinois at Chicago University of Texas at Austin Clemson


slide-1
SLIDE 1

Introduction Multiscale Network Modeling Results

MULTIGRID APPROACH FOR MODELING

NETWORKS

FIELDS INSTITUTE

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro

University of Illinois at Chicago University of Texas at Austin Clemson University

2014

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-2
SLIDE 2

Introduction Multiscale Network Modeling Results

OUTLINE

1 INTRODUCTION 2 MULTISCALE NETWORK MODELING 3 RESULTS

Examples Statistics Summary: The multiscale method (MUSKETEER) generates synthetic networks that match the properties of real networks.

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-3
SLIDE 3

Introduction Multiscale Network Modeling Results

MOTIVATION - THE MISSING DATA PROBLEM

1

Networks are the central part of many complex systems, e.g. infrastructure, social, neural systems

2

We need to evaluate ideas/methods/algorithms on them, & understand their structure

3

Limitations of empirical data:

1

Difficult or Impossible to get

2

Insufficient: want to show robustness on 102 to 106 networks

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-4
SLIDE 4

Introduction Multiscale Network Modeling Results

METHODS FOR NETWORK MODELING

1

Network model: Erd˝

  • s-Rényi, Kronecker Graph,

ERGM, Watts-Strogatz, Liu-Chung expected degrees, Barabási-Albert, etc.

2

Mechanistic model

3

Randomize empirical data

4

An application-specific topology generator: BRITE, INET, Tiers, GT-IGM, PLOD, GridG, GeNGe, etc. New (5.): Multiscale network generation (MUSKETEER)

Ref: “Multiscale Network Generation”. Free and Open source. arxiv.org/abs/1207.4266

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-5
SLIDE 5

Introduction Multiscale Network Modeling Results

METHODS FOR NETWORK MODELING

1

Network model: Erd˝

  • s-Rényi, Kronecker Graph,

ERGM, Watts-Strogatz, Liu-Chung expected degrees, Barabási-Albert, etc.

2

Mechanistic model

3

Randomize empirical data

4

An application-specific topology generator: BRITE, INET, Tiers, GT-IGM, PLOD, GridG, GeNGe, etc. New (5.): Multiscale network generation (MUSKETEER)

Ref: “Multiscale Network Generation”. Free and Open source. arxiv.org/abs/1207.4266

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-6
SLIDE 6

Introduction Multiscale Network Modeling Results

MULTISCALE ALGORITHMS

What is a multiscale/multigrid algorithm?

1

Iteratively coarsen i.e. reduce the number of variables in a problem: L0

L1 → ··· → Lk → ··· → L′

1 → L′

e.g. Li+1 = PT LiP

2

Solve in level k and then refine it back to level 0 Strengths: O(m) or O(mlogm) performance for P or NP-hard problems Pitfalls: Enforcing constraints & Precision Very successful in large linear/nonlinear equation solvers

Ref: Knepley/UC - PETSc

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-7
SLIDE 7

Introduction Multiscale Network Modeling Results

REAL NETWORKS

Real Networks:

1

Organized hierarchically

Refs: Ravasz & Barabasi

2

Levels are dissimilar

Refs: Doyle et al.

3

Connections are usually local: low expansion, clustering, loops

Ref: Barabasi, Spielman

A Road Network

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-8
SLIDE 8

Introduction Multiscale Network Modeling Results

THE MULTISCALE APPROACH

The multiscale network modeling approach:

1

Generates a hierarchy

  • f coarsened networks

2

Edits at any level of coarsening

3

Synthethic nodes are resampled

4

Synthetic edges preserve locality

Version 1.2 (Dec): Fast editing algorithm

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-9
SLIDE 9

Introduction Multiscale Network Modeling Results

APPROACH - 2

The central algorithm: ReviseGraph(G) function

1: Gi+1 ← Coarsen(Gi) 2: ˜

Gi+1 ← ReviseGraph(Gi+1)

3: G′

i ← Interpolate(˜

Gi+1)

4: ˜

Gi ← EditEdgesAndNodes(G′

i)

5: ˜

Gi ← UserDefinedAdjustment(˜ Gi)

6: Return ˜

Gi Editing does not specifically attempt to enforce properties like degree distribution or clustering Preservation of local and global graph properties emerges as an approximate invariant of the editing process

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-10
SLIDE 10

Introduction Multiscale Network Modeling Results

APPROACH - 2

The central algorithm: ReviseGraph(G) function

1: Gi+1 ← Coarsen(Gi) 2: ˜

Gi+1 ← ReviseGraph(Gi+1)

3: G′

i ← Interpolate(˜

Gi+1)

4: ˜

Gi ← EditEdgesAndNodes(G′

i)

5: ˜

Gi ← UserDefinedAdjustment(˜ Gi)

6: Return ˜

Gi Editing does not specifically attempt to enforce properties like degree distribution or clustering Preservation of local and global graph properties emerges as an approximate invariant of the editing process

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-11
SLIDE 11

Introduction Multiscale Network Modeling Results Examples Statistics

NETWORKS

Let’s make some networks ...

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-12
SLIDE 12

Introduction Multiscale Network Modeling Results Examples Statistics

PRESERVATION OF HIDDEN PROPERTIES

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-13
SLIDE 13

Introduction Multiscale Network Modeling Results Examples Statistics

EXAMPLE: COAUTHORSHIP

Collaboration network (Newman): GCC 379 nodes

growth rate: nodes [0, 0.3]; edges:[0, 0.1]

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-14
SLIDE 14

Introduction Multiscale Network Modeling Results Examples Statistics

EXAMPLE: POWER GRID

Western Interconnection - a power grid with 4941 nodes

edit rate: nodes [0, 0.1]; edges:[0, 0.1]

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-15
SLIDE 15

Introduction Multiscale Network Modeling Results Examples Statistics

EVALUATION OF RANDOM NETWORKS

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-16
SLIDE 16

Introduction Multiscale Network Modeling Results Examples Statistics

QUALITY OF RANDOM NETWORKS - 1

Experimental simulation Level 0 edits: 8% nodes, 8% edges Level 1 edits: 7% nodes, 7% edges Generally, the choice of edit rates is based on the problem

Colorado Springs HIV (left) and replica (right) Ref: Potterat et al.

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-17
SLIDE 17

Introduction Multiscale Network Modeling Results Examples Statistics

QUALITY OF RANDOM NETWORKS - 1

FIGURE: Colorado Springs Network

0.0 0.5 1.0 1.5 2.0

Relative to real network

powerlaw exp modularity avg between. centrality harmonic avg distance avg distance avg eccentricity total deg*deg assortativity avg degree clustering num comps num edges num nodes Median of replicas 1.02 1.00 1.03 1.07 1.01 0.97 0.94 1.02 0.87 1.00 1.02 0.99

Diversity: 30% of nodes and 60% of edges are new or removed

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-18
SLIDE 18

Introduction Multiscale Network Modeling Results Examples Statistics

QUALITY OF RANDOM NETWORKS - 2

FIGURE: Colorado Springs Network

5 10 15 20 25

k

0.0 0.2 0.4 0.6 0.8 1.0

P[Degree > k]

empirical generated networks

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-19
SLIDE 19

Introduction Multiscale Network Modeling Results Examples Statistics

QUALITY OF RANDOM NETWORKS - 3

FIGURE: Western Interconnection (Watts & Strogatz)

0.0 0.5 1.0 1.5 2.0

Relative to real network

modularity avg between. centrality avg distance total deg*deg assortativity avg degree clustering num comps num edges num nodes 1.00 1.06 1.07 0.96 0.99 1.07 1.00 1.01 1.02 Median of replicas

edge edit rate: [0, 0, 0, 0.2]; node edit rate:[0, 0, 0, 0, 0.2]

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-20
SLIDE 20

Introduction Multiscale Network Modeling Results Examples Statistics

QUALITY OF RANDOM NETWORKS - 4

Erd˝

  • s-Rényi template

Barabási-Albert template

0.0 0.5 1.0 1.5 2.0

Relative to real network

modularity avg between. centrality harmonic avg distance avg distance avg eccentricity total deg*deg assortativity avg degree clustering num comps num edges num nodes Median of replicas 0.97 1.01 1.00 1.00 1.05 1.11 1.00 0.97 1.00 0.99 1.00 0.0 0.5 1.0 1.5 2.0

Relative to real network

powerlaw exp modularity avg between. centrality harmonic avg distance avg distance avg eccentricity total deg*deg assortativity avg degree clustering num comps num edges num nodes Median of replicas 0.99 1.06 1.02 1.01 1.01 1.06 0.90 0.98 1.02 1.00 0.98 1.00

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-21
SLIDE 21

Introduction Multiscale Network Modeling Results Examples Statistics

DYNAMICS ON SYNTHETIC NETWORKS

FIGURE: SEIR cascade on Colorado Springs Network

10 20 30 40 50 60 70

Time (days)

2 4 6 8 10 12 14 16

New cases

  • riginal network

MUSKETEER Edge swapping Expected degree model Scale-free model Kronecker model

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-22
SLIDE 22

Introduction Multiscale Network Modeling Results Examples Statistics

SELECT USE STORIES

S Leyffer, I Safro Developed an algorithm for blocking cyber attacks on large networks Replicas helped discover implementation errors Replica data provide performance evaluation M Bergner, ME Lübbecke, J Witt Investigate the “packed cuts” problem Developed a new Branch-Price-and-Cut Algorithm Replica data provide performance evaluation

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-23
SLIDE 23

Introduction Multiscale Network Modeling Results Examples Statistics

OPEN PROBLEMS

Fundamental limitations: What are some of the fundamental limitations of multiscale generation? Degree distribution: Could the editing process be designed to preserve the degree distribution? Auto-tuning: Find the best editing structure for each network?

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-24
SLIDE 24

Introduction Multiscale Network Modeling Results Examples Statistics

SUMMARY & EVALUATION

Multiscale Network Modeling

Synthetic data with realistic properties Controlable: fine and global editing; size expansion Suitable for many types of networks O(m) running time

agutfrai@uic.edu

G, Meyers and Safro. “Multiscale Network Generation”.

www.cs.clemson.edu/~isafro/musketeer

THANKS

DTRA & Los Alamos LDRD program, Argonne Cybersec LDRD, NIH/MIDAS; many colleagues

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-25
SLIDE 25

Introduction Multiscale Network Modeling Results Examples Statistics

NETWORK SCIENCE

3 8 6 3 9 5 4 5 1 1 3 5 5 3 3 5 8 6 3 5 8 7 3 6 3 7 2 3 5 8 3 3 4 9 3 0 4 8 8 5 1 3 1 2 0 6 8 7 9 1 0 6 1 7 5 2 0 5 2 0 8 5 0 1 1 9 4 1 2 5 1 2 1 4 1 5 8 3 1 6 1 7 2 9 1 4 7 1 8 1 9 1 9 0 2 0 1 3 0 1 9 9 2 1 5 1 1 7 6 2 2 4 4 4 5 2 3 4 4 4 6 2 4 5 3 4 4 6 1 2 5 5 8 1 3 6 2 6 1 3 1 1 3 9 2 0 3 2 7 1 6 1 1 6 6 2 8 9 8 1 6 0 3 0 1 2 3 1 4 0 3 1 6 2 1 0 4 3 2 1 5 5 1 7 4 3 3 3 4 3 5 9 7 3 6 6 9 1 4 1 1 4 2 3 7 3 8 3 9 4 7 1 5 7 4 0 2 0 2 4 1 4 2 1 6 7 2 1 8 2 3 2 1 8 1 4 3 1 6 3 4 4 4 5 4 6 1 8 4 1 7 1 4 8 1 0 1 1 0 6 4 9 4 4 4 8 1 9 4 5 2 1 1 1 1 1 9 1 7 2 2 3 1 5 4 1 0 9 5 5 1 0 7 5 6 1 4 9 1 5 2 1 7 5 1 9 8 5 7 2 5 6 2 5 9 6 0 1 5 4 1 8 8 2 0 9 6 3 6 8 6 4 6 5 6 6 6 7 7 0 9 7 9 4 8 9 3 1 0 3 0 1 0 5 2 2 3 4 4 1 0 8 7 1 8 6 2 2 4 7 2 7 3 1 1 2 2 1 5 9 1 7 4 7 6 7 7 1 1 0 1 8 5 1 7 0 1 9 1 7 8 7 9 8 0 9 8 9 8 1 8 2 2 2 1 8 4 8 5 1 5 1 8 7 8 9 9 0 1 7 8 1 9 5 4 9 6 9 2 9 3 9 5 1 2 9 9 6 1 4 4 1 4 8 1 0 0 1 3 5 9 9 4 4 5 9 2 1 0 1 0 2 1 0 3 1 4 5 1 5 3 2 2 2 1 0 5 1 0 5 5 1 8 6 1 1 6 2 0 7 4 1 2 0 1 9 2 2 0 4 1 1 3 3 7 7 0 1 1 4 1 1 5 1 1 7 1 1 8 5 2 2 1 2 1 1 2 2 1 2 4 1 7 3 1 2 6 1 2 7 1 2 8 2 3 5 4 1 1 2 1 3 2 1 3 3 1 3 4 2 3 6 1 4 6 1 3 7 2 2 3 2 2 9 1 3 8 1 4 3 1 5 0 4 8 8 2 2 3 4 1 9 6 1 5 6 1 5 8 1 5 9 1 8 9 1 9 3 1 6 2 1 6 5 1 6 4 1 6 8 1 6 9 1 8 7 2 2 7 1 7 7 1 7 9 1 8 0 2 0 6 1 8 2 1 8 3 2 0 0 9 9 7 2 2 8 2 3 0 1 9 7 2 0 1 2 1 1 2 1 2 2 1 3 2 1 4 4 9 9 2 1 6 2 2 5 2 1 7 2 1 9 2 2 0 2 2 6 2 3 3 2 3 7 2 3 8 2 5 2 3 1 8 4 4 2 3 2 3 9 2 4 0 3 3 3 3 5 4 3 1 6 3 2 7 3 3 7 2 4 1 2 4 2 3 5 1 2 8 4 3 6 3 3 6 4 3 6 5 3 6 6 2 4 3 3 4 2 3 5 5 2 4 4 3 3 5 3 6 1 2 4 5 2 4 7 2 4 6 2 5 7 2 9 8 3 7 1 3 7 8 3 3 0 2 4 8 2 5 0 2 4 9 2 8 0 3 0 5 3 1 2 3 1 3 3 6 0 2 5 1 2 8 9 3 1 9 3 6 7 3 7 0 2 5 3 3 2 2 3 7 6 4 3 6 2 2 5 4 2 5 5 3 2 9 2 8 5 2 9 9 2 5 6 2 5 9 3 1 0 3 6 8 3 8 1 2 5 8 3 0 6 3 1 1 2 6 0 2 6 1 2 8 7 3 5 0 3 6 9 3 8 2 2 6 2 2 6 7 3 3 4 3 4 4 3 4 5 2 6 3 3 2 1 4 4 1 5 2 6 4 2 8 1 2 6 5 3 0 8 2 6 6 2 6 8 2 6 9 3 4 6 3 6 2 2 7 0 2 7 4 2 7 1 2 7 2 3 7 2 2 7 3 2 7 5 3 2 5 2 7 6 2 8 6 2 7 7 3 1 4 2 7 8 2 7 9 2 8 2 2 9 5 3 0 2 2 8 3 2 9 6 1 1 7 8 2 8 8 2 9 0 3 3 6 4 4 3 5 2 9 1 2 9 2 2 9 3 2 9 4 3 0 0 2 9 7 3 4 0 3 4 3 3 0 1 3 0 3 3 0 7 3 0 4 3 2 3 3 0 9 3 5 3 3 5 8 4 4 3 1 3 1 5 3 2 6 3 5 6 3 1 7 1 1 1 9 3 2 0 4 3 4 1 3 2 4 4 4 2 8 3 2 8 3 7 9 3 5 7 3 3 1 3 8 0 3 3 2 3 5 2 3 7 3 3 3 8 3 3 9 3 4 1 3 4 7 3 4 8 3 4 9 3 7 4 4 4 2 5 4 4 2 6 3 7 7 3 5 9 3 7 5 3 8 3 3 8 4 4 2 9 4 4 5 4 5 4 4 5 5 4 6 2 3 9 3 4 2 6 4 4 7 3 8 5 3 8 7 4 4 6 2 3 0 7 3 8 8 4 3 0 3 8 9 4 3 7 2 2 8 2 3 9 0 3 9 1 3 9 2 3 9 4 4 0 9 4 2 3 4 0 2 4 0 6 4 2 5 4 3 6 3 9 6 2 2 2 3 4 4 2 4 5 7 4 1 9 2 2 1 3 2 3 9 3 3 9 7 3 9 8 3 9 9 4 0 0 4 2 0 2 2 3 1 2 2 8 3 4 0 1 4 0 3 4 1 1 4 3 5 4 3 9 4 0 4 4 0 5 4 3 1 4 6 0 4 0 7 4 0 8 4 5 6 4 1 0 1 2 1 6 4 1 2 4 7 3 1 2 4 8 4 1 3 4 1 4 4 1 5 4 5 2 4 5 9 4 6 4 4 6 8 4 1 6 4 1 7 4 4 4 4 5 0 4 6 9 4 1 8 4 2 1 4 2 2 1 4 2 4 1 7 8 4 4 2 4 4 4 3 4 2 7 3 9 8 7 1 1 2 5 4 2 8 4 7 0 4 4 1 4 3 2 4 3 3 4 7 2 4 3 4 4 6 1 1 2 9 7 4 3 8 4 4 0 4 6 6 4 4 8 4 4 9 4 6 5 4 6 7 4 5 3 4 6 3 4 5 8 4 7 1 4 7 4 4 8 1 4 1 7 3 4 7 5 4 1 1 3 4 7 6 4 7 7 4 8 0 4 8 4 4 7 8 4 7 9 4 9 2 4 9 8 4 9 3 4 9 1 4 1 1 1 4 8 2 4 8 5 4 8 9 4 9 4 4 9 5 4 8 3 3 7 6 9 4 8 6 4 9 7 4 8 7 4 8 8 1 1 8 3 1 2 0 1 4 9 0 2 4 2 6 2 5 4 2 2 5 4 3 2 5 4 8 2 6 8 0 2 7 9 9 2 8 3 2 2 8 3 4 2 8 3 5 2 8 3 6 2 9 4 9 5 0 0 5 0 1 5 4 9 5 7 0 5 7 3 5 0 2 5 0 4 5 0 3 5 2 3 5 5 6 5 6 4 5 0 5 5 4 8 5 5 1 5 0 6 5 3 9 5 4 6 5 6 5 5 0 7 5 6 6 5 0 8 5 0 9 5 4 5 5 7 1 5 7 2 5 1 0 5 6 1 5 1 1 5 1 2 5 1 3 5 3 4 5 3 8 5 5 0 5 1 4 4 4 5 8 5 1 5 5 1 9 5 1 6 5 2 0 5 1 7 5 1 8 3 9 8 2 2 3 1 2 5 2 1 8 2 8 8 3 2 5 2 4 5 2 5 5 3 2 5 2 8 5 3 0 5 2 6 5 2 7 4 1 4 5 5 2 9 5 3 1 5 3 3 5 6 8 5 3 5 5 3 6 5 5 9 5 7 4 5 3 7 5 5 7 5 4 0 5 4 1 5 4 2 5 4 3 5 4 4 5 6 9 5 5 3 5 5 4 5 5 8 5 4 7 5 5 5 5 5 2 5 6 3 5 6 2 5 6 0 1 4 8 1 1 4 8 2 4 2 1 1 5 6 7 4 1 6 4 5 7 5 6 5 7 6 5 9 6 6 0 7 3 0 5 7 6 5 8 2 6 2 5 6 4 0 5 7 7 5 7 8 5 9 4 6 1 0 5 7 9 6 6 4 7 0 2 5 8 0 7 2 0 7 2 5 5 8 1 5 8 5 6 2 6 5 8 3 5 8 4 6 1 2 6 4 5 6 5 2 6 6 7 6 7 2 6 8 0 6 1 4 5 8 6 5 8 7 6 1 8 6 2 4 6 6 9 6 7 9 7 0 3 5 8 8 5 9 7 5 8 9 5 9 0 5 9 1 6 9 2 5 9 2 5 9 3 6 3 0 5 9 5 5 9 6 6 2 8 7 0 5 5 9 8 5 9 9 6 0 0 6 0 1 6 0 2 6 2 0 6 0 3 6 0 4 6 0 5 6 0 6 6 9 1 6 5 8 6 6 6 6 0 7 6 0 8 6 0 9 6 1 1 6 6 2 7 2 2 6 1 3 7 0 0 6 1 9 6 3 6 6 7 6 6 1 5 6 1 6 6 3 9 6 1 7 6 6 8 6 2 1 6 2 2 6 5 3 7 3 6 6 2 3 6 5 5 7 0 8 6 2 7 6 2 9 6 9 6 6 3 1 6 3 2 6 3 4 6 8 9 7 1 8 6 3 3 6 3 5 6 4 8 6 3 7 6 7 1 7 0 9 7 1 3 7 2 8 6 3 8 6 8 1 6 8 5 6 4 1 6 4 2 6 4 3 6 4 4 6 8 7 6 4 6 7 0 4 6 4 7 6 4 9 6 5 0 6 5 1 7 2 6 6 5 4 6 5 6 7 1 2 7 3 8 6 6 1 6 6 3 6 6 5 6 7 0 6 7 3 6 7 4 6 7 5 6 7 7 6 7 8 6 8 2 6 8 3 6 9 3 6 8 4 6 8 6 6 8 8 7 3 2 6 9 0 6 9 4 6 9 5 6 9 7 6 9 8 6 9 9 7 0 1 7 3 4 7 0 6 7 0 7 7 1 0 7 1 1 7 1 4 7 1 5 7 1 6 7 1 7 7 1 9 7 2 7 7 2 1 7 2 3 7 2 4 3 7 8 1 7 2 9 7 3 1 7 3 3 7 3 5 7 3 7 7 3 9 7 4 0 7 4 9 7 6 3 7 4 8 7 5 0 7 5 7 8 1 5 7 4 1 7 4 4 7 4 2 7 4 3 7 5 9 7 6 2 7 7 9 7 4 5 7 6 0 7 7 7 8 0 4 7 4 6 8 0 2 1 2 3 0 7 4 7 7 8 0 7 5 1 7 7 5 8 0 5 7 5 2 7 5 3 7 7 6 2 4 1 3 2 4 1 4 7 5 4 7 6 4 7 8 3 8 0 3 7 5 5 7 5 6 7 8 7 7 5 8 7 9 1 8 1 2 8 1 3 8 2 3 8 2 4 7 7 8 8 1 4 7 6 1 7 8 9 7 7 4 8 2 0 7 6 5 7 6 6 7 6 7 7 7 1 7 6 8 7 7 2 7 6 9 7 7 0 7 8 5 7 9 7 7 7 3 7 8 6 7 8 1 8 1 7 4 9 2 8 2 4 1 7 7 9 5 7 8 4 7 9 9 7 8 2 4 9 3 4 8 0 0 7 8 8 7 9 0 2 3 0 4 7 9 2 7 9 3 7 9 4 8 1 1 1 2 1 4 7 9 6 8 0 8 7 9 8 8 0 1 1 2 5 7 2 2 0 7 8 0 7 8 2 1 1 4 0 2 8 0 6 8 0 9 8 2 2 8 1 0 1 1 2 4 1 2 2 7 1 2 2 8 8 1 6 8 1 8 8 1 9 4 9 4 0 8 2 5 8 2 6 8 4 4 8 2 9 4 4 6 2 8 2 7 8 4 5 8 5 8 8 7 7 8 3 7 8 3 4 8 3 6 8 3 0 4 4 4 4 8 3 1 8 5 5 8 6 7 8 6 8 8 6 9 8 9 5 9 0 3 9 0 4 9 0 5 9 0 6 9 1 0 9 1 9 9 2 0 9 3 2 8 3 3 8 5 4 8 6 2 8 6 6 8 7 4 8 9 1 8 3 5 8 9 2 8 9 6 8 5 3 8 7 1 8 7 2 8 3 8 8 3 9 8 4 0 2 3 5 1 8 4 1 8 4 2 4 1 7 9 8 4 3 8 6 1 8 6 3 4 4 5 7 8 4 6 8 6 5 8 4 7 8 6 0 8 7 0 8 8 0 8 8 4 8 9 4 9 0 0 9 1 2 8 4 8 9 1 1 8 7 9 8 8 6 8 8 7 8 8 8 8 8 9 8 4 9 9 0 7 9 0 8 9 0 9 8 5 0 8 9 8 8 5 1 8 5 2 8 7 3 9 0 2 8 5 9 8 6 4 8 5 6 8 5 7 8 8 2 8 9 3 8 8 5 8 8 1 8 8 3 9 2 1 8 9 9 9 2 8 9 2 9 9 3 0 8 9 7 9 0 1 8 7 5 8 7 6 8 7 8 9 3 1 8 9 0 9 1 7 9 1 8 9 1 3 9 1 4 9 1 5 9 1 6 9 2 6 9 2 7 9 2 2 9 2 3 9 2 4 9 2 5 9 3 3 1 0 1 4 1 0 5 3 9 3 4 9 3 5 9 3 6 9 6 9 9 4 1 9 3 7 9 3 8 9 5 4 1 0 1 0 1 0 5 0 9 3 9 9 4 0 9 5 6 9 6 1 9 8 4 1 0 1 6 1 0 3 6 1 0 5 1 9 4 2 9 9 4 9 4 6 9 5 9 9 4 3 9 4 4 1 0 0 3 1 0 0 5 1 0 2 8 9 4 5 9 9 5 1 0 0 6 1 0 5 8 9 4 7 9 4 8 9 4 9 9 5 0 9 6 4 1 0 4 7 1 0 4 8 9 5 1 9 6 2 1 0 4 3 9 7 0 1 0 3 4 9 7 1 9 7 8 1 0 0 0 9 5 2 9 5 3 9 7 5 1 0 2 3 1 0 2 4 1 0 5 6 9 8 3 1 0 1 1 9 7 3 9 5 5 9 5 7 1 0 1 5 9 5 8 9 9 3 1 0 4 9 9 6 0 9 6 5 9 8 7 9 6 3 9 9 1 1 0 1 3 1 0 2 5 9 6 6 1 0 2 1 9 6 7 9 6 8 1 0 2 6 1 0 5 7 9 9 6 1 0 3 7 9 7 2 9 7 4 1 0 3 1 1 0 5 4 9 7 6 9 7 7 9 9 2 9 8 0 4 8 5 5 9 8 1 9 8 2 9 8 5 9 8 6 1 0 1 2 1 0 4 4 9 8 8 9 9 0 9 9 8 9 9 9 1 0 0 1 1 0 0 2 1 0 4 5 1 0 0 4 1 0 0 7 1 0 0 8 1 0 0 9 1 0 1 7 1 0 1 8 1 0 1 9 1 0 2 2 1 0 4 6 1 0 2 0 1 0 5 9 1 0 2 7 1 0 2 9 1 0 3 3 1 0 3 8 1 0 3 9 1 0 4 0 4 8 9 4 1 0 3 2 4 9 0 2 1 0 3 5 1 0 4 1 1 0 4 2 1 0 6 0 1 0 6 1 1 0 6 2 1 5 4 2 2 0 0 2 2 0 3 5 1 4 4 4 1 0 6 3 1 0 6 5 1 1 6 0 1 3 3 1 1 6 2 5 1 8 0 9 1 0 6 4 1 1 7 6 1 0 9 1 1 0 6 6 1 8 5 2 1 9 0 1 2 0 6 9 1 0 6 7 1 0 6 8 1 4 1 8 1 9 6 9 1 4 1 9 1 0 6 9 1 0 7 0 1 1 9 6 1 1 9 7 1 3 0 0 1 4 9 7 1 4 9 8 1 5 6 6 1 2 6 9 1 3 7 1 1 0 7 1 1 5 5 3 1 6 1 5 2 0 2 8 1 0 7 2 1 0 7 3 1 1 9 1 1 2 0 8 1 2 8 0 1 3 1 4 1 4 6 9 1 5 5 4 1 1 9 2 1 3 1 3 1 0 7 4 1 0 7 6 1 1 5 9 1 5 0 6 1 0 7 5 1 2 1 7 1 9 0 5 1 0 7 7 1 2 2 4 1 0 7 8 1 0 7 9 1 2 4 4 1 3 0 6 1 4 5 9 1 0 8 0 1 3 3 4 1 5 5 9 1 0 8 1 1 1 5 4 1 5 6 0 1 9 4 2 1 0 8 2 1 5 1 0 1 7 2 8 1 7 5 0 1 0 8 3 1 2 9 5 1 4 4 6 1 5 0 3 1 0 8 4 1 0 9 8 1 0 8 5 1 0 8 6 1 0 8 7 1 3 5 1 1 3 6 7 1 4 2 0 1 4 7 8 1 0 8 8 1 0 9 7 1 0 9 0 1 2 2 0 1 2 2 3 1 6 2 4 1 4 0 1 1 0 8 9 1 3 1 1 1 5 5 6 1 1 0 8 1 1 6 5 1 4 9 6 1 6 3 0 1 9 5 9 2 0 1 7 1 0 9 2 1 1 6 6 1 3 5 3 1 4 2 9 1 5 0 4 1 5 2 5 1 4 8 8 1 0 9 3 1 0 9 4 1 0 9 5 2 0 9 6 2 1 3 5 1 1 7 7 1 4 4 7 1 3 8 6 2 0 7 1 2 0 9 1 2 1 5 9 1 0 9 6 1 2 8 5 2 1 0 9 1 3 4 3 1 3 7 9 1 0 9 9 1 1 9 3 1 4 9 0 1 6 7 7 1 7 1 3 1 7 3 1 1 9 1 4 1 1 0 0 1 1 0 1 1 2 7 6 1 5 3 0 2 0 6 2 2 1 7 6 2 1 7 9 1 2 7 7 2 1 3 9 1 1 0 2 1 1 0 3 1 2 2 6 1 3 3 8 1 4 2 2 1 5 7 3 1 1 4 3 1 4 4 2 1 1 0 4 1 4 6 0 1 7 1 7 1 7 5 3 2 0 6 1 2 1 2 1 1 1 0 5 1 1 0 6 1 1 4 5 1 1 7 9 1 6 6 6 1 9 4 8 1 1 0 7 1 1 3 6 1 1 8 0 1 2 4 9 1 3 1 7 1 3 2 3 1 8 1 0 1 8 7 7 1 1 3 7 1 2 6 7 1 3 6 5 1 2 4 0 1 1 0 9 1 2 1 0 1 4 7 1 1 4 9 5 1 1 1 0 1 1 1 1 1 1 1 2 1 5 7 9 1 5 8 1 1 1 1 3 1 1 1 6 1 1 1 4 1 8 3 7 1 9 3 2 1 1 1 5 1 5 4 3 1 6 0 3 1 4 5 3 1 4 5 4 1 4 9 9 1 5 5 2 1 1 1 7 1 1 8 9 1 4 3 6 1 4 6 1 1 4 6 3 1 5 8 4 2 1 9 5 1 1 1 8 1 8 2 5 4 4 3 7 1 1 2 0 1 9 5 6 1 1 2 1 1 1 2 2 1 1 6 3 1 2 7 5 1 1 2 3 1 2 4 3 1 5 7 6 2 0 2 1 1 4 7 6 1 1 2 6 1 1 2 7 1 1 2 8 1 8 6 3 1 1 2 9 1 1 8 7 1 1 3 0 1 8 3 0 1 1 3 1 1 3 0 8 1 3 3 0 2 5 5 7 1 1 3 2 1 1 3 5 1 4 9 3 1 6 0 5 1 1 3 3 1 2 4 2 1 6 0 9 1 1 3 4 1 4 1 6 1 5 3 1 1 6 1 0 1 4 5 1 1 5 3 4 1 1 3 8 1 1 3 9 1 1 4 0 1 3 0 1 1 3 3 2 1 3 4 5 1 3 6 1 1 4 5 8 1 4 8 6 1 6 1 9 1 6 2 0 1 1 4 1 1 1 4 2 1 4 7 4 1 8 7 4 1 4 3 4 1 6 2 2 1 1 4 4 1 2 2 2 1 4 9 1 1 9 5 5 1 1 4 6 1 1 4 8 1 1 4 7 1 2 0 7 2 0 6 3 2 0 6 4 1 1 6 7 1 3 4 0 1 4 5 2 1 1 4 9 1 1 5 0 1 6 9 6 1 2 8 3 1 1 5 1 1 3 3 5 1 3 5 6 1 4 7 3 1 4 8 9 1 1 5 2 1 1 7 0 1 3 5 7 1 4 8 4 1 1 5 3 1 4 0 5 1 7 3 0 1 1 5 5 1 1 5 6 1 7 7 4 1 9 7 1 1 1 6 1 1 2 2 1 1 2 6 0 1 1 5 7 1 3 2 6 1 7 3 6 1 7 4 9 1 1 5 8 1 5 0 5 1 6 8 4 1 7 7 0 1 3 2 2 2 0 9 2 1 5 0 1 1 1 6 2 1 2 4 1 1 5 1 7 1 6 4 1 1 2 9 9 1 1 6 4 1 4 3 5 1 8 6 5 2 1 8 4 2 1 8 9 1 7 7 7 1 8 5 3 2 0 1 5 1 1 6 8 1 4 1 3 1 4 3 8 1 6 4 6 1 5 4 1 1 1 6 9 1 4 0 3 1 1 7 1 1 1 7 5 1 3 0 9 1 1 7 2 2 1 8 0 1 1 7 3 1 4 6 8 1 4 8 7 1 6 4 9 1 1 7 4 1 1 8 4 1 5 1 8 1 4 6 7 1 2 6 5 1 3 8 7 1 1 8 1 1 7 3 5 2 1 6 4 1 1 8 2 1 1 9 0 1 3 9 8 2 4 4 7 1 1 8 5 1 1 8 6 1 9 4 9 2 0 5 0 2 0 7 5 1 1 8 8 1 2 3 4 1 8 4 5 1 2 4 6 1 4 0 7 1 5 2 8 1 1 9 4 1 1 9 5 1 6 7 8 1 5 2 1 1 1 9 8 1 3 4 9 1 5 1 2 1 1 9 9 1 2 0 0 1 3 4 8 1 8 9 1 1 8 9 2 1 2 0 2 1 2 0 3 1 2 0 4 1 3 6 4 1 2 5 3 1 2 0 5 1 2 9 0 1 4 4 9 2 0 8 6 1 2 0 6 1 3 5 9 1 7 0 5 1 8 6 6 1 9 8 9 2 0 3 7 1 4 4 1 1 7 9 4 1 2 0 9 1 6 7 9 1 2 1 1 1 5 3 6 2 0 7 6 1 2 1 2 1 2 1 3 1 3 4 6 1 2 1 5 1 4 2 5 1 2 1 8 1 2 4 7 1 3 8 5 1 4 5 0 1 6 8 7 1 2 1 9 1 4 1 7 1 6 8 9 1 7 6 7 1 9 1 2 1 2 5 1 1 2 9 2 1 2 5 4 1 5 2 4 1 2 2 5 1 2 6 2 1 4 3 2 1 5 9 4 1 6 4 7 1 7 2 7 1 7 4 6 1 7 9 9 2 1 9 4 1 7 0 9 1 2 3 1 1 2 2 9 1 2 3 2 1 2 3 9 1 2 3 3 1 2 3 5 1 2 3 6 1 5 7 7 1 7 2 3 1 9 0 2 1 2 3 7 1 2 3 8 1 5 3 2 1 3 2 9 1 4 8 3 1 3 5 5 1 2 9 1 1 7 2 5 1 7 2 6 1 9 9 5 1 3 8 3 1 4 2 3 1 5 0 7 1 2 4 5 1 3 8 4 1 9 1 3 1 2 5 6 1 2 5 0 1 2 8 9 1 3 8 9 1 2 5 2 1 3 0 4 1 2 5 5 1 5 7 0 1 7 6 2 1 7 9 8 1 7 6 3 1 2 5 8 1 9 9 2 1 2 5 9 1 2 6 1 1 2 6 3 1 2 6 4 1 2 6 6 1 2 6 8 1 4 1 0 1 4 7 2 1 7 7 6 2 1 8 2 1 3 7 3 1 2 7 0 1 2 7 1 1 6 3 4 1 2 7 2 1 2 7 3 1 2 7 4 1 5 6 9 1 5 8 6 1 6 2 6 1 9 2 8 1 3 0 7 1 2 7 8 1 3 5 2 1 4 6 6 2 2 0 3 1 2 7 9 2 1 2 0 1 2 8 1 1 5 2 3 1 7 8 6 1 2 8 2 1 7 0 1 1 3 7 7 1 2 8 4 1 5 2 6 1 8 3 5 2 1 4 1 1 2 8 6 1 5 3 5 1 8 0 0 1 2 8 7 1 2 8 8 1 8 0 1 1 9 3 4 1 4 0 9 1 8 0 3 1 9 9 4 1 2 9 3 1 2 9 4 1 2 9 6 1 3 5 0 1 4 2 6 1 6 2 9 1 2 9 8 1 3 0 2 1 5 6 2 1 8 0 5 2 1 5 8 1 8 0 7 1 3 0 3 1 3 0 5 1 4 3 3 1 8 1 2 2 0 6 0 2 5 9 4 1 3 1 0 1 3 1 6 1 8 1 4 2 1 3 8 2 1 8 5 1 5 4 0 1 3 1 2 2 0 3 6 2 1 9 1 2 1 9 2 1 4 4 3 1 3 1 5 1 8 1 6 1 8 1 7 1 4 0 6 1 8 1 9 1 3 1 8 1 3 1 9 1 3 2 0 1 4 4 0 1 5 2 7 1 3 2 1 1 4 1 2 1 5 2 2 2 1 5 6 1 3 2 4 1 3 7 4 2 0 9 7 2 0 9 8 1 3 2 5 1 8 2 2 1 8 8 1 1 3 2 7 1 3 2 8 1 5 8 0 1 8 2 1 1 3 3 3 1 6 3 1 2 0 1 6 1 3 6 9 1 3 9 1 1 3 9 6 1 5 0 2 1 5 1 5 1 5 5 8 1 3 3 6 1 3 3 7 1 6 6 3 1 9 9 7 1 8 3 1 1 3 3 9 1 3 4 1 1 4 6 2 1 4 4 8 1 3 4 2 1 4 2 7 1 5 0 8 1 8 6 0 1 3 4 4 1 7 6 1 1 3 4 7 1 8 4 2 1 3 5 4 1 8 5 9 2 0 0 7 1 3 5 8 1 7 6 5 1 7 1 9 1 8 6 7 2 0 4 4 1 3 6 0 1 3 6 3 1 7 7 5 1 9 2 9 1 9 5 0 1 3 6 2 1 8 6 4 1 9 1 9 1 5 0 0 1 3 6 6 1 5 1 6 1 3 8 8 1 4 0 0 1 3 6 8 1 9 0 3 1 9 7 5 1 3 7 0 1 4 4 5 1 5 3 8 1 5 3 9 1 3 7 2 1 3 7 5 1 3 7 6 1 3 8 2 1 3 7 8 1 5 9 3 2 1 0 4 1 3 8 0 1 8 9 3 1 3 8 1 1 3 9 7 1 8 9 5 1 3 9 9 1 6 3 2 1 3 9 0 1 4 3 9 1 3 9 2 1 3 9 3 1 4 0 4 1 3 9 4 1 3 9 5 1 4 8 5 1 4 0 8 1 9 8 0 1 9 8 3 1 4 7 0 2 1 1 3 1 4 1 1 2 1 9 3 1 4 1 4 1 4 1 5 1 8 4 4 1 9 2 0 1 9 2 1 1 4 5 5 1 8 2 8 1 9 2 3 1 9 6 3 1 4 2 1 1 9 2 4 1 4 2 8 1 4 3 0 1 4 3 1 1 9 7 4 1 9 3 0 1 4 3 7 1 7 8 3 1 9 3 5 1 8 1 1 1 8 8 4 1 5 3 7 1 5 4 8 1 9 8 7 2 0 7 7 2 1 1 8 2 1 1 9 1 4 5 6 1 4 5 7 1 5 9 8 1 9 5 2 2 0 7 2 2 0 7 4 2 0 8 1 2 0 9 5 2 1 0 5 2 1 0 8 2 1 2 3 2 1 4 4 2 1 2 4 2 1 2 5 1 9 5 3 1 4 6 4 1 4 6 5 1 9 0 8 1 7 4 8 1 9 5 4 2 1 8 8 2 1 1 2 2 1 7 3 2 1 2 8 2 1 2 9 2 1 3 1 1 4 7 5 2 0 4 2 1 4 7 7 1 4 7 9 1 4 8 0 2 1 5 7 1 6 2 1 1 7 6 0 1 9 8 4 1 4 9 2 1 5 6 5 1 7 1 0 1 9 8 6 1 4 9 4 1 9 8 8 2 0 1 0 1 9 9 9 1 5 1 4 1 8 1 8 2 2 0 2 1 8 7 6 1 5 0 9 1 5 1 1 2 0 1 9 1 5 1 3 2 0 2 0 2 0 2 2 1 9 2 5 2 0 2 7 1 5 1 9 1 5 2 0 1 5 8 8 1 9 7 9 2 0 3 1 1 9 2 6 1 5 2 9 1 6 9 4 1 6 9 5 2 1 2 6 1 5 3 3 1 6 4 4 1 9 3 8 1 6 1 1 1 5 4 4 1 5 4 7 1 8 3 2 1 5 4 5 1 5 7 5 2 0 4 0 1 5 4 6 1 8 8 8 1 5 9 5 1 6 3 8 1 7 0 8 1 7 3 3 1 7 4 4 1 5 4 9 1 7 8 2 2 1 1 0 1 5 5 0 1 9 3 1 1 5 5 1 1 7 7 9 1 9 9 3 1 6 5 3 1 6 7 0 1 7 2 0 1 7 4 0 1 8 3 9 1 8 9 0 1 9 5 7 2 1 4 2 1 5 5 5 1 5 6 1 1 8 4 1 1 5 5 7 1 7 1 2 1 8 4 6 1 7 8 1 1 5 6 3 1 7 8 7 1 8 5 7 1 5 6 4 1 7 4 5 1 5 6 7 1 5 6 8 1 6 1 8 1 5 7 1 1 5 7 2 1 6 8 5 1 5 7 4 2 0 5 3 2 0 9 9 2 1 1 5 1 9 4 6 1 5 7 8 1 6 4 5 1 9 8 5 1 6 5 7 1 5 8 2 1 7 6 4 1 5 8 3 1 6 9 1 1 9 1 8 2 0 8 7 1 5 9 9 1 8 5 5 1 8 5 6 1 9 5 1 2 0 0 0 2 0 1 2 1 5 8 5 1 7 2 1 1 7 0 2 1 5 8 7 1 5 8 9 2 1 5 0 1 5 9 0 1 7 1 6 1 8 5 4 1 5 9 1 1 5 9 2 2 0 4 8 1 5 9 6 1 9 6 0 2 0 3 8 1 5 9 7 1 6 8 6 1 6 0 0 1 6 0 1 1 9 2 2 1 8 3 8 1 9 7 2 1 6 0 2 2 0 0 1 2 1 3 0 2 1 5 1 1 6 0 4 1 6 4 8 1 7 7 3 1 8 2 3 1 6 9 9 1 8 2 0 2 0 4 3 1 6 0 6 1 6 0 7 1 6 7 4 1 6 0 8 1 9 7 0 1 9 9 8 2 0 6 5 2 1 4 8 1 6 1 2 1 6 1 3 1 6 2 7 1 8 4 7 1 6 1 4 1 6 5 4 1 6 5 9 1 6 1 6 1 8 3 4 1 6 1 7 1 7 0 0 1 8 8 2 1 6 2 3 1 6 9 2 1 6 6 2 2 0 1 4 2 0 0 4 2 0 0 3 1 6 6 4 1 6 2 8 1 7 2 9 1 6 3 3 1 8 1 3 1 8 4 8 1 9 6 4 1 6 3 5 1 6 6 7 1 7 0 3 1 6 3 6 1 7 3 8 1 8 2 4 1 6 3 7 1 6 3 9 1 9 1 1 1 6 4 0 1 7 6 6 1 8 0 4 1 6 4 2 1 6 4 3 2 0 6 7 1 7 5 1 1 9 0 9 1 9 1 6 1 7 5 2 2 0 6 8 1 6 5 0 1 7 8 8 1 6 5 1 1 7 9 5 1 7 9 7 1 6 5 2 1 7 5 9 1 8 7 9 1 7 4 2 1 7 9 0 2 0 3 9 1 8 8 3 1 6 5 5 1 8 9 7 1 6 5 6 1 6 5 8 1 7 7 1 1 8 2 6 1 6 6 0 1 8 2 7 1 6 6 1 1 8 5 0 1 7 2 2 2 1 6 3 1 6 6 5 1 8 6 2 1 9 1 5 1 6 6 8 1 8 0 8 1 6 6 9 1 7 5 4 1 6 7 1 1 7 8 9 2 0 1 3 1 6 7 2 1 6 7 3 1 6 7 5 1 7 0 6 1 6 7 6 1 9 0 6 1 6 8 0 1 7 3 4 1 6 8 1 1 8 7 5 1 6 8 2 1 6 8 3 1 7 7 8 1 8 7 8 1 6 8 8 2 1 6 7 1 7 1 4 1 6 9 0 1 8 6 1 1 8 6 9 1 6 9 3 1 8 5 8 1 9 0 7 1 9 6 7 1 6 9 7 1 6 9 8 1 9 8 2 1 7 8 0 1 7 0 4 1 7 2 4 1 9 7 6 1 7 0 7 1 8 2 9 1 8 7 0 2 1 0 0 1 7 1 1 1 8 9 6 1 9 0 4 1 8 4 3 1 7 3 9 1 7 1 5 1 9 6 1 2 1 1 1 1 8 8 9 2 1 3 6 1 7 1 8 1 8 4 9 1 9 4 5 2 0 8 0 1 7 5 5 1 9 7 7 1 7 3 2 2 1 1 7 2 0 5 2 1 7 5 8 1 8 0 2 2 0 5 1 1 7 3 7 1 7 8 5 1 7 4 1 1 7 4 3 1 7 9 3 2 0 2 5 2 1 6 2 1 7 4 7 2 0 0 8 2 1 8 3 1 8 8 5 1 8 3 3 1 7 5 6 1 7 5 7 1 8 9 8 2 0 8 8 1 8 8 0 1 7 6 8 1 8 4 0 1 7 6 9 2 0 3 2 1 8 9 9 1 7 7 2 1 8 8 6 1 9 6 2 1 9 4 7 2 0 1 1 1 9 0 0 1 9 1 0 2 0 4 1 1 7 9 1 1 7 9 2 1 7 9 6 1 9 9 6 1 8 0 6 1 8 5 1 1 8 1 5 2 0 2 3 2 1 4 9 2 0 4 6 2 0 0 6 2 0 3 4 2 1 5 5 1 8 3 6 2 0 4 9 2 0 7 0 2 0 7 9 2 1 2 2 1 9 8 1 1 9 3 3 1 8 6 8 1 9 1 7 2 1 0 6 1 8 7 1 1 8 7 2 1 8 7 3 2 0 4 7 1 8 8 7 2 1 4 5 2 0 3 0 1 8 9 4 1 9 3 6 1 9 5 8 1 9 9 0 1 9 4 1 1 9 7 8 1 9 4 0 1 9 2 7 2 1 7 7 2 1 9 6 1 9 4 4 2 1 1 6 1 9 3 7 1 9 3 9 1 9 4 3 2 0 8 9 2 1 1 4 2 0 3 3 2 0 5 6 2 1 3 7 2 1 4 0 2 1 4 3 2 1 8 6 2 1 8 7 2 0 2 9 1 9 6 5 1 9 6 6 1 9 6 8 1 9 9 1 2 1 3 3 1 9 7 3 2 0 0 9 2 1 7 5 2 0 7 8 2 1 6 1 2 0 2 6 2 0 0 5 2 1 2 7 2 0 1 8 2 0 2 4 2 0 4 5 2 0 5 4 2 0 5 5 2 1 0 7 2 0 8 4 2 0 5 7 2 0 5 9 2 0 5 8 2 0 6 6 2 1 0 1 2 1 6 5 2 1 6 6 2 0 7 3 2 0 8 2 2 0 8 3 2 0 8 5 2 0 9 4 2 0 9 0 2 1 3 4 2 1 9 0 2 0 9 3 2 1 0 2 2 1 4 6 2 1 0 3 2 1 5 4 2 1 5 3 2 1 3 2 2 1 4 7 2 1 5 2 2 1 6 9 2 1 7 0 2 1 6 0 2 1 6 8 2 1 7 1 2 1 7 2 2 1 7 4 2 1 7 8 2 1 8 1 2 1 9 7 2 1 9 8 2 1 9 9 2 2 0 0 2 2 0 4 2 2 0 1 2 2 0 5 2 2 1 0 2 2 1 1 2 2 0 6 2 3 8 2 2 2 0 8 2 2 4 4 2 3 9 0 2 2 0 9 2 4 1 2 4 7 4 3 2 2 1 2 2 2 1 4 2 3 9 6 4 8 9 7 2 2 1 5 2 3 5 7 2 4 1 1 2 2 1 6 2 3 7 0 2 3 8 7 2 2 1 7 2 2 8 8 2 3 4 5 2 2 1 8 2 3 4 6 2 3 4 7 2 2 1 9 2 3 3 2 2 3 7 3 2 3 9 7 2 2 2 0 2 2 2 9 2 2 2 1 2 2 2 2 2 2 3 2 2 2 6 1 2 2 9 5 2 3 7 6 2 4 0 2 2 4 0 3 2 4 0 5 2 2 2 4 2 3 2 1 2 4 1 8 2 2 3 5 2 3 8 3 2 3 5 0 2 2 2 5 2 3 1 4 2 4 0 4 2 2 2 6 2 2 2 8 2 2 2 7 2 2 3 0 2 3 5 9 2 2 3 4 2 2 6 3 2 3 1 7 2 2 3 3 2 3 0 5 2 3 6 1 2 4 0 9 2 3 6 0 2 2 6 2 2 2 9 8 2 3 0 9 2 3 2 8 2 3 6 9 2 2 3 6 2 2 3 8 2 2 3 7 2 2 9 1 2 3 6 8 2 2 3 9 2 2 8 5 2 3 1 3 2 2 4 0 2 3 2 5 2 3 6 6 2 2 4 1 2 2 4 2 4 5 0 7 4 6 3 1 2 2 4 9 2 3 1 0 2 3 5 5 2 2 4 3 2 3 3 5 2 2 4 5 2 3 1 5 2 4 2 1 2 2 4 6 2 3 0 8 2 3 8 8 2 4 2 0 2 2 4 7 2 2 5 6 2 3 8 6 2 2 4 8 2 2 5 0 4 5 3 5 4 5 3 6 2 2 5 1 2 2 5 2 2 2 5 3 4 5 7 3 4 6 5 2 2 3 1 1 2 2 5 4 2 2 8 1 2 3 7 9 2 2 5 5 2 2 9 2 2 3 2 7 2 3 0 3 2 2 5 7 2 4 0 7 2 2 5 8 2 2 5 9 2 2 6 0 2 3 6 4 2 3 0 6 2 2 6 4 2 2 8 6 2 2 6 5 4 8 5 4 2 2 6 6 2 2 7 2 2 2 6 7 2 2 6 8 2 2 6 9 2 2 7 0 2 3 3 3 2 3 8 1 2 2 7 1 2 4 1 6 2 3 3 4 2 2 7 3 2 2 7 5 2 2 7 4 2 3 7 2 2 2 7 6 2 2 7 7 2 2 9 0 2 3 8 9 2 2 7 8 2 3 2 0 2 3 7 1 2 2 7 9 2 2 8 0 2 2 8 4 2 3 3 6 2 3 0 2 2 3 7 5 2 3 3 1 2 3 9 2 2 2 8 7 2 3 1 6 2 2 8 9 2 3 4 1 2 3 7 7 2 2 9 3 2 3 4 8 2 3 6 7 2 2 9 4 2 2 9 6 2 2 9 7 2 3 4 3 2 2 9 9 2 3 0 0 2 3 0 1 2 3 5 4 2 4 0 8 2 3 3 0 2 4 1 5 4 8 3 7 2 3 1 8 2 3 1 9 2 3 2 2 2 3 2 3 2 3 2 4 2 3 5 8 2 4 0 6 2 3 2 6 2 3 2 9 2 3 5 2 2 3 8 0 2 3 4 9 2 3 3 8 2 3 7 4 2 3 3 7 2 3 3 9 2 4 1 9 2 3 4 0 2 3 6 3 2 4 0 1 2 3 4 2 4 0 3 5 2 3 5 3 4 6 3 4 2 3 5 6 2 3 6 2 2 3 6 5 4 8 5 9 2 3 7 8 2 3 8 4 2 3 8 5 2 3 9 5 2 3 9 8 4 6 6 0 2 3 9 1 2 3 9 4 4 8 4 9 2 3 9 9 2 4 0 0 2 4 1 0 4 5 5 2 4 6 3 2 4 6 4 9 4 7 4 9 4 7 5 3 4 6 9 5 2 4 2 2 2 4 2 3 4 4 9 1 4 5 6 3 2 4 2 4 2 4 2 5 2 4 5 9 2 5 1 9 2 4 8 5 2 6 5 5 2 4 2 7 2 7 2 9 2 7 3 0 2 4 2 8 2 4 8 9 2 5 8 6 2 6 5 6 2 4 2 9 2 5 4 5 2 6 1 7 2 4 3 0 2 5 9 5 2 4 3 1 2 4 3 2 2 8 1 6 2 5 9 0 2 4 3 3 2 5 7 8 2 6 6 1 2 4 3 4 2 4 3 6 2 4 7 1 2 5 2 4 2 5 8 8 2 6 1 9 2 6 2 3 2 6 2 4 2 6 6 2 2 6 6 8 2 6 9 8 2 7 0 1 2 7 0 2 2 4 3 5 2 4 9 0 2 6 3 8 2 6 7 0 2 6 7 2 2 4 3 7 2 4 3 9 2 4 3 8 2 4 4 9 2 5 2 9 2 5 9 6 2 6 3 1 2 6 3 3 2 6 3 9 2 6 8 2 2 6 8 3 2 8 8 5 2 9 9 1 2 4 4 0 4 1 2 9 4 1 4 8 2 4 4 1 2 4 4 3 2 4 4 2 2 5 2 1 2 6 1 6 2 6 2 7 2 4 4 4 2 6 8 1 2 6 8 5 2 7 0 7 2 9 5 6 3 0 9 4 2 4 4 5 2 6 0 4 2 7 0 8 2 4 4 6 2 5 0 2 2 5 5 9 3 2 0 6 2 4 5 7 2 7 9 3 2 8 1 4 2 9 6 7 2 4 4 8 2 5 9 7 2 6 8 7 3 1 8 9 2 4 5 0 2 4 5 1 2 5 7 6 2 7 1 7 2 7 1 9 3 0 4 3 2 4 5 2 2 5 5 1 2 5 6 1 2 6 9 4 2 4 5 3 2 4 5 4 2 5 6 0 2 6 9 7 2 4 5 5 2 7 0 9 2 8 3 8 3 1 0 5 3 2 2 8 2 4 5 6 2 4 5 8 2 9 3 0 3 0 0 4 3 0 1 1 2 4 8 7 2 5 2 5 2 5 9 3 2 6 7 7 2 7 0 3 2 5 5 8 2 5 9 1 2 5 9 9 2 4 6 0 2 4 6 1 2 4 6 2 2 4 6 3 2 6 5 4 2 4 6 4 2 4 8 6 2 7 1 2 2 7 1 3 2 4 6 5 2 7 1 6 2 9 3 9 3 2 4 4 3 2 7 9 2 4 6 6 2 4 6 7 2 4 6 8 2 5 2 7 2 7 1 8 2 4 6 9 2 7 2 3 2 4 7 0 2 9 6 6 2 4 7 2 2 4 9 3 3 2 1 6 2 4 7 3 2 4 7 6 2 4 7 7 2 6 4 5 2 4 7 4 2 4 7 5 2 4 8 3 2 5 5 2 2 6 4 2 2 5 0 3 3 2 1 7 3 2 1 8 2 4 7 8 2 8 1 0 2 8 6 4 2 4 7 9 2 4 8 0 2 4 8 1 2 5 5 5 2 4 8 2 3 2 1 9 2 4 8 4 2 5 0 5 2 7 3 6 3 0 9 0 3 0 9 1 2 4 9 6 2 7 4 1 2 7 4 3 2 7 6 4 2 9 5 8 2 5 2 8 2 6 3 2 2 4 8 8 2 9 8 9 3 2 1 4 3 2 5 2 2 5 8 3 3 0 6 0 3 1 1 5 2 4 9 5 2 4 9 8 2 9 4 8 3 0 1 7 2 4 9 1 2 7 5 9 2 4 9 2 2 6 4 3 2 6 4 6 3 0 1 4 3 0 1 6 3 2 2 4 3 2 2 5 2 4 9 4 2 7 6 0 2 7 6 1 2 7 6 2 2 7 6 3 2 7 6 6 2 4 9 7 2 7 6 7 2 7 6 9 3 1 7 2 2 5 1 3 2 4 9 9 2 5 3 8 2 5 4 4 3 0 7 8 2 5 0 0 2 5 3 0 2 5 7 9 2 7 7 5 2 7 7 6 3 1 1 3 3 2 7 1 2 5 0 1 3 2 2 6 3 2 2 7 2 6 1 1 2 5 0 4 2 6 0 9 2 7 8 2 2 5 2 2 2 7 8 3 2 7 8 5 3 0 4 9 2 5 0 6 2 6 2 2 2 7 7 7 2 8 0 2 2 5 0 7 2 5 0 8 2 6 1 3 2 5 0 9 2 5 1 0 2 5 1 1 2 5 1 2 3 2 2 9 2 7 9 5 2 5 1 4 2 5 1 5 3 0 3 6 3 2 3 1 2 5 1 6 2 5 1 7 2 5 1 8 2 6 0 2 2 5 2 0 2 5 3 3 3 0 0 5 2 6 4 1 3 2 3 3 2 6 0 1 2 6 1 4 2 8 0 6 2 8 0 7 3 0 4 5 3 0 4 7 2 5 2 3 2 8 1 3 2 5 2 6 3 2 3 4 2 6 0 0 2 7 8 9 2 8 0 4 2 8 1 5 2 5 4 9 2 6 0 6 2 6 1 2 2 5 5 4 2 8 7 4 2 9 1 7 3 1 8 6 2 5 3 1 2 7 9 2 2 9 1 6 2 9 1 8 3 1 8 1 2 6 3 6 2 7 2 5 2 7 2 6 2 5 3 2 2 5 3 4 2 7 6 5 2 8 2 1 2 8 2 3 3 1 1 2 3 1 7 9 2 5 6 4 2 6 5 9 2 5 3 5 2 5 3 6 2 6 2 9 2 5 3 7 2 8 4 1 3 0 5 5 2 5 3 9 2 5 5 0 2 9 2 0 3 1 2 3 3 1 2 4 2 5 4 0 2 8 2 8 2 5 4 1 2 7 2 8 2 9 5 2 2 9 9 7 3 0 6 8 3 1 7 4 3 2 0 7 4 2 1 9 2 7 9 1 2 8 4 3 2 8 4 4 2 9 2 3 2 5 9 2 2 6 3 7 2 8 5 8 2 8 6 0 2 8 6 2 3 1 5 4 2 5 4 6 2 5 4 7 2 8 4 7 2 8 4 8 2 8 5 5 2 8 5 6 2 8 4 9 2 8 5 0 2 8 5 3 2 8 5 4 2 8 5 2 3 2 9 2 2 5 5 3 2 7 2 1 2 8 0 1 2 8 0 9 2 8 4 5 2 8 7 0 2 8 7 1 2 8 7 2 2 9 0 8 2 9 2 2 2 9 7 1 2 9 9 5 2 9 9 9 3 0 9 6 3 1 2 8 3 1 4 1 3 1 4 9 3 2 8 4 2 5 7 5 2 6 0 8 3 1 8 7 2 5 5 6 2 6 2 1 4 0 9 9 4 3 1 7 3 2 4 2 3 2 4 3 2 8 8 2 2 8 2 6 2 8 8 3 2 9 0 0 2 5 6 3 2 6 2 0 2 7 9 0 3 1 4 6 3 1 4 7 2 6 5 8 2 8 9 2 2 5 6 5 2 8 1 7 2 8 9 4 2 9 4 1 2 5 6 6 2 5 6 7 2 5 6 8 2 8 9 5 2 5 6 9 2 6 6 6 2 5 7 0 2 8 9 6 2 5 7 1 2 8 9 8 2 5 7 2 2 8 9 9 2 5 7 3 2 5 7 4 2 6 9 2 2 8 1 2 2 9 0 6 2 9 3 6 2 9 7 2 3 0 9 7 3 2 8 1 2 5 8 1 2 7 3 3 2 7 9 4 2 9 0 4 2 9 0 5 2 9 0 7 2 9 6 4 3 2 0 5 3 2 7 7 2 5 7 7 3 2 4 7 3 2 4 8 2 9 0 2 2 5 8 0 2 5 8 2 2 5 8 4 2 5 8 5 2 6 7 4 2 7 1 0 2 7 2 0 2 7 2 2 2 8 8 0 2 8 8 9 2 9 1 1 3 0 9 5 3 1 5 8 3 1 9 9 3 2 1 5 2 5 8 7 2 5 8 9 3 2 5 1 2 9 1 2 2 7 0 4 2 9 0 9 2 6 0 5 3 1 5 7 2 9 2 7 2 9 2 8 2 9 3 4 2 5 9 8 2 9 3 3 2 6 0 3 2 9 4 3 2 9 5 3 2 9 5 5 2 6 1 8 2 6 0 7 2 9 6 0 2 9 5 9 3 1 8 8 2 6 5 1 2 9 6 3 2 6 1 0 2 6 4 0 3 2 8 8 3 2 8 9 2 9 7 0 2 6 1 5 3 2 6 6 2 8 8 6 2 9 7 3 2 9 7 4 2 9 7 6 2 9 7 8 4 1 7 2 4 2 6 5 2 9 9 3 2 9 7 9 2 9 8 0 2 6 2 5 2 6 2 6 2 6 2 8 2 9 8 2 2 9 9 0 2 9 8 6 2 9 8 7 2 6 3 0 3 2 7 2 2 6 3 4 3 2 8 3 3 2 0 4 2 6 3 5 2 9 6 5 3 2 0 8 2 6 4 4 3 2 1 2 2 6 4 8 3 2 3 6 3 2 3 7 2 6 4 7 3 2 3 9 3 2 4 0 3 2 5 4 2 6 4 9 3 2 5 5 3 2 5 6 3 2 5 7 3 2 5 8 3 2 5 9 3 2 6 0 3 2 6 1 3 2 7 3 3 2 7 4 2 6 5 0 3 1 1 4 2 6 5 2 2 6 5 3 3 0 4 0 3 0 1 9 2 7 4 0 2 8 2 5 3 1 7 6 3 1 7 8 2 6 6 9 3 1 5 5 2 6 5 7 2 6 9 3 3 0 7 7 2 6 6 7 2 6 6 0 3 0 2 4 3 2 0 1 2 6 8 4 2 7 0 5 2 8 1 9 2 8 3 7 2 9 4 4 2 9 6 9 3 1 0 4 3 2 0 0 2 6 6 3 2 6 6 4 2 6 6 5 2 7 8 8 3 0 0 8 3 2 2 1 2 6 7 1 2 7 8 0 2 7 9 6 3 0 0 1 3 0 2 6 3 1 4 3 2 6 7 3 2 8 9 0 2 6 7 5 2 9 1 4 2 6 7 6 2 6 7 8 2 7 1 4 2 9 4 2 2 6 7 9 2 9 8 4 2 6 8 6 2 7 7 8 3 0 0 3 2 7 5 8 2 8 4 6 3 0 5 0 3 0 9 8 3 0 9 9 2 6 8 8 2 6 8 9 2 6 9 0 2 6 9 1 2 8 9 1 3 1 4 5 3 1 8 0 3 2 6 2 3 1 7 1 3 2 8 6 2 9 2 1 3 0 2 1 3 0 2 2 3 0 2 9 2 6 9 5 2 6 9 6 2 7 8 7 2 8 8 1 3 0 9 3 3 1 3 3 3 1 3 4 3 1 9 0 3 2 7 0 2 6 9 9 2 7 0 0 3 2 6 8 3 0 6 7 2 7 4 5 3 0 1 2 3 1 0 3 2 7 0 6 2 8 4 0 2 7 1 1 2 9 5 7 3 2 1 0 3 2 2 0 3 2 6 3 2 7 1 5 2 8 1 1 3 0 5 7 4 0 2 2 4 0 2 3 2 7 5 7 2 7 2 4 2 7 5 5 2 7 5 6 2 7 7 9 2 8 3 9 2 8 5 7 3 0 6 1 2 7 2 7 2 7 8 1 3 0 0 9 3 2 8 7 3 0 6 2 3 2 6 5 2 7 3 1 2 7 3 2 3 0 6 4 2 7 3 4 2 7 3 8 2 7 3 5 2 8 2 7 2 7 3 7 3 0 1 0 3 1 9 3 2 7 3 9 2 9 3 2 3 0 4 1 3 0 4 2 2 7 4 2 2 7 4 4 2 7 4 6 3 0 8 1 2 7 4 7 3 0 8 2 2 7 4 8 3 0 8 3 2 7 4 9 3 0 8 4 2 7 5 0 3 0 8 5 2 7 5 1 3 0 8 6 2 7 5 2 3 0 8 7 2 7 5 3 3 0 8 8 2 7 5 4 3 0 8 9 2 8 7 8 3 1 0 0 2 7 6 8 2 7 7 0 2 7 7 1 2 7 7 2 2 7 7 3 3 0 0 2 2 7 7 4 2 9 8 1 2 8 4 2 2 9 6 8 2 7 8 4 3 0 7 6 2 7 8 6 2 9 7 7 3 2 6 7 3 1 0 8 3 1 1 0 3 1 5 2 2 7 9 7 2 7 9 8 2 8 0 0 3 1 7 5 2 8 2 0 3 1 5 0 3 2 1 1 3 2 2 2 3 2 5 3 2 9 4 6 2 9 4 7 3 1 5 1 2 8 0 3 2 8 0 5 3 2 3 8 3 1 6 8 2 8 0 8 2 9 0 3 3 0 7 9 3 1 1 6 2 9 8 3 3 1 0 6 3 1 4 2 3 1 9 8 2 8 1 8 2 8 6 6 3 1 3 1 2 8 6 5 2 8 2 2 2 8 2 4 3 1 7 7 2 8 2 9 2 8 3 0 2 8 3 1 2 8 3 3 3 2 5 0 3 0 2 5 2 9 3 5 2 9 4 0 3 1 9 5 3 0 1 8 3 1 7 3 3 2 1 3 2 8 5 1 2 9 3 7 3 0 3 8 3 1 2 6 3 1 3 0 3 1 5 6 3 2 7 6 3 2 7 5 3 2 7 8 3 0 8 0 2 8 5 9 2 8 6 1 2 8 6 3 3 0 2 8 3 1 2 0 3 1 2 2 2 8 6 7 2 8 6 8 3 1 3 5 2 8 6 9 3 1 3 6 2 8 7 6 2 8 7 7 2 8 7 3 2 8 7 5 3 1 5 3 2 8 7 9 3 1 1 1 3 1 1 7 2 9 9 8 3 1 9 7 3 2 3 0 2 8 8 4 3 0 5 8 2 8 8 7 2 8 8 8 2 8 9 3 2 9 9 6 3 0 0 0 3 2 4 5 2 8 9 7 3 0 2 3 2 9 0 1 2 9 1 0 2 9 1 3 3 2 8 0 2 9 1 5 3 1 3 8 2 9 2 6 2 9 1 9 3 1 6 7 3 0 5 1 2 9 2 4 2 9 2 5 2 9 3 8 2 9 2 9 3 1 6 3 3 1 6 4 2 9 3 1 3 0 2 0 3 0 3 3 3 0 3 4 3 2 4 1 2 9 9 4 3 1 4 0 3 1 6 9 3 2 2 3 4 0 2 4 3 1 7 0 2 9 4 5 2 9 5 0 2 9 5 1 3 0 3 5 2 9 5 4 3 0 6 3 3 1 0 9 3 1 2 1 3 1 4 8 3 1 6 1 2 9 6 1 2 9 6 2 3 0 6 6 3 1 3 2 3 0 5 2 2 9 7 5 3 2 0 3 3 1 9 1 3 1 9 2 3 0 5 4 3 2 3 2 3 2 3 5 2 9 8 5 3 1 0 7 2 9 8 8 3 1 9 6 2 9 9 2 3 1 1 8 3 1 1 9 3 1 2 5 3 0 5 6 3 0 0 6 3 0 0 7 3 2 0 9 3 2 6 9 3 1 6 5 3 2 6 4 3 0 1 3 3 0 1 5 3 0 7 1 3 0 2 7 3 0 4 8 3 0 3 0 3 1 2 9 3 0 3 1 3 1 0 1 3 0 3 2 3 1 0 2 3 0 3 7 3 0 3 9 3 0 4 4 3 0 7 5 3 1 3 7 3 0 4 6 3 0 7 3 3 0 5 3 3 0 5 9 3 0 6 5 3 1 5 9 3 2 0 2 3 0 6 9 3 0 7 0 3 0 7 2 3 1 6 6 3 0 7 4 3 0 9 2 3 1 2 7 3 1 4 4 3 2 4 6 3 2 4 9 3 1 3 9 3 1 6 0 3 1 6 2 3 1 9 4 3 1 8 2 3 1 8 3 3 1 8 4 3 1 8 5 3 2 8 2 3 2 8 5 3 2 9 0 3 2 9 1 3 2 9 3 3 4 1 1 3 4 8 8 3 5 9 3 3 2 9 4 3 2 9 5 3 3 3 4 3 3 8 8 3 5 5 2 3 3 1 4 4 8 6 1 3 2 9 6 3 2 9 7 3 3 2 5 3 4 3 3 3 5 0 6 3 5 6 8 3 3 1 0 3 3 2 6 3 3 3 3 3 2 9 8 3 2 9 9 3 5 3 8 3 3 2 9 3 4 4 0 3 4 4 1 3 5 5 8 3 3 0 0 3 4 4 6 3 3 0 1 3 6 2 2 3 7 0 8 3 3 0 2 3 4 5 0 3 6 3 1 3 6 7 2 3 3 0 3 3 4 6 8 3 3 0 4 3 3 0 5 3 3 0 6 3 4 6 7 3 3 0 7 3 3 4 4 3 4 2 0 3 4 6 9 3 4 7 0 3 5 4 0 3 6 2 7 3 6 5 2 3 3 0 8 3 4 7 4 3 5 8 0 3 5 9 6 3 6 5 4 3 6 9 2 3 3 0 9 3 4 6 4 3 4 6 5 3 6 4 5 3 3 5 7 3 4 6 0 3 4 7 7 3 4 7 8 3 4 8 4 3 3 1 1 3 3 1 2 3 4 5 5 3 3 2 1 3 3 3 6 3 3 5 1 3 3 5 9 3 6 3 2 3 6 9 7 3 3 1 3 3 6 9 3 3 4 3 5 3 3 1 5 3 3 5 5 3 6 1 0 3 6 2 5 3 6 5 6 3 3 1 6 3 3 1 7 3 3 6 6 3 4 8 3 3 5 3 6 3 5 5 7 3 6 2 0 3 3 5 2 3 3 9 2 3 3 9 3 3 4 2 1 3 7 2 4 3 3 1 8 3 4 7 3 4 8 6 4 3 3 1 9 3 4 1 8 3 4 9 7 3 5 7 3 3 5 7 4 3 6 7 7 3 3 2 0 3 3 6 0 3 5 4 2 3 5 4 6 3 5 4 7 3 6 0 7 3 3 2 8 3 4 7 1 3 6 9 8 3 3 2 2 3 3 2 3 3 4 5 4 3 6 6 8 4 8 3 0 3 3 3 1 3 3 4 5 3 3 2 4 3 3 4 2 3 5 6 4 3 5 7 2 3 5 7 6 3 3 2 7 3 7 1 3 3 7 4 0 3 5 6 1 3 7 4 2 3 3 6 5 3 4 6 6 3 4 7 2 3 4 9 8 3 5 8 2 3 3 3 0 3 5 8 1 3 7 0 5 4 6 0 3 4 8 3 1 3 3 3 2 3 6 1 6 3 7 2 2 4 8 7 6 3 6 2 9 4 7 5 9 3 3 3 5 4 6 5 5 3 3 3 7 3 3 4 9 3 4 2 9 3 6 2 8 4 8 6 5 3 3 3 8 3 6 3 4 3 3 3 9 3 6 4 3 3 3 4 0 3 3 4 1 3 5 2 9 4 8 7 5 3 4 1 3 3 3 4 3 3 6 3 8 3 6 3 9 3 6 4 7 3 6 4 8 3 6 5 9 3 4 0 3 4 8 8 8 3 3 4 6 3 7 0 9 3 3 4 7 3 3 4 8 3 4 0 2 3 6 6 1 3 6 7 8 3 7 2 9 4 8 8 3 3 6 6 3 3 3 5 0 3 6 7 3 3 6 7 4 3 6 8 8 3 7 0 0 3 7 0 1 3 5 9 8 3 6 7 1 3 6 8 9 3 7 0 2 3 3 6 1 3 3 6 2 3 6 1 2 4 5 8 2 3 3 5 3 3 4 2 3 3 4 8 6 3 5 6 3 3 6 5 5 3 3 5 4 3 4 3 2 3 4 3 7 3 5 6 9 3 6 0 1 3 7 1 4 3 7 1 5 3 7 1 6 3 3 5 6 3 5 9 0 3 6 8 3 3 7 2 3 3 3 5 8 3 3 9 5 3 7 2 5 3 7 2 6 3 7 2 7 3 7 3 0 4 6 7 7 4 6 7 8 4 4 7 6 3 3 6 3 3 4 7 5 4 5 0 9 3 3 6 4 3 5 7 9 4 5 7 0 3 3 6 7 3 3 6 8 3 3 6 9 3 3 7 0 3 5 2 3 3 3 7 1 3 5 1 6 3 5 6 7 3 6 0 8 3 6 2 1 3 3 7 2 4 8 7 8 3 3 7 3 3 4 3 1 3 3 7 4 3 3 7 5 3 3 7 6 3 3 7 7 3 4 8 0 3 3 7 8 3 3 7 9 3 3 8 0 4 4 7 8 3 3 8 1 4 8 5 0 3 3 8 2 3 3 8 3 3 5 6 2 3 3 8 4 3 5 9 1 3 3 8 5 3 3 8 6 3 4 4 5 3 3 8 7 3 3 8 9 3 3 9 0 3 6 9 0 3 3 9 1 3 6 9 4 3 3 9 4 3 3 9 6 3 3 9 7 3 3 9 8 3 3 9 9 3 5 6 5 3 6 7 5 3 4 0 0 3 4 0 1 3 5 3 4 3 6 0 9 3 5 5 4 3 6 8 6 3 7 4 7 3 7 4 8 3 4 0 4 3 4 5 6 3 6 8 2 3 4 0 5 3 6 5 8 3 4 0 6 3 4 1 0 3 4 0 7 3 4 0 8 3 4 0 9 3 6 6 6 3 7 1 2 3 5 1 7 3 5 1 9 3 6 7 6 3 4 1 2 3 6 2 6 3 6 8 4 3 4 1 4 3 5 0 2 3 5 5 1 3 4 1 5 3 4 1 6 3 4 1 7 3 4 3 0 3 4 1 9 3 5 3 2 3 4 2 2 3 5 2 8 3 4 2 5 3 4 2 6 3 4 2 4 3 6 0 0 3 7 3 3 3 4 2 7 3 6 2 3 3 4 2 8 3 6 1 9 3 6 9 5 3 6 5 7 3 4 3 4 3 4 3 6 3 4 8 5 3 6 6 5 3 4 3 8 3 5 2 7 3 5 8 8 3 4 3 9 3 4 4 2 3 4 4 4 3 6 1 4 3 4 4 3 3 4 4 7 3 4 4 8 3 7 3 7 3 4 4 9 3 5 4 5 3 7 1 0 3 4 5 1 3 6 1 5 3 4 5 2 3 4 5 3 3 6 4 6 4 8 4 5 3 4 5 7 3 4 5 8 3 4 5 9 3 4 6 1 3 4 6 2 3 4 6 3 3 5 0 3 3 4 7 9 3 5 2 6 3 5 9 2 3 6 1 3 3 5 4 4 3 4 7 6 3 4 8 1 3 6 9 9 3 4 8 2 3 7 3 9 3 4 8 7 3 5 6 0 3 6 7 9 3 4 8 9 3 4 9 0 3 4 9 1 3 4 9 2 3 6 5 0 3 4 9 3 3 4 9 6 3 4 9 9 3 5 0 0 3 4 9 4 3 5 0 1 3 7 3 4 3 4 9 5 3 7 3 5 3 5 2 5 3 5 1 5 3 5 5 0 3 5 0 4 3 6 9 6 3 7 3 2 3 5 0 5 3 5 0 7 3 5 1 0 3 5 0 8 3 5 1 3 3 5 0 9 3 5 1 1 3 5 1 2 3 7 3 8 3 5 1 4 3 5 2 0 3 5 8 4 3 5 1 8 3 5 2 1 3 5 2 2 3 5 7 1 3 5 2 4 3 5 3 0 3 5 3 1 3 7 0 3 3 6 7 0 3 5 3 3 3 7 0 6 3 5 3 5 3 7 1 7 3 5 3 7 3 7 4 6 3 7 4 1 3 5 3 9 3 5 4 1 3 6 0 4 3 6 5 3 3 6 6 7 3 5 4 3 4 8 6 2 3 5 5 6 3 6 1 7 3 6 1 8 3 5 4 8 3 5 4 9 3 6 5 1 3 5 5 5 3 6 0 5 3 5 5 9 3 7 4 4 3 5 6 6 3 7 1 9 3 5 7 7 3 7 3 1 3 5 7 0 3 5 8 9 3 5 7 5 3 5 7 8 3 7 1 8 3 5 8 5 3 6 2 4 3 6 6 2 3 5 9 4 3 5 9 5 3 5 9 7 3 5 9 9 3 6 0 2 3 6 0 3 3 6 6 0 3 6 1 1 3 6 0 6 3 7 3 6 3 6 6 9 3 6 4 9 3 6 3 0 3 6 3 3 3 6 3 5 3 7 2 1 3 6 3 6 3 6 4 0 3 6 4 1 3 6 4 2 4 8 8 5 4 6 2 8 3 6 4 4 3 7 4 3 3 6 6 4 3 7 4 5 3 6 8 0 3 6 8 1 3 6 8 5 3 6 8 7 3 7 2 8 3 6 9 1 3 7 0 4 3 7 0 7 3 7 1 1 3 7 2 0 3 7 4 9 3 7 7 8 3 9 3 2 3 7 5 0 3 7 6 2 3 7 6 7 3 7 9 3 3 7 5 1 3 7 5 2 3 7 7 3 3 8 0 4 3 9 3 6 3 7 5 3 3 7 5 4 3 7 5 5 3 7 7 4 3 7 8 4 3 7 5 6 3 7 5 7 3 7 9 2 3 9 3 0 3 9 3 1 3 7 5 8 3 7 5 9 3 8 8 3 3 7 6 0 3 7 6 1 3 7 8 8 3 7 6 4 3 9 2 6 3 9 3 5 3 7 6 3 3 7 6 5 3 7 6 6 3 7 8 9 3 9 4 6 4 1 9 9 3 8 0 1 3 8 3 8 3 9 3 8 3 7 6 8 3 9 4 3 3 7 8 2 3 7 7 1 3 7 7 2 3 7 8 3 3 8 2 5 3 8 4 7 3 7 9 5 3 7 9 7 3 8 6 3 3 7 7 5 3 7 7 6 3 7 7 7 3 8 0 9 3 9 2 1 3 9 2 2 3 7 7 9 3 8 1 6 3 8 5 1 3 8 5 5 3 8 7 1 3 8 9 3 3 7 8 0 3 7 9 0 3 7 8 5 3 7 9 8 3 8 7 0 3 8 3 6 3 8 4 1 3 8 4 2 3 8 6 8 3 8 7 9 3 7 8 7 3 9 0 5 3 7 8 6 3 8 5 7 3 8 8 6 3 8 9 1 3 8 9 6 3 8 9 5 3 9 3 7 3 7 9 1 3 8 2 2 3 7 9 4 3 9 0 4 3 8 0 2 3 7 9 6 3 7 9 9 3 8 5 4 3 8 7 6 3 8 7 7 3 8 8 7 3 9 1 6 3 9 3 4 3 8 0 0 3 9 3 9 3 9 4 0 3 9 4 1 3 9 1 8 3 8 0 3 3 9 2 8 3 9 4 4 3 8 0 5 3 8 6 4 3 8 0 6 3 8 0 7 3 8 4 4 3 9 0 1 3 8 0 8 3 8 7 5 3 8 9 4 3 9 4 5 3 8 1 0 3 8 1 1 3 8 2 1 3 8 3 1 3 8 1 2 3 8 1 3 3 8 4 3 3 8 9 8 3 8 1 4 3 9 0 8 3 8 1 5 3 8 1 9 3 8 4 9 3 8 1 7 3 8 8 9 3 8 9 0 3 8 1 8 3 8 8 0 3 8 2 0 3 8 2 3 3 8 8 1 3 9 1 2 3 9 1 3 3 8 2 4 3 9 0 3 3 8 2 6 3 8 2 7 3 8 2 8 3 8 5 6 3 8 2 9 3 8 3 0 3 8 3 7 3 9 0 0 3 8 3 2 3 8 3 3 3 9 1 9 3 8 3 4 3 8 3 5 3 8 5 0 3 9 0 7 3 8 3 9 3 8 4 0 3 8 6 2 3 9 0 6 3 9 2 3 3 8 4 5 3 8 7 2 3 8 7 3 3 8 4 6 3 8 5 9 3 8 4 8 3 9 2 0 3 9 2 7 3 8 5 2 3 8 5 3 3 8 6 1 3 8 8 8 3 8 5 8 3 8 6 0 3 9 0 2 3 9 1 4 3 8 6 5 3 8 6 6 3 8 6 7 3 8 6 9 3 9 1 5 3 9 1 1 3 8 7 4 3 9 2 9 3 8 7 8 3 8 9 2 3 9 2 5 3 8 8 2 3 9 1 7 3 9 1 0 3 8 8 4 3 8 8 5 3 9 0 9 3 8 9 7 3 9 3 3 3 8 9 9 3 9 2 4 3 9 4 2 3 9 4 7 3 9 7 3 3 9 4 8 3 9 5 6 3 9 7 8 4 0 1 2 3 9 4 9 3 9 5 0 3 9 9 8 3 9 7 5 3 9 5 1 3 9 8 0 3 9 5 2 4 0 4 0 3 9 5 3 3 9 8 3 4 0 0 0 3 9 5 4 3 9 6 6 3 9 9 5 4 0 6 2 4 0 6 4 3 9 5 5 3 9 6 9 4 0 5 5 4 0 5 6 3 9 5 7 3 9 6 3 3 9 6 5 3 9 7 9 3 9 8 9 4 0 0 8 4 0 3 1 3 9 5 8 3 9 5 9 3 9 9 9 4 0 1 6 3 9 9 7 4 0 1 1 3 9 6 0 3 9 6 2 4 0 3 4 3 9 6 1 4 0 4 5 4 0 0 4 4 0 4 7 3 9 6 4 4 0 0 2 3 9 8 5 4 0 4 1 4 0 6 3 3 9 6 7 3 9 6 8 3 9 7 1 3 9 7 0 3 9 7 2 4 0 2 9 4 0 7 2 3 9 9 2 4 0 0 5 3 9 8 4 3 9 7 4 4 0 7 8 3 9 9 4 3 9 7 6 3 9 7 7 4 0 2 0 4 0 2 7 3 9 8 1 4 0 3 8 4 0 6 7 3 9 8 6 3 9 8 8 4 0 0 6 4 0 4 8 3 9 9 0 3 9 9 1 4 0 2 5 4 0 0 3 4 0 1 3 4 0 2 1 3 9 9 3 4 0 3 3 4 0 6 8 4 0 6 5 3 9 9 6 4 0 5 0 4 0 0 1 4 0 3 0 4 0 3 6 4 0 2 8 4 0 0 7 4 0 4 9 4 0 0 9 4 0 1 8 4 0 3 7 4 0 4 6 4 0 7 9 4 0 1 0 4 0 1 7 4 0 1 4 4 0 1 5 4 0 5 8 4 0 1 9 4 0 2 6 4 0 3 2 4 0 8 0 4 0 3 9 4 0 5 7 4 0 4 2 4 0 4 3 4 0 6 6 4 0 4 4 4 0 5 3 4 0 5 1 4 0 5 2 4 0 6 9 4 0 7 0 4 0 5 4 4 0 5 9 4 0 6 0 4 0 6 1 4 0 7 1 4 1 0 5 4 0 7 3 4 0 7 4 4 0 7 5 4 0 7 6 4 0 7 7 4 0 8 1 4 0 8 6 4 0 8 2 4 0 8 4 4 0 8 3 4 0 9 0 4 0 8 5 4 1 6 2 4 0 8 7 4 1 6 6 4 2 1 8 4 2 6 7 4 0 8 8 4 0 8 9 4 2 9 9 4 1 8 7 4 1 8 8 4 1 2 1 4 1 6 0 4 2 1 7 4 0 9 1 4 0 9 2 4 1 1 6 4 1 8 9 4 2 0 8 4 0 9 3 4 1 0 2 4 2 8 5 4 0 9 4 4 1 5 2 4 2 7 9 4 0 9 5 4 0 9 6 4 1 0 6 4 0 9 7 4 1 3 6 4 2 0 0 4 2 2 2 4 2 4 5 4 2 4 6 4 0 9 8 4 1 4 7 4 2 8 1 4 2 8 2 4 2 8 3 4 1 1 0 4 1 0 0 4 1 0 1 4 2 4 1 4 2 4 4 4 2 6 0 4 2 0 6 4 2 2 7 4 1 5 1 4 3 0 5 4 3 0 6 4 1 0 3 4 1 0 4 4 2 2 5 4 1 0 7 4 1 0 9 4 1 4 4 4 1 8 4 4 1 0 8 4 1 3 8 4 1 5 6 4 2 4 3 4 2 0 1 4 2 2 1 4 2 6 8 4 2 1 3 4 1 1 4 4 1 4 9 4 3 2 0 4 1 1 5 4 1 1 7 4 1 1 8 4 2 3 9 4 2 4 0 4 1 2 4 4 1 5 4 4 1 5 9 4 1 1 9 4 1 6 3 4 1 4 3 4 1 5 0 4 2 0 2 4 1 2 2 4 1 2 3 4 1 2 5 4 1 2 8 4 1 2 6 4 1 2 7 4 2 5 2 4 1 8 6 4 3 2 3 4 3 2 4 4 1 3 0 4 1 3 1 4 1 9 6 4 1 3 2 4 1 3 3 4 1 3 4 4 1 3 5 4 1 5 8 4 1 3 7 4 1 5 7 4 2 3 8 4 2 5 9 4 2 2 4 4 1 3 9 4 1 7 5 4 1 4 0 4 1 4 1 4 1 4 2 4 1 4 6 4 1 7 1 4 2 0 4 4 3 2 5 4 3 2 6 4 2 0 9 4 2 1 2 4 2 1 5 4 1 6 5 4 1 5 3 4 2 5 3 4 1 9 3 4 1 5 5 4 2 4 2 4 2 4 9 4 2 5 8 4 1 9 4 4 2 2 3 4 2 2 8 4 2 2 9 4 2 3 3 4 2 3 0 4 2 3 1 4 2 3 2 4 2 6 9 4 1 6 1 4 2 5 1 4 2 1 6 4 1 7 4 4 2 0 7 4 2 8 8 4 2 8 9 4 1 8 1 4 2 1 4 4 1 6 7 4 1 6 8 4 1 6 9 4 1 7 0 4 1 7 6 4 2 8 0 4 1 7 7 4 1 7 8 4 1 8 0 4 1 8 2 4 2 9 0 4 2 1 0 4 2 9 5 4 2 9 6 4 2 9 7 4 2 9 8 4 1 8 3 4 2 2 6 4 1 8 5 4 3 0 0 4 2 0 3 4 2 8 4 4 1 9 0 4 1 9 1 4 1 9 2 4 2 3 4 4 1 9 5 4 2 5 4 4 2 5 7 4 2 6 6 4 1 9 7 4 1 9 8 4 3 0 4 4 2 3 5 4 2 3 6 4 2 5 6 4 2 6 1 4 2 6 2 4 2 8 6 4 2 8 7 4 2 0 5 4 3 0 8 4 3 0 9 4 3 1 0 4 3 1 1 4 3 1 2 4 3 1 3 4 3 1 4 4 3 1 5 4 3 1 6 4 2 6 4 4 3 0 1 4 2 2 0 4 2 7 0 4 2 7 1 4 2 7 2 4 2 7 3 4 2 7 4 4 2 7 5 4 2 3 7 4 2 4 7 4 2 4 8 4 2 5 0 4 2 5 5 4 2 6 3 4 2 7 6 4 2 7 7 4 2 7 8 4 2 9 1 4 3 2 1 4 3 2 2 4 2 9 2 4 2 9 3 4 2 9 4 4 3 1 8 4 3 1 9 4 3 0 2 4 3 0 3 4 3 0 7 4 3 2 7 4 3 4 2 4 3 7 5 4 3 8 7 4 3 9 2 4 4 1 0 4 3 2 8 4 3 3 1 4 3 4 6 4 3 2 9 4 3 7 7 4 3 3 0 4 4 0 1 4 4 0 7 4 3 3 2 4 3 3 5 4 3 3 6 4 3 4 0 4 3 4 7 4 3 8 1 4 3 8 5 4 3 9 1 4 3 9 8 4 4 0 0 4 4 0 2 4 4 1 3 4 3 3 3 4 3 5 5 4 3 5 7 4 3 5 9 4 3 8 3 4 3 9 5 4 3 3 4 4 3 4 5 4 3 6 1 4 3 7 3 4 3 3 7 4 3 8 6 4 3 3 8 4 3 3 9 4 3 7 4 4 3 7 6 4 3 6 5 4 3 6 8 4 4 0 4 4 4 1 1 4 3 4 3 4 3 9 9 4 3 4 4 4 3 5 2 4 3 8 4 4 4 0 8 4 4 0 6 4 4 0 9 4 4 1 9 4 3 6 0 4 4 1 7 4 4 1 8 4 3 4 8 4 3 4 9 4 3 5 0 4 3 5 1 4 4 1 6 4 3 6 3 4 3 5 3 4 3 9 6 4 4 1 2 4 3 5 4 4 4 0 3 4 3 5 6 4 3 5 8 4 3 6 4 4 3 7 1 4 3 7 2 4 3 8 0 4 3 8 8 4 4 0 5 4 3 6 9 4 3 7 0 4 3 6 6 4 3 6 7 4 3 9 7 4 3 7 8 4 3 7 9 4 3 8 2 4 3 8 9 4 3 9 0 4 3 9 3 4 3 9 4 4 4 1 4 4 4 2 0 4 4 2 1 4 4 3 6 4 4 4 2 4 4 2 2 4 4 2 4 4 4 3 2 4 4 3 0 4 4 2 7 4 4 2 9 4 4 4 3 4 4 3 3 4 4 3 4 4 4 3 9 4 4 4 1 4 4 3 8 4 4 4 0 4 4 4 7 4 4 4 9 4 4 5 0 4 4 5 1 4 4 5 4 4 4 5 2 4 4 5 3 4 4 5 5 4 4 5 6 4 4 6 3 4 4 6 4 4 4 6 5 4 4 6 6 4 4 6 0 4 4 6 7 4 4 8 5 4 5 5 3 4 4 6 8 4 6 1 3 4 4 6 9 4 5 2 6 4 6 0 2 4 6 2 6 4 7 9 6 4 4 7 0 4 6 3 9 4 6 7 6 4 7 6 6 4 4 7 1 4 4 7 5 4 5 9 0 4 4 7 2 4 6 7 1 4 4 7 3 4 4 7 4 4 5 0 8 4 6 0 5 4 6 1 7 4 6 4 6 4 8 6 7 4 5 5 9 4 4 7 7 4 6 6 2 4 5 7 4 4 8 3 2 4 4 7 9 4 4 8 0 4 4 8 1 4 4 8 2 4 4 8 3 4 7 7 2 4 5 0 1 4 4 8 4 4 5 4 0 4 6 8 8 4 4 9 6 4 5 3 0 4 6 0 1 4 4 8 6 4 4 8 7 4 5 3 3 4 5 5 0 4 5 8 8 4 7 0 3 4 4 8 8 4 5 2 9 4 5 6 2 4 4 8 9 4 6 1 0 4 4 9 0 4 5 0 0 4 6 4 8 4 4 9 2 4 5 8 0 4 5 8 4 4 6 6 9 4 5 4 3 4 4 9 3 4 5 1 0 4 6 1 6 4 7 9 7 4 4 9 4 4 5 9 6 4 7 0 2 4 4 9 5 4 6 5 9 4 7 6 7 4 4 9 7 4 5 4 7 4 6 0 6 4 7 9 8 4 4 9 8 4 4 9 9 4 6 7 4 4 7 6 4 4 7 6 5 4 5 0 2 4 5 0 3 4 5 6 1 4 5 0 4 4 5 2 2 4 5 8 9 4 5 0 5 4 5 0 6 4 6 0 0 4 5 4 6 4 5 4 2 4 5 7 5 4 6 3 6 4 6 6 4 4 5 1 1 4 6 4 3 4 5 1 2 4 5 1 8 4 6 0 7 4 6 9 6 4 5 1 3 4 5 1 4 4 5 8 1 4 5 9 8 4 5 1 5 4 5 8 5 4 5 1 6 4 5 1 7 4 5 5 4 4 6 1 4 4 6 6 1 4 6 9 1 4 7 7 8 4 7 8 2 4 5 1 9 4 5 2 0 4 5 9 7 4 5 2 1 4 5 9 2 4 6 2 0 4 6 9 9 4 8 0 0 4 8 0 1 4 8 0 2 4 7 6 8 4 5 2 3 4 5 4 5 4 6 5 4 4 5 2 4 4 5 7 9 4 5 2 5 4 6 8 6 4 8 0 3 4 8 0 4 4 5 2 7 4 5 2 8 4 6 8 7 4 5 3 1 4 6 1 1 4 6 5 0 4 5 3 2 4 6 5 1 4 8 2 6 4 5 3 4 4 5 4 1 4 6 1 8 4 6 7 3 4 7 2 2 4 5 3 7 4 5 6 7 4 8 6 6 4 5 3 8 4 7 7 1 4 8 0 5 4 8 0 6 4 8 0 7 4 5 3 9 4 7 6 3 4 8 0 8 4 8 0 9 4 7 8 9 4 8 1 6 4 6 7 5 4 7 9 9 4 5 4 4 4 7 0 0 4 5 4 8 4 5 4 9 4 6 3 8 4 5 7 6 4 6 2 4 4 5 5 1 4 5 8 6 4 6 2 7 4 7 1 9 4 5 6 8 4 6 6 6 4 7 0 1 4 5 5 5 4 5 5 6 4 6 7 0 4 5 5 7 4 5 5 8 4 5 6 0 4 6 2 2 4 8 1 1 4 6 1 2 4 6 7 9 4 6 8 4 4 5 6 4 4 5 6 5 4 8 1 3 4 8 1 4 4 8 1 5 4 6 4 0 4 5 6 6 4 6 6 7 4 5 6 9 4 6 3 7 4 5 7 1 4 6 2 1 4 7 6 1 4 5 7 2 4 5 9 4 4 5 9 5 4 6 5 6 4 8 2 0 4 5 7 7 4 5 7 8 4 5 8 3 4 6 2 3 4 5 8 7 4 6 9 4 4 7 8 8 4 6 5 7 4 5 9 1 4 6 6 5 4 7 2 3 4 6 3 5 4 5 9 3 4 5 9 9 4 6 4 1 4 6 0 4 4 6 1 9 4 6 0 8 4 6 3 0 4 6 4 4 4 6 9 0 4 6 0 9 4 7 7 3 4 6 1 5 4 6 8 3 4 7 9 1 4 6 2 5 4 7 7 6 4 6 3 3 4 7 8 6 4 7 3 3 4 6 2 9 4 6 5 3 4 6 7 2 4 6 4 2 4 6 8 9 4 8 2 1 4 6 4 5 4 6 6 8 4 6 4 7 4 7 3 9 4 7 5 0 4 6 5 8 4 6 6 3 4 7 7 9 4 8 2 7 4 8 2 3 4 6 8 0 4 6 8 1 4 8 2 5 4 6 8 2 4 6 8 5 4 7 8 1 4 6 9 2 4 6 9 3 4 9 2 7 4 6 9 7 4 8 1 8 4 6 9 8 4 7 9 3 4 7 0 4 4 7 1 1 4 7 4 6 4 7 0 5 4 7 1 4 4 7 4 5 4 7 0 6 4 7 1 6 4 7 0 7 4 7 1 3 4 7 0 8 4 7 2 8 4 7 2 9 4 7 5 2 4 7 0 9 4 7 1 0 4 7 2 4 4 7 3 5 4 7 1 2 4 7 2 7 4 7 3 2 4 7 1 5 4 7 5 1 4 7 1 7 4 7 2 0 4 7 1 8 4 7 3 1 4 7 3 7 4 7 3 6 4 7 2 1 4 7 5 5 4 7 2 5 4 7 5 4 4 7 2 6 4 7 5 6 4 7 8 4 4 7 7 4 4 7 7 5 4 7 4 8 4 7 3 0 4 7 3 8 4 7 4 0 4 7 5 7 4 7 3 4 4 7 4 4 4 7 4 2 4 7 4 7 4 7 4 1 4 7 5 8 4 8 1 2 4 7 6 0 4 7 7 7 4 7 6 2 4 7 6 9 4 7 7 0 4 7 8 0 4 8 2 4 4 7 8 3 4 7 8 5 4 7 8 7 4 7 9 4 4 7 9 2 4 7 9 0 4 7 9 5 4 8 2 2 4 8 1 0 4 8 1 7 4 8 1 9 4 8 2 8 4 8 8 4 4 8 2 9 4 8 7 4 4 8 9 9 4 8 4 1 4 8 8 9 4 8 3 3 4 8 9 6 4 8 9 8 4 8 3 4 4 8 4 7 4 9 1 6 4 9 2 3 4 8 3 5 4 8 3 6 4 8 3 8 4 8 8 1 4 8 9 0 4 9 0 4 4 8 3 9 4 9 0 3 4 8 4 0 4 8 4 2 4 8 4 3 4 8 4 4 4 8 8 7 4 8 4 6 4 8 4 8 4 8 7 3 4 9 0 0 4 9 0 8 4 9 0 9 4 9 2 2 4 8 5 1 4 8 9 2 4 8 5 2 4 8 6 0 4 8 5 3 4 8 5 6 4 8 7 1 4 8 5 7 4 8 5 8 4 8 6 3 4 8 7 7 4 8 7 9 4 8 6 8 4 8 6 9 4 9 2 5 4 8 7 0 4 8 8 0 4 9 1 3 4 8 7 2 4 9 0 5 4 9 1 7 4 8 9 1 4 9 1 4 4 9 2 0 4 9 2 4 4 9 1 5 4 8 8 6 4 8 9 5 4 9 2 6 4 9 0 1 4 9 0 7 4 9 2 1 4 9 0 6 4 9 1 9 4 9 1 0 4 9 1 1 4 9 1 2 4 9 1 8 4 9 2 9 4 9 3 8 4 9 3 1 4 9 3 7 4 9 3 2 4 9 3 5 4 9 3 3 4 9 3 9 4 9 3 6

Power grid (Watts and Strogatz) Colorado Springs HIV (Potterat et al.)

  • C. elegans brain (White)

Al-Qaida (Xu, Sageman et al.)

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-26
SLIDE 26

Introduction Multiscale Network Modeling Results Examples Statistics

REPLICATION WITH A RANDOM KRONECKER GRAPH

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-27
SLIDE 27

Introduction Multiscale Network Modeling Results Examples Statistics

KEY NOTIONS OF GRAPH THEORY

DEFINITION

Graph is the pair, (V,E) where V is a set called nodes, and E are unordered pairs (i,j) called edges such that (i,j) ∈ V × V and i = j. Annotation: numbers, labels on nodes and/or edges Degree of node u = the number of neighbors of u Clustering coefficient, modularity, distance

a b d c f g h e

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-28
SLIDE 28

Introduction Multiscale Network Modeling Results Examples Statistics

THE EDITING PROCESS: EDGES

To create a new edge (u,v) Measure: d2(i,j) = distance of two neighbors through the shortest path not through their common edge. Estimate P[d2].

1

Sample x from the distribution P[d2]

2

Randomly select u, and find node v at distance x from u

3

Pick a random edge, measure the number of internal connections, and create the same number of connection between u and v.

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-29
SLIDE 29

Introduction Multiscale Network Modeling Results Examples Statistics

THE EDITING PROCESS: NODES

To create a new node

1

Take a random node from original network & measure its degree D

2

The new node u will have D neighbors

3

Select the first neighbor at random & the remaining neighbors by the edge creation process above

4

Pick a random node w and copy its aggregate into u

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-30
SLIDE 30

Introduction Multiscale Network Modeling Results Examples Statistics

APPLICATIONS OF SYNTHETIC DATA

Synthetic data are needed to Model networked populations Simulate “what-if” scenarios Compensate for missing/insufficient data Anonymize data

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-31
SLIDE 31

Introduction Multiscale Network Modeling Results Examples Statistics

THE DATA PROBLEM FOR NETWORKS

Want: synthetic dataset Γ = {Gt}, such that:

1

Large: |Γ| ≫ 1

2

Diverse: d(G,H) > ε for all G,H ∈ Γ

3

Realistic: for all q ∈ Q, G ∈ Γ:

P[q(G)− Wq < T] > p

Realism could be measured structurally, e.g. clustering coefficient Emergent properties are also important for realism

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-32
SLIDE 32

Introduction Multiscale Network Modeling Results Examples Statistics

THE DATA PROBLEM FOR NETWORKS

Want: synthetic dataset Γ = {Gt}, such that:

1

Large: |Γ| ≫ 1

2

Diverse: d(G,H) > ε for all G,H ∈ Γ

3

Realistic: for all q ∈ Q, G ∈ Γ:

P[q(G)− Wq < T] > p

Realism could be measured structurally, e.g. clustering coefficient Emergent properties are also important for realism

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks

slide-33
SLIDE 33

Introduction Multiscale Network Modeling Results Examples Statistics

ABSTRACT

In the talk I will introduce a flexible strategy for modeling networks using ideas inspired by multigrid methods. The strategy, termed MUSKETEER, is to start from a known network dataset, perform a series of mappings that repeatedly coarsen and later repeatedly uncoarsen the network, while applying perturbations to create

  • diversity. Using examples from several domains, I will show that MUSKETEER can

generate diverse ensembles of networks, including their edge and node labels. Statistical analysis shows that MUSKETEER also achieves greater realism than most network modeling strategies. Bio: A. "Sasha" Gutfraind - University of Illinois at Chicago Sasha Gutfraind received a Bachelor’s and a Master’s from the University of Waterloo in Applied Mathematics and a Ph.D. from Cornell University. He develops mathematical models to illuminate problems in complex networks, public health and security using methods from the theories of complex systems, mathematical optimization and dynamical systems. Prior to coming to UIC, he worked at Los Alamos National Laboratory and at the University of Texas at Austin

  • A. “Sasha” Gutfraind

Lauren A. Meyers Ilya Safro Multigrid approach for modeling networks