PixAnvil Mesh Collision demo

Er, JavaScript or WebGL doesn't seem to be running, so basically all you're going to see is the bare code...

// We find colliding faces by looking them up in this hash object
sim.collidehash={};
var hashscale=8.0; // multiply XYZ by this to get to hash
var hashsize=1.0/hashscale; // size of cell

// Return the hash entry for this vec3
sim.hashVec3=function(P) {
    var x=Math.floor(P.x*hashscale);
    var y=Math.floor(P.y*hashscale);
    var z=Math.floor(P.z*hashscale);
    var at=x+"_"+y+"_"+z; // int to string
    var h=sim.collidehash[at];
    if (h)  // already exists
        return h;
    else { // need to create it
        h=new Array;
        sim.collidehash[at]=h;
        return h;
    }
}

// This class does soft body physics using springs

// Constructor: geometryString is a series of vertex, edge, face calls.
//   Poffset and Voffset control initial P and V.
var SoftBody=function(geometryString, Poffset, Voffset) {
	// Make the particle locations first
	this.geom=new THREE.Geometry();
	this.vertices=this.geom.vertices;
	this.velocities=[]; // array of vec3 velocities
	this.springs=[]; // array of spring objects
	
	// These nested functions need our handle:
	var parent=this;

// Create a new mesh vertex
	function vertex(x,y,z) {
	   var P=new vec3(y,-x,z); // rotate 90
	   P.te(0.3); // scale model
	   P.pe(Poffset); // shift
	   parent.vertices.push(P);

var V=new vec3(0,0,0);  V.rand(0.01);
	   V.pe(Voffset); // shove
	   parent.velocities.push(V);
	}

// Create a new mesh edge
	function edge(a,b) {
	   a--; b--; // to 0-based
	   var s={};
	   s.A=parent.vertices[a];
	   s.B=parent.vertices[b];
	   s.length=s.A.m(s.B).length(); // rest length
	   parent.springs.push(s);
	}

// Create a new mesh face
	function face(a,b,c) {
	   a--; b--; c--; // to 0-based
	   var f=new THREE.Face3(a,c,b);
	   f.owner=parent; // SoftBody object owning this face
	   parent.geom.faces.push(f);
	}

// Import the geometry data
	eval(geometryString);

this.mesh=new THREE.Mesh(
	  this.geom,
	  new THREE.MeshPhongMaterial( { // per-pixel
	     color: 0xffccaa,  // silly putty pink
	     ambient: 0xffccaa, 
	     shininess: 20,
	     opacity: 1 
	  })
	);

this.mesh.castShadow=true;
	this.mesh.receiveShadow=true;
}

// Zero the net force on each particle:
SoftBody.prototype.stepSetup=function(lib) {
	for (var i=0;i<this.vertices.length;i++) {
	    var P=this.vertices[i];
	    var F=new vec3(0,0,-0.2); // gravity force
	    P.F=F; // save force reference (used below)
	    P.V=this.velocities[i]; // particle's vel
	}
	
	// I need normals for collision detection too:
	this.geom.computeFaceNormals();
	this.geom.computeVertexNormals();
	this.geom.normalsNeedUpdate=true;

// Sift each face into the collision hash
	for (var i=0;i<this.geom.faces.length;i++) 
	{
		var f=this.geom.faces[i];
		var hA=sim.hashVec3(this.vertices[f.a]);
		var hB=sim.hashVec3(this.vertices[f.b]);
		var hC=sim.hashVec3(this.vertices[f.c]);
		hA.push(f);
		if (hB!=hA) hB.push(f);
		if (hC!=hB && hC!=hA) hC.push(f);
	}
}

// Add spring forces (internal to body)
SoftBody.prototype.stepSpring=function(lib) {
	// Add spring forces to particles
	for (var i=0;i<this.springs.length;i++) {
	   var s=this.springs[i];
	   var R=s.A.m(s.B); // offset vector between endpoints
	   var Rlen=R.length();

// Hooke's spring law
	   var k=600.0; // spring constant
	   var fk=-k*(Rlen-s.length); // Hooke's law
	   var F=R.te(fk/Rlen); // scale R to length f

// Apply spring force to endpoints
	   s.A.F.pe(F); 
	   s.B.F.pe(F.te(-1.0)); 
	}
}

// Apply all forces and take timestep
SoftBody.prototype.stepFinish=function(lib) {
        var collisioncount=0;
	for (var v=0;v<this.vertices.length;v++) {
	    var P=this.vertices[v];
	    var V=this.velocities[v];

// Timestep:
	    var A=P.F; // assume unit mass
	   
	    // Check for collisions
	    var hP=sim.hashVec3(P);
	    var hPlen=hP.length;
	    for (var c=0;c<hPlen;c++) 
	    if (hP[c].owner!==this) // potential hit
	    {
	       collisioncount++;
	       var f=hP[c]; // the face we might have hit
	       var N=f.normal; // vec3(?) normal
	       var Nd=N.dot(P.m(this.vertices[f.a]));
	       if (Nd<0) { // a real hit!
	          var k=10.0; // collision stiffness
	          A.pe(N.t(-k*Nd));
		  V.te(0.8); // inelastic collision
	       }
	    }
	    
	    // Apply forces
	    var oldV=V.clone();
	    V.add(A.te(lib.dt));
	    
	    // Check constraints
	    var R=P.m(sim.sphere);
	    if (P.z<0.0) { // hit ground
	       // P.z=0.0; // don't go into ground
		if (V.z<0.0)
		    V.z=-V.z; // bounce
		V.te(0.7); // inelastic collision
	    }
	    if (R.length()<sim.r) { // hit sphere
	       // P.z=0.0; // don't go into ground
		if (R.dot(V)<0.0) {
		    R.normalize();
		    V=V.reflect(R); // bounce
		    V.te(0.7); // inelastic collision
		}
	    }
	    P.add(V.t(lib.dt));

// Average old and new velocities,
	    //  for stabilization.
	    V.add(oldV).te(0.5);

if (lib.key['b']) V.rand(2.0); // "boom"
	    if (lib.key['f']) V.te(0.97); // "freeze"
	}
	trace(collisioncount + " collisions");

this.geom.verticesNeedUpdate=true;
	this.geom.computeBoundingSphere(); // clipping
}

// Make two physics bodies
sim.body=[];
sim.body.push(new SoftBody(
    PixAnvil.loadTab('Mesh'),
    new vec3(-1.0,0.0,1.5), // Poffset
    new vec3(+0.5,0,0) // Voffset
));
sim.body.push(new SoftBody(
    PixAnvil.loadTab('Mesh'),
    new vec3(1.0,0,0.3), // Poffset
    new vec3(-0.7,0,0) // Voffset
));

for (var i=0;i<sim.body.length;i++)
	scene.add(sim.body[i].mesh);

// This is the obstacle sphere
sim.sphere=new vec3(-1.5,0,0);
sim.r=1.0;

var sphereobj=new THREE.Mesh(
   new THREE.SphereGeometry(sim.r),
   new THREE.MeshBasicMaterial(
	   {color: 0xff0000})
);
sphereobj.position.copy(sim.sphere);
sphereobj.matrixAutoUpdate=true;
scene.add(sphereobj);

// Ground
sim.ground = new THREE.Mesh(
  new THREE.CubeGeometry(50,50,0.0001),
  new THREE.MeshLambertMaterial( {
     color: 0x228866, opacity: 1
  })
);
sim.ground.position.z=0;  /* ground is at Z=0 */
sim.ground.receiveShadow=true;
scene.add(sim.ground);

// Sun-like spotlight (shadows help you see depth)
var l=new THREE.SpotLight();
sim.light = l;
l.position.set( -50, -100, 100 );
l.castShadow=true;
l.shadowCameraNear = 50; 
l.shadowCameraFar = 500; 
l.shadowCameraFov = 10; // degrees field of view
scene.add(l);

camera.lookAt(scene.position);

// Vertex data from TetGen, via awk
vertex(2.984,0.341,0.018);
vertex(-0.748,-1.537,1.602);
vertex(-2.431,0.548,2.235);
vertex(-3.579,-0.820,1.938);
vertex(-3.463,-1.276,0.227);
vertex(1.042,2.271,0.116);
vertex(-1.027,0.897,0.061);
vertex(0.449,1.727,1.890);
vertex(-2.906,-1.147,2.747);
vertex(-0.760,0.857,1.626);
vertex(1.052,1.680,0.448);
vertex(-2.983,-2.059,1.595);
vertex(-0.663,0.620,0.713);
vertex(-2.762,1.056,0.012);
vertex(-1.403,0.851,0.994);
vertex(-0.742,-3.105,5.039);
vertex(-1.089,2.291,5.254);
vertex(-3.471,0.096,3.588);
vertex(-0.059,-2.244,0.048);
vertex(-1.336,2.005,4.277);
vertex(-2.054,2.206,4.060);
vertex(-1.423,2.136,5.781);
vertex(-1.583,0.850,2.147);
vertex(-2.340,1.224,3.156);
vertex(-1.681,1.658,3.670);
vertex(-3.022,1.117,4.265);
vertex(-2.402,1.775,5.772);
vertex(-1.732,-1.976,1.847);
vertex(-2.578,-2.373,4.127);
vertex(-1.404,-2.444,2.836);
vertex(-1.454,-2.785,3.925);
vertex(-2.266,-2.794,0.116);
vertex(-1.589,1.106,7.054);
vertex(-2.040,-1.789,6.785);
vertex(-1.969,-2.426,0.874);
vertex(-0.332,-1.621,0.808);
vertex(-0.321,-2.411,3.055);
vertex(-2.994,-0.312,2.451);
vertex(-3.048,0.425,1.608);
vertex(-1.138,-2.707,6.367);
vertex(2.895,-0.705,1.015);
vertex(2.583,-1.286,0.011);
vertex(-2.449,1.103,0.702);
vertex(-1.991,-1.870,2.436);
vertex(-3.508,-0.149,0.649);
vertex(-3.310,-1.280,4.514);
vertex(-2.821,-1.950,5.757);
vertex(-3.112,0.302,6.254);
vertex(1.367,-2.404,0.902);
vertex(2.933,-2.961,0.230);
vertex(0.289,2.196,2.880);
vertex(-0.341,2.364,3.084);
vertex(2.367,0.773,5.752);
vertex(2.158,-1.927,5.095);
vertex(0.508,-2.312,2.745);
vertex(2.803,-0.727,6.391);
vertex(0.631,-2.689,3.378);
vertex(2.559,-1.244,5.460);
vertex(2.226,-2.240,4.482);
vertex(0.095,2.029,3.385);
vertex(0.171,-2.882,5.396);
vertex(2.374,0.134,5.367);
vertex(2.758,-2.101,2.867);
vertex(1.414,1.457,6.567);
vertex(0.532,0.967,7.335);
vertex(0.069,1.638,2.808);
vertex(-1.043,2.417,3.747);
vertex(-0.782,2.336,3.387);
vertex(-0.750,2.153,4.064);
vertex(-0.566,2.375,3.425);
vertex(-0.460,2.087,4.050);
vertex(-0.919,2.480,4.195);
vertex(-0.394,1.880,3.705);
vertex(-0.407,2.199,4.177);
vertex(0.077,2.059,3.530);
vertex(-0.016,2.008,3.922);
vertex(2.671,-0.167,5.702);
vertex(2.558,0.606,6.058);
vertex(2.375,1.122,5.961);
vertex(2.439,-0.604,5.422);
vertex(4.203,-0.150,2.368);
vertex(-1.092,1.979,4.122);
vertex(2.380,-1.955,5.760);
vertex(2.434,-1.625,5.617);
vertex(2.303,0.291,5.644);
vertex(-0.171,-2.962,5.421);
vertex(-0.335,-2.979,5.024);
vertex(-0.116,-2.867,3.974);
vertex(1.478,-2.489,5.963);
vertex(2.638,-1.204,6.382);
vertex(2.679,-0.367,5.629);
vertex(-0.160,1.726,3.518);
vertex(-0.339,-3.007,4.783);
vertex(3.700,0.833,2.318);
vertex(2.240,1.701,2.337);
vertex(1.623,2.017,2.612);
vertex(0.770,1.561,2.087);
vertex(0.566,1.933,3.041);
vertex(0.728,2.005,4.390);
vertex(2.203,1.894,3.306);
vertex(3.402,0.902,2.304);
vertex(2.582,-1.345,5.042);
vertex(0.077,-2.660,3.696);
vertex(0.278,-2.420,3.426);
vertex(3.037,0.981,3.866);
vertex(2.651,1.649,3.079);
vertex(2.927,1.137,4.386);
vertex(4.020,0.549,2.200);
vertex(3.940,0.584,2.329);
vertex(3.721,0.037,3.177);
vertex(3.187,0.680,3.453);
vertex(3.713,0.177,3.487);
vertex(3.255,0.799,3.686);
vertex(2.926,0.330,4.726);
vertex(2.908,-0.699,1.332);
vertex(3.809,0.071,4.790);
vertex(1.615,-2.439,4.856);
vertex(0.525,-2.693,4.694);
vertex(0.994,-2.509,2.988);
vertex(2.541,0.371,6.452);
vertex(1.825,-0.473,7.310);
vertex(1.811,-2.494,3.209);
vertex(-0.241,0.218,7.779);
vertex(2.710,-1.315,4.855);
vertex(0.281,0.328,7.663);
vertex(2.503,-1.147,5.716);
vertex(2.725,-1.268,5.981);
vertex(4.120,0.163,2.332);
vertex(0.994,-2.517,6.360);
vertex(4.184,-0.640,2.322);
vertex(4.042,-0.943,2.212);
vertex(3.924,-0.909,2.383);
vertex(-0.053,-2.697,6.313);
vertex(4.032,0.176,2.768);
vertex(0.093,-3.018,3.275);
vertex(3.869,-0.284,3.479);
vertex(2.066,1.375,5.445);
vertex(2.119,1.503,5.730);
vertex(4.134,-0.301,2.693);
vertex(3.661,-0.813,2.936);
vertex(1.507,0.588,7.283);
vertex(0.852,-0.252,7.786);
vertex(3.748,-0.157,4.003);
vertex(3.661,-0.224,3.691);
vertex(3.661,-0.179,4.445);
vertex(2.983,0.443,4.244);
vertex(3.606,-0.202,4.226);
vertex(3.107,-0.771,4.252);
vertex(3.296,0.449,3.660);
vertex(3.796,-0.254,5.079);
vertex(3.587,-0.652,4.634);
vertex(2.998,-0.781,4.635);
vertex(3.509,-1.277,2.174);
vertex(3.360,-0.861,3.496);
vertex(3.404,-1.175,3.552);
vertex(-0.008,-2.871,4.392);
vertex(-0.053,-3.086,3.123);
vertex(0.654,-2.899,2.942);
vertex(-0.390,-3.311,4.132);
vertex(3.107,-1.491,4.367);
vertex(3.316,-1.145,3.677);
vertex(1.692,-1.304,7.316);
vertex(3.910,-0.173,4.711);
vertex(2.390,0.756,5.462);
vertex(2.568,0.878,5.242);
vertex(-0.336,2.100,4.448);
vertex(0.590,1.887,5.759);
vertex(0.316,-2.718,4.050);
vertex(2.488,0.797,4.923);
vertex(2.293,1.137,5.388);
vertex(1.885,1.602,4.881);
vertex(1.708,1.419,1.795);
vertex(2.795,0.723,1.627);
vertex(-0.475,-1.289,7.627);
vertex(3.346,-1.319,2.259);
vertex(3.716,0.329,1.803);
vertex(2.717,0.633,1.223);
vertex(-0.596,-3.131,4.178);
vertex(-0.477,-3.228,3.588);
vertex(-0.322,-2.448,6.631);
vertex(-0.293,1.858,6.296);
vertex(-0.946,1.817,3.586);
vertex(-1.225,1.349,2.519);
vertex(-0.789,1.875,6.431);
vertex(-0.518,2.033,5.830);
vertex(-0.873,1.133,7.093);
vertex(-0.678,1.261,6.896);
vertex(3.516,-1.114,1.951);
vertex(1.958,-2.294,2.214);
vertex(-0.035,-2.873,5.937);
vertex(-0.414,-1.583,7.470);
vertex(-0.867,-1.284,7.593);
vertex(-0.428,-1.961,7.082);
vertex(0.607,-0.873,7.763);
vertex(1.173,-2.155,1.967);
vertex(2.221,-1.653,1.582);
vertex(-0.351,2.021,5.004);
vertex(-0.902,2.078,4.418);
vertex(0.658,-2.016,7.094);
vertex(2.602,-1.375,5.229);
vertex(2.564,-1.197,5.274);
vertex(3.414,-0.884,3.681);
vertex(1.215,-2.586,3.897);
vertex(0.020,1.530,1.387);
vertex(3.062,0.104,5.091);
vertex(0.366,-2.293,2.554);
vertex(-0.328,-1.860,1.487);
vertex(3.077,-0.058,5.225);
vertex(3.622,-0.852,1.886);
vertex(-0.078,2.040,4.814);
vertex(3.631,-0.666,1.894);
vertex(0.066,2.024,3.526);
vertex(2.371,1.086,5.138);
vertex(2.327,1.765,2.932);
vertex(1.537,1.202,1.570);
vertex(3.686,-0.025,4.598);
vertex(1.581,1.175,1.727);
vertex(-1.292,1.749,3.589);
vertex(0.190,1.446,0.414);
vertex(0.865,-2.560,3.456);
vertex(2.372,0.372,5.511);
vertex(0.704,-2.599,3.442);
vertex(-1.509,0.966,1.217);
vertex(1.745,-1.802,1.173);
vertex(-1.214,1.946,4.062);
vertex(-1.951,1.799,5.280);
vertex(-1.265,0.745,0.512);
vertex(0.369,1.258,0.554);
vertex(2.381,0.409,5.409);
vertex(-3.047,-0.186,2.075);
vertex(-0.920,0.953,1.538);
vertex(2.182,1.264,5.250);
vertex(-0.085,-2.976,3.548);
vertex(2.443,0.400,5.322);
vertex(3.650,0.601,2.027);
vertex(0.209,-2.409,2.380);
vertex(2.269,1.100,5.987);
vertex(3.587,-0.411,1.875);
vertex(1.766,-1.824,0.180);
vertex(-1.393,2.090,5.254);
vertex(0.653,-2.725,5.692);
vertex(-0.503,-2.889,3.800);
vertex(3.117,-0.429,5.251);
vertex(3.108,-0.907,4.304);
vertex(2.598,-1.844,2.235);
vertex(3.151,-0.319,5.397);
vertex(1.981,-1.840,0.453);
vertex(0.673,-2.635,4.157);
vertex(-0.403,2.105,4.039);
vertex(2.008,-1.451,1.505);
vertex(2.614,0.304,6.133);
vertex(3.166,-0.205,5.428);
vertex(0.129,-2.876,5.520);
vertex(0.206,1.980,3.585);
vertex(3.384,-0.526,4.850);
vertex(-0.176,1.586,2.125);
vertex(0.321,1.996,3.285);
vertex(-1.321,1.916,4.039);
vertex(3.512,0.810,2.174);
vertex(3.384,-0.475,4.348);
vertex(3.388,-0.912,3.812);
vertex(2.071,-1.601,0.721);
vertex(-2.241,0.977,0.389);
vertex(3.365,0.143,4.124);
vertex(2.625,-1.036,5.786);
vertex(0.682,-2.728,5.618);
vertex(2.710,-0.971,5.865);
vertex(-1.816,1.752,4.274);
vertex(3.382,-0.458,4.238);
vertex(3.343,0.112,4.351);
vertex(3.519,-0.487,4.060);
vertex(3.374,0.267,4.503);
vertex(0.007,-2.956,3.561);
vertex(3.367,0.187,4.438);
vertex(3.331,0.083,4.234);
vertex(3.276,0.227,4.752);
vertex(2.600,0.321,5.927);
vertex(2.080,-1.821,6.181);
vertex(2.281,1.028,5.744);
vertex(2.329,0.962,5.563);
vertex(-0.382,1.471,1.753);
vertex(3.423,-0.900,3.758);
vertex(-2.159,0.930,0.213);
vertex(3.475,0.208,3.796);
vertex(0.692,-2.722,5.201);
vertex(-1.449,1.892,4.079);
vertex(3.618,-0.454,3.905);
vertex(2.257,0.993,5.640);
vertex(3.593,-0.407,3.688);
vertex(3.453,0.159,3.673);
vertex(3.580,-0.394,3.639);
vertex(2.013,1.306,0.067);
vertex(1.876,1.109,0.265);
vertex(-1.362,-1.984,1.236);
vertex(-0.259,-1.596,0.051);
vertex(-1.857,-1.576,0.098);
vertex(-1.899,0.943,1.619);
vertex(-2.437,0.735,1.718);
vertex(-2.812,0.472,1.847);
vertex(-1.958,-2.411,3.446);
vertex(-2.287,-2.123,3.288);
vertex(-1.014,-2.640,3.587);
vertex(-1.429,-2.614,3.378);
vertex(-1.737,-2.474,0.305);
vertex(-1.066,-1.977,2.201);
vertex(-1.619,-2.137,2.186);
vertex(1.627,0.529,0.033);
vertex(0.023,1.594,0.089);
vertex(1.266,-0.489,0.029);
vertex(-3.169,-0.298,0.137);
vertex(1.855,1.175,0.822);
vertex(-2.117,0.997,0.030);
vertex(-2.699,-0.594,0.175);
vertex(-3.091,-0.742,3.021);
vertex(3.292,0.094,4.998);
vertex(0.160,2.038,3.447);
vertex(-0.551,-1.941,2.274);
vertex(-1.121,1.556,6.690);
vertex(-0.833,1.482,6.782);
vertex(-1.946,-2.519,5.110);
vertex(-1.585,-2.769,4.620);
vertex(-0.915,2.050,5.937);
vertex(-1.151,2.024,6.060);
vertex(-2.854,0.364,2.785);
vertex(0.712,1.952,0.231);
vertex(-1.453,1.504,3.095);
vertex(-1.571,2.071,4.206);
vertex(-3.259,-0.070,1.739);
vertex(-1.276,2.074,4.514);
vertex(-2.351,1.388,3.967);
vertex(-2.507,1.696,4.156);
vertex(-2.740,-1.770,3.448);
vertex(-0.870,0.118,7.303);
vertex(-1.645,1.360,3.107);
vertex(-0.689,-3.115,4.726);
vertex(-0.908,-3.031,4.779);
vertex(-1.514,1.571,6.478);
vertex(-1.953,1.406,6.479);
vertex(-2.185,0.791,6.740);
vertex(-3.118,-1.217,3.673);
vertex(-1.718,0.281,6.977);
vertex(-0.977,-1.865,7.092);
vertex(-1.221,-2.058,0.843);
vertex(1.370,-2.586,0.135);
vertex(2.194,-2.698,0.547);
vertex(-3.364,0.157,4.385);
vertex(-2.010,-2.314,6.051);
vertex(-3.394,-0.566,4.033);
vertex(2.659,-0.547,5.367);
vertex(2.425,0.681,6.254);
vertex(0.149,2.075,3.245);
vertex(-0.013,2.112,3.310);
vertex(0.164,2.116,3.262);
vertex(2.373,1.005,5.890);
vertex(2.026,-2.179,5.342);
vertex(2.263,0.638,6.480);
vertex(2.244,0.433,6.691);
vertex(2.343,0.138,6.688);
vertex(2.519,0.691,5.273);
vertex(0.300,-2.992,3.032);
vertex(0.153,-2.802,2.984);
vertex(0.335,-2.674,3.548);
vertex(2.926,0.598,4.613);
vertex(0.890,-2.637,4.273);
vertex(2.420,0.995,5.985);
vertex(-0.043,2.101,3.393);
vertex(2.587,-1.544,1.803);
vertex(0.424,-2.747,4.894);
vertex(-0.219,-2.978,4.927);
vertex(0.029,-2.873,4.745);
vertex(3.223,0.662,1.827);
vertex(2.414,0.363,5.214);
vertex(3.051,-1.125,4.505);
vertex(0.439,1.686,6.413);
vertex(-0.652,2.344,3.297);
vertex(-0.694,2.386,3.511);
vertex(-0.607,2.326,3.565);
vertex(0.007,1.924,3.431);
vertex(-0.022,1.993,3.461);
vertex(-0.522,2.247,3.497);
vertex(-0.543,2.311,3.563);
vertex(-0.505,2.186,4.145);
vertex(-0.663,2.340,4.186);
vertex(2.452,-1.078,1.260);
vertex(-0.689,2.330,4.295);
vertex(2.260,1.204,5.079);
vertex(-0.277,2.136,4.093);
vertex(0.643,1.968,3.689);
vertex(0.113,2.060,4.424);
vertex(-0.189,2.058,4.207);
vertex(-0.909,2.225,4.337);
vertex(4.033,-0.647,2.205);
vertex(2.471,0.688,6.244);
vertex(2.549,0.488,6.255);
vertex(1.255,-2.063,6.718);
vertex(3.441,-0.021,1.642);
vertex(4.073,-0.021,2.216);
vertex(2.327,-2.371,0.204);
vertex(2.574,-0.960,5.139);
vertex(2.519,-1.020,5.209);
vertex(-1.013,2.206,4.155);
vertex(-1.071,2.163,3.964);
vertex(2.551,0.197,5.162);
vertex(-0.306,-3.057,3.772);
vertex(-0.343,-3.183,3.441);
vertex(-0.580,2.148,3.282);
vertex(-0.419,1.724,3.182);
vertex(0.849,-2.554,3.215);
vertex(1.703,-2.464,4.117);
vertex(2.737,-0.447,6.047);
vertex(1.065,-2.567,4.775);
vertex(1.880,-2.251,5.873);
vertex(-2.330,1.482,4.270);
vertex(2.419,0.434,5.832);
vertex(2.709,-0.690,5.042);
vertex(-0.044,-2.923,5.237);
vertex(-0.429,-3.274,3.885);
vertex(1.566,-1.998,6.524);
vertex(2.738,-0.537,5.990);
vertex(1.378,-0.911,7.492);
vertex(3.107,0.815,1.975);
vertex(0.709,1.602,1.813);
vertex(2.470,1.672,2.752);
vertex(2.758,-1.045,6.150);
vertex(1.525,1.910,3.196);
vertex(1.651,1.936,3.712);
vertex(3.031,1.157,2.314);
vertex(3.144,1.158,2.570);
vertex(2.953,1.224,3.382);
vertex(3.328,0.851,2.995);
vertex(3.276,0.772,2.977);
vertex(2.353,0.899,5.435);
vertex(2.862,1.284,3.510);
vertex(2.767,1.433,3.630);
vertex(2.069,1.771,3.968);
vertex(2.529,1.553,3.792);
vertex(3.937,0.622,2.230);
vertex(4.030,0.374,2.330);
vertex(3.577,0.427,2.783);
vertex(3.711,0.426,2.757);
vertex(3.811,0.614,2.468);
vertex(3.975,0.430,2.495);
vertex(3.597,0.186,3.241);
vertex(3.366,0.509,3.465);
vertex(2.595,-1.133,1.446);
vertex(2.567,-1.166,1.291);
vertex(3.226,0.539,1.709);
vertex(0.777,-2.407,1.655);
vertex(2.417,-1.875,4.630);
vertex(2.434,-1.621,4.975);
vertex(2.568,-1.407,6.214);
vertex(2.495,-1.725,5.834);
vertex(0.460,-2.701,6.140);
vertex(0.397,-2.619,6.333);
vertex(2.699,-0.291,6.415);
vertex(0.159,0.046,7.781);
vertex(0.026,-0.126,7.774);
vertex(-0.307,-0.210,7.736);
vertex(0.065,0.515,7.603);
vertex(-0.459,0.740,7.338);
vertex(3.985,0.218,2.155);
vertex(0.206,-2.449,6.597);
vertex(4.126,-0.051,2.498);
vertex(2.534,-1.055,5.309);
vertex(4.006,-0.671,2.504);
vertex(3.410,-1.242,2.143);
vertex(3.775,-1.110,2.193);
vertex(3.771,-1.031,2.077);
vertex(3.729,-1.081,2.285);
vertex(3.557,0.279,3.552);
vertex(4.068,0.006,2.742);
vertex(3.952,-0.152,2.907);
vertex(3.694,-0.349,3.067);
vertex(3.855,-0.603,2.836);
vertex(3.789,-0.488,3.269);
vertex(3.714,-0.459,3.484);
vertex(0.606,-2.710,5.948);
vertex(1.102,-2.597,5.048);
vertex(3.698,0.121,4.717);
vertex(3.235,-1.000,3.900);
vertex(3.427,-0.692,4.507);
vertex(2.173,1.161,5.554);
vertex(3.383,-0.697,4.635);
vertex(3.701,-1.067,2.335);
vertex(3.465,-1.089,3.406);
vertex(3.375,-1.247,2.906);
vertex(2.460,-1.401,6.318);
vertex(-0.003,-2.986,4.087);
vertex(3.673,0.111,4.781);
vertex(3.085,-1.631,3.215);
vertex(3.255,-1.333,3.959);
vertex(2.899,-1.854,3.473);
vertex(2.214,1.225,5.738);
vertex(3.228,-1.291,3.969);
vertex(-1.561,1.887,4.276);
vertex(2.558,-1.958,4.439);
vertex(2.462,0.977,5.298);
vertex(1.826,1.892,3.879);
vertex(0.084,-2.821,3.507);
vertex(3.172,0.769,1.915);
vertex(2.234,1.137,4.905);
vertex(0.373,1.958,3.333);
vertex(2.724,-0.298,6.284);
vertex(2.047,1.533,5.469);
vertex(1.355,1.695,5.744);
vertex(1.591,-1.803,1.736);
vertex(2.212,1.026,1.509);
vertex(-0.611,-1.452,7.524);
vertex(3.127,-1.009,1.796);
vertex(-0.624,2.049,4.714);
vertex(3.264,0.467,1.540);
vertex(-0.536,-3.180,3.883);
vertex(-0.335,-2.699,6.327);
vertex(-0.523,1.506,2.676);
vertex(-2.779,0.133,2.145);
vertex(-1.076,1.598,3.087);
vertex(-0.714,1.458,6.747);
vertex(-2.507,1.445,4.753);
vertex(-0.989,2.176,4.804);
vertex(-0.064,-3.047,3.271);
vertex(-0.588,0.721,7.402);
vertex(0.922,-2.538,3.250);
vertex(-0.407,-0.181,7.729);
vertex(0.891,-0.972,0.143);
vertex(3.286,-0.958,1.718);
vertex(2.207,1.266,5.881);
vertex(-0.459,-3.034,5.229);
vertex(-0.573,-2.856,5.815);
vertex(-0.704,-2.251,6.804);
vertex(-0.723,-1.507,7.425);
vertex(-0.396,-2.818,6.078);
vertex(2.468,0.984,5.189);
vertex(-0.534,-2.970,3.926);
vertex(3.381,-0.677,1.699);
vertex(-1.262,1.572,3.116);
vertex(0.096,-1.228,7.616);
vertex(3.234,-1.050,3.926);
vertex(-0.445,-3.059,3.478);
vertex(3.917,0.563,2.152);
vertex(-0.192,-2.737,3.087);
vertex(2.130,0.913,1.483);
vertex(-0.325,-2.100,2.168);
vertex(2.632,0.123,5.264);
vertex(3.352,-0.511,1.687);
vertex(0.547,-2.647,3.688);
vertex(0.122,-1.799,7.282);
vertex(3.374,-0.799,1.694);
vertex(0.456,1.593,0.990);
vertex(3.312,-0.122,5.177);
vertex(1.334,1.981,0.101);
vertex(0.648,2.010,0.105);
vertex(-1.843,0.169,0.117);
vertex(-0.871,0.556,7.212);
vertex(-1.613,1.104,2.624);
vertex(-1.265,-2.870,4.220);
vertex(2.089,-2.324,4.064);
vertex(2.482,-0.643,6.693);
vertex(2.345,-0.941,6.716);
vertex(3.505,0.622,2.587);
vertex(3.670,0.176,3.036);
vertex(3.705,0.638,2.529);
vertex(3.887,0.464,2.571);
vertex(2.448,-1.756,5.925);
vertex(3.841,0.090,3.020);
vertex(3.796,-0.890,2.022);
vertex(3.315,-0.378,5.201);
vertex(3.339,-0.300,5.304);
vertex(-1.252,0.697,0.076);
vertex(-1.143,-2.113,0.518);
vertex(-0.643,-0.349,0.056);
vertex(-1.442,-0.339,0.080);
vertex(-2.060,-2.181,0.107);
vertex(-1.786,-2.421,3.256);
vertex(-1.639,-2.638,0.097);
vertex(0.221,0.724,0.048);
vertex(0.052,0.245,0.046);
vertex(-1.327,0.925,0.053);
vertex(-3.538,-0.433,1.195);
vertex(3.677,0.077,4.843);
vertex(-1.009,-2.999,4.906);
vertex(-1.678,-2.582,5.526);
vertex(-0.852,1.313,6.932);
vertex(-2.755,0.811,3.315);
vertex(-1.201,2.161,4.811);
vertex(-1.351,2.027,4.529);
vertex(-2.614,1.181,3.601);
vertex(-0.868,-0.583,7.448);
vertex(-1.069,-0.614,7.442);
vertex(-1.894,1.004,2.562);
vertex(-1.131,-2.915,4.020);
vertex(-1.464,1.882,6.095);
vertex(-0.911,-1.519,7.390);
vertex(-1.871,-0.703,6.886);
vertex(-1.028,-2.132,6.862);
vertex(-1.648,-2.187,6.604);
vertex(-1.110,-1.389,7.425);
vertex(2.112,-2.764,0.180);
vertex(-3.054,0.821,4.987);
vertex(2.308,0.996,6.053);
vertex(2.472,0.555,6.334);
vertex(2.638,0.062,5.314);
vertex(2.544,-1.151,5.142);
vertex(2.617,-1.071,5.050);
vertex(-0.121,1.975,2.936);
vertex(0.093,2.249,2.944);
vertex(1.890,-1.945,0.186);
vertex(0.051,-1.985,7.087);
vertex(0.118,2.086,3.404);
vertex(2.376,0.530,6.469);
vertex(2.364,0.408,6.594);
vertex(0.335,-2.966,3.131);
vertex(0.501,-2.701,3.656);
vertex(2.457,0.613,5.046);
vertex(2.735,0.533,4.812);
vertex(0.310,-2.771,4.716);
vertex(-0.430,2.304,3.417);
vertex(-0.482,2.371,3.297);
vertex(0.000,-2.924,5.190);
vertex(-0.161,-2.943,4.764);
vertex(2.833,-1.088,4.761);
vertex(0.607,1.952,3.389);
vertex(-0.493,2.202,4.380);
vertex(-0.498,2.249,4.181);
vertex(-0.575,1.421,6.735);
vertex(-0.021,1.101,7.135);
vertex(0.221,1.303,6.943);
vertex(-0.191,1.942,3.572);
vertex(-0.551,2.351,3.228);
vertex(-0.849,2.242,3.957);
vertex(-0.705,2.207,3.909);
vertex(-0.793,2.236,4.097);
vertex(0.205,2.007,4.061);
vertex(0.631,-1.423,7.441);
vertex(1.229,-1.120,7.506);
vertex(2.499,0.560,6.328);
vertex(3.808,-0.657,2.031);
vertex(4.027,-0.225,2.227);
vertex(2.400,1.009,6.035);
vertex(1.260,-1.602,7.223);
vertex(3.256,-0.256,1.535);
vertex(3.967,0.082,2.094);
vertex(2.762,-2.140,0.123);
vertex(2.526,-1.070,5.450);
vertex(-0.991,2.096,3.661);
vertex(-0.154,-3.119,3.233);
vertex(-0.863,2.079,3.485);
vertex(-0.251,1.695,3.053);
vertex(0.818,-2.597,3.177);
vertex(1.788,-2.145,6.075);
vertex(2.337,0.546,5.701);
vertex(2.572,-0.646,5.234);
vertex(1.534,-2.177,6.319);
vertex(1.629,-1.653,6.918);
vertex(2.698,-0.742,5.775);
vertex(0.739,1.704,1.195);
vertex(2.641,0.995,1.825);
vertex(3.278,0.815,3.473);
vertex(3.327,0.825,2.701);
vertex(2.850,1.280,4.023);
vertex(2.736,1.337,4.100);
vertex(4.065,0.373,2.260);
vertex(3.717,0.176,3.027);
vertex(3.337,0.499,3.376);
vertex(3.571,0.313,3.478);
vertex(2.522,-1.673,4.711);
vertex(2.549,-2.155,3.501);
vertex(0.500,-2.004,0.854);
vertex(1.499,-1.954,1.514);
vertex(1.277,-2.288,1.399);
vertex(2.410,-1.581,5.064);
vertex(2.609,-1.427,4.899);
vertex(-0.013,-2.312,6.777);
vertex(-0.631,1.148,6.992);
vertex(3.956,0.503,2.117);
vertex(2.488,-1.019,5.647);
vertex(3.838,-0.059,3.040);
vertex(3.707,-0.159,3.121);
vertex(3.786,-0.104,3.310);
vertex(1.023,-2.604,5.955);
vertex(0.285,-2.791,5.942);
vertex(3.296,-0.584,4.801);
vertex(1.118,1.612,6.276);
vertex(3.458,-1.239,2.283);
vertex(3.503,-1.066,2.597);
vertex(3.396,-1.195,3.374);
vertex(2.271,-1.243,6.744);
vertex(-0.086,-2.961,4.339);
vertex(3.316,-1.301,3.459);
vertex(3.363,-1.218,3.665);
vertex(3.010,-1.661,3.949);
vertex(2.266,1.285,5.862);
vertex(1.260,1.890,4.740);
vertex(1.232,1.745,5.324);
vertex(0.180,-2.735,3.346);
vertex(2.373,1.384,4.649);
vertex(0.245,1.975,3.527);
vertex(1.681,-1.912,1.781);
vertex(2.293,1.045,1.705);
vertex(-1.020,1.899,3.858);
vertex(3.289,-1.240,2.140);
vertex(-0.535,2.092,4.438);
vertex(-0.551,1.501,2.266);
vertex(-2.725,0.098,2.348);
vertex(-2.746,1.410,4.935);
vertex(-0.125,0.018,0.100);
vertex(-0.593,-0.627,7.674);
vertex(-0.917,-2.929,5.627);
vertex(-0.644,-1.628,7.333);
vertex(-0.302,-3.001,4.285);
vertex(-0.466,-3.068,4.484);
vertex(0.015,-1.100,7.689);
vertex(-0.377,-2.702,3.245);
vertex(-0.392,-2.597,3.345);
vertex(2.823,-0.108,1.284);
vertex(2.107,0.928,1.402);
vertex(0.772,-2.596,3.795);
vertex(3.350,-0.219,5.326);
vertex(-2.313,-2.161,0.725);
vertex(-2.515,-2.479,0.139);
vertex(-1.123,0.612,0.065);
vertex(-0.938,0.609,0.060);
vertex(-0.933,-2.462,0.075);
vertex(-3.524,-1.036,1.129);
vertex(-1.369,2.055,4.847);
vertex(-0.382,-0.688,7.688);
vertex(-1.352,0.321,7.231);
vertex(-2.401,0.767,2.533);
vertex(-2.531,-0.831,6.542);
vertex(-3.295,0.197,4.900);
vertex(2.527,-0.021,5.540);
vertex(2.422,-1.598,5.175);
vertex(-0.502,2.218,3.218);
vertex(2.423,0.232,6.593);
vertex(0.349,-2.861,3.324);
vertex(0.333,-2.757,4.585);
vertex(-0.220,-2.958,4.642);
vertex(-0.536,1.227,6.948);
vertex(0.988,1.557,6.500);
vertex(-0.485,2.155,3.901);
vertex(1.472,-1.686,7.015);
vertex(-0.761,1.984,3.432);
vertex(0.815,-2.715,2.964);
vertex(0.598,-2.672,2.866);
vertex(2.588,-0.949,5.712);
vertex(2.370,0.572,5.630);
vertex(2.506,-0.780,5.282);
vertex(1.048,-2.612,5.822);
vertex(0.564,1.718,1.613);
vertex(3.358,0.872,2.712);
vertex(3.148,0.950,3.578);
vertex(3.509,0.292,3.287);
vertex(2.642,-1.446,4.802);
vertex(2.365,-2.204,4.058);
vertex(0.550,-2.312,0.413);
vertex(1.048,-2.405,1.310);
vertex(0.147,-2.241,6.853);
vertex(2.337,-1.732,5.433);
vertex(3.786,-0.037,3.484);
vertex(0.256,-2.772,6.057);
vertex(3.395,-1.240,2.364);
vertex(1.106,1.286,6.835);
vertex(3.352,-1.304,2.398);
vertex(-0.211,-3.105,4.254);
vertex(-0.239,-3.067,4.045);
vertex(-0.161,-3.119,4.105);
vertex(1.023,1.889,5.100);
vertex(0.669,1.954,4.977);
vertex(2.044,-2.085,2.007);
vertex(2.486,0.921,1.675);
vertex(-0.433,2.003,3.910);
vertex(-1.086,1.884,3.834);
vertex(2.966,-1.432,2.031);
vertex(-0.683,1.428,2.027);
vertex(-0.812,0.687,0.070);
vertex(2.815,-0.103,1.108);
vertex(-0.122,-2.921,4.351);
vertex(-0.652,-3.121,4.512);
vertex(-0.591,-2.500,3.262);
vertex(2.165,0.980,0.966);
vertex(-2.327,-2.296,1.128);
vertex(-0.890,0.792,0.308);
vertex(-3.191,-1.721,1.004);
vertex(-1.272,0.056,7.290);
vertex(-3.227,-0.617,5.244);
vertex(-2.948,-0.963,5.975);
vertex(2.508,0.036,5.677);
vertex(2.594,0.148,6.440);
vertex(0.454,-2.702,4.476);
vertex(-0.090,-2.905,4.489);
vertex(1.450,1.116,6.848);
vertex(-0.715,1.776,3.409);
vertex(0.295,-2.606,2.889);
vertex(2.478,-0.810,5.317);
vertex(1.063,-2.614,5.783);
vertex(0.634,-2.410,0.090);
vertex(0.314,-2.346,6.716);
vertex(2.294,-1.944,5.502);
vertex(3.687,-0.023,3.589);
vertex(1.732,1.150,6.535);
vertex(3.052,-1.710,2.563);
vertex(0.139,1.990,5.121);
vertex(3.218,-1.357,2.182);
vertex(2.208,-2.118,2.222);
vertex(2.379,0.896,1.414);
vertex(-0.400,2.015,3.905);
vertex(-1.305,1.823,3.788);
vertex(2.972,-1.582,2.247);
vertex(-0.919,1.026,1.933);
vertex(-1.021,1.084,1.863);
vertex(-0.729,0.856,0.058);
vertex(-0.769,0.741,0.058);
vertex(2.932,-0.261,0.592);
vertex(-0.666,-2.422,2.985);
vertex(-1.870,-2.238,1.280);
vertex(-2.762,-1.816,0.530);
vertex(2.637,0.068,5.811);
vertex(2.645,0.133,6.176);
vertex(0.586,-2.669,4.474);
vertex(0.145,-2.356,2.881);
vertex(2.482,-0.834,5.436);
vertex(2.486,-0.827,5.366);
vertex(2.463,-0.809,5.533);
vertex(2.217,-2.058,5.568);
vertex(3.553,-0.025,3.682);
vertex(1.699,1.475,6.229);
vertex(3.274,-1.414,2.333);
vertex(-0.021,1.974,5.268);
vertex(-0.776,1.064,0.068);
vertex(2.191,-2.238,2.404);
vertex(1.914,-2.354,2.511);
vertex(2.324,0.821,1.397);
vertex(-0.193,1.948,3.821);
vertex(3.220,-1.407,2.255);
vertex(-1.085,0.854,1.832);
vertex(2.785,-0.468,0.015);
vertex(-0.407,-2.235,2.762);
vertex(-1.636,-2.183,1.073);
vertex(-2.885,-2.009,0.173);
vertex(0.675,-2.670,4.521);
vertex(0.747,-2.642,4.727);
vertex(-0.323,-2.295,2.723);
vertex(0.080,-2.342,2.763);
vertex(2.512,-0.774,5.566);
vertex(2.150,-2.091,5.812);
vertex(3.590,0.055,3.883);
vertex(-0.190,1.990,5.809);
vertex(1.722,-2.347,2.403);
vertex(2.308,0.830,1.343);
vertex(-0.076,1.891,3.755);
vertex(-1.094,0.905,1.444);
vertex(-1.559,-2.224,0.857);
vertex(-0.012,-2.410,2.661);
vertex(3.526,0.017,4.073);
vertex(-0.083,1.865,6.169);
vertex(1.669,-2.243,2.123);
vertex(2.347,0.866,1.051);
vertex(0.101,1.993,3.745);
vertex(0.027,2.016,3.714);
vertex(-1.034,0.855,1.357);
vertex(-0.104,-2.410,2.778);
vertex(3.477,-0.068,4.230);
vertex(-0.056,1.802,6.334);
vertex(0.033,2.035,3.717);
vertex(-0.721,0.761,1.257);
vertex(-0.039,-2.363,2.850);
vertex(3.495,-0.026,4.395);
vertex(-0.166,1.721,6.456);
vertex(-0.819,0.823,1.216);
vertex(0.006,-2.372,2.933);
vertex(3.529,0.080,4.519);
vertex(-0.394,1.700,6.455);
vertex(3.538,0.193,4.611);
vertex(3.477,0.168,4.766);
vertex(-0.529,1.866,6.361);
vertex(3.487,0.085,4.920);
vertex(-0.681,1.938,6.193);
vertex(-0.852,1.962,6.185);
vertex(-0.969,1.949,6.246);
vertex(-1.868,1.932,3.865);
vertex(-0.679,1.222,1.693);
vertex(-0.147,0.939,0.633);
vertex(-0.237,1.033,0.564);
vertex(0.924,0.626,0.040);
vertex(0.226,2.156,3.071);
vertex(0.219,2.136,3.063);
vertex(-2.966,0.379,0.074);
vertex(-3.034,0.411,0.673);
vertex(-3.103,0.506,0.303);
vertex(-3.228,0.200,1.232);
vertex(-3.305,0.178,0.476);
vertex(-3.235,0.173,0.663);
vertex(-3.347,0.052,0.984);
vertex(0.055,2.047,3.623);
vertex(0.047,2.020,3.619);
vertex(-0.331,1.131,1.150);
vertex(0.672,1.295,0.072);
vertex(0.317,1.786,2.924);
vertex(0.627,1.822,2.756);
vertex(0.182,1.926,2.845);
vertex(0.261,1.617,2.610);
vertex(0.853,1.956,2.924);
vertex(0.873,1.926,3.090);
vertex(0.174,1.663,2.554);
vertex(-2.480,0.604,0.062);
vertex(-2.039,0.563,0.074);
vertex(0.227,1.183,0.069);
vertex(-2.244,0.750,0.052);
vertex(-2.461,0.993,0.113);
vertex(-2.440,1.026,0.021);
vertex(-2.502,1.017,0.200);
vertex(-2.629,1.076,0.306);
vertex(-2.444,-0.685,1.267);
vertex(-1.112,1.304,4.478);
vertex(-1.926,0.977,0.848);
vertex(-2.166,1.020,1.175);
vertex(-2.443,0.913,1.226);
vertex(-1.852,0.919,0.670);
vertex(-1.964,1.032,0.968);
vertex(-2.710,0.808,1.096);
vertex(-2.809,0.678,0.684);
vertex(-1.709,0.837,0.364);
vertex(-1.636,0.953,0.044);
vertex(0.564,-0.102,4.298);
vertex(1.908,-0.323,2.781);
vertex(0.005,0.403,5.655);
vertex(-0.520,-1.319,4.413);
vertex(2.036,0.595,3.750);
vertex(-0.176,-2.098,4.220);
vertex(1.875,0.148,6.173);
vertex(-0.696,1.634,4.180);
vertex(2.066,-0.467,5.969);
vertex(0.560,-0.134,1.825);
vertex(2.444,0.457,2.613);
vertex(-0.265,-2.168,5.027);
vertex(1.667,-0.016,1.004);
vertex(-0.686,-2.482,4.323);
vertex(1.604,0.846,5.898);
vertex(-1.464,-1.232,5.855);
vertex(-0.756,-2.218,6.041);
vertex(2.908,-1.403,4.611);
vertex(0.447,-2.022,4.968);
vertex(1.208,0.797,2.919);
vertex(-0.849,-2.838,3.826);
vertex(0.079,0.445,2.752);
vertex(2.634,-1.218,3.567);
vertex(1.647,-1.622,5.603);
vertex(3.201,-0.193,4.380);
vertex(1.307,-1.193,4.397);
vertex(1.876,-1.069,5.844);
vertex(0.777,-1.813,4.233);
vertex(0.596,-1.056,6.171);
vertex(1.876,-1.243,2.475);
vertex(-0.440,0.469,3.870);
vertex(-0.019,-2.764,3.835);
vertex(0.069,-2.803,4.007);
vertex(-0.060,-2.907,3.788);
vertex(-0.102,-2.916,3.782);
vertex(0.143,-2.800,4.233);
vertex(0.114,-2.888,4.073);
vertex(-0.228,-2.979,3.855);
vertex(2.266,0.592,5.241);
vertex(-0.488,1.176,5.442);
vertex(-2.384,0.076,1.011);
vertex(3.253,-0.752,2.196);
vertex(2.829,0.377,3.073);
vertex(-1.326,-1.687,3.808);
vertex(2.887,-1.036,2.270);
vertex(2.261,-0.928,6.020);
vertex(2.031,0.889,5.134);
vertex(1.078,-1.626,6.092);
vertex(0.276,0.967,1.963);
vertex(-0.879,0.545,2.984);
vertex(0.779,-1.278,2.497);
vertex(-0.719,2.085,4.428);
vertex(-0.777,2.065,4.552);
vertex(-0.941,2.123,4.593);
vertex(0.488,1.043,3.086);
vertex(-0.081,-0.011,6.886);
vertex(-0.284,-2.461,4.621);
vertex(1.176,1.368,1.907);
vertex(1.115,1.406,1.693);
vertex(1.228,1.492,1.945);
vertex(1.145,1.762,2.318);
vertex(3.568,0.259,2.325);
vertex(1.977,-1.132,4.682);
vertex(2.043,-1.380,5.533);
vertex(-0.489,-1.126,6.362);
vertex(-0.500,1.450,5.948);
vertex(3.276,-1.072,3.788);
vertex(3.370,-1.023,3.717);
vertex(3.280,-1.205,3.797);
vertex(3.352,-1.028,3.745);
vertex(3.365,-1.014,3.679);
vertex(3.334,-1.028,3.603);
vertex(3.275,-1.098,3.801);
vertex(3.319,-1.265,3.784);
vertex(3.387,-1.056,3.531);
vertex(2.041,-0.543,1.893);
vertex(1.674,-2.122,0.678);
vertex(1.781,-2.551,0.725);
vertex(-0.556,-1.629,3.383);
vertex(-0.407,-1.122,7.005);
vertex(-1.762,-0.031,4.921);
vertex(0.287,-2.298,5.477);
vertex(0.381,-1.902,6.115);
vertex(1.925,-0.887,0.020);
vertex(2.028,0.280,5.388);
vertex(2.257,-1.307,4.860);
vertex(2.486,-0.893,5.929);
vertex(-1.219,-1.806,5.047);
vertex(-1.111,0.618,6.200);
vertex(3.624,-0.415,4.539);
vertex(3.729,-0.440,4.668);
vertex(3.490,-0.362,4.385);
vertex(3.487,-0.338,4.232);
vertex(3.672,-0.490,4.815);
vertex(3.560,-0.354,4.138);
vertex(3.512,-0.441,4.921);
vertex(3.138,-0.222,3.873);
vertex(-0.262,2.079,4.328);
vertex(-0.370,2.148,4.318);
vertex(-0.194,2.087,4.440);
vertex(-0.254,2.081,4.564);
vertex(-0.340,2.080,4.589);
vertex(2.595,0.714,3.558);
vertex(-0.050,-2.525,5.372);
vertex(2.070,-0.285,4.646);
vertex(0.154,2.020,3.531);
vertex(2.320,-0.876,4.787);
vertex(-0.339,1.856,4.114);
vertex(1.875,0.510,6.987);
vertex(0.133,1.866,3.504);
vertex(0.051,1.047,2.660);
vertex(2.082,0.346,6.385);
vertex(2.898,1.404,2.824);
vertex(2.240,-1.442,4.145);
vertex(2.135,0.521,5.485);
vertex(2.171,-1.115,5.693);
vertex(2.915,-0.343,5.513);
vertex(2.936,-0.187,5.556);
vertex(2.489,-1.163,4.532);
vertex(2.283,-1.056,5.025);
vertex(1.558,1.674,5.102);
vertex(-1.042,1.680,4.801);
vertex(3.305,-0.461,3.281);
vertex(2.954,0.386,4.485);
vertex(3.376,-0.210,4.689);
vertex(3.175,0.315,4.341);
vertex(3.163,0.278,4.298);
vertex(3.178,0.355,4.373);
vertex(3.157,0.263,4.239);
vertex(3.174,0.293,4.184);
vertex(3.101,0.445,4.024);
vertex(3.078,0.567,4.049);
vertex(3.003,0.647,4.101);
vertex(2.963,0.687,4.294);
vertex(2.926,0.713,4.565);
vertex(2.665,0.934,4.706);
vertex(0.170,1.096,4.135);
vertex(2.726,-0.213,4.912);
vertex(1.550,0.477,1.525);
vertex(1.070,-0.924,1.237);
vertex(2.135,0.784,5.531);
vertex(3.104,0.035,4.334);
vertex(1.904,1.126,2.756);
vertex(0.439,1.657,3.542);
vertex(0.384,1.986,3.828);
vertex(-0.174,-2.526,4.222);
vertex(2.196,0.225,1.891);
vertex(0.019,-2.811,3.685);
vertex(-1.832,-0.088,3.042);
vertex(3.503,-0.645,3.684);
vertex(3.521,-0.677,3.831);
vertex(3.476,-0.616,3.571);
vertex(3.453,-0.699,3.936);
vertex(3.546,-0.650,3.490);
vertex(-0.692,-2.540,5.073);
vertex(-0.972,1.040,3.736);
vertex(2.229,0.249,1.111);
vertex(0.175,-2.176,1.756);
vertex(1.998,0.894,6.507);
vertex(0.673,-2.083,3.359);
vertex(0.257,-1.639,2.850);
vertex(0.086,2.044,3.457);
vertex(0.129,2.046,3.478);
vertex(0.100,2.074,3.460);
vertex(0.080,2.026,3.458);
vertex(-0.372,-2.679,4.868);
vertex(2.972,-1.030,3.324);
vertex(-1.097,1.579,4.182);
vertex(0.145,-1.973,3.219);
vertex(1.192,0.920,5.169);
vertex(-0.364,-2.731,4.457);
vertex(3.194,0.059,2.989);
vertex(-0.376,2.015,4.194);
vertex(3.061,-0.625,3.716);
vertex(2.619,-0.934,4.043);
vertex(0.841,-2.233,2.356);
vertex(0.758,-2.226,2.269);
vertex(1.088,-2.322,2.449);
vertex(0.511,-2.408,1.994);
vertex(1.437,-2.411,2.631);
vertex(3.512,-1.196,2.062);
vertex(3.458,-1.184,2.055);
vertex(3.258,-0.014,4.563);
vertex(2.915,-1.000,3.697);
vertex(-1.260,1.766,4.235);
vertex(3.208,-1.124,1.968);
vertex(-0.390,1.455,4.710);
vertex(0.427,-2.805,5.507);
vertex(0.388,-2.801,5.605);
vertex(0.432,-2.802,5.298);
vertex(0.298,-2.814,5.145);
vertex(1.737,1.599,5.737);
vertex(1.865,1.486,6.031);
vertex(-0.027,-1.761,6.534);
vertex(1.534,-2.187,0.156);
vertex(-0.629,-2.645,4.018);
vertex(-1.853,0.417,1.170);
vertex(3.669,0.026,2.648);
vertex(1.983,0.864,5.910);
vertex(-0.078,-1.924,2.773);
vertex(0.720,0.700,6.200);
vertex(1.922,0.382,4.688);
vertex(0.601,-1.859,2.572);
vertex(2.483,0.568,4.379);
vertex(2.260,0.139,6.106);
vertex(0.295,1.791,3.617);
vertex(0.542,-2.407,3.217);
vertex(0.241,2.017,3.366);
vertex(0.309,1.966,3.430);
vertex(3.505,-0.911,2.171);
vertex(-0.415,1.036,3.167);
vertex(-0.423,1.980,3.170);
vertex(3.402,-0.232,3.752);
vertex(3.082,1.140,3.032);
vertex(-0.973,-0.398,6.574);
vertex(-0.123,0.886,6.361);
vertex(-1.767,-1.833,3.415);
vertex(2.033,1.433,5.065);
vertex(1.968,1.498,5.140);
vertex(2.059,1.369,4.893);
vertex(2.072,1.403,4.980);
vertex(1.962,1.569,5.160);
vertex(2.129,1.493,4.765);
vertex(1.941,1.654,4.600);
vertex(-1.190,1.706,3.983);
vertex(0.153,-1.886,2.280);
vertex(-0.676,0.831,6.513);
vertex(2.317,-1.327,5.190);
vertex(1.117,1.239,4.027);
vertex(-0.008,-2.610,4.573);
vertex(3.220,0.511,2.282);
vertex(0.036,1.559,4.082);
vertex(0.100,1.625,3.202);
vertex(1.546,1.660,5.451);
vertex(3.126,0.004,4.050);
vertex(2.647,-0.072,6.427);
vertex(2.685,-0.083,6.230);
vertex(-0.477,-0.411,1.294);
vertex(0.219,-2.600,5.468);
vertex(0.218,1.808,3.314);
vertex(2.022,1.050,5.733);
vertex(2.054,0.448,1.501);
vertex(-0.448,-2.743,3.572);
vertex(1.515,1.126,4.567);
vertex(0.181,-2.496,3.148);
vertex(2.158,-0.990,1.670);
vertex(3.317,-0.713,3.770);
vertex(-0.758,-1.355,7.032);
vertex(0.469,1.946,3.187);
vertex(0.587,1.943,3.215);
vertex(0.443,1.965,3.163);
vertex(0.493,-0.141,7.222);
vertex(3.132,-1.527,3.651);
vertex(-2.945,-1.603,2.171);
vertex(-2.428,-1.953,2.066);
vertex(-3.292,-1.416,1.773);
vertex(-2.264,-2.012,1.740);
vertex(0.570,1.510,3.151);
vertex(-2.314,-0.549,2.063);
vertex(0.256,-1.065,3.723);
vertex(3.249,-1.373,3.628);
vertex(3.388,-0.448,4.613);
vertex(2.308,0.001,6.396);
vertex(0.826,-2.267,6.727);
vertex(3.078,-0.466,4.299);
vertex(-1.090,1.445,5.965);
vertex(2.050,-1.776,3.018);
vertex(-0.127,0.308,1.637);
vertex(3.363,-1.275,2.652);
vertex(0.341,1.850,3.216);
vertex(0.439,1.972,3.620);
vertex(0.478,-2.528,5.573);
vertex(0.922,-1.979,5.496);
vertex(2.151,-0.518,5.053);
vertex(2.479,0.029,3.741);
vertex(-0.354,1.811,4.403);
vertex(3.286,-0.026,3.365);
vertex(2.084,-0.168,6.999);
vertex(2.188,-0.567,6.969);
vertex(2.112,-0.732,6.981);
vertex(1.161,-0.433,5.021);
vertex(0.696,-2.568,6.347);
vertex(0.727,-2.609,6.250);
vertex(-1.474,1.207,3.959);
vertex(0.099,1.385,3.668);
vertex(3.017,-1.251,2.536);
vertex(2.144,0.071,4.962);
vertex(0.425,-2.221,6.352);
vertex(2.282,-1.563,0.232);
vertex(2.327,-1.444,0.366);
vertex(-1.064,0.149,6.753);
vertex(1.116,0.822,1.709);
vertex(-0.389,1.965,4.039);
vertex(-0.665,1.879,4.029);
vertex(1.974,1.560,2.066);
vertex(1.674,1.658,2.121);
vertex(3.021,-0.598,4.984);
vertex(-0.460,-1.089,2.633);
vertex(3.141,1.017,3.292);
vertex(2.430,0.725,0.142);
vertex(2.305,0.435,0.026);
vertex(2.498,0.823,0.043);
vertex(1.477,0.835,1.609);
vertex(1.247,1.442,1.136);
vertex(-0.882,0.079,1.784);
vertex(1.344,-2.006,3.280);
vertex(0.703,-2.304,3.623);
vertex(1.979,1.171,6.236);
vertex(2.943,-0.937,4.026);
vertex(2.759,-0.811,4.359);
vertex(3.101,0.278,4.739);
vertex(2.431,-0.922,2.836);
vertex(2.748,0.582,4.414);
vertex(1.482,0.482,2.283);
vertex(2.322,1.260,3.020);
vertex(2.850,0.487,0.620);
vertex(0.421,-1.870,6.693);
vertex(3.530,-0.280,3.709);
vertex(3.365,-0.458,3.703);
vertex(2.374,0.804,0.593);
vertex(1.106,0.717,0.955);
vertex(-1.013,1.137,6.543);
vertex(-0.538,1.106,6.639);
vertex(-0.820,0.988,6.770);
vertex(0.439,1.589,3.959);
vertex(3.198,0.447,3.842);
vertex(3.297,0.005,3.836);
vertex(-0.274,-2.384,3.798);
vertex(0.351,0.441,7.056);
vertex(3.472,-0.789,3.794);
vertex(3.421,-0.806,3.874);
vertex(3.459,-0.764,3.683);
vertex(3.143,-0.312,4.890);
vertex(0.792,-2.390,5.691);
vertex(0.521,-2.763,5.649);
vertex(0.555,-2.766,5.562);
vertex(2.882,0.395,3.555);
vertex(3.518,-0.201,3.423);
vertex(0.851,-2.669,5.757);
vertex(0.873,-2.671,5.700);
vertex(0.815,-2.657,5.952);
vertex(1.960,1.223,1.652);
vertex(1.836,1.053,1.614);
vertex(2.000,1.232,1.750);
vertex(1.802,1.075,1.492);
vertex(3.122,0.322,4.554);
vertex(3.528,-0.505,3.605);
vertex(3.548,-0.526,3.686);
vertex(3.469,-0.388,3.696);
vertex(3.171,-0.885,4.076);
vertex(3.169,-0.976,4.121);
vertex(0.730,-2.561,5.673);
vertex(0.982,-2.635,5.372);
edge(1010,987);
edge(1010,938);
edge(926,938);
edge(926,987);
edge(926,1010);
edge(938,987);
edge(322,240);
edge(322,17);
edge(22,17);
edge(22,240);
edge(22,322);
edge(17,240);
edge(416,1026);
edge(416,61);
edge(86,61);
edge(86,1026);
edge(86,416);
edge(61,1026);
edge(1006,935);
edge(1006,835);
edge(812,835);
edge(812,935);
edge(812,1006);
edge(835,935);
edge(1195,1005);
edge(1195,1004);
edge(941,1004);
edge(941,1005);
edge(941,1195);
edge(1004,1005);
edge(1152,735);
edge(1152,156);
edge(370,156);
edge(370,735);
edge(370,1152);
edge(156,735);
edge(1135,1017);
edge(1135,853);
edge(143,853);
edge(143,1017);
edge(143,1135);
edge(853,1017);
edge(765,764);
edge(765,763);
edge(159,763);
edge(159,764);
edge(159,765);
edge(763,764);
edge(1117,999);
edge(1117,49);
edge(754,49);
edge(754,999);
edge(754,1117);
edge(49,999);
edge(1166,1146);
edge(1166,1142);
edge(171,1142);
edge(171,1146);
edge(171,1166);
edge(1142,1146);
edge(498,435);
edge(498,100);
edge(426,100);
edge(426,435);
edge(426,498);
edge(100,435);
edge(694,540);
edge(694,135);
edge(361,135);
edge(361,540);
edge(361,694);
edge(135,540);
edge(1038,1009);
edge(1038,822);
edge(675,822);
edge(675,1009);
edge(675,1038);
edge(822,1009);
edge(1168,1062);
edge(1168,506);
edge(250,506);
edge(250,1062);
edge(250,1168);
edge(506,1062);
edge(885,605);
edge(885,351);
edge(604,351);
edge(604,605);
edge(604,885);
edge(351,605);
edge(762,760);
edge(762,700);
edge(175,700);
edge(175,760);
edge(175,762);
edge(700,760);
edge(960,533);
edge(960,242);
edge(88,242);
edge(88,533);
edge(88,960);
edge(242,533);
edge(830,829);
edge(830,803);
edge(189,803);
edge(189,829);
edge(189,830);
edge(803,829);
edge(791,407);
edge(791,92);
edge(73,92);
edge(73,407);
edge(73,791);
edge(92,407);
edge(1109,1044);
edge(1109,962);
edge(913,962);
edge(913,1044);
edge(913,1109);
edge(962,1044);
edge(1237,1136);
edge(1237,1035);
edge(933,1035);
edge(933,1136);
edge(933,1237);
edge(1035,1136);
edge(1133,1033);
edge(1133,647);
edge(514,647);
edge(514,1033);
edge(514,1133);
edge(647,1033);
edge(1093,1088);
edge(1093,336);
edge(936,336);
edge(936,1088);
edge(936,1093);
edge(336,1088);
edge(1065,983);
edge(1065,425);
edge(942,425);
edge(942,983);
edge(942,1065);
edge(425,983);
edge(1097,1027);
edge(1097,985);
edge(948,985);
edge(948,1027);
edge(948,1097);
edge(985,1027);
edge(1231,1187);
edge(1231,1097);
edge(1096,1097);
edge(1096,1187);
edge(1096,1231);
edge(1097,1187);
edge(1003,413);
edge(1003,26);
edge(330,26);
edge(330,413);
edge(330,1003);
edge(26,413);
edge(937,825);
edge(937,799);
edge(64,799);
edge(64,825);
edge(64,937);
edge(799,825);
edge(1271,1269);
edge(1271,291);
edge(1260,291);
edge(1260,1269);
edge(1260,1271);
edge(291,1269);
edge(717,567);
edge(717,150);
edge(549,150);
edge(549,567);
edge(549,717);
edge(150,567);
edge(1077,1026);
edge(1077,86);
edge(528,86);
edge(528,1026);
edge(528,1077);
edge(1156,1114);
edge(1156,504);
edge(137,504);
edge(137,1114);
edge(137,1156);
edge(504,1114);
edge(931,557);
edge(931,455);
edge(503,455);
edge(503,557);
edge(503,931);
edge(455,557);
edge(1256,1195);
edge(1256,1194);
edge(285,1194);
edge(285,1195);
edge(285,1256);
edge(1194,1195);
edge(636,465);
edge(636,392);
edge(132,392);
edge(132,465);
edge(132,636);
edge(392,465);
edge(1034,609);
edge(1034,610);
edge(356,610);
edge(356,609);
edge(356,1034);
edge(610,609);
edge(631,629);
edge(631,401);
edge(69,401);
edge(69,629);
edge(69,631);
edge(401,629);
edge(700,683);
edge(700,466);
edge(175,466);
edge(175,683);
edge(466,683);
edge(1117,667);
edge(239,667);
edge(239,999);
edge(239,1117);
edge(667,999);
edge(1155,1133);
edge(1155,977);
edge(1033,977);
edge(1033,1155);
edge(977,1133);
edge(1226,1214);
edge(1226,655);
edge(981,655);
edge(981,1214);
edge(981,1226);
edge(655,1214);
edge(1127,929);
edge(1127,85);
edge(414,85);
edge(414,929);
edge(414,1127);
edge(85,929);
edge(1220,1148);
edge(1220,1083);
edge(973,1083);
edge(973,1148);
edge(973,1220);
edge(1083,1148);
edge(1133,972);
edge(1133,183);
edge(516,183);
edge(516,972);
edge(516,1133);
edge(183,972);
edge(1256,747);
edge(1256,679);
edge(1195,679);
edge(1195,747);
edge(679,747);
edge(969,501);
edge(969,169);
edge(213,169);
edge(213,501);
edge(213,969);
edge(169,501);
edge(971,880);
edge(971,808);
edge(10,808);
edge(10,880);
edge(10,971);
edge(808,880);
edge(1153,933);
edge(1153,421);
edge(427,421);
edge(427,933);
edge(427,1153);
edge(421,933);
edge(1260,1240);
edge(1260,144);
edge(291,144);
edge(291,1240);
edge(144,1240);
edge(1237,425);
edge(1237,214);
edge(100,214);
edge(100,425);
edge(100,1237);
edge(214,425);
edge(1044,976);
edge(1044,975);
edge(519,975);
edge(519,976);
edge(519,1044);
edge(975,976);
edge(1097,1041);
edge(1097,1036);
edge(985,1036);
edge(985,1041);
edge(1036,1041);
edge(561,559);
edge(561,259);
edge(94,259);
edge(94,559);
edge(94,561);
edge(259,559);
edge(616,406);
edge(616,70);
edge(380,70);
edge(380,406);
edge(380,616);
edge(70,406);
edge(1122,1091);
edge(1122,1001);
edge(1083,1001);
edge(1083,1091);
edge(1083,1122);
edge(1001,1091);
edge(673,553);
edge(673,521);
edge(460,521);
edge(460,553);
edge(460,673);
edge(521,553);
edge(1209,1203);
edge(1209,1027);
edge(1124,1027);
edge(1124,1203);
edge(1124,1209);
edge(1027,1203);
edge(385,383);
edge(385,69);
edge(382,69);
edge(382,383);
edge(382,385);
edge(69,383);
edge(340,332);
edge(340,314);
edge(9,314);
edge(9,332);
edge(9,340);
edge(314,332);
edge(532,497);
edge(532,432);
edge(213,432);
edge(213,497);
edge(213,532);
edge(432,497);
edge(1216,974);
edge(1216,198);
edge(69,198);
edge(69,974);
edge(69,1216);
edge(198,974);
edge(1181,1071);
edge(1181,44);
edge(9,44);
edge(9,1071);
edge(9,1181);
edge(44,1071);
edge(1122,819);
edge(1122,55);
edge(206,55);
edge(206,819);
edge(206,1122);
edge(55,819);
edge(1174,1002);
edge(1174,711);
edge(536,711);
edge(536,1002);
edge(536,1174);
edge(711,1002);
edge(545,362);
edge(545,104);
edge(103,104);
edge(103,362);
edge(103,545);
edge(104,362);
edge(988,846);
edge(988,181);
edge(185,181);
edge(185,846);
edge(185,988);
edge(181,846);
edge(1055,1025);
edge(1055,105);
edge(659,105);
edge(659,1025);
edge(659,1055);
edge(105,1025);
edge(1079,775);
edge(1079,714);
edge(177,714);
edge(177,775);
edge(177,1079);
edge(714,775);
edge(1188,962);
edge(1188,185);
edge(322,185);
edge(322,962);
edge(322,1188);
edge(185,962);
edge(970,951);
edge(970,740);
edge(639,740);
edge(639,951);
edge(639,970);
edge(740,951);
edge(1164,1079);
edge(1164,935);
edge(1069,935);
edge(1069,1079);
edge(1069,1164);
edge(935,1079);
edge(1218,1065);
edge(1218,980);
edge(982,980);
edge(982,1065);
edge(982,1218);
edge(980,1065);
edge(1147,1107);
edge(1147,258);
edge(225,258);
edge(225,1107);
edge(225,1147);
edge(258,1107);
edge(1237,965);
edge(1025,965);
edge(1025,1136);
edge(1025,1237);
edge(965,1136);
edge(1123,1031);
edge(1123,929);
edge(141,929);
edge(141,1031);
edge(141,1123);
edge(929,1031);
edge(1025,933);
edge(927,933);
edge(927,965);
edge(927,1025);
edge(933,965);
edge(1107,913);
edge(1107,268);
edge(495,268);
edge(495,913);
edge(495,1107);
edge(268,913);
edge(1013,216);
edge(1013,145);
edge(163,145);
edge(163,216);
edge(163,1013);
edge(145,216);
edge(749,658);
edge(749,101);
edge(428,101);
edge(428,658);
edge(428,749);
edge(101,658);
edge(904,888);
edge(904,886);
edge(14,886);
edge(14,888);
edge(14,904);
edge(886,888);
edge(611,361);
edge(611,135);
edge(360,135);
edge(360,361);
edge(360,611);
edge(1037,1007);
edge(1037,85);
edge(221,85);
edge(221,1007);
edge(221,1037);
edge(85,1007);
edge(1040,252);
edge(1040,208);
edge(246,208);
edge(246,252);
edge(246,1040);
edge(208,252);
edge(950,928);
edge(950,248);
edge(168,248);
edge(168,928);
edge(168,950);
edge(248,928);
edge(719,572);
edge(719,32);
edge(304,32);
edge(304,572);
edge(304,719);
edge(32,572);
edge(574,572);
edge(574,304);
edge(32,574);
edge(971,903);
edge(971,8);
edge(900,8);
edge(900,903);
edge(900,971);
edge(8,903);
edge(1125,1099);
edge(1125,206);
edge(1098,206);
edge(1098,1099);
edge(1098,1125);
edge(206,1099);
edge(1092,1059);
edge(1092,925);
edge(923,925);
edge(923,1059);
edge(923,1092);
edge(925,1059);
edge(1126,1025);
edge(1126,660);
edge(927,660);
edge(927,1126);
edge(660,1025);
edge(1038,452);
edge(1038,126);
edge(84,126);
edge(84,452);
edge(84,1038);
edge(126,452);
edge(1192,1171);
edge(1192,1172);
edge(502,1172);
edge(502,1171);
edge(502,1192);
edge(1172,1171);
edge(1152,1113);
edge(1152,1026);
edge(368,1026);
edge(368,1113);
edge(368,1152);
edge(1026,1113);
edge(1163,969);
edge(1163,482);
edge(137,482);
edge(137,969);
edge(137,1163);
edge(482,969);
edge(1129,648);
edge(1129,57);
edge(222,57);
edge(222,648);
edge(222,1129);
edge(57,648);
edge(971,773);
edge(971,281);
edge(702,281);
edge(702,773);
edge(702,971);
edge(281,773);
edge(899,885);
edge(899,605);
edge(51,605);
edge(51,885);
edge(51,899);
edge(1243,1226);
edge(1243,228);
edge(11,228);
edge(11,1226);
edge(11,1243);
edge(228,1226);
edge(544,534);
edge(544,115);
edge(509,115);
edge(509,534);
edge(509,544);
edge(115,534);
edge(968,451);
edge(968,127);
edge(126,127);
edge(126,451);
edge(126,968);
edge(127,451);
edge(952,697);
edge(952,250);
edge(506,697);
edge(506,952);
edge(250,697);
edge(1198,1022);
edge(1198,389);
edge(210,389);
edge(210,1022);
edge(210,1198);
edge(389,1022);
edge(1195,950);
edge(1195,117);
edge(948,117);
edge(948,950);
edge(948,1195);
edge(117,950);
edge(561,235);
edge(259,235);
edge(94,235);
edge(631,391);
edge(631,72);
edge(385,72);
edge(385,391);
edge(385,631);
edge(72,391);
edge(1195,946);
edge(1195,412);
edge(89,412);
edge(89,946);
edge(89,1195);
edge(412,946);
edge(1007,931);
edge(1007,786);
edge(62,786);
edge(62,931);
edge(62,1007);
edge(786,931);
edge(306,305);
edge(306,30);
edge(44,30);
edge(44,305);
edge(44,306);
edge(30,305);
edge(1126,1055);
edge(1126,659);
edge(1041,1029);
edge(1041,620);
edge(603,620);
edge(603,1029);
edge(603,1041);
edge(620,1029);
edge(1161,680);
edge(1161,253);
edge(190,253);
edge(190,680);
edge(190,1161);
edge(253,680);
edge(950,818);
edge(788,248);
edge(788,818);
edge(788,950);
edge(248,818);
edge(1188,1044);
edge(1188,226);
edge(913,226);
edge(913,1188);
edge(226,1044);
edge(1234,1189);
edge(1234,952);
edge(924,952);
edge(924,1189);
edge(924,1234);
edge(952,1189);
edge(1203,951);
edge(1203,929);
edge(931,929);
edge(931,951);
edge(931,1203);
edge(929,951);
edge(1256,794);
edge(747,794);
edge(794,1195);
edge(512,404);
edge(512,242);
edge(179,242);
edge(179,404);
edge(179,512);
edge(242,404);
edge(947,861);
edge(947,270);
edge(275,270);
edge(275,861);
edge(275,947);
edge(270,861);
edge(599,365);
edge(599,78);
edge(350,78);
edge(350,365);
edge(350,599);
edge(78,365);
edge(1203,1196);
edge(1007,1196);
edge(1007,1203);
edge(931,1196);
edge(968,1009);
edge(968,1038);
edge(126,1009);
edge(896,550);
edge(896,293);
edge(11,293);
edge(11,550);
edge(11,896);
edge(293,550);
edge(1223,307);
edge(1223,292);
edge(293,292);
edge(293,307);
edge(293,1223);
edge(292,307);
edge(985,1196);
edge(985,1203);
edge(1027,1196);
edge(1121,1037);
edge(1121,929);
edge(650,929);
edge(650,1037);
edge(650,1121);
edge(929,1037);
edge(1259,1248);
edge(1259,1157);
edge(1053,1157);
edge(1053,1248);
edge(1053,1259);
edge(1157,1248);
edge(547,534);
edge(547,509);
edge(115,547);
edge(1015,1014);
edge(1015,260);
edge(947,260);
edge(947,1014);
edge(947,1015);
edge(260,1014);
edge(1150,643);
edge(1150,464);
edge(201,464);
edge(201,643);
edge(201,1150);
edge(464,643);
edge(885,884);
edge(885,257);
edge(353,257);
edge(353,884);
edge(353,885);
edge(257,884);
edge(1060,1039);
edge(1060,208);
edge(243,208);
edge(243,1039);
edge(243,1060);
edge(208,1039);
edge(721,720);
edge(721,227);
edge(13,227);
edge(13,720);
edge(13,721);
edge(227,720);
edge(963,328);
edge(963,39);
edge(299,39);
edge(299,328);
edge(299,963);
edge(39,328);
edge(1009,931);
edge(1009,654);
edge(419,654);
edge(419,931);
edge(419,1009);
edge(654,931);
edge(1113,618);
edge(370,618);
edge(370,1026);
edge(370,1113);
edge(618,1026);
edge(851,343);
edge(851,294);
edge(296,294);
edge(296,343);
edge(296,851);
edge(294,343);
edge(1216,644);
edge(1216,182);
edge(630,182);
edge(630,644);
edge(630,1216);
edge(182,644);
edge(998,714);
edge(998,1069);
edge(998,1079);
edge(714,1069);
edge(1260,678);
edge(1260,443);
edge(110,443);
edge(110,678);
edge(110,1260);
edge(443,678);
edge(1129,1082);
edge(1129,119);
edge(408,119);
edge(408,1082);
edge(408,1129);
edge(119,1082);
edge(1008,671);
edge(1008,670);
edge(102,670);
edge(102,671);
edge(102,1008);
edge(670,671);
edge(221,62);
edge(85,62);
edge(1127,277);
edge(251,277);
edge(251,414);
edge(251,1127);
edge(277,414);
edge(1179,1178);
edge(1179,912);
edge(1176,912);
edge(1176,1178);
edge(1176,1179);
edge(912,1178);
edge(714,640);
edge(714,447);
edge(511,447);
edge(511,640);
edge(511,714);
edge(447,640);
edge(570,524);
edge(570,295);
edge(36,295);
edge(36,524);
edge(36,570);
edge(295,524);
edge(1105,1047);
edge(1105,873);
edge(870,873);
edge(870,1047);
edge(870,1105);
edge(873,1047);
edge(899,351);
edge(604,899);
edge(891,45);
edge(891,313);
edge(310,313);
edge(310,45);
edge(310,891);
edge(313,45);
edge(1038,820);
edge(1038,643);
edge(822,643);
edge(822,820);
edge(643,820);
edge(1216,1030);
edge(1216,73);
edge(930,73);
edge(930,1030);
edge(930,1216);
edge(73,1030);
edge(978,553);
edge(978,460);
edge(333,460);
edge(333,553);
edge(333,978);
edge(1010,320);
edge(1010,46);
edge(47,46);
edge(47,320);
edge(47,1010);
edge(46,320);
edge(993,990);
edge(993,992);
edge(202,992);
edge(202,990);
edge(202,993);
edge(992,990);
edge(1237,1065);
edge(1237,927);
edge(1025,1065);
edge(927,1065);
edge(1038,949);
edge(1038,487);
edge(278,487);
edge(278,949);
edge(278,1038);
edge(487,949);
edge(96,100);
edge(96,214);
edge(96,425);
edge(946,844);
edge(946,823);
edge(412,823);
edge(412,844);
edge(823,844);
edge(1170,708);
edge(1170,342);
edge(592,342);
edge(592,708);
edge(592,1170);
edge(342,708);
edge(1244,337);
edge(1244,318);
edge(33,318);
edge(33,337);
edge(33,1244);
edge(318,337);
edge(1045,964);
edge(1045,684);
edge(140,684);
edge(140,964);
edge(140,1045);
edge(684,964);
edge(769,804);
edge(769,507);
edge(831,507);
edge(831,804);
edge(831,769);
edge(507,804);
edge(1216,1215);
edge(1216,71);
edge(770,71);
edge(770,1215);
edge(770,1216);
edge(71,1215);
edge(1199,1094);
edge(1199,677);
edge(110,677);
edge(110,1094);
edge(110,1199);
edge(677,1094);
edge(1009,265);
edge(1009,127);
edge(267,127);
edge(267,265);
edge(267,1009);
edge(127,265);
edge(1050,1048);
edge(1050,146);
edge(1046,146);
edge(1046,1048);
edge(1046,1050);
edge(146,1048);
edge(380,377);
edge(380,376);
edge(70,376);
edge(70,377);
edge(376,377);
edge(1085,1028);
edge(1085,212);
edge(75,212);
edge(75,1028);
edge(75,1085);
edge(212,1028);
edge(1122,852);
edge(1122,542);
edge(841,542);
edge(841,852);
edge(841,1122);
edge(542,852);
edge(988,874);
edge(871,181);
edge(871,874);
edge(871,988);
edge(181,874);
edge(1165,957);
edge(1165,242);
edge(954,242);
edge(954,957);
edge(954,1165);
edge(242,957);
edge(1106,989);
edge(1106,995);
edge(480,995);
edge(480,989);
edge(480,1106);
edge(995,989);
edge(612,362);
edge(612,57);
edge(222,362);
edge(222,612);
edge(57,362);
edge(963,892);
edge(963,891);
edge(889,891);
edge(889,892);
edge(889,963);
edge(891,892);
edge(627,407);
edge(627,73);
edge(92,627);
edge(1069,640);
edge(640,998);
edge(1159,931);
edge(1159,410);
edge(77,410);
edge(77,931);
edge(77,1159);
edge(410,931);
edge(414,394);
edge(414,78);
edge(251,78);
edge(251,394);
edge(78,394);
edge(838,815);
edge(838,296);
edge(572,296);
edge(572,815);
edge(572,838);
edge(296,815);
edge(1243,1061);
edge(1243,935);
edge(932,935);
edge(932,1061);
edge(932,1243);
edge(935,1061);
edge(964,547);
edge(964,509);
edge(525,509);
edge(525,547);
edge(525,964);
edge(1242,1238);
edge(1242,1222);
edge(1223,1222);
edge(1223,1238);
edge(1223,1242);
edge(1222,1238);
edge(120,609);
edge(120,610);
edge(120,1034);
edge(384,714);
edge(384,998);
edge(384,1079);
edge(1008,665);
edge(1008,449);
edge(450,449);
edge(450,665);
edge(450,1008);
edge(449,665);
edge(1025,750);
edge(1025,433);
edge(429,433);
edge(429,750);
edge(429,1025);
edge(433,750);
edge(906,896);
edge(906,228);
edge(219,228);
edge(219,896);
edge(219,906);
edge(228,896);
edge(1152,1068);
edge(1152,788);
edge(928,788);
edge(928,1068);
edge(928,1152);
edge(788,1068);
edge(1192,899);
edge(1192,897);
edge(885,897);
edge(885,1192);
edge(897,899);
edge(82,198);
edge(82,69);
edge(82,1216);
edge(1184,1047);
edge(1184,1012);
edge(1016,1012);
edge(1016,1047);
edge(1016,1184);
edge(1012,1047);
edge(551,550);
edge(551,325);
edge(6,325);
edge(6,550);
edge(6,551);
edge(325,550);
edge(720,571);
edge(720,552);
edge(227,552);
edge(227,571);
edge(552,571);
edge(896,883);
edge(293,883);
edge(11,883);
edge(963,887);
edge(963,313);
edge(886,313);
edge(886,887);
edge(886,963);
edge(313,887);
edge(1244,1188);
edge(1244,1011);
edge(1149,1011);
edge(1149,1188);
edge(1149,1244);
edge(1011,1188);
edge(1153,173);
edge(371,173);
edge(371,421);
edge(371,1153);
edge(173,421);
edge(1245,1244);
edge(1245,988);
edge(517,988);
edge(517,1244);
edge(517,1245);
edge(988,1244);
edge(781,774);
edge(781,721);
edge(13,774);
edge(13,781);
edge(721,774);
edge(1010,1003);
edge(46,938);
edge(46,1003);
edge(938,1003);
edge(963,919);
edge(963,298);
edge(39,298);
edge(39,919);
edge(298,919);
edge(712,645);
edge(712,538);
edge(520,538);
edge(520,645);
edge(520,712);
edge(538,645);
edge(1198,1154);
edge(1198,390);
edge(1030,390);
edge(1030,1154);
edge(1030,1198);
edge(390,1154);
edge(1014,866);
edge(1014,147);
edge(145,147);
edge(145,866);
edge(145,1014);
edge(147,866);
edge(966,936);
edge(966,555);
edge(321,555);
edge(321,936);
edge(321,966);
edge(555,936);
edge(970,652);
edge(970,129);
edge(395,129);
edge(395,652);
edge(395,970);
edge(129,652);
edge(1206,1071);
edge(1206,334);
edge(24,334);
edge(24,1071);
edge(24,1206);
edge(334,1071);
edge(968,424);
edge(968,90);
edge(56,90);
edge(56,424);
edge(56,968);
edge(90,424);
edge(1247,1207);
edge(1247,1128);
edge(1154,1128);
edge(1154,1207);
edge(1154,1247);
edge(1128,1207);
edge(695,660);
edge(695,927);
edge(695,1126);
edge(232,137);
edge(232,482);
edge(232,969);
edge(1063,1037);
edge(1063,650);
edge(745,650);
edge(745,1037);
edge(745,1063);
edge(1120,1094);
edge(1120,473);
edge(964,473);
edge(964,1094);
edge(964,1120);
edge(473,1094);
edge(1220,1182);
edge(1001,1182);
edge(1001,1220);
edge(1083,1182);
edge(941,948);
edge(941,950);
edge(1235,1058);
edge(1235,107);
edge(1057,107);
edge(1057,1058);
edge(1057,1235);
edge(107,1058);
edge(1235,1056);
edge(1235,1055);
edge(146,1055);
edge(146,1056);
edge(146,1235);
edge(1055,1056);
edge(1240,289);
edge(291,289);
edge(144,289);
edge(406,68);
edge(375,68);
edge(375,380);
edge(375,406);
edge(68,380);
edge(1114,937);
edge(1114,505);
edge(825,505);
edge(825,1114);
edge(505,937);
edge(951,941);
edge(951,1005);
edge(951,1195);
edge(719,718);
edge(304,718);
edge(572,718);
edge(1224,1223);
edge(1224,292);
edge(1222,292);
edge(1222,1224);
edge(636,565);
edge(392,565);
edge(132,565);
edge(971,748);
edge(971,548);
edge(655,548);
edge(655,748);
edge(655,971);
edge(548,748);
edge(1209,1126);
edge(1060,1027);
edge(1060,1126);
edge(1060,1209);
edge(1027,1126);
edge(538,405);
edge(538,404);
edge(233,404);
edge(233,405);
edge(233,538);
edge(404,405);
edge(1166,1145);
edge(1142,1145);
edge(1145,1146);
edge(942,927);
edge(942,924);
edge(923,924);
edge(923,927);
edge(923,942);
edge(924,927);
edge(1163,1063);
edge(1163,288);
edge(482,288);
edge(482,1063);
edge(288,1063);
edge(815,718);
edge(296,718);
edge(1239,1210);
edge(1239,756);
edge(796,756);
edge(796,1210);
edge(796,1239);
edge(756,1210);
edge(1246,1213);
edge(1246,33);
edge(726,33);
edge(726,1213);
edge(726,1246);
edge(33,1213);
edge(1244,582);
edge(318,582);
edge(33,582);
edge(1260,475);
edge(476,475);
edge(476,678);
edge(476,1260);
edge(475,678);
edge(1184,1018);
edge(255,1018);
edge(255,1047);
edge(255,1184);
edge(1018,1047);
edge(1235,1126);
edge(1056,1126);
edge(1192,1173);
edge(1192,98);
edge(1171,98);
edge(1171,1173);
edge(98,1173);
edge(1207,1133);
edge(1207,1078);
edge(953,1078);
edge(953,1133);
edge(953,1207);
edge(1078,1133);
edge(1228,1102);
edge(1228,952);
edge(1100,952);
edge(1100,1102);
edge(1100,1228);
edge(952,1102);
edge(971,204);
edge(548,204);
edge(204,748);
edge(1197,1106);
edge(1197,945);
edge(1097,945);
edge(1097,1106);
edge(1097,1197);
edge(945,1106);
edge(1275,1262);
edge(1275,1256);
edge(794,1262);
edge(794,1275);
edge(1256,1262);
edge(539,441);
edge(539,437);
edge(109,437);
edge(109,441);
edge(109,539);
edge(437,441);
edge(1089,997);
edge(1089,154);
edge(685,154);
edge(685,997);
edge(685,1089);
edge(154,997);
edge(1166,1092);
edge(1166,767);
edge(692,767);
edge(692,1092);
edge(692,1166);
edge(767,1092);
edge(1156,1141);
edge(1156,1092);
edge(137,1092);
edge(137,1141);
edge(1092,1141);
edge(1233,1105);
edge(1233,1064);
edge(114,1064);
edge(114,1105);
edge(114,1233);
edge(1064,1105);
edge(1026,1004);
edge(1026,941);
edge(368,941);
edge(368,1004);
edge(1077,527);
edge(86,527);
edge(527,1026);
edge(963,904);
edge(313,904);
edge(1168,998);
edge(1168,967);
edge(952,967);
edge(952,998);
edge(952,1168);
edge(967,998);
edge(939,595);
edge(939,40);
edge(347,40);
edge(347,595);
edge(347,939);
edge(40,595);
edge(1153,1069);
edge(1153,964);
edge(640,964);
edge(640,1153);
edge(964,1069);
edge(1161,1026);
edge(61,253);
edge(61,1161);
edge(253,1026);
edge(1223,1006);
edge(1223,309);
edge(935,309);
edge(935,1223);
edge(309,1006);
edge(1139,966);
edge(1139,29);
edge(332,29);
edge(332,966);
edge(332,1139);
edge(29,966);
edge(721,705);
edge(721,570);
edge(13,570);
edge(13,705);
edge(570,705);
edge(964,238);
edge(964,544);
edge(211,544);
edge(211,238);
edge(211,964);
edge(544,238);
edge(795,754);
edge(795,19);
edge(295,19);
edge(295,754);
edge(295,795);
edge(19,754);
edge(1263,1256);
edge(1263,1205);
edge(477,1205);
edge(477,1256);
edge(477,1263);
edge(1205,1256);
edge(1090,930);
edge(1090,82);
edge(699,82);
edge(699,930);
edge(699,1090);
edge(82,930);
edge(984,561);
edge(984,235);
edge(441,235);
edge(441,561);
edge(441,984);
edge(532,165);
edge(359,165);
edge(359,497);
edge(359,532);
edge(165,497);
edge(1247,1066);
edge(1128,1066);
edge(1066,1207);
edge(694,520);
edge(135,520);
edge(520,540);
edge(1190,971);
edge(1190,932);
edge(944,932);
edge(944,971);
edge(944,1190);
edge(932,971);
edge(1155,647);
edge(1155,378);
edge(92,378);
edge(92,647);
edge(92,1155);
edge(378,647);
edge(970,653);
edge(740,653);
edge(653,951);
edge(1210,1194);
edge(1210,453);
edge(477,453);
edge(477,1194);
edge(477,1210);
edge(453,1194);
edge(89,747);
edge(679,89);
edge(971,422);
edge(971,97);
edge(8,97);
edge(8,422);
edge(97,422);
edge(1038,986);
edge(278,986);
edge(949,986);
edge(410,503);
edge(410,557);
edge(1230,1121);
edge(1230,599);
edge(237,599);
edge(237,1121);
edge(237,1230);
edge(599,1121);
edge(855,847);
edge(855,803);
edge(189,847);
edge(189,855);
edge(803,847);
edge(1106,537);
edge(995,537);
edge(480,537);
edge(1071,727);
edge(1071,703);
edge(3,703);
edge(3,727);
edge(3,1071);
edge(703,727);
edge(950,411);
edge(409,117);
edge(409,411);
edge(409,950);
edge(117,411);
edge(930,182);
edge(1078,699);
edge(1078,182);
edge(1078,930);
edge(699,182);
edge(838,719);
edge(838,718);
edge(1202,1200);
edge(1202,121);
edge(929,121);
edge(929,1200);
edge(929,1202);
edge(121,1200);
edge(1046,614);
edge(1046,363);
edge(114,363);
edge(114,614);
edge(114,1046);
edge(363,614);
edge(1093,736);
edge(1093,710);
edge(93,710);
edge(93,736);
edge(93,1093);
edge(710,736);
edge(434,660);
edge(434,659);
edge(434,1025);
edge(660,659);
edge(1121,414);
edge(1121,350);
edge(53,350);
edge(53,414);
edge(53,1121);
edge(350,414);
edge(1029,651);
edge(1029,415);
edge(746,415);
edge(746,651);
edge(746,1029);
edge(415,651);
edge(1198,1095);
edge(390,1095);
edge(1030,1095);
edge(1220,2);
edge(317,2);
edge(317,1148);
edge(317,1220);
edge(2,1148);
edge(1010,966);
edge(1010,936);
edge(926,936);
edge(926,966);
edge(1169,993);
edge(1169,992);
edge(202,1169);
edge(401,391);
edge(198,391);
edge(198,401);
edge(69,391);
edge(1139,1071);
edge(314,1071);
edge(314,1139);
edge(332,1071);
edge(964,534);
edge(964,209);
edge(211,209);
edge(211,534);
edge(209,534);
edge(1062,668);
edge(1062,448);
edge(195,448);
edge(195,668);
edge(195,1062);
edge(448,668);
edge(999,606);
edge(999,398);
edge(247,398);
edge(247,606);
edge(247,999);
edge(398,606);
edge(1251,1138);
edge(1251,460);
edge(978,1138);
edge(978,1251);
edge(460,1138);
edge(1259,1199);
edge(1259,965);
edge(1197,965);
edge(1197,1199);
edge(1197,1259);
edge(965,1199);
edge(1122,869);
edge(1122,865);
edge(37,865);
edge(37,869);
edge(37,1122);
edge(865,869);
edge(921,905);
edge(921,312);
edge(283,312);
edge(283,905);
edge(283,921);
edge(312,905);
edge(984,674);
edge(461,235);
edge(461,674);
edge(461,984);
edge(235,674);
edge(1153,984);
edge(1153,176);
edge(447,176);
edge(447,984);
edge(447,1153);
edge(176,984);
edge(1059,953);
edge(923,953);
edge(925,953);
edge(604,378);
edge(604,352);
edge(351,352);
edge(351,378);
edge(352,378);
edge(1063,280);
edge(1063,53);
edge(288,53);
edge(288,280);
edge(53,280);
edge(1017,1015);
edge(1017,861);
edge(147,861);
edge(147,1015);
edge(147,1017);
edge(861,1015);
edge(1156,505);
edge(937,1092);
edge(937,1156);
edge(505,1092);
edge(563,452);
edge(563,84);
edge(83,84);
edge(83,452);
edge(83,563);
edge(1147,1078);
edge(1147,182);
edge(218,182);
edge(218,1078);
edge(218,1147);
edge(963,920);
edge(887,919);
edge(887,920);
edge(919,920);
edge(1260,1045);
edge(475,1045);
edge(476,1045);
edge(1080,1062);
edge(1080,667);
edge(448,667);
edge(448,1080);
edge(667,1062);
edge(1183,1175);
edge(1183,991);
edge(494,991);
edge(494,1175);
edge(494,1183);
edge(991,1175);
edge(1058,1126);
edge(107,1126);
edge(1251,1174);
edge(1251,141);
edge(1123,1174);
edge(1123,1251);
edge(141,1174);
edge(975,974);
edge(975,198);
edge(930,198);
edge(930,974);
edge(930,975);
edge(591,338);
edge(591,226);
edge(27,226);
edge(27,338);
edge(27,591);
edge(226,338);
edge(1160,705);
edge(1160,13);
edge(570,1160);
edge(984,128);
edge(438,128);
edge(438,461);
edge(438,984);
edge(128,461);
edge(1201,1200);
edge(1201,1185);
edge(557,1185);
edge(557,1200);
edge(557,1201);
edge(1185,1200);
edge(669,668);
edge(669,667);
edge(224,667);
edge(224,668);
edge(224,669);
edge(667,668);
edge(1122,842);
edge(206,842);
edge(819,842);
edge(1179,12);
edge(912,12);
edge(12,1178);
edge(971,256);
edge(281,256);
edge(281,204);
edge(256,204);
edge(623,385);
edge(623,382);
edge(383,623);
edge(1213,978);
edge(1213,333);
edge(553,1213);
edge(401,82);
edge(851,569);
edge(296,569);
edge(343,569);
edge(1077,939);
edge(1077,707);
edge(581,707);
edge(581,939);
edge(581,1077);
edge(707,939);
edge(1215,832);
edge(1215,387);
edge(805,387);
edge(805,832);
edge(805,1215);
edge(387,832);
edge(78,277);
edge(1032,894);
edge(1032,254);
edge(857,254);
edge(857,894);
edge(857,1032);
edge(254,894);
edge(1193,1066);
edge(1193,388);
edge(621,388);
edge(621,1066);
edge(621,1193);
edge(388,1066);
edge(1256,1004);
edge(1005,1194);
edge(1005,1256);
edge(1004,1194);
edge(1170,1116);
edge(1170,529);
edge(193,529);
edge(193,1116);
edge(193,1170);
edge(529,1116);
edge(413,331);
edge(330,331);
edge(26,331);
edge(1003,913);
edge(1003,226);
edge(518,226);
edge(518,913);
edge(518,1003);
edge(755,669);
edge(755,448);
edge(667,755);
edge(448,669);
edge(1232,1197);
edge(1232,1187);
edge(1027,1187);
edge(1027,1197);
edge(1027,1232);
edge(1187,1197);
edge(1090,1044);
edge(913,930);
edge(913,1090);
edge(930,1044);
edge(1162,1155);
edge(1162,899);
edge(351,1155);
edge(351,1162);
edge(899,1155);
edge(57,104);
edge(104,222);
edge(500,421);
edge(500,371);
edge(173,500);
edge(641,637);
edge(641,984);
edge(397,984);
edge(397,637);
edge(397,641);
edge(984,637);
edge(1026,939);
edge(1026,531);
edge(528,531);
edge(528,939);
edge(531,939);
edge(1175,1089);
edge(1175,490);
edge(688,490);
edge(688,1089);
edge(688,1175);
edge(490,1089);
edge(1188,988);
edge(962,988);
edge(85,786);
edge(1267,1061);
edge(1267,779);
edge(311,779);
edge(311,1061);
edge(311,1267);
edge(779,1061);
edge(669,195);
edge(314,1181);
edge(91,419);
edge(91,654);
edge(91,931);
edge(1197,933);
edge(1197,927);
edge(924,933);
edge(924,1197);
edge(1183,688);
edge(1089,1183);
edge(628,617);
edge(628,406);
edge(375,617);
edge(375,628);
edge(406,617);
edge(819,1083);
edge(55,1083);
edge(1247,1151);
edge(977,1066);
edge(977,1151);
edge(977,1247);
edge(1066,1151);
edge(747,1262);
edge(301,29);
edge(301,332);
edge(301,1139);
edge(1003,704);
edge(1003,598);
edge(518,598);
edge(518,704);
edge(598,704);
edge(1243,548);
edge(228,548);
edge(548,1226);
edge(1106,991);
edge(537,991);
edge(991,995);
edge(1183,945);
edge(1106,1175);
edge(1106,1183);
edge(945,1175);
edge(1212,1006);
edge(1212,384);
edge(262,384);
edge(262,1006);
edge(262,1212);
edge(384,1006);
edge(1036,59);
edge(948,59);
edge(948,1036);
edge(59,985);
edge(285,368);
edge(285,941);
edge(285,1004);
edge(1214,980);
edge(1214,942);
edge(97,942);
edge(97,980);
edge(97,1214);
edge(942,980);
edge(629,402);
edge(629,67);
edge(72,67);
edge(72,402);
edge(72,629);
edge(67,402);
edge(1245,624);
edge(1245,187);
edge(517,187);
edge(517,624);
edge(187,624);
edge(1003,785);
edge(728,785);
edge(728,938);
edge(728,1003);
edge(785,938);
edge(1008,985);
edge(1008,946);
edge(54,946);
edge(54,985);
edge(54,1008);
edge(946,985);
edge(1207,92);
edge(1078,92);
edge(92,1133);
edge(541,769);
edge(541,507);
edge(831,541);
edge(910,908);
edge(910,14);
edge(904,908);
edge(904,910);
edge(14,908);
edge(405,520);
edge(405,645);
edge(843,675);
edge(843,822);
edge(843,1009);
edge(808,773);
edge(773,880);
edge(851,837);
edge(851,35);
edge(718,35);
edge(718,837);
edge(718,851);
edge(35,837);
edge(1235,614);
edge(1046,1126);
edge(1046,1235);
edge(614,1126);
edge(646,644);
edge(646,377);
edge(630,377);
edge(630,646);
edge(377,644);
edge(1184,260);
edge(481,260);
edge(481,1012);
edge(481,1184);
edge(260,1012);
edge(1093,335);
edge(336,335);
edge(335,1088);
edge(261,992);
edge(261,202);
edge(261,1169);
edge(1011,1003);
edge(1011,962);
edge(913,1011);
edge(962,1003);
edge(882,828);
edge(882,781);
edge(810,781);
edge(810,828);
edge(810,882);
edge(781,828);
edge(321,320);
edge(321,1010);
edge(320,966);
edge(906,882);
edge(906,810);
edge(828,906);
edge(730,349);
edge(730,80);
edge(91,80);
edge(91,349);
edge(91,730);
edge(80,349);
edge(233,1070);
edge(233,273);
edge(957,273);
edge(957,1070);
edge(957,233);
edge(273,1070);
edge(1124,1007);
edge(1124,969);
edge(961,969);
edge(961,1007);
edge(961,1124);
edge(969,1007);
edge(1060,601);
edge(1060,403);
edge(543,403);
edge(543,601);
edge(543,1060);
edge(403,601);
edge(734,694);
edge(734,611);
edge(361,734);
edge(611,694);
edge(941,840);
edge(941,478);
edge(411,478);
edge(411,840);
edge(411,941);
edge(478,840);
edge(843,968);
edge(822,968);
edge(720,568);
edge(552,568);
edge(227,568);
edge(1138,1123);
edge(1138,925);
edge(978,925);
edge(978,1123);
edge(925,1123);
edge(147,853);
edge(853,861);
edge(1189,803);
edge(245,803);
edge(245,952);
edge(245,1189);
edge(803,952);
edge(1243,1267);
edge(1243,1225);
edge(1226,1225);
edge(1226,1267);
edge(1225,1267);
edge(246,549);
edge(246,243);
edge(567,243);
edge(567,246);
edge(243,549);
edge(26,518);
edge(26,598);
edge(26,704);
edge(1151,1065);
edge(1151,942);
edge(927,1151);
edge(1270,1269);
edge(1270,1241);
edge(1072,1241);
edge(1072,1269);
edge(1072,1270);
edge(1241,1269);
edge(1137,1011);
edge(1137,341);
edge(593,341);
edge(593,1011);
edge(593,1137);
edge(341,1011);
edge(1093,789);
edge(1093,776);
edge(709,776);
edge(709,789);
edge(709,1093);
edge(776,789);
edge(722,569);
edge(722,296);
edge(295,296);
edge(295,569);
edge(295,722);
edge(1026,934);
edge(941,934);
edge(934,1004);
edge(811,810);
edge(811,13);
edge(781,811);
edge(13,810);
edge(1227,1220);
edge(1227,1160);
edge(2,1160);
edge(2,1227);
edge(1160,1220);
edge(1256,1210);
edge(968,931);
edge(968,557);
edge(558,557);
edge(558,931);
edge(558,968);
edge(1239,1002);
edge(1239,951);
edge(633,951);
edge(633,1002);
edge(633,1239);
edge(951,1002);
edge(1137,987);
edge(1137,978);
edge(925,987);
edge(925,1137);
edge(978,987);
edge(1206,1078);
edge(1071,1078);
edge(334,1078);
edge(1174,929);
edge(446,445);
edge(446,196);
edge(250,196);
edge(250,445);
edge(250,446);
edge(196,445);
edge(161,688);
edge(161,1089);
edge(161,1183);
edge(1209,1196);
edge(1209,601);
edge(1060,1196);
edge(601,1196);
edge(998,115);
edge(640,115);
edge(115,714);
edge(1096,1089);
edge(1096,154);
edge(1045,154);
edge(1045,1089);
edge(1045,1096);
edge(1197,1157);
edge(1019,1157);
edge(1019,1187);
edge(1019,1197);
edge(1157,1187);
edge(931,730);
edge(77,91);
edge(77,730);
edge(1120,637);
edge(1120,636);
edge(465,637);
edge(465,1120);
edge(636,637);
edge(952,855);
edge(952,847);
edge(87,1088);
edge(87,16);
edge(93,16);
edge(93,1088);
edge(93,87);
edge(16,1088);
edge(974,631);
edge(385,974);
edge(1201,931);
edge(931,1185);
edge(970,946);
edge(970,649);
edge(278,649);
edge(278,946);
edge(278,970);
edge(649,946);
edge(1256,970);
edge(129,1005);
edge(129,1256);
edge(970,1005);
edge(809,808);
edge(809,183);
edge(773,183);
edge(773,809);
edge(183,808);
edge(663,444);
edge(663,290);
edge(149,290);
edge(149,444);
edge(149,663);
edge(290,444);
edge(1127,1034);
edge(414,1034);
edge(929,1034);
edge(28,44);
edge(28,305);
edge(28,306);
edge(972,953);
edge(972,1071);
edge(972,1078);
edge(953,1071);
edge(1086,1085);
edge(1086,1084);
edge(75,1084);
edge(75,1086);
edge(1084,1085);
edge(920,911);
edge(920,910);
edge(263,910);
edge(263,911);
edge(263,920);
edge(910,911);
edge(1182,1091);
edge(928,1001);
edge(928,1091);
edge(928,1182);
edge(1081,1034);
edge(1081,937);
edge(929,937);
edge(929,1081);
edge(937,1034);
edge(1232,1097);
edge(1232,1029);
edge(1041,1232);
edge(1029,1097);
edge(984,396);
edge(176,396);
edge(396,447);
edge(836,841);
edge(836,865);
edge(836,1122);
edge(841,865);
edge(924,945);
edge(924,1097);
edge(1239,1186);
edge(1239,395);
edge(970,1186);
edge(970,1239);
edge(395,1186);
edge(392,130);
edge(131,130);
edge(131,132);
edge(131,392);
edge(130,132);
edge(1009,744);
edge(654,744);
edge(654,843);
edge(744,843);
edge(1094,965);
edge(1094,924);
edge(933,1094);
edge(924,965);
edge(932,1148);
edge(932,1160);
edge(932,1220);
edge(1148,1160);
edge(1121,288);
edge(279,53);
edge(279,288);
edge(279,1121);
edge(1026,190);
edge(253,86);
edge(190,86);
edge(1000,999);
edge(1000,606);
edge(398,1000);
edge(83,844);
edge(84,844);
edge(844,563);
edge(1038,931);
edge(822,931);
edge(1038,563);
edge(1038,451);
edge(126,563);
edge(451,563);
edge(974,391);
edge(1032,849);
edge(1032,92);
edge(378,849);
edge(378,1032);
edge(92,849);
edge(1105,270);
edge(274,270);
edge(274,1064);
edge(274,1105);
edge(270,1064);
edge(1253,1169);
edge(1253,261);
edge(282,261);
edge(282,1169);
edge(282,1253);
edge(1208,833);
edge(1208,826);
edge(762,826);
edge(762,833);
edge(762,1208);
edge(826,833);
edge(520,499);
edge(520,273);
edge(233,499);
edge(233,520);
edge(273,499);
edge(879,330);
edge(879,268);
edge(25,268);
edge(25,330);
edge(25,879);
edge(268,330);
edge(879,495);
edge(879,286);
edge(268,286);
edge(286,495);
edge(1150,731);
edge(1150,58);
edge(200,58);
edge(200,731);
edge(200,1150);
edge(58,731);
edge(1192,1180);
edge(897,98);
edge(897,1180);
edge(98,1180);
edge(1060,205);
edge(601,205);
edge(205,543);
edge(1184,1014);
edge(1012,1014);
edge(1014,1047);
edge(1002,987);
edge(978,951);
edge(978,1002);
edge(951,987);
edge(574,296);
edge(304,296);
edge(1116,1005);
edge(1116,987);
edge(939,987);
edge(939,1005);
edge(939,1116);
edge(987,1005);
edge(896,292);
edge(292,550);
edge(151,1012);
edge(151,1016);
edge(151,1184);
edge(1132,964);
edge(1132,209);
edge(211,1132);
edge(986,757);
edge(986,731);
edge(54,731);
edge(54,757);
edge(54,986);
edge(731,757);
edge(1213,1137);
edge(1213,1011);
edge(341,1213);
edge(1189,830);
edge(1189,829);
edge(1002,725);
edge(587,725);
edge(587,978);
edge(587,1002);
edge(725,978);
edge(660,107);
edge(660,1056);
edge(107,1056);
edge(706,587);
edge(706,725);
edge(706,978);
edge(650,221);
edge(221,745);
edge(1207,849);
edge(92,1128);
edge(849,1128);
edge(984,442);
edge(984,109);
edge(438,109);
edge(438,442);
edge(109,442);
edge(931,843);
edge(80,843);
edge(80,931);
edge(91,843);
edge(765,709);
edge(763,709);
edge(709,764);
edge(451,452);
edge(539,438);
edge(539,674);
edge(539,984);
edge(438,674);
edge(1106,494);
edge(537,494);
edge(1182,1082);
edge(1083,1082);
edge(1082,1091);
edge(758,443);
edge(758,110);
edge(112,110);
edge(112,443);
edge(112,758);
edge(1183,491);
edge(996,494);
edge(996,491);
edge(996,1183);
edge(494,491);
edge(750,657);
edge(750,111);
edge(113,111);
edge(113,657);
edge(113,750);
edge(111,657);
edge(1160,912);
edge(571,2);
edge(571,912);
edge(571,1160);
edge(2,912);
edge(1271,1270);
edge(1241,1271);
edge(1131,1130);
edge(1131,696);
edge(1032,696);
edge(1032,1130);
edge(1032,1131);
edge(696,1130);
edge(1002,193);
edge(1002,1116);
edge(1002,1170);
edge(636,964);
edge(465,964);
edge(1153,1094);
edge(1153,658);
edge(559,658);
edge(559,1094);
edge(559,1153);
edge(658,1094);
edge(1095,1215);
edge(1095,1216);
edge(1030,1215);
edge(1207,1059);
edge(1059,1078);
edge(974,622);
edge(382,622);
edge(382,974);
edge(385,622);
edge(1060,114);
edge(1060,1064);
edge(1060,1105);
edge(1151,1124);
edge(923,1124);
edge(923,1151);
edge(927,1124);
edge(1252,1169);
edge(1252,1073);
edge(1075,1073);
edge(1075,1169);
edge(1075,1252);
edge(1073,1169);
edge(342,193);
edge(193,708);
edge(1124,501);
edge(169,1124);
edge(1197,1096);
edge(945,1096);
edge(1096,1106);
edge(1120,676);
edge(1120,662);
edge(564,662);
edge(564,676);
edge(564,1120);
edge(662,676);
edge(842,869);
edge(842,865);
edge(140,154);
edge(140,486);
edge(1045,486);
edge(486,154);
edge(101,427);
edge(101,1153);
edge(427,658);
edge(446,384);
edge(446,41);
edge(115,41);
edge(115,384);
edge(115,446);
edge(41,384);
edge(1063,969);
edge(1063,961);
edge(432,961);
edge(432,969);
edge(432,1063);
edge(926,925);
edge(926,951);
edge(925,951);
edge(667,754);
edge(731,84);
edge(200,84);
edge(58,84);
edge(594,938);
edge(594,939);
edge(594,987);
edge(938,939);
edge(1202,951);
edge(1202,949);
edge(931,949);
edge(931,1202);
edge(949,951);
edge(119,648);
edge(408,648);
edge(961,359);
edge(961,234);
edge(229,234);
edge(229,359);
edge(229,961);
edge(234,359);
edge(37,836);
edge(545,222);
edge(504,1141);
edge(1196,1038);
edge(1196,949);
edge(80,949);
edge(80,1038);
edge(80,1196);
edge(740,420);
edge(162,420);
edge(162,639);
edge(162,740);
edge(420,639);
edge(1036,449);
edge(59,449);
edge(449,985);
edge(215,981);
edge(215,1214);
edge(215,1226);
edge(1162,378);
edge(1032,1155);
edge(1032,1162);
edge(378,366);
edge(60,352);
edge(60,366);
edge(60,378);
edge(352,366);
edge(1043,692);
edge(1043,1092);
edge(1043,1166);
edge(924,1036);
edge(945,1036);
edge(882,881);
edge(882,811);
edge(13,881);
edge(13,882);
edge(811,881);
edge(1202,968);
edge(949,968);
edge(1071,1003);
edge(1071,966);
edge(340,966);
edge(340,1003);
edge(340,1071);
edge(966,1003);
edge(1166,969);
edge(1140,969);
edge(1140,1142);
edge(1140,1166);
edge(969,1142);
edge(60,351);
edge(650,414);
edge(441,94);
edge(235,437);
edge(94,437);
edge(1009,424);
edge(127,424);
edge(267,424);
edge(1026,87);
edge(86,87);
edge(87,416);
edge(988,624);
edge(517,871);
edge(624,871);
edge(513,939);
edge(513,180);
edge(40,180);
edge(40,513);
edge(180,939);
edge(977,944);
edge(977,923);
edge(942,944);
edge(942,977);
edge(923,944);
edge(986,844);
edge(986,84);
edge(797,84);
edge(797,844);
edge(797,986);
edge(384,250);
edge(384,445);
edge(1003,339);
edge(48,339);
edge(48,598);
edge(48,1003);
edge(339,598);
edge(1127,816);
edge(1127,786);
edge(77,786);
edge(77,816);
edge(77,1127);
edge(786,816);
edge(889,887);
edge(887,891);
edge(1265,1225);
edge(1265,215);
edge(217,215);
edge(217,1225);
edge(217,1265);
edge(215,1225);
edge(784,46);
edge(784,938);
edge(784,1003);
edge(815,782);
edge(815,5);
edge(313,5);
edge(313,782);
edge(313,815);
edge(5,782);
edge(659,1056);
edge(812,775);
edge(812,1079);
edge(775,935);
edge(115,445);
edge(1241,1135);
edge(1241,271);
edge(1019,271);
edge(1019,1135);
edge(1019,1241);
edge(271,1135);
edge(1190,10);
edge(895,10);
edge(895,971);
edge(895,1190);
edge(849,857);
edge(849,894);
edge(942,933);
edge(1134,791);
edge(1134,73);
edge(407,1134);
edge(1005,934);
edge(951,934);
edge(934,987);
edge(70,375);
edge(70,617);
edge(1215,390);
edge(76,387);
edge(76,390);
edge(76,1215);
edge(387,390);
edge(1088,1077);
edge(979,936);
edge(979,1077);
edge(979,1088);
edge(936,1077);
edge(1244,338);
edge(33,338);
edge(33,1011);
edge(338,1011);
edge(921,552);
edge(568,905);
edge(568,921);
edge(552,905);
edge(1149,1138);
edge(1149,988);
edge(962,1138);
edge(962,1149);
edge(988,1138);
edge(317,542);
edge(317,836);
edge(317,1122);
edge(542,836);
edge(1003,338);
edge(1003,27);
edge(1219,1060);
edge(1219,349);
edge(415,349);
edge(415,1060);
edge(415,1219);
edge(349,1060);
edge(990,282);
edge(992,282);
edge(282,202);
edge(938,47);
edge(784,47);
edge(784,785);
edge(47,785);
edge(1238,1079);
edge(1238,775);
edge(812,1238);
edge(1209,614);
edge(613,614);
edge(613,1126);
edge(613,1209);
edge(394,393);
edge(394,350);
edge(78,393);
edge(350,393);
edge(91,410);
edge(1229,1228);
edge(1229,1082);
edge(220,1082);
edge(220,1228);
edge(220,1229);
edge(1082,1228);
edge(623,622);
edge(623,74);
edge(382,74);
edge(74,622);
edge(694,499);
edge(135,499);
edge(822,80);
edge(1042,793);
edge(1042,746);
edge(400,746);
edge(400,793);
edge(400,1042);
edge(746,793);
edge(1137,1003);
edge(1137,938);
edge(925,938);
edge(925,1003);
edge(1078,326);
edge(334,326);
edge(334,972);
edge(326,972);
edge(1008,986);
edge(985,986);
edge(946,986);
edge(1213,1149);
edge(553,1149);
edge(978,1149);
edge(1262,1261);
edge(747,1261);
edge(1256,1261);
edge(1184,947);
edge(660,1058);
edge(695,1058);
edge(925,1011);
edge(1175,690);
edge(492,690);
edge(492,945);
edge(492,1175);
edge(690,945);
edge(1220,1190);
edge(944,1220);
edge(793,80);
edge(793,822);
edge(793,1038);
edge(757,797);
edge(757,946);
edge(797,946);
edge(532,961);
edge(532,969);
edge(1192,1162);
edge(897,1162);
edge(85,650);
edge(126,643);
edge(126,675);
edge(643,675);
edge(1190,1033);
edge(944,1033);
edge(971,1033);
edge(920,43);
edge(916,43);
edge(916,919);
edge(916,920);
edge(43,919);
edge(208,549);
edge(605,52);
edge(352,52);
edge(352,605);
edge(52,604);
edge(372,62);
edge(372,229);
edge(234,62);
edge(234,372);
edge(229,62);
edge(1269,1076);
edge(1269,1045);
edge(1074,1045);
edge(1074,1076);
edge(1074,1269);
edge(1045,1076);
edge(1179,814);
edge(294,814);
edge(294,912);
edge(294,1179);
edge(814,912);
edge(1166,1151);
edge(1166,923);
edge(1124,1166);
edge(1096,1074);
edge(154,1074);
edge(53,599);
edge(402,401);
edge(402,69);
edge(82,402);
edge(635,600);
edge(635,120);
edge(394,120);
edge(394,600);
edge(394,635);
edge(120,600);
edge(1108,967);
edge(1108,700);
edge(802,700);
edge(802,967);
edge(802,1108);
edge(700,967);
edge(1116,546);
edge(193,546);
edge(546,1002);
edge(941,839);
edge(818,839);
edge(818,840);
edge(818,941);
edge(839,840);
edge(1038,464);
edge(821,643);
edge(821,464);
edge(821,1038);
edge(1060,1233);
edge(1182,948);
edge(1182,926);
edge(923,926);
edge(923,948);
edge(923,1182);
edge(926,948);
edge(1118,533);
edge(1118,88);
edge(242,1118);
edge(1148,1080);
edge(1148,1062);
edge(207,1062);
edge(207,1080);
edge(207,1148);
edge(1229,1091);
edge(1229,104);
edge(1082,104);
edge(104,1091);
edge(152,415);
edge(152,620);
edge(152,1029);
edge(415,620);
edge(1026,133);
edge(531,133);
edge(133,939);
edge(1040,1039);
edge(1040,601);
edge(91,601);
edge(91,1039);
edge(91,1040);
edge(601,1039);
edge(1077,1010);
edge(1077,321);
edge(1194,1112);
edge(285,1112);
edge(1112,1004);
edge(1192,1066);
edge(1172,1066);
edge(1172,1180);
edge(1066,1180);
edge(1274,1263);
edge(1274,477);
edge(1256,1274);
edge(294,837);
edge(296,837);
edge(984,964);
edge(984,238);
edge(396,238);
edge(396,964);
edge(130,465);
edge(238,641);
edge(396,641);
edge(951,1116);
edge(1134,647);
edge(1134,352);
edge(604,647);
edge(604,1134);
edge(352,647);
edge(879,327);
edge(286,327);
edge(327,495);
edge(1194,1161);
edge(680,1004);
edge(680,1194);
edge(1004,1161);
edge(1107,198);
edge(1107,20);
edge(82,20);
edge(82,1107);
edge(20,198);
edge(1272,1169);
edge(1272,148);
edge(1096,148);
edge(1096,1169);
edge(1096,1272);
edge(148,1169);
edge(1147,1090);
edge(699,1147);
edge(1090,1078);
edge(1273,1231);
edge(1273,373);
edge(160,373);
edge(160,1231);
edge(160,1273);
edge(373,1231);
edge(993,161);
edge(989,161);
edge(989,992);
edge(989,993);
edge(161,992);
edge(40,528);
edge(40,531);
edge(961,613);
edge(532,613);
edge(359,613);
edge(16,1077);
edge(87,1077);
edge(1037,937);
edge(929,1007);
edge(937,1007);
edge(1169,989);
edge(66,514);
edge(66,647);
edge(66,1033);
edge(1181,703);
edge(3,1181);
edge(1044,322);
edge(185,1044);
edge(1151,425);
edge(358,557);
edge(358,1185);
edge(358,1200);
edge(167,925);
edge(167,962);
edge(167,1138);
edge(925,962);
edge(1207,930);
edge(1059,930);
edge(973,1098);
edge(973,1099);
edge(973,1125);
edge(1251,459);
edge(1251,65);
edge(125,65);
edge(125,459);
edge(125,1251);
edge(65,459);
edge(962,827);
edge(962,801);
edge(167,801);
edge(167,827);
edge(801,827);
edge(939,529);
edge(40,529);
edge(40,594);
edge(529,594);
edge(1161,1111);
edge(1161,1110);
edge(253,1110);
edge(253,1111);
edge(1110,1111);
edge(1044,240);
edge(17,1044);
edge(393,365);
edge(1221,657);
edge(1221,431);
edge(111,431);
edge(111,1221);
edge(431,657);
edge(1242,307);
edge(1079,307);
edge(1079,1223);
edge(1079,1242);
edge(1119,963);
edge(1119,912);
edge(571,963);
edge(571,1119);
edge(912,963);
edge(970,1195);
edge(631,383);
edge(146,1126);
edge(1181,1119);
edge(298,3);
edge(298,1119);
edge(298,1181);
edge(3,1119);
edge(1199,663);
edge(1199,290);
edge(149,1199);
edge(1227,1119);
edge(912,1227);
edge(1119,1160);
edge(1005,133);
edge(759,133);
edge(759,1004);
edge(759,1005);
edge(133,1004);
edge(1107,329);
edge(198,329);
edge(20,329);
edge(1252,282);
edge(202,1252);
edge(902,901);
edge(902,98);
edge(898,98);
edge(898,901);
edge(898,902);
edge(98,901);
edge(1016,579);
edge(1016,163);
edge(150,163);
edge(150,579);
edge(150,1016);
edge(163,579);
edge(1181,2);
edge(1181,1220);
edge(1181,1227);
edge(1068,776);
edge(1068,88);
edge(709,88);
edge(709,1068);
edge(88,776);
edge(190,1004);
edge(881,576);
edge(13,576);
edge(811,576);
edge(501,1166);
edge(392,637);
edge(1229,1129);
edge(222,1229);
edge(104,1129);
edge(1253,1252);
edge(838,5);
edge(313,838);
edge(1071,324);
edge(38,314);
edge(38,324);
edge(38,1071);
edge(314,324);
edge(1165,712);
edge(1165,538);
edge(233,712);
edge(233,1165);
edge(972,554);
edge(972,23);
edge(183,23);
edge(183,554);
edge(23,554);
edge(1174,951);
edge(1174,121);
edge(121,951);
edge(469,468);
edge(469,467);
edge(132,467);
edge(132,468);
edge(132,469);
edge(467,468);
edge(1196,651);
edge(349,651);
edge(349,1196);
edge(651,1060);
edge(949,653);
edge(418,278);
edge(418,653);
edge(418,949);
edge(278,653);
edge(1239,199);
edge(546,199);
edge(546,633);
edge(546,1239);
edge(199,633);
edge(161,995);
edge(161,1106);
edge(1063,170);
edge(482,170);
edge(170,969);
edge(1117,524);
edge(239,524);
edge(524,667);
edge(320,29);
edge(29,321);
edge(1033,97);
edge(900,97);
edge(900,1033);
edge(133,190);
edge(190,759);
edge(880,809);
edge(72,401);
edge(1076,154);
edge(18,38);
edge(18,314);
edge(18,324);
edge(936,590);
edge(936,31);
edge(555,31);
edge(555,590);
edge(31,590);
edge(463,397);
edge(463,81);
edge(128,81);
edge(128,397);
edge(128,463);
edge(81,397);
edge(1137,1002);
edge(1008,1036);
edge(1008,1041);
edge(965,1153);
edge(1047,875);
edge(1047,216);
edge(579,216);
edge(579,875);
edge(579,1047);
edge(216,875);
edge(1127,394);
edge(350,1127);
edge(1167,1129);
edge(1167,792);
edge(734,792);
edge(734,1129);
edge(734,1167);
edge(792,1129);
edge(897,1173);
edge(885,1173);
edge(1065,933);
edge(1065,656);
edge(698,656);
edge(698,933);
edge(698,1065);
edge(656,933);
edge(239,262);
edge(239,224);
edge(524,224);
edge(524,262);
edge(224,262);
edge(383,72);
edge(637,130);
edge(1062,524);
edge(36,667);
edge(36,1062);
edge(1269,476);
edge(291,476);
edge(999,524);
edge(224,999);
edge(973,944);
edge(973,1182);
edge(944,1182);
edge(1055,1054);
edge(1055,1053);
edge(146,1053);
edge(146,1054);
edge(1053,1054);
edge(378,894);
edge(127,452);
edge(1070,956);
edge(957,956);
edge(273,956);
edge(1010,939);
edge(1010,581);
edge(938,581);
edge(1062,1006);
edge(1062,262);
edge(384,1062);
edge(998,973);
edge(998,924);
edge(952,973);
edge(924,973);
edge(1243,1214);
edge(932,1214);
edge(1061,1214);
edge(1107,1090);
edge(1107,1044);
edge(198,1044);
edge(198,1090);
edge(376,68);
edge(68,377);
edge(354,279);
edge(354,79);
edge(237,79);
edge(237,279);
edge(237,354);
edge(79,279);
edge(1137,587);
edge(1011,988);
edge(1197,923);
edge(927,1027);
edge(923,1027);
edge(1071,346);
edge(583,346);
edge(583,1003);
edge(583,1071);
edge(346,1003);
edge(1236,1225);
edge(1236,217);
edge(1214,217);
edge(1214,1225);
edge(1214,1236);
edge(1115,1114);
edge(1115,825);
edge(937,1115);
edge(950,840);
edge(839,950);
edge(1227,944);
edge(1190,1227);
edge(930,1109);
edge(896,551);
edge(896,325);
edge(308,325);
edge(308,551);
edge(308,896);
edge(1234,1197);
edge(1234,945);
edge(1135,861);
edge(938,593);
edge(34,593);
edge(34,728);
edge(34,938);
edge(593,728);
edge(908,907);
edge(908,263);
edge(283,263);
edge(283,907);
edge(283,908);
edge(263,907);
edge(1040,730);
edge(1040,77);
edge(985,1029);
edge(1008,1029);
edge(1068,958);
edge(1068,168);
edge(955,168);
edge(955,958);
edge(955,1068);
edge(168,958);
edge(977,971);
edge(97,977);
edge(942,971);
edge(1164,831);
edge(1164,177);
edge(173,177);
edge(173,831);
edge(173,1164);
edge(177,831);
edge(1033,702);
edge(1033,256);
edge(514,256);
edge(514,702);
edge(256,702);
edge(53,650);
edge(1185,1127);
edge(1185,817);
edge(787,817);
edge(787,1127);
edge(787,1185);
edge(817,1127);
edge(1166,1126);
edge(501,1126);
edge(1124,1126);
edge(999,262);
edge(968,487);
edge(451,90);
edge(451,487);
edge(90,487);
edge(1037,961);
edge(1037,229);
edge(164,229);
edge(164,961);
edge(164,1037);
edge(1247,389);
edge(99,389);
edge(99,1154);
edge(99,1247);
edge(389,1154);
edge(791,741);
edge(182,73);
edge(182,741);
edge(182,791);
edge(73,741);
edge(1161,1113);
edge(1004,1113);
edge(1139,9);
edge(1031,1034);
edge(1031,1081);
edge(524,754);
edge(295,667);
edge(252,549);
edge(252,567);
edge(252,717);
edge(1198,1024);
edge(1198,166);
edge(1023,166);
edge(1023,1024);
edge(1023,1198);
edge(166,1024);
edge(1209,403);
edge(1209,62);
edge(372,403);
edge(372,1209);
edge(62,403);
edge(1181,963);
edge(912,1181);
edge(916,915);
edge(914,43);
edge(914,915);
edge(914,916);
edge(43,915);
edge(1196,1029);
edge(1027,1029);
edge(279,1163);
edge(279,493);
edge(237,493);
edge(237,1163);
edge(493,1163);
edge(948,409);
edge(59,117);
edge(59,409);
edge(1236,971);
edge(1236,944);
edge(932,1236);
edge(950,364);
edge(818,364);
edge(364,839);
edge(1194,1111);
edge(1110,1194);
edge(1170,1137);
edge(1170,593);
edge(938,1170);
edge(545,168);
edge(104,168);
edge(103,168);
edge(169,1126);
edge(1164,1061);
edge(1061,1079);
edge(1137,783);
edge(1137,588);
edge(593,588);
edge(593,783);
edge(588,783);
edge(979,941);
edge(979,934);
edge(928,934);
edge(928,941);
edge(928,979);
edge(1119,13);
edge(227,1119);
edge(13,571);
edge(1202,686);
edge(558,686);
edge(558,949);
edge(558,1202);
edge(686,949);
edge(601,349);
edge(349,1039);
edge(782,723);
edge(313,723);
edge(5,723);
edge(1009,56);
edge(419,56);
edge(419,424);
edge(984,559);
edge(259,984);
edge(1130,60);
edge(316,60);
edge(316,1032);
edge(316,1130);
edge(60,1032);
edge(1197,1126);
edge(1124,1197);
edge(1071,1220);
edge(1071,1227);
edge(70,68);
edge(928,926);
edge(928,936);
edge(928,966);
edge(613,403);
edge(403,614);
edge(942,982);
edge(1071,348);
edge(346,348);
edge(348,1003);
edge(788,958);
edge(788,168);
edge(1190,576);
edge(705,576);
edge(705,932);
edge(705,1190);
edge(576,932);
edge(952,768);
edge(952,196);
edge(697,196);
edge(697,768);
edge(196,768);
edge(1242,293);
edge(1171,1180);
edge(1132,1104);
edge(1132,683);
edge(1103,683);
edge(1103,1104);
edge(1103,1132);
edge(683,1104);
edge(1260,1199);
edge(1260,677);
edge(1130,608);
edge(351,608);
edge(351,1130);
edge(60,608);
edge(1152,1093);
edge(1152,736);
edge(789,736);
edge(789,1152);
edge(1029,399);
edge(415,399);
edge(746,399);
edge(1206,913);
edge(1206,518);
edge(413,518);
edge(413,913);
edge(413,1206);
edge(757,84);
edge(1167,1091);
edge(1167,104);
edge(37,104);
edge(37,1091);
edge(37,1167);
edge(1181,1178);
edge(4,912);
edge(4,1178);
edge(4,1181);
edge(78,53);
edge(1243,971);
edge(548,1214);
edge(971,1214);
edge(1152,941);
edge(788,941);
edge(1139,573);
edge(300,301);
edge(300,573);
edge(300,1139);
edge(301,573);
edge(346,26);
edge(26,583);
edge(1187,1184);
edge(1187,152);
edge(681,152);
edge(681,1184);
edge(681,1187);
edge(152,1184);
edge(487,563);
edge(278,563);
edge(490,945);
edge(945,1089);
edge(963,905);
edge(963,263);
edge(904,263);
edge(904,905);
edge(263,905);
edge(964,933);
edge(933,1069);
edge(925,1149);
edge(664,470);
edge(664,112);
edge(443,470);
edge(443,664);
edge(112,470);
edge(836,1001);
edge(37,1001);
edge(1205,129);
edge(1205,1210);
edge(129,1210);
edge(46,29);
edge(29,47);
edge(361,157);
edge(135,157);
edge(157,360);
edge(240,1188);
edge(1163,526);
edge(1163,138);
edge(493,138);
edge(493,526);
edge(138,526);
edge(1155,897);
edge(1155,1180);
edge(1155,1192);
edge(396,544);
edge(951,1123);
edge(1047,1013);
edge(1012,1013);
edge(1013,1016);
edge(802,762);
edge(175,802);
edge(156,776);
edge(156,958);
edge(156,1068);
edge(776,958);
edge(1068,979);
edge(1068,936);
edge(967,772);
edge(967,509);
edge(445,509);
edge(445,772);
edge(445,967);
edge(509,772);
edge(512,417);
edge(179,417);
edge(404,417);
edge(1148,1099);
edge(195,973);
edge(195,1099);
edge(195,1148);
edge(511,176);
edge(396,511);
edge(1033,903);
edge(256,903);
edge(184,517);
edge(184,871);
edge(184,988);
edge(626,1123);
edge(626,1138);
edge(626,1251);
edge(1012,216);
edge(1106,1089);
edge(154,1106);
edge(951,634);
edge(420,634);
edge(420,951);
edge(634,639);
edge(308,219);
edge(219,325);
edge(1257,1194);
edge(1257,241);
edge(477,241);
edge(477,1257);
edge(241,1194);
edge(805,73);
edge(805,770);
edge(832,770);
edge(832,73);
edge(770,73);
edge(1206,1003);
edge(1206,583);
edge(586,583);
edge(586,1003);
edge(586,1206);
edge(563,986);
edge(278,844);
edge(1117,1000);
edge(606,1117);
edge(1092,1124);
edge(336,321);
edge(336,555);
edge(216,1018);
edge(579,1018);
edge(110,564);
edge(110,662);
edge(110,676);
edge(867,862);
edge(867,181);
edge(854,181);
edge(854,862);
edge(854,867);
edge(181,862);
edge(634,633);
edge(633,639);
edge(739,630);
edge(739,380);
edge(381,380);
edge(381,630);
edge(381,739);
edge(380,630);
edge(319,318);
edge(319,582);
edge(319,1244);
edge(1069,447);
edge(173,447);
edge(173,714);
edge(173,1069);
edge(1166,927);
edge(435,927);
edge(435,1151);
edge(435,1166);
edge(1154,857);
edge(1154,76);
edge(849,76);
edge(849,1154);
edge(76,857);
edge(321,581);
edge(372,613);
edge(1123,937);
edge(790,929);
edge(790,937);
edge(790,1123);
edge(679,970);
edge(89,970);
edge(363,1056);
edge(363,1057);
edge(363,1235);
edge(1056,1057);
edge(1221,965);
edge(431,965);
edge(111,965);
edge(811,774);
edge(7,774);
edge(7,781);
edge(7,811);
edge(914,920);
edge(118,818);
edge(118,840);
edge(118,941);
edge(374,626);
edge(374,1123);
edge(374,1138);
edge(213,170);
edge(170,432);
edge(1087,1085);
edge(1087,1084);
edge(316,1084);
edge(316,1085);
edge(316,1087);
edge(1100,973);
edge(1100,195);
edge(952,195);
edge(1109,197);
edge(827,197);
edge(827,1109);
edge(197,962);
edge(1272,1231);
edge(148,1231);
edge(1207,1180);
edge(1155,1066);
edge(1155,1207);
edge(1255,1060);
edge(1255,205);
edge(208,205);
edge(208,1255);
edge(1221,1136);
edge(430,431);
edge(430,1136);
edge(430,1221);
edge(431,1136);
edge(1169,269);
edge(1019,269);
edge(1019,1075);
edge(1019,1169);
edge(269,1075);
edge(983,982);
edge(983,980);
edge(342,529);
edge(1240,1271);
edge(1076,475);
edge(476,1076);
edge(433,105);
edge(105,750);
edge(830,952);
edge(677,676);
edge(560,110);
edge(560,676);
edge(560,677);
edge(938,347);
edge(938,320);
edge(47,347);
edge(320,347);
edge(1116,180);
edge(133,180);
edge(133,1116);
edge(1202,420);
edge(162,121);
edge(162,1202);
edge(121,420);
edge(549,566);
edge(567,566);
edge(243,566);
edge(1196,1042);
edge(793,1196);
edge(1038,1042);
edge(638,599);
edge(638,365);
edge(354,365);
edge(354,599);
edge(354,638);
edge(638,393);
edge(350,638);
edge(1250,1165);
edge(1250,1118);
edge(242,1250);
edge(1118,1165);
edge(1056,105);
edge(1167,361);
edge(694,1167);
edge(1249,1199);
edge(1249,1019);
edge(1135,1199);
edge(1135,1249);
edge(1019,1199);
edge(180,529);
edge(1120,474);
edge(472,473);
edge(472,474);
edge(472,1120);
edge(473,474);
edge(931,1200);
edge(337,1188);
edge(318,1188);
edge(1032,1028);
edge(894,1028);
edge(254,1028);
edge(355,117);
edge(355,946);
edge(355,1195);
edge(117,946);
edge(280,432);
edge(280,482);
edge(432,482);
edge(613,169);
edge(613,969);
edge(169,961);
edge(988,877);
edge(988,322);
edge(876,322);
edge(876,877);
edge(876,988);
edge(322,877);
edge(865,852);
edge(852,842);
edge(84,127);
edge(1134,616);
edge(1134,380);
edge(406,1134);
edge(1212,1211);
edge(1212,239);
edge(262,1211);
edge(239,1211);
edge(1028,893);
edge(254,893);
edge(893,894);
edge(658,965);
edge(1209,961);
edge(372,961);
edge(1133,944);
edge(406,73);
edge(380,73);
edge(1168,384);
edge(935,384);
edge(935,1062);
edge(935,1168);
edge(164,53);
edge(164,745);
edge(164,1063);
edge(53,745);
edge(891,886);
edge(310,886);
edge(310,887);
edge(1207,73);
edge(92,1154);
edge(73,1154);
edge(1117,795);
edge(344,754);
edge(344,795);
edge(344,1117);
edge(199,796);
edge(199,1186);
edge(796,1186);
edge(307,935);
edge(263,43);
edge(263,914);
edge(1168,196);
edge(1211,642);
edge(1211,606);
edge(398,642);
edge(398,1211);
edge(606,642);
edge(351,257);
edge(351,353);
edge(1088,1026);
edge(1088,416);
edge(934,939);
edge(939,1004);
edge(644,629);
edge(644,402);
edge(67,644);
edge(540,157);
edge(601,208);
edge(861,1014);
edge(1128,1032);
edge(162,634);
edge(1011,226);
edge(7,810);
edge(978,459);
edge(123,459);
edge(123,460);
edge(123,978);
edge(459,460);
edge(579,489);
edge(116,216);
edge(116,489);
edge(116,579);
edge(216,489);
edge(571,343);
edge(571,36);
edge(296,36);
edge(296,571);
edge(36,343);
edge(538,179);
edge(179,405);
edge(1178,723);
edge(782,912);
edge(782,1178);
edge(723,912);
edge(11,6);
edge(11,325);
edge(418,740);
edge(418,395);
edge(418,970);
edge(740,395);
edge(338,337);
edge(337,1011);
edge(994,161);
edge(994,1089);
edge(994,1106);
edge(1229,545);
edge(1255,549);
edge(1255,566);
edge(243,1255);
edge(460,1149);
edge(617,616);
edge(27,48);
edge(27,339);
edge(27,598);
edge(1180,1151);
edge(1180,425);
edge(942,1180);
edge(1078,913);
edge(930,953);
edge(913,953);
edge(970,949);
edge(946,949);
edge(1147,286);
edge(258,286);
edge(286,1107);
edge(1181,515);
edge(912,515);
edge(515,963);
edge(1129,55);
edge(119,55);
edge(55,1082);
edge(1121,1034);
edge(937,1121);
edge(979,1093);
edge(979,1152);
edge(1068,1093);
edge(966,46);
edge(1099,1080);
edge(1099,448);
edge(195,1080);
edge(246,1039);
edge(1078,1003);
edge(953,1003);
edge(46,332);
edge(1042,1029);
edge(1042,603);
edge(399,603);
edge(399,1042);
edge(147,143);
edge(1152,1088);
edge(736,1088);
edge(1095,249);
edge(1095,74);
edge(71,74);
edge(71,249);
edge(71,1095);
edge(74,249);
edge(470,444);
edge(470,149);
edge(290,470);
edge(909,908);
edge(909,283);
edge(907,909);
edge(377,381);
edge(966,31);
edge(321,31);
edge(581,320);
edge(1218,96);
edge(95,96);
edge(95,1065);
edge(95,1218);
edge(96,1065);
edge(723,4);
edge(1134,627);
edge(1134,378);
edge(92,1134);
edge(378,627);
edge(958,687);
edge(488,687);
edge(488,776);
edge(488,958);
edge(687,776);
edge(1079,856);
edge(848,177);
edge(848,856);
edge(848,1079);
edge(177,856);
edge(34,47);
edge(34,347);
edge(1077,580);
edge(321,580);
edge(580,581);
edge(1162,1131);
edge(1162,1066);
edge(1128,1131);
edge(1128,1162);
edge(1066,1131);
edge(1164,541);
edge(769,1164);
edge(1198,1109);
edge(210,1024);
edge(210,1109);
edge(1024,1109);
edge(1242,311);
edge(307,311);
edge(311,293);
edge(646,376);
edge(376,644);
edge(341,33);
edge(1170,987);
edge(594,1170);
edge(1162,1130);
edge(257,1130);
edge(257,1162);
edge(960,764);
edge(88,764);
edge(533,764);
edge(488,709);
edge(687,709);
edge(560,662);
edge(1206,330);
edge(1206,25);
edge(268,1206);
edge(1127,600);
edge(350,600);
edge(1260,1241);
edge(1199,1045);
edge(1199,1241);
edge(1045,1241);
edge(177,1069);
edge(1087,1032);
edge(1087,212);
edge(1028,1087);
edge(212,1032);
edge(197,1044);
edge(1120,560);
edge(677,1120);
edge(560,1094);
edge(581,347);
edge(621,1172);
edge(621,1192);
edge(494,160);
edge(494,1231);
edge(494,1273);
edge(1166,1141);
edge(171,1043);
edge(171,1141);
edge(1043,1141);
edge(269,260);
edge(269,947);
edge(269,1015);
edge(1228,1125);
edge(119,1125);
edge(119,1228);
edge(1082,1125);
edge(896,575);
edge(228,575);
edge(228,883);
edge(575,883);
edge(502,257);
edge(502,1130);
edge(502,1162);
edge(1061,1236);
edge(1061,1069);
edge(891,890);
edge(887,890);
edge(886,890);
edge(696,316);
edge(696,1028);
edge(316,1028);
edge(1174,634);
edge(420,1174);
edge(933,173);
edge(485,154);
edge(485,685);
edge(485,1089);
edge(964,474);
edge(473,140);
edge(140,474);
edge(929,1185);
edge(1237,426);
edge(927,426);
edge(426,1065);
edge(983,901);
edge(983,96);
edge(425,901);
edge(96,901);
edge(959,958);
edge(959,955);
edge(168,959);
edge(935,41);
edge(775,41);
edge(41,812);
edge(1251,625);
edge(460,625);
edge(459,625);
edge(88,955);
edge(88,958);
edge(499,540);
edge(1249,1248);
edge(1249,264);
edge(1157,264);
edge(1157,1249);
edge(264,1248);
edge(94,109);
edge(281,895);
edge(204,895);
edge(1260,1135);
edge(824,1135);
edge(824,1240);
edge(824,1260);
edge(1135,1240);
edge(379,378);
edge(379,60);
edge(366,379);
edge(121,931);
edge(1271,1135);
edge(1124,613);
edge(614,1058);
edge(764,512);
edge(764,417);
edge(404,764);
edge(875,1018);
edge(1234,1208);
edge(1234,490);
edge(1089,1208);
edge(1089,1234);
edge(490,1208);
edge(183,514);
edge(514,972);
edge(1108,964);
edge(700,964);
edge(964,967);
edge(934,1077);
edge(682,64);
edge(682,825);
edge(682,937);
edge(1027,924);
edge(924,948);
edge(1239,1116);
edge(607,546);
edge(607,1116);
edge(607,1239);
edge(1118,966);
edge(1118,936);
edge(302,936);
edge(302,966);
edge(302,1118);
edge(1107,585);
edge(20,495);
edge(20,585);
edge(495,585);
edge(983,97);
edge(370,736);
edge(370,789);
edge(1129,1091);
edge(1129,819);
edge(55,1091);
edge(819,1091);
edge(1089,684);
edge(486,684);
edge(486,1089);
edge(612,545);
edge(167,988);
edge(674,176);
edge(235,176);
edge(176,461);
edge(239,1006);
edge(1164,698);
edge(541,698);
edge(698,769);
edge(978,1174);
edge(1249,845);
edge(824,845);
edge(824,1249);
edge(845,1135);
edge(1237,436);
edge(434,436);
edge(434,1237);
edge(436,1025);
edge(433,659);
edge(1121,1063);
edge(937,1063);
edge(1273,244);
edge(373,244);
edge(244,1231);
edge(1156,1043);
edge(693,1043);
edge(693,1092);
edge(693,1156);
edge(963,914);
edge(916,963);
edge(1209,1007);
edge(938,595);
edge(34,595);
edge(1094,431);
edge(663,431);
edge(663,965);
edge(663,1094);
edge(1064,1046);
edge(1046,1060);
edge(409,1036);
edge(798,443);
edge(798,1199);
edge(798,1260);
edge(443,1199);
edge(333,587);
edge(333,1137);
edge(311,1243);
edge(583,18);
edge(26,18);
edge(18,346);
edge(565,468);
edge(131,468);
edge(131,565);
edge(1095,387);
edge(249,387);
edge(74,387);
edge(257,1171);
edge(257,1173);
edge(257,1192);
edge(677,472);
edge(472,676);
edge(197,185);
edge(29,1010);
edge(652,679);
edge(129,679);
edge(1128,1067);
edge(1128,632);
edge(857,632);
edge(857,1067);
edge(857,1128);
edge(632,1067);
edge(384,775);
edge(1030,770);
edge(937,969);
edge(969,1037);
edge(1003,593);
edge(1095,1021);
edge(1095,1020);
edge(166,1020);
edge(166,1021);
edge(166,1095);
edge(1020,1021);
edge(539,235);
edge(381,70);
edge(1044,724);
edge(1044,584);
edge(240,584);
edge(240,724);
edge(584,724);
edge(1062,998);
edge(1062,952);
edge(973,1062);
edge(1018,1016);
edge(1018,150);
edge(126,986);
edge(994,688);
edge(155,161);
edge(155,688);
edge(155,994);
edge(435,1237);
edge(226,240);
edge(920,888);
edge(886,920);
edge(887,888);
edge(1199,112);
edge(443,290);
edge(290,112);
edge(944,953);
edge(944,972);
edge(136,476);
edge(136,678);
edge(136,1260);
edge(407,647);
edge(407,1133);
edge(1150,1042);
edge(1150,602);
edge(400,602);
edge(400,1150);
edge(602,1042);
edge(999,344);
edge(344,1000);
edge(184,874);
edge(184,876);
edge(874,876);
edge(1121,356);
edge(350,356);
edge(350,1034);
edge(1076,140);
edge(475,140);
edge(811,705);
edge(705,774);
edge(1007,372);
edge(229,1007);
edge(907,905);
edge(168,1229);
edge(355,797);
edge(355,823);
edge(797,823);
edge(1228,1036);
edge(1228,556);
edge(409,556);
edge(409,1228);
edge(556,1036);
edge(309,1062);
edge(133,513);
edge(513,531);
edge(1120,984);
edge(1120,397);
edge(461,397);
edge(461,1120);
edge(934,1010);
edge(973,506);
edge(195,506);
edge(304,35);
edge(304,851);
edge(572,851);
edge(175,826);
edge(175,833);
edge(505,693);
edge(948,1197);
edge(907,904);
edge(863,858);
edge(863,76);
edge(857,858);
edge(857,863);
edge(76,858);
edge(1185,1159);
edge(1127,1159);
edge(817,1159);
edge(1120,442);
edge(562,442);
edge(562,984);
edge(562,1120);
edge(900,977);
edge(689,688);
edge(689,155);
edge(161,689);
edge(286,20);
edge(20,258);
edge(1265,1164);
edge(1265,541);
edge(1267,541);
edge(1267,1164);
edge(1267,1265);
edge(963,917);
edge(263,917);
edge(914,917);
edge(1118,1093);
edge(1068,1118);
edge(497,164);
edge(359,164);
edge(359,432);
edge(164,432);
edge(606,239);
edge(653,420);
edge(653,1202);
edge(127,90);
edge(124,102);
edge(124,671);
edge(124,1008);
edge(54,449);
edge(54,450);
edge(1139,340);
edge(601,62);
edge(62,1196);
edge(1125,1100);
edge(1125,55);
edge(119,1100);
edge(55,1100);
edge(125,978);
edge(125,1174);
edge(88,488);
edge(960,957);
edge(960,954);
edge(429,1136);
edge(429,1237);
edge(936,934);
edge(638,79);
edge(79,365);
edge(966,813);
edge(966,303);
edge(302,303);
edge(302,813);
edge(303,813);
edge(248,545);
edge(248,1229);
edge(1203,948);
edge(936,580);
edge(336,580);
edge(1002,708);
edge(1002,191);
edge(193,191);
edge(191,708);
edge(658,933);
edge(1190,864);
edge(881,864);
edge(881,895);
edge(881,1190);
edge(864,895);
edge(1164,856);
edge(779,856);
edge(779,1079);
edge(779,1164);
edge(906,575);
edge(810,575);
edge(575,882);
edge(456,978);
edge(456,125);
edge(123,125);
edge(123,456);
edge(948,1228);
edge(1153,396);
edge(640,396);
edge(1212,42);
edge(1006,42);
edge(1006,1211);
edge(42,1211);
edge(705,881);
edge(177,1238);
edge(177,1242);
edge(1006,524);
edge(898,97);
edge(898,942);
edge(898,983);
edge(1001,966);
edge(1001,926);
edge(1185,1158);
edge(358,1158);
edge(557,1158);
edge(686,968);
edge(760,964);
edge(760,967);
edge(1168,367);
edge(952,367);
edge(367,967);
edge(426,1151);
edge(117,54);
edge(54,355);
edge(671,665);
edge(671,450);
edge(370,1088);
edge(540,233);
edge(953,962);
edge(1227,23);
edge(972,1227);
edge(23,1071);
edge(637,463);
edge(81,637);
edge(1203,1123);
edge(925,1203);
edge(966,300);
edge(31,29);
edge(31,300);
edge(29,300);
edge(1207,1162);
edge(1207,1032);
edge(514,516);
edge(571,570);
edge(571,295);
edge(131,467);
edge(1062,999);
edge(224,1062);
edge(1134,741);
edge(1109,953);
edge(1104,466);
edge(466,1103);
edge(1170,596);
edge(342,596);
edge(592,596);
edge(1129,743);
edge(55,743);
edge(119,743);
edge(1220,1122);
edge(1006,41);
edge(237,638);
edge(1230,1115);
edge(1230,825);
edge(937,1230);
edge(782,12);
edge(782,1179);
edge(329,585);
edge(1159,816);
edge(817,816);
edge(680,1111);
edge(960,404);
edge(533,404);
edge(1185,455);
edge(503,1185);
edge(984,1094);
edge(972,1220);
edge(1133,791);
edge(791,1078);
edge(342,34);
edge(342,595);
edge(342,938);
edge(507,698);
edge(997,994);
edge(997,155);
edge(688,997);
edge(1194,1274);
edge(1274,1262);
edge(1274,1261);
edge(997,485);
edge(440,560);
edge(440,662);
edge(440,1120);
edge(1109,1092);
edge(801,1092);
edge(801,1109);
edge(962,1092);
edge(1228,1182);
edge(973,1082);
edge(973,1228);
edge(1260,758);
edge(678,758);
edge(1127,931);
edge(85,931);
edge(232,170);
edge(137,170);
edge(170,280);
edge(90,558);
edge(56,558);
edge(328,889);
edge(39,889);
edge(210,1023);
edge(54,670);
edge(450,670);
edge(1173,51);
edge(51,897);
edge(1140,232);
edge(386,232);
edge(386,969);
edge(386,1140);
edge(1203,1092);
edge(923,1203);
edge(1193,1131);
edge(1193,696);
edge(1128,696);
edge(1128,1193);
edge(486,485);
edge(140,485);
edge(910,907);
edge(1199,1096);
edge(1045,1197);
edge(880,895);
edge(144,824);
edge(540,645);
edge(540,712);
edge(489,479);
edge(116,479);
edge(216,479);
edge(1232,1060);
edge(1232,415);
edge(1029,1060);
edge(170,497);
edge(791,930);
edge(82,225);
edge(82,1147);
edge(686,487);
edge(90,686);
edge(487,558);
edge(1219,243);
edge(349,243);
edge(242,538);
edge(1189,847);
edge(830,847);
edge(1203,926);
edge(488,763);
edge(488,765);
edge(49,667);
edge(49,669);
edge(49,755);
edge(533,512);
edge(1117,597);
edge(344,597);
edge(597,1000);
edge(972,808);
edge(23,808);
edge(20,327);
edge(256,8);
edge(8,204);
edge(174,191);
edge(174,536);
edge(174,1002);
edge(191,536);
edge(1272,1253);
edge(480,1169);
edge(480,1253);
edge(480,1272);
edge(165,164);
edge(1021,701);
edge(1021,622);
edge(166,622);
edge(166,701);
edge(622,701);
edge(521,333);
edge(123,333);
edge(123,521);
edge(251,787);
edge(251,817);
edge(439,559);
edge(439,1094);
edge(439,1153);
edge(497,961);
edge(928,104);
edge(103,928);
edge(181,876);
edge(936,777);
edge(555,777);
edge(590,777);
edge(1218,1217);
edge(1218,172);
edge(1065,172);
edge(1065,1217);
edge(172,1217);
edge(1132,1108);
edge(700,1132);
edge(1141,969);
edge(232,1141);
edge(317,1001);
edge(1033,808);
edge(514,808);
edge(702,808);
edge(948,946);
edge(948,54);
edge(216,1016);
edge(214,1065);
edge(1217,95);
edge(698,95);
edge(698,1217);
edge(357,1031);
edge(357,1034);
edge(357,1081);
edge(19,36);
edge(19,667);
edge(944,924);
edge(1042,949);
edge(1042,985);
edge(949,985);
edge(889,912);
edge(892,912);
edge(302,31);
edge(31,303);
edge(224,49);
edge(1181,1176);
edge(1152,619);
edge(736,619);
edge(619,1088);
edge(889,919);
edge(515,299);
edge(515,298);
edge(3,299);
edge(3,515);
edge(298,299);
edge(1105,947);
edge(1105,866);
edge(270,866);
edge(866,947);
edge(54,59);
edge(517,319);
edge(517,318);
edge(184,318);
edge(184,319);
edge(869,1091);
edge(580,16);
edge(580,707);
edge(16,707);
edge(705,36);
edge(524,705);
edge(1210,1204);
edge(454,453);
edge(454,1204);
edge(454,1210);
edge(453,1204);
edge(646,380);
edge(68,646);
edge(273,135);
edge(1064,275);
edge(1051,270);
edge(1051,275);
edge(1051,1064);
edge(411,1195);
edge(1228,950);
edge(1082,950);
edge(950,1182);
edge(559,101);
edge(185,876);
edge(963,552);
edge(313,552);
edge(313,571);
edge(1180,977);
edge(898,977);
edge(898,1180);
edge(1102,855);
edge(847,1102);
edge(1247,1059);
edge(1151,1059);
edge(1151,1207);
edge(577,568);
edge(577,227);
edge(7,227);
edge(7,568);
edge(7,577);
edge(8,748);
edge(1163,1156);
edge(1163,1114);
edge(937,1163);
edge(706,192);
edge(174,192);
edge(174,587);
edge(174,706);
edge(192,587);
edge(141,125);
edge(672,756);
edge(672,1116);
edge(462,1116);
edge(462,756);
edge(462,672);
edge(1116,756);
edge(602,464);
edge(602,201);
edge(887,904);
edge(1159,503);
edge(1070,954);
edge(956,954);
edge(192,1002);
edge(118,788);
edge(184,1244);
edge(414,786);
edge(1118,590);
edge(302,590);
edge(1119,905);
edge(917,905);
edge(917,1119);
edge(226,724);
edge(1136,658);
edge(430,658);
edge(431,658);
edge(115,525);
edge(228,971);
edge(1120,471);
edge(472,471);
edge(472,564);
edge(471,564);
edge(1121,354);
edge(190,528);
edge(1259,1055);
edge(146,1197);
edge(146,1259);
edge(1055,1197);
edge(539,108);
edge(109,108);
edge(108,437);
edge(108,438);
edge(498,1151);
edge(498,1166);
edge(1061,1225);
edge(1157,1064);
edge(1157,146);
edge(1051,146);
edge(1051,1157);
edge(146,1064);
edge(713,712);
edge(713,233);
edge(499,712);
edge(499,713);
edge(171,1140);
edge(157,520);
edge(1163,1115);
edge(522,220);
edge(522,1082);
edge(522,1228);
edge(759,1194);
edge(699,402);
edge(699,69);
edge(524,795);
edge(675,744);
edge(238,636);
edge(238,1120);
edge(1266,1236);
edge(1266,217);
edge(1065,217);
edge(1065,1236);
edge(1065,1266);
edge(544,640);
edge(439,440);
edge(439,984);
edge(439,1120);
edge(440,984);
edge(734,135);
edge(934,1088);
edge(1132,565);
edge(1132,469);
edge(484,469);
edge(484,565);
edge(484,1132);
edge(469,565);
edge(615,370);
edge(615,735);
edge(615,1152);
edge(150,566);
edge(1208,967);
edge(1208,760);
edge(964,1208);
edge(1268,1064);
edge(1268,1048);
edge(1049,1048);
edge(1049,1064);
edge(1049,1268);
edge(1048,1064);
edge(814,780);
edge(814,35);
edge(718,780);
edge(718,814);
edge(35,780);
edge(32,718);
edge(904,911);
edge(904,920);
edge(888,911);
edge(1179,718);
edge(718,912);
edge(912,815);
edge(912,296);
edge(313,296);
edge(313,912);
edge(968,410);
edge(569,19);
edge(36,569);
edge(890,888);
edge(895,13);
edge(864,13);
edge(922,921);
edge(922,568);
edge(905,922);
edge(781,227);
edge(173,804);
edge(177,804);
edge(356,357);
edge(356,1081);
edge(60,1087);
edge(280,164);
edge(642,345);
edge(50,345);
edge(50,398);
edge(50,642);
edge(345,398);
edge(855,697);
edge(855,506);
edge(195,697);
edge(195,855);
edge(101,94);
edge(101,259);
edge(419,267);
edge(267,654);
edge(557,56);
edge(455,56);
edge(56,503);
edge(56,410);
edge(146,1049);
edge(1046,1049);
edge(249,1215);
edge(1153,259);
edge(101,421);
edge(259,421);
edge(1044,510);
edge(197,510);
edge(197,519);
edge(510,519);
edge(1038,58);
edge(126,58);
edge(58,643);
edge(529,987);
edge(677,1045);
edge(1242,856);
edge(129,89);
edge(89,652);
edge(190,531);
edge(132,484);
edge(390,1020);
edge(387,1020);
edge(206,1083);
edge(229,221);
edge(570,720);
edge(1155,604);
edge(1240,845);
edge(143,845);
edge(143,1240);
edge(1123,1092);
edge(1123,167);
edge(167,1092);
edge(574,569);
edge(304,569);
edge(865,860);
edge(37,841);
edge(37,860);
edge(841,860);
edge(935,779);
edge(307,779);
edge(1046,1056);
edge(308,906);
edge(294,571);
edge(1161,1112);
edge(1110,61);
edge(1110,1112);
edge(61,1112);
edge(339,338);
edge(339,1011);
edge(637,238);
edge(2,294);
edge(2,343);
edge(36,2);
edge(55,792);
edge(792,819);
edge(892,45);
edge(313,892);
edge(1221,1025);
edge(1221,750);
edge(111,1025);
edge(906,881);
edge(575,881);
edge(161,990);
edge(116,150);
edge(116,163);
edge(1123,682);
edge(505,682);
edge(505,1123);
edge(205,114);
edge(205,403);
edge(114,403);
edge(1236,1069);
edge(998,1061);
edge(998,1236);
edge(1019,1096);
edge(1019,1097);
edge(1182,953);
edge(926,953);
edge(54,797);
edge(595,594);
edge(1152,118);
edge(615,118);
edge(615,941);
edge(1173,884);
edge(1092,1037);
edge(1092,1007);
edge(977,953);
edge(1236,942);
edge(1236,933);
edge(924,1236);
edge(730,601);
edge(80,601);
edge(1035,428);
edge(427,428);
edge(427,1035);
edge(428,933);
edge(277,817);
edge(996,991);
edge(22,226);
edge(22,27);
edge(22,591);
edge(1189,945);
edge(1189,490);
edge(492,490);
edge(492,1189);
edge(597,398);
edge(597,50);
edge(345,597);
edge(137,138);
edge(137,493);
edge(746,1196);
edge(1246,1149);
edge(1246,553);
edge(460,1246);
edge(387,1021);
edge(1157,947);
edge(1157,275);
edge(861,1157);
edge(1126,1064);
edge(1210,759);
edge(453,759);
edge(536,546);
edge(536,633);
edge(120,1127);
edge(600,1034);
edge(1025,1197);
edge(1249,284);
edge(1249,290);
edge(845,290);
edge(845,284);
edge(290,284);
edge(924,932);
edge(932,998);
edge(51,98);
edge(23,1181);
edge(53,354);
edge(53,365);
edge(1122,860);
edge(335,93);
edge(16,335);
edge(62,543);
edge(1097,690);
edge(690,1036);
edge(660,436);
edge(691,279);
edge(691,237);
edge(79,691);
edge(281,880);
edge(265,126);
edge(1143,1142);
edge(1143,1140);
edge(969,1143);
edge(345,999);
edge(345,1000);
edge(761,141);
edge(761,1123);
edge(761,1251);
edge(1245,625);
edge(1245,460);
edge(737,460);
edge(737,625);
edge(737,1245);
edge(328,912);
edge(1118,178);
edge(936,178);
edge(178,1093);
edge(673,186);
edge(521,186);
edge(186,553);
edge(612,103);
edge(612,168);
edge(978,523);
edge(458,123);
edge(458,523);
edge(458,978);
edge(123,523);
edge(815,1179);
edge(73,849);
edge(388,1128);
edge(969,1092);
edge(685,155);
edge(685,688);
edge(1200,1174);
edge(1093,777);
edge(178,777);
edge(185,827);
edge(1034,733);
edge(1034,358);
edge(610,358);
edge(610,733);
edge(358,733);
edge(1148,1101);
edge(1080,1101);
edge(1099,1101);
edge(861,866);
edge(613,165);
edge(74,1021);
edge(55,1098);
edge(165,169);
edge(169,532);
edge(1134,732);
edge(1134,52);
edge(352,732);
edge(52,732);
edge(1150,986);
edge(84,1150);
edge(58,986);
edge(478,285);
edge(285,840);
edge(1198,510);
edge(1024,510);
edge(510,1109);
edge(1132,525);
edge(547,1132);
edge(1246,673);
edge(821,793);
edge(821,1042);
edge(426,425);
edge(946,951);
edge(1190,808);
edge(590,178);
edge(1210,1005);
edge(970,1210);
edge(1008,603);
edge(1198,701);
edge(701,1024);
edge(1259,111);
edge(149,111);
edge(149,1248);
edge(149,1259);
edge(111,1248);
edge(1066,502);
edge(502,1131);
edge(625,65);
edge(625,626);
edge(65,626);
edge(828,7);
edge(1170,174);
edge(192,1170);
edge(864,10);
edge(864,880);
edge(312,907);
edge(645,157);
edge(162,653);
edge(972,535);
edge(516,535);
edge(183,535);
edge(68,644);
edge(974,701);
edge(382,701);
edge(701,1095);
edge(1095,382);
edge(382,1021);
edge(46,340);
edge(1209,114);
edge(114,1126);
edge(482,493);
edge(350,635);
edge(635,393);
edge(359,372);
edge(710,335);
edge(710,777);
edge(335,777);
edge(642,247);
edge(345,247);
edge(1183,689);
edge(265,675);
edge(265,744);
edge(431,933);
edge(139,81);
edge(139,463);
edge(139,637);
edge(139,130);
edge(130,81);
edge(139,465);
edge(1121,1081);
edge(148,1187);
edge(1151,1092);
edge(239,247);
edge(419,968);
edge(1188,591);
edge(22,1188);
edge(378,407);
edge(67,630);
edge(629,630);
edge(68,67);
edge(67,376);
edge(34,1170);
edge(947,1064);
edge(376,630);
edge(898,900);
edge(316,608);
edge(821,820);
edge(80,820);
edge(80,821);
edge(793,820);
edge(1199,751);
edge(663,751);
edge(290,751);
edge(186,33);
edge(186,1246);
edge(33,553);
edge(209,547);
edge(1249,853);
edge(845,853);
edge(1229,716);
edge(1229,203);
edge(220,203);
edge(220,716);
edge(203,716);
edge(366,616);
edge(366,627);
edge(366,1134);
edge(616,627);
edge(523,587);
edge(523,706);
edge(1148,1125);
edge(1148,206);
edge(1122,1125);
edge(1122,1148);
edge(141,65);
edge(548,895);
edge(228,895);
edge(1206,1090);
edge(266,1194);
edge(266,241);
edge(1258,241);
edge(1258,1194);
edge(1258,266);
edge(935,998);
edge(741,406);
edge(380,741);
edge(689,991);
edge(161,991);
edge(560,439);
edge(926,1003);
edge(49,344);
edge(1045,1094);
edge(930,92);
edge(1216,699);
edge(267,744);
edge(661,461);
edge(661,438);
edge(128,661);
edge(1231,1106);
edge(934,368);
edge(934,1152);
edge(616,732);
edge(366,732);
edge(514,903);
edge(1125,1083);
edge(715,779);
edge(715,1061);
edge(715,1164);
edge(663,470);
edge(111,444);
edge(111,663);
edge(977,1059);
edge(609,350);
edge(935,883);
edge(307,309);
edge(307,883);
edge(309,883);
edge(691,526);
edge(691,493);
edge(138,691);
edge(1033,972);
edge(808,944);
edge(926,934);
edge(817,1158);
edge(1158,1159);
edge(1218,217);
edge(980,217);
edge(768,855);
edge(95,427);
edge(423,1065);
edge(423,427);
edge(423,95);
edge(1065,427);
edge(1231,690);
edge(494,690);
edge(160,690);
edge(1041,940);
edge(160,940);
edge(160,1036);
edge(160,1041);
edge(940,1036);
edge(933,769);
edge(656,769);
edge(87,527);
edge(237,526);
edge(831,848);
edge(831,1079);
edge(855,1100);
edge(462,454);
edge(462,796);
edge(462,1210);
edge(454,796);
edge(508,708);
edge(508,1002);
edge(508,1170);
edge(1170,587);
edge(588,587);
edge(588,1170);
edge(498,927);
edge(271,1017);
edge(1017,1019);
edge(732,628);
edge(617,52);
edge(617,732);
edge(52,628);
edge(616,52);
edge(406,732);
edge(1192,351);
edge(861,1019);
edge(40,581);
edge(853,1019);
edge(341,1003);
edge(1187,1064);
edge(1187,1060);
edge(1027,1064);
edge(674,108);
edge(674,661);
edge(108,661);
edge(1234,1094);
edge(1045,1234);
edge(1094,1197);
edge(229,745);
edge(76,832);
edge(1214,422);
edge(1168,445);
edge(1242,779);
edge(1117,398);
edge(1186,1204);
edge(1186,1210);
edge(796,1204);
edge(670,200);
edge(670,731);
edge(670,1150);
edge(884,51);
edge(475,136);
edge(1049,1051);
edge(683,760);
edge(687,763);
edge(488,764);
edge(167,374);
edge(1189,1036);
edge(1189,948);
edge(436,435);
edge(436,927);
edge(415,603);
edge(1103,153);
edge(466,153);
edge(153,683);
edge(964,1234);
edge(1045,1208);
edge(153,175);
edge(1223,835);
edge(1223,812);
edge(1,812);
edge(1,835);
edge(1,1223);
edge(300,303);
edge(648,743);
edge(57,743);
edge(1045,1019);
edge(832,1030);
edge(76,1030);
edge(203,1228);
edge(1198,975);
edge(1198,930);
edge(974,1198);
edge(966,30);
edge(303,30);
edge(30,813);
edge(61,618);
edge(416,618);
edge(57,734);
edge(734,743);
edge(97,982);
edge(684,474);
edge(684,132);
edge(140,132);
edge(132,474);
edge(614,1057);
edge(684,465);
edge(465,474);
edge(1044,268);
edge(585,913);
edge(585,268);
edge(585,1044);
edge(625,1138);
edge(1000,49);
edge(412,355);
edge(1254,1252);
edge(1254,1169);
edge(1072,1169);
edge(1072,1252);
edge(1072,1254);
edge(690,491);
edge(160,491);
edge(1190,1160);
edge(422,748);
edge(689,996);
edge(1233,205);
edge(315,205);
edge(315,1105);
edge(315,1233);
edge(205,1105);
edge(649,844);
edge(594,342);
edge(184,1188);
edge(1217,217);
edge(172,217);
edge(410,419);
edge(1142,386);
edge(501,386);
edge(501,1142);
edge(677,473);
edge(799,1230);
edge(134,440);
edge(134,662);
edge(134,1120);
edge(13,1190);
edge(268,413);
edge(1156,1144);
edge(504,1144);
edge(1141,1144);
edge(852,860);
edge(80,62);
edge(62,730);
edge(770,739);
edge(770,630);
edge(73,630);
edge(73,739);
edge(699,629);
edge(699,644);
edge(699,630);
edge(71,382);
edge(60,1162);
edge(1068,103);
edge(69,630);
edge(1008,752);
edge(671,752);
edge(665,752);
edge(1041,665);
edge(940,665);
edge(665,1036);
edge(1148,542);
edge(1164,1225);
edge(1164,1236);
edge(25,286);
edge(770,249);
edge(249,805);
edge(254,1067);
edge(254,1128);
edge(1143,171);
edge(1245,1138);
edge(1245,867);
edge(871,867);
edge(871,1138);
edge(871,1245);
edge(867,1138);
edge(3,23);
edge(23,1119);
edge(41,835);
edge(324,3);
edge(324,703);
edge(324,727);
edge(533,709);
edge(833,802);
edge(1246,1245);
edge(1246,187);
edge(517,1246);
edge(1132,466);
edge(367,445);
edge(540,713);
edge(713,694);
edge(37,540);
edge(37,712);
edge(37,713);
edge(713,103);
edge(104,694);
edge(104,713);
edge(103,694);
edge(103,499);
edge(564,134);
edge(1139,303);
edge(1230,1081);
edge(599,1081);
edge(947,1047);
edge(866,1047);
edge(177,511);
edge(173,511);
edge(35,32);
edge(722,574);
edge(19,722);
edge(723,578);
edge(723,45);
edge(313,578);
edge(45,578);
edge(1207,977);
edge(988,867);
edge(854,988);
edge(723,310);
edge(5,45);
edge(5,310);
edge(768,803);
edge(1189,1102);
edge(1228,1189);
edge(122,1102);
edge(122,1189);
edge(122,1228);
edge(1152,958);
edge(788,735);
edge(735,958);
edge(862,988);
edge(254,696);
edge(254,1193);
edge(54,1150);
edge(1181,28);
edge(2,28);
edge(28,912);
edge(694,1129);
edge(819,1167);
edge(1181,305);
edge(926,941);
edge(926,950);
edge(352,616);
edge(454,759);
edge(66,900);
edge(66,903);
edge(368,615);
edge(1153,235);
edge(730,786);
edge(743,792);
edge(491,1175);
edge(525,1108);
edge(954,88);
edge(88,957);
edge(549,875);
edge(549,1018);
edge(150,875);
edge(741,644);
edge(741,630);
edge(741,646);
edge(741,68);
edge(741,739);
edge(182,646);
edge(832,1154);
edge(407,516);
edge(516,791);
edge(433,434);
edge(743,742);
edge(743,158);
edge(648,158);
edge(648,742);
edge(158,742);
edge(743,611);
edge(360,158);
edge(360,743);
edge(158,611);
edge(119,742);
edge(57,158);
edge(158,734);
edge(583,24);
edge(932,207);
edge(932,973);
edge(932,1062);
edge(207,973);
edge(1154,1109);
edge(767,389);
edge(767,1109);
edge(767,1154);
edge(389,1109);
edge(769,173);
edge(38,1181);
edge(1239,1005);
edge(751,664);
edge(751,443);
edge(470,751);
edge(456,1174);
edge(869,819);
edge(1246,1244);
edge(1213,1244);
edge(444,664);
edge(663,664);
edge(341,339);
edge(725,174);
edge(1069,924);
edge(933,998);
edge(649,418);
edge(649,652);
edge(418,652);
edge(1181,1177);
edge(1176,1177);
edge(912,1177);
edge(701,930);
edge(1243,896);
edge(1243,883);
edge(230,515);
edge(230,912);
edge(230,1181);
edge(1250,1001);
edge(1250,302);
edge(778,302);
edge(778,1001);
edge(778,1250);
edge(302,1001);
edge(798,758);
edge(798,112);
edge(277,786);
edge(1034,1185);
edge(1034,1200);
edge(1,1238);
edge(216,870);
edge(216,873);
edge(40,707);
edge(47,728);
edge(1239,639);
edge(1043,1144);
edge(764,178);
edge(533,178);
edge(178,709);
edge(226,268);
edge(709,159);
edge(417,159);
edge(159,512);
edge(178,159);
edge(178,512);
edge(978,457);
edge(456,457);
edge(123,457);
edge(442,441);
edge(441,562);
edge(1046,1268);
edge(921,917);
edge(283,917);
edge(1109,1059);
edge(1206,326);
edge(666,945);
edge(666,1036);
edge(666,1189);
edge(119,522);
edge(1250,928);
edge(1250,104);
edge(103,1250);
edge(174,711);
edge(364,409);
edge(364,411);
edge(1266,698);
edge(1266,507);
edge(541,1266);
edge(649,89);
edge(124,752);
edge(768,245);
edge(973,1080);
edge(1245,626);
edge(626,737);
edge(775,115);
edge(245,367);
edge(245,772);
edge(245,967);
edge(367,772);
edge(959,488);
edge(955,488);
edge(386,1143);
edge(176,641);
edge(435,660);
edge(510,701);
edge(510,975);
edge(701,975);
edge(1197,1064);
edge(975,1109);
edge(1270,1073);
edge(1072,1073);
edge(1073,1241);
edge(950,203);
edge(364,203);
edge(203,409);
edge(767,1151);
edge(692,1151);
edge(1146,498);
edge(1146,1151);
edge(680,759);
edge(781,720);
edge(781,568);
edge(721,7);
edge(720,7);
edge(1154,632);
edge(76,632);
edge(556,666);
edge(556,1189);
edge(1186,129);
edge(930,1154);
edge(1047,145);
edge(36,1160);
edge(1031,358);
edge(1031,1200);
edge(42,239);
edge(492,666);
edge(492,1036);
edge(463,134);
edge(463,471);
edge(463,1120);
edge(134,471);
edge(138,1114);
edge(138,1115);
edge(1071,18);
edge(386,213);
edge(1163,1092);
edge(1132,468);
edge(115,1168);
edge(792,611);
edge(792,360);
edge(361,792);
edge(1130,353);
edge(1078,516);
edge(535,1078);
edge(962,846);
edge(167,846);
edge(827,846);
edge(972,834);
edge(23,834);
edge(808,834);
edge(350,1081);
edge(725,523);
edge(390,389);
edge(390,632);
edge(389,632);
edge(1001,813);
edge(30,1001);
edge(388,99);
edge(388,1151);
edge(388,1247);
edge(99,1151);
edge(1187,947);
edge(260,1187);
edge(1187,269);
edge(967,807);
edge(245,807);
edge(772,807);
edge(935,311);
edge(790,1031);
edge(790,1081);
edge(156,789);
edge(156,1093);
edge(212,894);
edge(692,1146);
edge(88,956);
edge(57,694);
edge(1120,128);
edge(438,1120);
edge(1162,1180);
edge(1259,1249);
edge(780,1179);
edge(183,702);
edge(576,575);
edge(576,882);
edge(336,777);
edge(66,977);
edge(66,1155);
edge(1232,1231);
edge(1232,148);
edge(559,440);
edge(440,561);
edge(1213,783);
edge(333,783);
edge(1271,287);
edge(1135,287);
edge(287,1240);
edge(1116,1210);
edge(837,814);
edge(303,573);
edge(196,367);
edge(167,854);
edge(846,854);
edge(1119,918);
edge(1119,915);
edge(914,918);
edge(914,1119);
edge(915,918);
edge(950,716);
edge(364,716);
edge(552,904);
edge(404,1165);
edge(220,222);
edge(220,408);
edge(220,1129);
edge(222,408);
edge(983,1218);
edge(357,358);
edge(357,610);
edge(1041,752);
edge(1206,1147);
edge(1022,1023);
edge(1069,698);
edge(769,1069);
edge(1136,749);
edge(430,749);
edge(873,875);
edge(656,427);
edge(443,1094);
edge(1071,926);
edge(872,489);
edge(872,479);
edge(216,872);
edge(893,212);
edge(947,1060);
edge(99,1059);
edge(1140,1141);
edge(421,656);
edge(1071,1001);
edge(953,1001);
edge(178,710);
edge(998,964);
edge(115,964);
edge(115,967);
edge(269,1096);
edge(523,333);
edge(435,695);
edge(120,251);
edge(191,546);
edge(922,577);
edge(577,921);
edge(43,911);
edge(552,917);
edge(621,502);
edge(124,603);
edge(124,1041);
edge(118,839);
edge(797,83);
edge(83,823);
edge(811,575);
edge(469,683);
edge(469,1103);
edge(1229,928);
edge(667,207);
edge(1165,1070);
edge(289,1271);
edge(227,921);
edge(415,1196);
edge(278,686);
edge(858,849);
edge(537,1231);
edge(537,1273);
edge(189,768);
edge(553,726);
edge(1246,582);
edge(186,582);
edge(186,1244);
edge(292,883);
edge(1245,1149);
edge(1245,673);
edge(673,1149);
edge(859,850);
edge(859,10);
edge(834,10);
edge(834,850);
edge(834,859);
edge(10,850);
edge(1120,139);
edge(139,474);
edge(1018,566);
edge(75,893);
edge(73,1078);
edge(1084,608);
edge(1084,60);
edge(947,1019);
edge(998,544);
edge(528,707);
edge(326,535);
edge(1208,684);
edge(486,1208);
edge(1100,1098);
edge(195,1098);
edge(561,562);
edge(440,562);
edge(509,1168);
edge(873,872);
edge(489,873);
edge(139,471);
edge(139,472);
edge(489,875);
edge(1181,1179);
edge(1177,1179);
edge(43,918);
edge(152,1232);
edge(872,870);
edge(1188,1003);
edge(293,1222);
edge(134,562);
edge(515,328);
edge(879,413);
edge(331,879);
edge(21,268);
edge(21,327);
edge(21,879);
edge(268,327);
edge(268,331);
edge(21,331);
edge(228,325);
edge(231,10);
edge(231,808);
edge(231,880);
edge(231,864);
edge(191,508);
edge(231,809);
edge(880,868);
edge(864,868);
edge(231,868);
edge(174,508);
edge(834,1227);
edge(173,656);
edge(1139,44);
edge(301,44);
edge(44,573);
edge(1067,1193);
edge(1119,916);
edge(388,1067);
edge(1011,1246);
edge(430,657);
edge(348,340);
edge(1184,483);
edge(151,255);
edge(151,483);
edge(255,483);
edge(400,399);
edge(232,213);
edge(848,1164);
edge(848,715);
edge(831,715);
edge(1236,698);
edge(380,627);
edge(310,890);
edge(45,890);
edge(893,863);
edge(893,857);
edge(858,893);
edge(868,895);
edge(894,858);
edge(703,38);
edge(1070,713);
edge(1070,499);
edge(103,1070);
edge(13,868);
edge(527,528);
edge(527,707);
edge(1059,1154);
edge(412,649);
edge(1249,861);
edge(1066,1067);
edge(481,151);
edge(481,483);
edge(986,1042);
edge(711,725);
edge(334,554);
edge(326,554);
edge(120,787);
edge(326,183);
edge(457,458);
edge(228,881);
edge(219,882);
edge(308,882);
edge(911,14);
edge(1097,160);
edge(881,219);
edge(308,828);
edge(312,909);
edge(909,904);
edge(14,909);
edge(312,922);
edge(840,364);
edge(578,912);
edge(4,230);
edge(912,837);
edge(1180,388);
edge(902,388);
edge(902,1151);
edge(902,1180);
edge(1188,877);
edge(950,1091);
edge(218,516);
edge(218,535);
edge(912,45);
edge(684,760);
edge(28,294);
edge(328,230);
edge(28,1179);
edge(578,328);
edge(578,889);
edge(483,681);
edge(255,681);
edge(425,902);
edge(902,942);
edge(1087,378);
edge(212,378);
edge(1180,621);
edge(4,328);
edge(4,578);
edge(578,892);
edge(1268,1233);
edge(114,1268);
edge(1203,949);
edge(1047,549);
edge(1206,218);
edge(326,218);
edge(215,1267);
edge(298,916);
edge(211,636);
edge(767,1059);
edge(933,967);
edge(1243,655);
edge(1201,558);
edge(364,248);
edge(687,156);
edge(279,482);
edge(756,607);
edge(485,155);
edge(255,1016);
edge(1195,478);
edge(336,1077);
edge(864,1160);
edge(65,1123);
edge(461,641);
edge(457,725);
edge(458,725);
edge(690,1106);
edge(1113,285);
edge(1113,1112);
edge(287,143);
edge(1148,852);
edge(1169,154);
edge(1074,1169);
edge(268,518);
edge(1229,950);
edge(473,1045);
edge(1081,799);
edge(790,799);
edge(1148,842);
edge(102,603);
edge(330,586);
edge(656,1069);
edge(248,716);
edge(1123,64);
edge(790,64);
edge(552,1119);
edge(1266,1217);
edge(942,901);
edge(835,42);
edge(835,1212);
edge(639,395);
edge(1108,772);
edge(509,1108);
edge(367,768);
edge(144,845);
edge(1042,1008);
edge(145,1012);
edge(925,1213);
edge(1202,1201);
edge(121,1201);
edge(1086,316);
edge(608,1086);
edge(994,993);
edge(989,994);
edge(329,1044);
edge(207,1160);
edge(2,207);
edge(154,994);
edge(806,1147);
edge(806,258);
edge(771,258);
edge(771,1147);
edge(771,806);
edge(653,686);
edge(1062,705);
edge(576,1062);
edge(1165,713);
edge(1250,713);
edge(37,1250);
edge(1163,1121);
edge(609,600);
edge(1206,1107);
edge(457,1174);
edge(945,1231);
edge(167,505);
edge(368,118);
edge(368,840);
edge(151,1013);
edge(247,262);
edge(448,1101);
edge(212,1084);
edge(305,317);
edge(305,836);
edge(305,1001);
edge(813,305);
edge(813,836);
edge(37,813);
edge(37,778);
edge(778,813);
edge(65,761);
edge(182,516);
edge(16,527);
edge(336,16);
edge(729,346);
edge(729,784);
edge(729,1003);
edge(346,784);
edge(598,346);
edge(598,729);
edge(48,729);
edge(48,784);
edge(348,784);
edge(339,728);
edge(48,728);
edge(48,785);
edge(341,728);
edge(348,46);
edge(26,586);
edge(226,704);
edge(27,704);
edge(1139,30);
edge(464,400);
edge(58,201);
edge(1150,1038);
edge(30,573);
edge(985,1150);
edge(33,339);
edge(867,626);
edge(624,737);
edge(187,737);
edge(624,867);
edge(1150,1008);
edge(102,1150);
edge(1214,1190);
edge(1138,862);
edge(102,1042);
edge(464,1042);
edge(1139,305);
edge(120,1185);
edge(1185,733);
edge(41,1212);
edge(1222,1);
edge(284,1248);
edge(290,1248);
edge(1020,1022);
edge(1020,1198);
edge(166,1022);
edge(390,1022);
edge(854,1138);
edge(276,315);
edge(276,1105);
edge(276,1233);
edge(1019,1015);
edge(333,588);
edge(1136,428);
edge(845,264);
edge(264,853);
edge(1237,427);
edge(1017,269);
edge(269,271);
edge(95,214);
edge(214,423);
edge(1113,61);
edge(217,982);
edge(1208,700);
edge(120,733);
edge(1208,245);
edge(807,1208);
edge(1167,869);
edge(540,869);
edge(540,1167);
edge(1036,753);
edge(1036,496);
edge(690,496);
edge(690,753);
edge(496,753);
edge(556,753);
edge(666,753);
edge(59,556);
edge(59,753);
edge(449,496);
edge(496,665);
edge(496,59);
edge(666,690);
edge(881,971);
edge(496,940);
edge(160,496);
edge(373,620);
edge(373,940);
edge(373,1041);
edge(620,940);
edge(124,940);
edge(752,940);
edge(620,124);
edge(464,793);
edge(603,400);
edge(603,602);
edge(767,99);
edge(602,102);
edge(473,475);
edge(473,1260);
edge(584,519);
edge(584,976);
edge(268,724);
edge(17,197);
edge(17,519);
edge(17,584);
edge(198,976);
edge(584,585);
edge(585,724);
edge(17,185);
edge(329,976);
edge(329,584);
edge(141,1200);
edge(1075,271);
edge(1228,924);
edge(118,735);
edge(787,358);
edge(787,1158);
edge(1221,429);
edge(315,549);
edge(315,875);
edge(315,1047);
edge(216,866);
edge(866,870);
edge(152,148);
edge(994,1096);
edge(172,982);
edge(1275,1274);
edge(816,277);
edge(41,42);
edge(107,105);
edge(107,659);
edge(107,695);
edge(619,370);
edge(709,710);
edge(1188,338);
edge(736,709);
edge(1211,247);
edge(490,486);
edge(187,186);
edge(187,673);
edge(224,250);
edge(224,506);
edge(506,668);
edge(262,250);
edge(524,309);
edge(705,309);
edge(309,576);
edge(207,36);
edge(270,1049);
edge(1048,270);
edge(274,1048);
edge(95,656);
edge(152,1060);
edge(152,1219);
edge(199,639);
edge(1068,954);
edge(954,955);
edge(954,103);
edge(103,955);
edge(480,1231);
edge(1250,1068);
edge(954,1250);
edge(152,483);
edge(948,973);
edge(554,1071);
edge(314,348);
edge(324,583);
edge(583,727);
edge(18,348);
edge(24,727);
edge(589,3);
edge(589,727);
edge(589,1071);
edge(24,589);
edge(334,589);
edge(23,589);
edge(554,589);
edge(1132,760);
edge(1230,1163);
edge(353,608);
edge(545,716);
edge(222,716);
edge(408,522);
edge(1230,526);
edge(1115,526);
edge(673,737);
edge(1257,680);
edge(1111,1257);
edge(341,783);
edge(1169,994);
edge(924,1182);
edge(1153,500);
edge(1088,618);
edge(1088,369);
edge(87,369);
edge(93,369);
edge(369,619);
edge(93,619);
edge(369,416);
edge(373,1097);
edge(370,369);
edge(369,618);
edge(486,688);
edge(486,685);
edge(772,802);
edge(1134,379);
edge(606,42);
edge(42,642);
edge(167,693);
edge(766,693);
edge(766,1043);
edge(766,1092);
edge(1025,1259);
edge(692,766);
edge(167,766);
edge(167,767);
edge(766,767);
edge(767,801);
edge(121,141);
edge(1094,751);
edge(443,560);
edge(560,751);
edge(439,751);
edge(559,431);
edge(431,439);
edge(431,751);
edge(1096,480);
edge(588,596);
edge(593,596);
edge(592,192);
edge(192,596);
edge(1097,940);
edge(620,1232);
edge(1103,467);
edge(153,467);
edge(153,469);
edge(514,407);
edge(1234,998);
edge(1234,933);
edge(967,1234);
edge(245,1234);
edge(1105,872);
edge(1105,875);
edge(870,270);
edge(870,274);
edge(1105,272);
edge(873,272);
edge(873,276);
edge(272,276);
edge(274,872);
edge(315,873);
edge(872,272);
edge(274,272);
edge(20,225);
edge(1109,925);
edge(1267,715);
edge(541,715);
edge(290,824);
edge(824,1199);
edge(389,801);
edge(210,801);
edge(210,827);
edge(1241,1169);
edge(1241,1074);
edge(1096,1241);
edge(210,197);
edge(197,1024);
edge(1074,1072);
edge(138,504);
edge(1265,698);
edge(143,144);
edge(607,672);
edge(607,193);
edge(193,672);
edge(180,462);
edge(180,672);
edge(193,180);
edge(133,462);
edge(1263,1261);
edge(1263,679);
edge(679,1261);
edge(289,287);
edge(144,287);
edge(709,1118);
edge(1118,943);
edge(242,943);
edge(533,943);
edge(590,943);
edge(302,943);
edge(178,943);
edge(172,1266);
edge(1119,921);
edge(1119,859);
edge(1119,223);
edge(15,223);
edge(15,859);
edge(15,1119);
edge(223,859);
edge(297,223);
edge(297,915);
edge(297,1119);
edge(223,915);
edge(1119,850);
edge(223,850);
edge(297,850);
edge(223,914);
edge(15,914);
edge(1119,834);
edge(297,23);
edge(297,834);
edge(298,297);
edge(298,915);
edge(223,918);
edge(15,917);
edge(3,297);
edge(15,227);
edge(227,917);
edge(15,13);
edge(134,442);
edge(128,134);
edge(128,442);
edge(1139,1001);
edge(44,332);
edge(626,761);
edge(738,626);
edge(738,761);
edge(738,1123);
edge(64,738);
edge(64,761);
edge(761,790);
edge(141,790);
edge(1254,202);
edge(374,738);
edge(682,738);
edge(682,374);
edge(167,682);
edge(1210,133);
edge(169,614);
edge(169,1058);
edge(501,1058);
edge(695,501);
edge(1132,684);
edge(132,1132);
edge(1132,636);
edge(467,1132);
edge(465,1132);
edge(1132,474);
edge(188,209);
edge(188,468);
edge(188,1132);
edge(209,468);
edge(188,1104);
edge(188,1108);
edge(1104,1108);
edge(209,565);
edge(209,525);
edge(188,525);
edge(188,1103);
edge(468,1103);
edge(683,484);
edge(484,760);
edge(1104,700);
edge(211,565);
edge(484,684);
edge(379,627);
edge(1241,1075);
edge(103,1165);
edge(1250,936);
edge(287,1017);
edge(271,287);
edge(201,200);
edge(200,602);
edge(187,582);
edge(517,582);
edge(374,867);
edge(374,862);
edge(374,854);
edge(792,869);
edge(361,869);
edge(1167,713);
edge(1144,171);
edge(171,1145);
edge(771,218);
edge(218,806);
edge(182,771);
edge(225,699);
edge(225,771);
edge(699,771);
edge(25,806);
edge(25,1147);
edge(286,806);
edge(236,542);
edge(236,1080);
edge(236,1148);
edge(542,1080);
edge(542,207);
edge(317,207);
edge(236,1101);
edge(236,852);
edge(1101,206);
edge(206,236);
edge(206,852);
edge(1247,1067);
edge(624,626);
edge(102,200);
edge(426,99);
edge(426,692);
edge(99,692);
edge(498,692);
edge(388,426);
edge(425,388);
edge(615,1113);
edge(371,235);
edge(371,447);
edge(235,447);
edge(259,371);
edge(259,500);
edge(832,849);
edge(302,1165);
edge(88,1250);
edge(604,66);
edge(897,66);
edge(66,899);
edge(1250,1091);
edge(1157,1015);
edge(1157,1052);
edge(146,1052);
edge(1052,1053);
edge(853,1157);
edge(1051,1052);
edge(1052,275);
edge(1052,264);
edge(275,264);
edge(275,853);
edge(824,798);
edge(1160,1062);
edge(433,1237);
edge(1,1224);
edge(1160,524);
edge(556,122);
edge(715,856);
edge(1165,943);
edge(1165,499);
edge(957,404);
edge(1255,1105);
edge(947,1255);
edge(1255,1184);
edge(1255,681);
edge(255,1255);
edge(1047,1255);
edge(1166,695);
edge(171,692);
edge(501,1145);
edge(435,1146);
edge(695,1146);
edge(1145,695);
edge(1169,1106);
edge(1255,1187);
edge(261,480);
edge(1253,1075);
edge(154,202);
edge(154,1254);
edge(1255,1219);
edge(1273,1272);
edge(244,1272);
edge(480,992);
edge(202,994);
edge(530,192);
edge(530,592);
edge(530,1170);
edge(530,708);
edge(34,596);
edge(192,588);
edge(508,192);
edge(508,530);
edge(1174,633);
edge(725,1174);
edge(1174,142);
edge(121,142);
edge(141,142);
edge(125,142);
edge(142,420);
edge(194,142);
edge(194,457);
edge(194,1174);
edge(142,457);
edge(194,420);
edge(1074,1254);
edge(142,456);
edge(194,711);
edge(457,711);
edge(194,634);
edge(536,194);
edge(194,633);
edge(780,12);
edge(780,782);
edge(1176,12);
edge(12,1177);
edge(28,814);
edge(780,815);
edge(900,1180);
edge(502,1193);
edge(1180,66);
edge(632,1247);
edge(621,902);
edge(902,1172);
edge(98,1172);
edge(897,898);
edge(897,900);
edge(38,9);
edge(44,1176);
edge(9,1176);
edge(230,38);
edge(230,703);
edge(9,4);
edge(4,1176);
edge(38,4);
edge(44,1177);
edge(515,703);
edge(28,1177);
edge(2,305);
edge(1158,503);
edge(733,787);
edge(455,1158);
edge(1187,483);
edge(1187,1169);
edge(1187,481);
edge(1187,1075);
edge(1075,148);
edge(148,260);
edge(148,481);
edge(152,481);
edge(148,269);
edge(877,184);
edge(337,591);
edge(1188,878);
edge(591,878);
edge(337,878);
edge(318,878);
edge(323,591);
edge(323,878);
edge(323,1188);
edge(322,323);
edge(323,877);
edge(323,22);
edge(184,878);
edge(877,878);
edge(63,492);
edge(63,666);
edge(63,1189);
edge(63,122);
edge(63,829);
edge(122,829);
edge(122,666);
edge(122,830);
edge(1189,800);
edge(63,245);
edge(63,800);
edge(245,800);
edge(490,63);
edge(490,800);
edge(245,829);
edge(830,1102);
edge(1258,285);
edge(266,285);
edge(1053,1197);
edge(1258,1110);
edge(1112,1258);
edge(1258,1257);
edge(680,477);
edge(1110,1257);
edge(1259,1054);
edge(453,680);
edge(149,1249);
edge(1259,663);
edge(89,794);
edge(117,478);
edge(89,355);
edge(651,80);
edge(80,746);
edge(1272,1075);
edge(244,148);
edge(798,290);
edge(1265,1236);
edge(162,686);
edge(946,1203);
edge(1203,941);
edge(1203,1195);
edge(937,1203);
edge(1203,986);
edge(1206,806);
edge(1206,286);
edge(330,24);
edge(24,586);
edge(24,25);
edge(25,334);
edge(25,326);
edge(25,218);
edge(802,1208);
edge(1208,772);
edge(1208,800);
edge(486,800);
edge(1208,1191);
edge(486,1191);
edge(800,1191);
edge(684,1191);
edge(800,826);
edge(826,1191);
edge(760,1191);
edge(800,807);
edge(807,826);
edge(762,1191);
edge(807,833);
edge(807,802);
edge(1204,1205);
edge(453,1205);
edge(129,1204);
edge(133,454);
edge(333,726);
edge(726,341);
edge(726,783);
edge(1214,748);
edge(808,1227);
edge(980,215);
edge(980,981);
edge(422,980);
edge(422,981);
edge(655,422);
edge(1216,739);
edge(1216,741);
edge(1216,382);
edge(1216,1198);
edge(1216,701);
edge(69,71);
edge(71,630);
edge(739,71);
edge(1275,941);
edge(1275,285);
edge(478,1275);
edge(1195,1275);
edge(305,1220);
edge(953,1220);
edge(1220,1139);
edge(1220,44);
edge(1220,966);
edge(1266,1264);
edge(217,1264);
edge(172,1264);
edge(1266,1265);
edge(1237,423);
edge(1268,1105);
edge(1268,274);
edge(11,548);
edge(11,655);
edge(1227,864);
edge(1227,10);
edge(1227,859);
edge(1227,850);
edge(1227,13);
edge(1227,15);
edge(859,864);
edge(15,864);
edge(203,122);
edge(122,409);
edge(122,522);
edge(203,522);
edge(119,122);
edge(119,1102);
edge(1274,266);
edge(241,1274);
edge(1273,480);
edge(1232,244);
edge(373,1232);
edge(244,152);
edge(373,152);
edge(1234,1096);
edge(800,1234);
edge(1234,965);
edge(1236,980);
edge(1237,106);
edge(423,106);
edge(423,1035);
edge(106,1035);
edge(106,429);
edge(429,1035);
edge(214,106);
edge(106,100);
edge(106,436);
edge(100,436);
edge(434,106);
edge(106,433);
edge(199,756);
edge(199,607);
edge(199,395);
edge(1205,679);
edge(287,1241);
edge(287,1270);
edge(287,1075);
edge(287,1073);
edge(1243,293);
edge(1243,307);
edge(1243,779);
edge(575,1243);
edge(1243,881);
edge(1190,1243);
edge(1243,1062);
edge(1243,576);
edge(309,1243);
edge(311,11);
edge(311,1226);
edge(576,883);
edge(1247,857);
edge(632,99);
edge(99,1067);
edge(1248,1052);
edge(149,284);
edge(113,149);
edge(113,1248);
edge(284,264);
edge(1250,966);
edge(778,713);
edge(778,1165);
edge(1255,1018);
edge(315,1255);
edge(1255,1233);
edge(1255,152);
edge(681,1219);
edge(255,1219);
edge(549,205);
edge(566,1219);
edge(255,566);
edge(1259,113);
edge(105,1259);
edge(1259,1019);
edge(1259,290);
edge(1259,750);
edge(1054,1248);
edge(113,1054);
edge(1054,105);
edge(113,105);
edge(677,678);
edge(144,476);
edge(475,677);
edge(144,758);
edge(144,798);
edge(136,144);
edge(136,758);
edge(1265,1069);
edge(1264,1265);
edge(507,1264);
edge(541,1264);
edge(1268,1050);
edge(1268,272);
edge(1268,276);
edge(272,1048);
edge(272,1050);
edge(1271,271);
edge(1271,1045);
edge(1270,291);
edge(1270,289);
edge(285,1274);
edge(1262,241);
edge(1262,266);
edge(241,1261);
edge(477,1261);
edge(1275,266);
edge(1275,89);
edge(1275,117);
edge(89,117);
face(115,509,525);
face(780,12,1179);
face(9,4,38);
face(305,813,836);
face(915,298,916);
face(135,273,499);
face(30,305,306);
face(32,35,304);
face(1233,114,1268);
face(689,688,1183);
face(1223,1,1224);
face(877,184,878);
face(781,7,828);
face(183,514,516);
face(1222,292,1224);
face(108,437,539);
face(268,327,495);
face(22,27,226);
face(218,771,806);
face(11,293,311);
face(137,138,504);
face(432,170,497);
face(88,954,956);
face(182,218,516);
face(574,569,722);
face(38,4,230);
face(841,37,860);
face(773,809,880);
face(198,975,976);
face(156,776,789);
face(810,7,811);
face(47,784,785);
face(305,28,306);
face(29,320,321);
face(22,322,323);
face(301,300,573);
face(20,329,585);
face(549,150,717);
face(812,1,835);
face(506,224,668);
face(143,144,287);
face(592,530,708);
face(464,602,201);
face(435,100,436);
face(255,151,483);
face(115,640,714);
face(655,422,748);
face(46,332,340);
face(16,93,335);
face(187,186,582);
face(1053,1054,1248);
face(88,488,955);
face(295,524,570);
face(1217,172,1266);
face(337,33,338);
face(318,184,319);
face(610,356,609);
face(338,33,339);
face(491,996,1183);
face(786,77,816);
face(587,192,588);
face(5,815,838);
face(29,300,301);
face(39,298,299);
face(27,598,704);
face(190,528,531);
face(62,601,730);
face(18,346,348);
face(578,4,723);
face(253,680,1111);
face(626,624,867);
face(219,308,325);
face(320,47,347);
face(121,162,420);
face(650,53,745);
face(369,87,416);
face(516,407,791);
face(838,718,719);
face(1222,1,1238);
face(778,37,813);
face(584,240,724);
face(5,723,782);
face(328,578,889);
face(865,37,869);
face(12,1176,1177);
face(245,768,803);
face(277,786,816);
face(403,205,543);
face(332,9,340);
face(45,890,891);
face(26,18,583);
face(134,463,471);
face(805,73,832);
face(346,598,729);
face(517,187,582);
face(367,245,772);
face(46,47,29);
face(22,226,240);
face(8,900,903);
face(206,1098,1099);
face(360,135,611);
face(760,175,762);
face(66,897,899);
face(416,61,618);
face(351,60,352);
face(622,74,1021);
face(38,18,314);
face(104,103,362);
face(374,682,738);
face(339,33,341);
face(164,165,359);
face(207,317,542);
face(358,557,1200);
face(642,247,1211);
face(52,617,628);
face(56,455,503);
face(117,54,59);
face(393,78,394);
face(84,58,200);
face(956,273,957);
face(258,771,225);
face(57,362,612);
face(51,884,885);
face(56,410,419);
face(124,603,620);
face(463,139,471);
face(375,406,628);
face(267,654,744);
face(158,360,611);
face(604,66,899);
face(1186,129,1204);
face(62,234,372);
face(195,1098,1100);
face(125,141,142);
face(633,194,634);
face(98,897,898);
face(69,71,382);
face(69,629,630);
face(52,616,617);
face(376,70,377);
face(536,194,633);
face(702,183,773);
face(238,636,637);
face(466,153,1103);
face(209,534,547);
face(76,858,863);
face(262,250,384);
face(187,517,624);
face(214,95,423);
face(100,435,498);
face(316,696,1028);
face(330,26,586);
face(567,243,246);
face(115,534,544);
face(398,50,642);
face(213,232,386);
face(694,57,734);
face(270,861,866);
face(352,60,366);
face(266,285,1258);
face(343,36,569);
face(587,523,706);
face(267,419,654);
face(538,405,645);
face(401,82,402);
face(62,372,403);
face(801,167,827);
face(152,244,373);
face(62,229,234);
face(304,35,851);
face(158,648,742);
face(200,102,670);
face(122,63,829);
face(86,190,253);
face(258,20,286);
face(792,55,819);
face(814,294,837);
face(102,200,602);
face(1085,75,1086);
face(835,1,1223);
face(126,58,84);
face(6,325,551);
face(327,20,495);
face(85,414,650);
face(455,56,557);
face(26,518,704);
face(418,649,652);
face(96,100,425);
face(101,94,559);
face(142,141,121);
face(807,826,833);
face(365,78,393);
face(900,66,903);
face(1110,1257,1258);
face(90,56,424);
face(255,681,1219);
face(97,982,983);
face(111,113,657);
face(383,382,623);
face(425,100,426);
face(173,656,769);
face(18,324,583);
face(67,402,644);
face(901,425,902);
face(176,461,674);
face(462,180,672);
face(533,242,943);
face(435,436,660);
face(161,689,991);
face(190,133,759);
face(560,440,662);
face(1056,363,1057);
face(109,94,437);
face(443,112,664);
face(957,404,960);
face(452,83,563);
face(441,109,442);
face(441,442,562);
face(196,367,445);
face(110,112,443);
face(110,676,677);
face(496,449,665);
face(388,99,1067);
face(1054,146,1055);
face(111,149,113);
face(857,254,1067);
face(822,643,675);
face(196,445,446);
face(10,834,850);
face(372,359,613);
face(609,350,600);
face(87,86,416);
face(728,47,785);
face(150,566,567);
face(1204,129,1205);
face(418,278,649);
face(265,127,267);
face(11,6,550);
face(370,156,789);
face(1098,55,1100);
face(739,73,770);
face(26,331,413);
face(566,150,1018);
face(122,829,830);
face(649,89,652);
face(123,457,458);
face(183,516,535);
face(97,898,900);
face(325,308,551);
face(820,80,821);
face(459,123,460);
face(123,456,457);
face(127,126,84);
face(81,139,463);
face(386,232,1140);
face(125,142,456);
face(179,242,512);
face(139,81,130);
face(580,581,707);
face(847,189,855);
face(42,835,1006);
face(1104,188,1108);
face(131,132,130);
face(132,467,469);
face(149,444,470);
face(467,131,468);
face(471,139,472);
face(115,41,446);
face(110,443,560);
face(1211,262,1212);
face(660,107,695);
face(110,677,678);
face(453,680,759);
face(1015,147,1017);
face(373,244,1273);
face(422,8,748);
face(680,190,759);
face(123,333,521);
face(140,473,474);
face(287,144,289);
face(657,750,1221);
face(33,186,553);
face(821,643,820);
face(70,380,381);
face(125,65,141);
face(259,101,421);
face(1022,210,1023);
face(809,231,880);
face(1052,264,275);
face(270,274,1048);
face(730,77,786);
face(222,220,408);
face(887,888,920);
face(349,243,1219);
face(224,250,262);
face(260,148,481);
face(683,175,760);
face(204,256,281);
face(150,116,163);
face(1012,151,1013);
face(260,1012,1014);
face(151,481,483);
face(225,20,258);
face(558,90,686);
face(344,49,1000);
face(468,188,1103);
face(565,392,636);
face(161,991,995);
face(975,519,976);
face(486,684,1191);
face(157,360,361);
face(737,460,673);
face(170,213,497);
face(479,116,489);
face(90,451,487);
face(179,405,538);
face(505,167,693);
face(360,743,792);
face(49,999,1000);
face(516,218,535);
face(201,58,643);
face(826,175,833);
face(482,279,493);
face(449,54,450);
face(102,602,603);
face(62,403,543);
face(94,235,437);
face(285,266,1275);
face(423,95,427);
face(13,227,781);
face(335,710,777);
face(275,853,861);
face(904,905,907);
face(567,252,717);
face(1048,272,1050);
face(62,85,221);
face(514,183,702);
face(88,956,957);
face(106,100,214);
face(59,449,496);
face(195,668,669);
face(1114,138,1115);
face(428,101,749);
face(797,355,823);
face(856,715,779);
face(82,225,699);
face(163,116,216);
face(77,91,410);
face(115,445,509);
face(256,514,702);
face(161,155,689);
face(93,87,369);
face(534,211,544);
face(709,178,710);
face(186,187,673);
face(173,421,656);
face(197,185,17);
face(726,333,783);
face(98,898,901);
face(235,94,259);
face(80,349,651);
face(495,20,585);
face(45,5,310);
face(881,13,882);
face(198,20,82);
face(9,314,340);
face(322,185,876);
face(21,331,879);
face(42,1211,1212);
face(322,876,877);
face(326,25,334);
face(492,63,666);
face(177,831,848);
face(16,335,336);
face(93,16,87);
face(193,180,529);
face(86,527,528);
face(231,864,868);
face(845,290,824);
face(342,193,529);
face(622,166,701);
face(40,513,531);
face(397,128,461);
face(242,179,538);
face(802,807,833);
face(125,123,459);
face(204,8,256);
face(376,377,630);
face(1020,166,1021);
face(673,187,737);
face(57,104,362);
face(176,447,511);
face(549,205,315);
face(990,161,992);
face(255,483,681);
face(154,1074,1076);
face(219,228,881);
face(66,604,647);
face(603,400,399);
face(989,161,995);
face(132,131,467);
face(200,58,201);
face(230,4,328);
face(227,917,921);
face(653,418,740);
face(297,3,298);
face(328,4,578);
face(213,170,232);
face(512,242,533);
face(146,1048,1050);
face(497,213,532);
face(365,393,638);
face(192,508,530);
face(36,2,207);
face(61,86,253);
face(602,464,400);
face(60,378,379);
face(100,96,214);
face(357,358,1031);
face(10,231,808);
face(117,411,478);
face(251,120,394);
face(78,251,394);
face(1084,608,1086);
face(228,11,548);
face(421,101,427);
face(267,127,424);
face(96,95,214);
face(264,845,853);
face(106,214,423);
face(145,163,216);
face(147,143,1017);
face(231,868,880);
face(215,980,981);
face(286,20,327);
face(872,272,274);
face(62,221,229);
face(218,25,326);
face(736,370,789);
face(123,458,523);
face(720,570,721);
face(80,651,746);
face(191,536,546);
face(122,203,409);
face(35,837,851);
face(15,914,917);
face(725,523,458);
face(564,472,676);
face(721,705,774);
face(82,20,225);
face(161,989,992);
face(1052,275,1051);
face(1052,146,1053);
face(13,15,227);
face(321,320,581);
face(219,881,882);
face(288,279,482);
face(333,123,523);
face(321,336,555);
face(23,554,589);
face(860,37,865);
face(808,231,809);
face(170,137,232);
face(501,386,1142);
face(460,123,521);
face(867,624,871);
face(168,545,612);
face(80,746,793);
face(157,135,360);
face(1171,98,1172);
face(649,278,844);
face(114,363,1046);
face(667,49,754);
face(331,268,413);
face(193,546,607);
face(601,205,208);
face(606,398,642);
face(648,119,742);
face(17,22,240);
face(29,301,332);
face(166,1022,1023);
face(20,198,329);
face(281,773,880);
face(31,302,303);
face(185,827,846);
face(626,625,737);
face(137,170,482);
face(152,148,244);
face(698,507,769);
face(498,435,1146);
face(807,800,826);
face(22,323,591);
face(68,67,644);
face(52,628,732);
face(79,354,365);
face(394,120,635);
face(551,308,896);
face(74,71,249);
face(72,383,385);
face(126,127,265);
face(223,915,918);
face(451,127,452);
face(124,102,603);
face(398,606,1117);
face(766,692,1043);
face(479,489,872);
face(35,814,837);
face(76,849,858);
face(1017,269,1015);
face(131,392,565);
face(14,886,904);
face(299,3,515);
face(577,227,921);
face(2,305,317);
face(53,279,288);
face(764,159,765);
face(427,95,656);
face(94,101,259);
face(297,298,915);
face(1014,147,1015);
face(202,1252,1254);
face(181,854,862);
face(292,1223,1224);
face(74,249,387);
face(410,56,503);
face(914,263,917);
face(86,61,416);
face(181,846,854);
face(151,255,1016);
face(821,464,643);
face(1111,680,1257);
face(138,526,1115);
face(1110,253,1111);
face(548,11,655);
face(421,427,656);
face(178,512,533);
face(731,54,757);
face(148,260,269);
face(857,76,863);
face(494,537,991);
face(150,1016,1018);
face(1270,291,1269);
face(448,667,1080);
face(251,78,277);
face(954,88,955);
face(421,173,500);
face(96,425,901);
face(270,1048,1049);
face(875,489,579);
face(105,1054,1055);
face(79,279,354);
face(1,812,1238);
face(646,182,741);
face(248,168,788);
face(93,619,736);
face(410,91,419);
face(491,160,494);
face(117,89,355);
face(164,53,280);
face(106,429,433);
face(873,272,872);
face(28,294,814);
face(280,53,288);
face(1269,1072,1270);
face(143,147,853);
face(284,149,290);
face(185,197,827);
face(289,144,291);
face(355,89,412);
face(145,147,1014);
face(876,184,877);
face(42,41,835);
face(183,23,808);
face(244,148,1272);
face(799,64,825);
face(481,152,483);
face(35,718,780);
face(279,53,354);
face(490,486,800);
face(502,621,1193);
face(1075,1252,1253);
face(542,236,1080);
face(769,507,804);
face(169,165,532);
face(503,1158,1159);
face(28,2,294);
face(80,822,843);
face(303,30,573);
face(911,43,920);
face(481,151,1012);
face(300,303,573);
face(298,3,299);
face(23,3,297);
face(29,31,300);
face(914,223,918);
face(97,422,980);
face(26,330,331);
face(594,40,595);
face(605,51,885);
face(585,584,724);
face(45,891,892);
face(572,32,574);
face(534,115,547);
face(168,248,545);
face(300,31,303);
face(705,524,309);
face(570,705,721);
face(575,896,906);
face(2,28,305);
face(28,44,306);
face(44,30,306);
face(310,5,313);
face(409,59,556);
face(550,6,551);
face(811,575,810);
face(1175,491,1183);
face(341,726,783);
face(837,294,851);
face(212,75,893);
face(664,663,751);
face(252,549,717);
face(116,150,579);
face(909,283,908);
face(338,27,591);
face(186,521,553);
face(521,333,553);
face(9,38,314);
face(16,336,580);
face(549,208,205);
face(257,353,884);
face(1043,1144,1156);
face(207,2,317);
face(35,780,814);
face(787,251,817);
face(29,47,320);
face(26,413,518);
face(519,17,584);
face(17,185,322);
face(319,517,582);
face(318,33,337);
face(31,29,321);
face(22,17,322);
face(18,38,324);
face(550,551,896);
face(1084,212,1087);
face(825,1115,1230);
face(593,34,728);
face(6,11,325);
face(228,219,325);
face(11,228,325);
face(122,409,556);
face(138,493,691);
face(268,21,327);
face(489,116,579);
face(864,13,868);
face(39,299,328);
face(644,182,646);
face(589,24,727);
face(24,25,330);
face(21,268,331);
face(277,78,414);
face(46,29,332);
face(44,9,332);
face(301,44,332);
face(334,24,589);
face(25,24,334);
face(31,321,555);
face(155,685,688);
face(292,550,896);
face(320,347,581);
face(440,559,561);
face(713,37,778);
face(330,25,879);
face(192,530,592);
face(670,54,731);
face(815,718,838);
face(27,338,339);
face(48,27,339);
face(80,91,349);
face(193,191,546);
face(342,529,594);
face(733,120,787);
face(588,192,596);
face(840,411,364);
face(2,36,343);
face(294,2,343);
face(84,731,757);
face(999,345,1000);
face(981,655,1226);
face(634,162,639);
face(18,26,346);
face(34,593,596);
face(47,34,347);
face(46,340,348);
face(314,18,348);
face(340,314,348);
face(1040,246,1039);
face(1039,91,1040);
face(81,397,637);
face(843,675,744);
face(235,371,447);
face(72,67,629);
face(42,239,606);
face(235,176,674);
face(600,120,609);
face(696,1130,1131);
face(885,353,351);
face(54,117,355);
face(758,144,798);
face(741,182,791);
face(211,565,636);
face(602,400,603);
face(368,118,615);
face(133,180,462);
face(106,423,1035);
face(429,106,1035);
face(229,164,359);
face(234,229,359);
face(718,32,719);
face(544,211,238);
face(675,265,744);
face(53,164,745);
face(114,403,614);
face(107,1057,1058);
face(187,624,737);
face(239,524,1117);
face(477,453,1205);
face(504,1114,1156);
face(53,78,365);
face(354,53,365);
face(324,38,703);
face(616,70,617);
face(598,26,704);
face(59,54,449);
face(677,472,473);
face(404,179,417);
face(486,140,684);
face(235,259,371);
face(70,375,617);
face(1171,257,1173);
face(626,374,738);
face(955,488,959);
face(380,70,616);
face(234,359,372);
face(178,533,943);
face(358,610,733);
face(99,389,632);
face(70,68,375);
face(369,370,619);
face(68,70,376);
face(67,68,376);
face(635,350,393);
face(390,76,632);
face(383,72,631);
face(629,69,631);
face(366,60,379);
face(71,69,630);
face(617,375,628);
face(71,74,382);
face(377,70,381);
face(162,653,740);
face(400,464,793);
face(859,15,864);
face(171,1140,1141);
face(546,536,633);
face(69,382,383);
face(272,276,1268);
face(96,983,1218);
face(74,622,623);
face(65,625,626);
face(506,195,697);
face(329,198,976);
face(131,130,392);
face(280,170,432);
face(420,162,634);
face(194,420,634);
face(72,385,391);
face(387,76,390);
face(389,210,1022);
face(166,1023,1024);
face(114,205,403);
face(393,350,638);
face(633,634,639);
face(166,622,1021);
face(347,40,581);
face(600,350,635);
face(62,543,601);
face(544,396,640);
face(800,486,1191);
face(417,179,512);
face(397,461,641);
face(81,128,397);
face(454,133,462);
face(546,199,607);
face(58,126,643);
face(72,391,401);
face(610,120,733);
face(399,415,603);
face(253,190,680);
face(658,430,749);
face(198,82,401);
face(391,198,401);
face(67,72,402);
face(72,401,402);
face(363,114,614);
face(613,169,614);
face(488,764,765);
face(437,235,539);
face(404,233,405);
face(179,404,405);
face(375,68,406);
face(158,742,743);
face(353,257,1130);
face(52,604,605);
face(188,209,525);
face(117,59,409);
face(958,168,959);
face(203,364,409);
face(142,121,420);
face(542,836,841);
face(409,364,411);
face(117,409,411);
face(869,842,865);
face(135,157,520);
face(408,220,522);
face(78,53,414);
face(349,415,651);
face(352,52,605);
face(212,378,1087);
face(175,700,802);
face(429,1136,1221);
face(165,497,532);
face(810,575,906);
face(419,91,654);
face(278,418,653);
face(824,144,845);
face(541,1264,1265);
face(194,142,420);
face(120,600,635);
face(164,280,432);
face(443,664,751);
face(97,8,422);
face(980,422,981);
face(282,202,990);
face(427,101,428);
face(127,90,424);
face(419,267,424);
face(56,419,424);
face(560,443,751);
face(91,77,1040);
face(388,425,426);
face(99,388,426);
face(1040,252,246);
face(660,436,434);
face(657,113,750);
face(208,252,1040);
face(106,433,434);
face(431,559,439);
face(349,91,1039);
face(101,559,658);
face(451,452,563);
face(732,406,1134);
face(103,499,1070);
face(259,421,500);
face(559,94,561);
face(181,185,846);
face(660,434,659);
face(438,108,661);
face(414,53,650);
face(659,107,660);
face(100,106,436);
face(106,434,436);
face(108,109,437);
face(111,431,663);
face(109,108,438);
face(671,124,752);
face(470,444,664);
face(180,133,513);
face(209,468,565);
face(41,384,446);
face(94,109,441);
face(109,438,442);
face(128,134,442);
face(438,128,442);
face(449,450,665);
face(112,470,664);
face(149,111,444);
face(371,173,447);
face(405,233,520);
face(42,606,642);
face(445,115,446);
face(250,196,446);
face(384,250,446);
face(176,235,447);
face(448,1080,1101);
face(448,195,669);
face(195,506,668);
face(671,752,665);
face(790,64,799);
face(836,37,841);
face(90,127,451);
face(127,84,452);
face(84,83,452);
face(63,490,800);
face(488,88,764);
face(134,128,463);
face(129,89,679);
face(528,40,531);
face(461,128,661);
face(658,559,431);
face(123,125,456);
face(119,408,522);
face(456,142,457);
face(142,194,457);
face(540,37,712);
face(834,297,850);
face(65,125,459);
face(108,539,674);
face(378,92,627);
face(73,380,627);
face(564,110,662);
face(737,625,460);
face(762,175,826);
face(757,54,797);
face(128,81,463);
face(520,157,645);
face(405,520,645);
face(130,132,465);
face(139,130,465);
face(1103,188,1104);
face(175,153,466);
face(466,1103,1104);
face(467,153,469);
face(167,505,682);
face(209,188,468);
face(59,496,753);
face(154,140,485);
face(112,290,470);
face(290,149,470);
face(139,465,474);
face(472,139,474);
face(207,542,1080);
face(896,308,906);
face(468,131,565);
face(136,475,476);
face(473,140,475);
face(473,472,474);
face(132,140,474);
face(465,132,474);
face(1253,282,261);
face(291,144,476);
face(144,136,476);
face(42,642,1211);
face(483,152,681);
face(630,381,739);
face(754,344,795);
face(216,116,479);
face(110,564,676);
face(244,1272,1273);
face(148,152,481);
face(132,469,484);
face(24,330,586);
face(237,526,691);
face(280,288,482);
face(170,280,482);
face(485,486,685);
face(155,485,685);
face(738,64,761);
face(872,489,873);
face(994,154,997);
face(155,688,689);
face(485,140,486);
face(101,658,749);
face(488,958,959);
face(688,486,490);
face(336,321,580);
face(871,184,874);
face(490,63,492);
face(709,687,763);
face(693,167,766);
face(496,160,690);
face(426,100,498);
face(462,672,756);
face(1142,386,1143);
face(137,482,493);
face(138,137,493);
face(266,1262,1275);
face(478,285,1275);
face(3,23,589);
face(26,583,586);
face(448,669,755);
face(36,207,667);
face(164,432,497);
face(165,164,497);
face(1114,505,1156);
face(104,57,694);
face(766,167,767);
face(173,371,500);
face(371,259,500);
face(141,790,1031);
face(213,386,501);
face(169,213,501);
face(604,52,1134);
face(1264,217,1265);
face(818,839,364);
face(502,257,1171);
face(1145,695,501);
face(685,486,688);
face(435,660,695);
face(135,499,694);
face(250,224,506);
face(768,189,803);
face(182,644,699);
face(174,191,508);
face(192,174,508);
face(210,389,801);
face(281,256,702);
face(192,587,706);
face(710,178,777);
face(396,176,511);
face(447,173,511);
face(173,177,511);
face(159,417,512);
face(178,159,512);
face(40,180,513);
face(515,3,703);
face(319,184,517);
face(40,528,707);
face(328,299,515);
face(230,328,515);
face(743,55,792);
face(514,407,516);
face(182,699,771);
face(687,709,776);
face(268,226,518);
face(413,268,518);
face(510,197,519);
face(197,17,519);
face(273,135,520);
face(233,273,520);
face(31,555,590);
face(122,119,522);
face(203,122,522);
face(220,203,522);
face(342,592,708);
face(581,40,707);
face(54,355,797);
face(462,756,796);
face(756,199,796);
face(693,1043,1156);
face(367,196,768);
face(87,16,527);
face(86,87,527);
face(190,86,528);
face(159,178,709);
face(823,412,844);
face(180,40,529);
face(194,536,711);
face(536,174,711);
face(47,46,784);
face(513,133,531);
face(133,190,531);
face(213,169,532);
face(609,120,610);
face(337,338,591);
face(192,592,596);
face(209,211,534);
face(326,183,535);
face(218,326,535);
face(1172,621,502);
face(191,174,536);
face(161,993,994);
face(89,117,1275);
face(712,37,713);
face(770,73,805);
face(68,644,646);
face(643,126,675);
face(157,361,540);
face(621,388,1193);
face(545,248,716);
face(172,1264,1266);
face(264,284,845);
face(357,1031,1081);
face(1098,195,1099);
face(543,205,601);
face(461,176,641);
face(238,396,544);
face(403,372,613);
face(7,568,720);
face(150,567,717);
face(52,732,1134);
face(115,525,547);
face(525,209,547);
face(175,466,700);
face(171,1142,1143);
face(569,19,722);
face(252,208,549);
face(571,295,570);
face(1158,817,1159);
face(293,11,550);
face(292,293,550);
face(490,492,1175);
face(888,887,890);
face(849,378,894);
face(886,14,888);
face(23,183,554);
face(183,326,554);
face(326,334,554);
face(688,490,1175);
face(141,65,761);
face(19,36,667);
face(122,556,666);
face(121,1200,1201);
face(712,713,1165);
face(56,90,558);
face(557,56,558);
face(440,439,559);
face(442,134,562);
face(439,440,560);
face(94,441,561);
face(444,111,663);
face(134,440,562);
face(561,441,562);
face(440,561,562);
face(487,451,563);
face(278,487,563);
face(134,471,564);
face(471,472,564);
face(211,209,565);
face(350,599,638);
face(566,243,567);
face(246,252,567);
face(35,32,718);
face(862,374,867);
face(32,304,574);
face(568,7,577);
face(36,19,569);
face(571,296,295);
face(818,118,839);
face(7,720,721);
face(1177,28,1179);
face(313,296,571);
face(552,313,571);
face(891,889,892);
face(44,301,573);
face(30,44,573);
face(174,706,725);
face(304,569,574);
face(296,572,574);
face(240,226,724);
face(884,353,885);
face(7,227,577);
face(665,752,940);
face(577,921,922);
face(423,427,1035);
face(45,310,890);
face(874,184,876);
face(323,322,877);
face(333,523,587);
face(318,319,582);
face(580,321,581);
face(193,342,708);
face(191,193,708);
face(33,318,582);
face(186,33,582);
face(583,24,586);
face(17,240,584);
face(711,174,725);
face(34,47,728);
face(329,584,585);
face(268,495,585);
face(48,728,785);
face(358,733,787);
face(333,587,588);
face(3,589,727);
face(529,40,594);
face(40,347,595);
face(554,334,589);
face(302,31,590);
face(168,955,959);
face(957,273,233);
face(27,22,591);
face(609,356,350);
face(598,48,729);
face(346,26,598);
face(50,398,597);
face(345,50,597);
face(347,34,595);
face(342,594,595);
face(34,342,595);
face(593,588,596);
face(592,342,596);
face(342,34,596);
face(27,48,598);
face(705,309,576);
face(679,89,747);
face(276,1233,1268);
face(7,810,828);
face(41,775,812);
face(200,670,731);
face(692,171,1043);
face(1145,501,1142);
face(200,201,602);
face(408,119,648);
face(83,797,823);
face(382,74,623);
face(71,739,770);
face(182,516,791);
face(43,919,920);
face(351,352,605);
face(121,1201,1202);
face(257,502,1130);
face(682,64,738);
face(316,1028,1085);
face(60,351,608);
face(351,353,608);
face(610,357,356);
face(358,357,610);
face(135,694,734);
face(710,93,736);
face(615,118,735);
face(545,222,612);
face(222,57,612);
face(103,168,612);
face(362,103,612);
face(165,169,613);
face(359,165,613);
face(403,613,614);
face(287,289,1270);
face(369,416,618);
face(52,352,616);
face(352,366,616);
face(69,383,631);
face(370,369,618);
face(524,795,1117);
face(825,505,1114);
face(93,369,619);
face(152,373,620);
face(603,415,620);
face(415,152,620);
face(886,313,904);
face(166,1020,1022);
face(126,265,675);
face(92,73,627);
face(622,385,623);
face(385,383,623);
face(315,276,873);
face(872,274,870);
face(366,379,627);
face(65,459,625);
face(459,460,625);
face(71,630,739);
face(639,162,740);
face(379,378,627);
face(616,366,627);
face(380,616,627);
face(956,954,1070);
face(72,629,631);
face(740,418,395);
face(377,381,630);
face(629,67,630);
face(67,376,630);
face(389,390,632);
face(868,13,895);
face(865,852,860);
face(199,546,633);
face(637,397,641);
face(115,544,640);
face(393,394,635);
face(238,211,636);
face(79,365,638);
face(395,199,639);
face(636,392,637);
face(392,130,637);
face(130,81,637);
face(599,237,638);
face(237,79,638);
face(199,633,639);
face(203,220,716);
face(396,511,640);
face(238,637,641);
face(396,238,641);
face(176,396,641);
face(345,247,642);
face(50,345,642);
face(464,201,643);
face(281,702,773);
face(510,519,975);
face(141,761,790);
face(157,540,645);
face(1205,679,1263);
face(407,514,647);
face(514,66,647);
face(158,57,648);
face(222,408,648);
face(57,222,648);
face(412,89,649);
face(221,85,650);
face(746,415,399);
face(651,415,746);
face(1262,747,794);
face(89,129,652);
face(129,395,652);
face(395,418,652);
face(160,491,690);
face(763,488,765);
face(221,650,745);
face(747,89,794);
face(590,178,943);
face(243,566,1219);
face(799,825,1230);
face(1081,799,1230);
face(431,111,657);
face(430,431,657);
face(431,430,658);
face(105,107,659);
face(433,105,659);
face(434,433,659);
face(1130,502,1131);
face(699,225,771);
face(128,438,661);
face(110,560,662);
face(134,564,662);
face(440,134,662);
face(671,665,450);
face(556,59,753);
face(669,49,755);
face(444,663,664);
face(49,344,754);
face(302,590,943);
face(63,122,666);
face(526,138,691);
face(19,667,754);
face(60,1084,1087);
face(450,54,670);
face(696,1131,1193);
face(224,49,669);
face(668,224,669);
face(628,406,732);
face(102,124,671);
face(670,102,671);
face(450,670,671);
face(193,607,672);
face(180,193,672);
face(521,186,673);
face(460,521,673);
face(539,235,674);
face(661,108,674);
face(461,661,674);
face(676,472,677);
face(374,167,682);
face(1267,541,1265);
face(453,477,680);
face(473,475,677);
face(677,475,678);
face(475,136,678);
face(415,349,1219);
face(159,709,763);
face(61,1110,1112);
face(504,138,1114);
face(430,657,1221);
face(1136,430,1221);
face(750,429,1221);
face(153,175,683);
face(484,469,683);
face(469,153,683);
face(388,1067,1193);
face(140,132,684);
face(132,484,684);
face(90,487,686);
face(653,162,686);
face(278,653,686);
face(487,278,686);
face(79,237,691);
face(99,426,692);
face(1176,12,1178);
face(992,282,990);
face(991,689,996);
face(492,666,690);
face(4,9,1176);
face(239,42,1006);
face(279,79,691);
face(493,279,691);
face(426,498,692);
face(1048,146,1049);
face(614,169,1058);
face(499,103,694);
face(103,104,694);
face(1144,504,1156);
face(99,632,1067);
face(632,857,1067);
face(647,604,1134);
face(196,250,697);
face(250,506,697);
face(172,1217,1218);
face(656,95,698);
face(402,82,699);
face(644,402,699);
face(700,1104,1108);
face(198,974,975);
face(989,480,992);
face(7,721,774);
face(3,324,703);
face(38,230,703);
face(230,515,703);
face(226,27,704);
face(518,226,704);
face(570,524,705);
face(174,192,706);
face(706,523,725);
face(729,48,784);
face(16,580,707);
face(528,527,707);
face(527,16,707);
face(508,191,708);
face(530,508,708);
face(274,272,1048);
face(335,93,710);
face(341,33,726);
face(457,194,711);
face(324,3,727);
face(645,540,712);
face(538,645,712);
face(98,1171,1173);
face(1172,502,1171);
face(640,511,714);
face(511,177,714);
face(114,1046,1268);
face(220,222,716);
face(222,545,716);
face(364,203,716);
face(248,364,716);
face(831,507,541);
face(333,588,783);
face(818,364,248);
face(32,572,719);
face(571,570,720);
face(568,552,720);
face(552,571,720);
face(714,177,775);
face(19,295,722);
face(296,574,722);
face(295,296,722);
face(45,578,723);
face(5,45,723);
face(268,585,724);
face(226,268,724);
face(457,711,725);
face(458,457,725);
face(553,333,726);
face(33,553,726);
face(583,324,727);
face(24,583,727);
face(341,593,728);
face(339,341,728);
face(48,339,728);
face(784,48,785);
face(120,251,787);
face(84,200,731);
face(678,136,758);
face(1035,428,1136);
face(1046,1050,1268);
face(749,430,1136);
face(735,118,788);
face(611,135,734);
face(158,611,734);
face(57,158,734);
face(370,615,735);
face(156,370,735);
face(709,710,736);
face(761,64,790);
face(619,370,736);
face(624,626,737);
face(687,488,763);
face(811,576,575);
face(380,73,739);
face(381,380,739);
face(395,639,740);
face(290,798,824);
face(68,646,741);
face(406,68,741);
face(344,597,1117);
face(742,119,743);
face(119,55,743);
face(360,158,743);
face(746,400,793);
face(265,267,744);
face(229,221,745);
face(164,229,745);
face(399,400,746);
face(1262,241,1261);
face(19,754,795);
face(8,204,748);
face(548,655,748);
face(204,548,748);
face(137,504,1141);
face(113,105,750);
face(433,429,750);
face(105,433,750);
face(439,560,751);
face(431,439,751);
face(663,431,751);
face(666,556,753);
face(690,666,753);
face(496,690,753);
face(798,144,824);
face(667,448,755);
face(49,667,755);
face(607,199,756);
face(672,607,756);
face(112,758,798);
face(75,212,1084);
face(136,144,758);
face(112,110,758);
face(110,678,758);
face(454,453,759);
face(133,454,759);
face(484,683,760);
face(684,484,760);
face(65,626,761);
face(626,738,761);
face(1067,254,1193);
face(245,803,829);
face(767,167,801);
face(701,510,975);
face(417,159,764);
face(404,417,764);
face(159,763,765);
face(196,697,768);
face(656,698,769);
face(692,766,767);
face(99,692,767);
face(389,99,767);
face(245,800,807);
face(245,367,768);
face(258,286,806);
face(249,770,805);
face(249,71,770);
face(218,182,771);
face(183,808,809);
face(806,771,258);
face(1113,285,368);
face(509,445,772);
face(445,367,772);
face(30,303,813);
face(774,705,811);
face(839,118,840);
face(41,115,775);
face(115,714,775);
face(156,687,776);
face(336,335,777);
face(555,336,777);
face(590,555,777);
face(178,590,777);
face(688,1175,1183);
face(632,76,857);
face(231,10,864);
face(5,782,815);
face(227,7,781);
face(10,850,859);
face(803,189,829);
face(277,816,817);
face(12,780,782);
face(593,341,783);
face(588,593,783);
face(46,348,784);
face(346,729,784);
face(348,346,784);
face(62,730,786);
face(85,62,786);
face(414,85,786);
face(277,414,786);
face(778,302,1165);
face(248,788,818);
face(88,957,960);
face(709,736,789);
face(776,709,789);
face(171,1141,1144);
face(245,63,800);
face(429,1035,1136);
face(1006,835,1223);
face(361,360,792);
face(80,820,822);
face(820,643,822);
face(679,1261,1263);
face(1265,215,1267);
face(696,316,1130);
face(524,295,795);
face(295,19,795);
face(454,462,796);
face(83,84,797);
face(84,757,797);
face(290,112,798);
face(246,243,1039);
face(243,349,1039);
face(1080,236,1101);
face(830,189,847);
face(10,808,834);
face(254,696,1193);
face(389,767,801);
face(241,477,1261);
face(829,189,830);
face(808,23,834);
face(804,507,831);
face(173,769,804);
face(177,173,804);
face(387,249,805);
face(1012,145,1014);
face(25,218,806);
face(286,25,806);
face(772,245,807);
face(802,772,807);
face(542,317,836);
face(575,883,896);
face(773,183,809);
face(177,804,831);
face(905,312,907);
face(811,705,576);
face(7,774,811);
face(813,37,836);
face(1222,1238,1242);
face(856,779,1242);
face(819,206,842);
face(305,30,813);
face(302,778,813);
face(303,302,813);
face(780,718,815);
face(782,780,815);
face(788,118,818);
face(713,778,1165);
face(98,902,1172);
face(251,277,817);
face(840,364,839);
face(55,206,819);
face(870,270,866);
face(315,873,875);
face(866,216,870);
face(80,793,821);
face(793,464,821);
face(822,675,843);
face(83,823,844);
face(355,412,823);
face(846,167,854);
face(845,284,290);
face(177,848,856);
face(827,167,846);
face(682,505,825);
face(64,682,825);
face(795,344,1117);
face(606,239,1117);
face(210,801,827);
face(197,210,827);
face(351,605,885);
face(492,690,1175);
face(575,576,883);
face(63,245,829);
face(715,831,541);
face(76,832,849);
face(848,831,715);
face(852,841,860);
face(387,805,832);
face(76,387,832);
face(175,802,833);
face(851,294,343);
face(853,147,861);
face(23,297,834);
face(41,812,835);
face(1015,260,1014);
face(215,981,1226);
face(317,305,836);
face(852,206,236);
face(719,572,838);
face(572,296,838);
face(313,5,838);
face(296,313,838);
face(478,411,840);
face(285,478,840);
face(368,285,840);
face(118,368,840);
face(845,143,853);
face(842,206,852);
face(744,654,843);
face(654,91,843);
face(91,80,843);
face(412,649,844);
face(563,83,844);
face(278,563,844);
face(144,143,845);
face(119,122,1102);
face(1099,448,1101);
face(509,772,1108);
face(700,466,1104);
face(848,715,856);
face(832,73,849);
face(73,92,849);
face(880,868,895);
face(92,378,849);
face(297,223,850);
face(569,304,851);
face(343,569,851);
face(542,841,852);
face(236,542,852);
face(275,264,853);
face(854,374,862);
face(167,374,854);
face(697,195,855);
face(768,697,855);
face(189,768,855);
face(292,307,1223);
face(1,1222,1224);
face(954,103,1070);
face(273,956,1070);
face(10,859,864);
face(145,216,866);
face(850,223,859);
face(223,15,859);
face(865,842,852);
face(270,275,861);
face(872,216,479);
face(181,862,867);
face(37,540,869);
face(212,893,894);
face(281,880,895);
face(893,858,894);
face(881,228,895);
face(15,13,864);
face(869,819,842);
face(147,145,866);
face(861,147,866);
face(870,274,270);
face(181,867,871);
face(374,626,867);
face(309,307,883);
face(13,781,882);
face(540,361,869);
face(361,792,869);
face(792,819,869);
face(870,216,872);
face(517,184,871);
face(624,517,871);
face(873,276,272);
face(181,871,874);
face(323,877,878);
face(873,489,875);
face(331,330,879);
face(549,315,875);
face(150,549,875);
face(579,150,875);
face(181,874,876);
face(185,181,876);
face(25,286,879);
face(184,318,878);
face(318,337,878);
face(591,323,878);
face(337,591,878);
face(327,21,879);
face(286,327,879);
face(576,309,883);
face(888,14,911);
face(883,292,896);
face(781,828,882);
face(308,219,882);
face(828,308,882);
face(98,901,902);
face(307,292,883);
face(98,51,897);
face(15,223,914);
face(904,552,905);
face(310,313,886);
face(752,124,940);
face(908,263,910);
face(43,263,914);
face(43,915,916);
face(858,849,894);
face(890,887,891);
face(39,328,889);
face(886,888,890);
face(310,886,890);
face(887,889,891);
face(578,45,892);
face(889,578,892);
face(857,863,893);
face(254,857,893);
face(13,881,895);
face(863,858,893);
face(378,212,894);
face(204,281,895);
face(548,204,895);
face(228,548,895);
face(897,51,899);
face(8,97,900);
face(256,8,903);
face(796,199,1186);
face(313,552,904);
face(605,604,899);
face(51,605,899);
face(897,66,900);
face(898,897,900);
face(995,537,480);
face(161,990,993);
face(425,388,902);
face(388,621,902);
face(514,256,903);
face(66,514,903);
face(247,345,999);
face(552,568,905);
face(828,810,906);
face(308,828,906);
face(14,908,910);
face(909,312,283);
face(908,14,909);
face(14,910,911);
face(283,263,908);
face(907,312,909);
face(904,907,909);
face(14,904,909);
face(915,43,918);
face(263,43,911);
face(910,263,911);
face(917,283,921);
face(312,905,922);
face(43,916,919);
face(223,297,915);
face(919,887,920);
face(373,160,940);
face(227,15,917);
face(921,312,922);
face(263,283,917);
face(43,914,918);
face(298,39,919);
face(916,298,919);
face(889,887,919);
face(39,889,919);
face(888,911,920);
face(788,168,958);
face(283,312,921);
face(568,577,922);
face(905,568,922);
face(620,373,940);
face(124,620,940);
face(160,496,940);
face(496,665,940);
face(233,404,957);
face(96,901,983);
face(168,103,955);
face(103,954,955);
face(1075,1253,1272);
face(1075,271,287);
face(1110,1111,1257);
face(156,735,958);
face(735,788,958);
face(687,156,958);
face(488,687,958);
face(404,764,960);
face(764,88,960);
face(385,622,974);
face(622,701,974);
face(391,385,974);
face(198,391,974);
face(974,701,975);
face(584,329,976);
face(519,584,976);
face(215,217,980);
face(97,980,982);
face(422,655,981);
face(154,485,997);
face(217,172,982);
face(980,217,982);
face(681,152,1219);
face(898,97,983);
face(901,898,983);
face(990,202,993);
face(992,261,282);
face(996,494,991);
face(996,491,494);
face(155,994,997);
face(992,480,261);
face(1016,255,1018);
face(991,537,995);
face(155,161,994);
face(202,154,994);
face(993,202,994);
face(995,480,989);
face(9,44,1176);
face(4,1176,1178);
face(1176,44,1177);
face(485,155,997);
face(49,224,999);
face(262,247,999);
face(224,262,999);
face(597,344,1000);
face(345,597,1000);
face(11,311,1226);
face(524,239,1006);
face(309,524,1006);
face(260,481,1012);
face(145,1012,1013);
face(163,145,1013);
face(1015,269,260);
face(1013,151,1016);
face(1017,271,269);
face(254,893,1028);
face(163,1013,1016);
face(150,163,1016);
face(287,271,1017);
face(143,287,1017);
face(255,566,1018);
face(197,510,1024);
face(893,75,1028);
face(387,390,1020);
face(74,387,1021);
face(387,1020,1021);
face(390,389,1022);
face(1020,390,1022);
face(696,254,1028);
face(210,197,1024);
face(1023,210,1024);
face(701,166,1024);
face(510,701,1024);
face(60,608,1084);
face(453,454,1204);
face(1200,557,1201);
face(1028,75,1085);
face(206,55,1098);
face(427,428,1035);
face(1051,270,1049);
face(825,1114,1115);
face(601,208,1040);
face(730,601,1040);
face(77,730,1040);
face(693,766,1043);
face(1201,558,1202);
face(1049,146,1051);
face(1051,275,270);
face(1051,146,1052);
face(1046,146,1050);
face(779,311,1242);
face(1238,177,1242);
face(105,113,1054);
face(1055,146,1056);
face(695,107,1058);
face(1053,146,1054);
face(202,282,1252);
face(1273,480,537);
face(1075,1073,1252);
face(261,480,1253);
face(107,1056,1057);
face(105,1055,1056);
face(107,105,1056);
face(1046,363,1056);
face(146,1046,1056);
face(363,614,1057);
face(1057,614,1058);
face(169,501,1058);
face(501,695,1058);
face(499,273,1070);
face(1253,480,1272);
face(140,154,1076);
face(1075,287,1073);
face(476,475,1076);
face(1072,1074,1254);
face(667,207,1080);
face(477,241,1257);
face(1112,1110,1258);
face(1252,1072,1254);
face(269,271,1075);
face(148,269,1075);
face(475,140,1076);
face(356,357,1081);
face(790,799,1081);
face(1031,790,1081);
face(350,356,1081);
face(599,350,1081);
face(812,775,1238);
face(205,114,1233);
face(75,1084,1086);
face(316,1085,1086);
face(608,316,1086);
face(378,60,1087);
face(1101,206,1099);
face(679,747,1261);
face(195,448,1099);
face(1101,236,206);
face(1100,119,1102);
face(55,119,1100);
face(855,195,1100);
face(153,467,1103);
face(847,855,1102);
face(855,1100,1102);
face(122,830,1102);
face(830,847,1102);
face(467,468,1103);
face(61,1112,1113);
face(61,253,1110);
face(802,700,1108);
face(772,802,1108);
face(525,509,1108);
face(188,525,1108);
face(1258,241,266);
face(1262,266,241);
face(1112,285,1113);
face(618,61,1113);
face(370,618,1113);
face(615,370,1113);
face(368,615,1113);
face(358,787,1158);
face(503,455,1158);
face(1252,282,1253);
face(1074,1072,1269);
face(597,398,1117);
face(407,647,1134);
face(608,353,1130);
face(316,608,1130);
face(1031,358,1200);
face(791,407,1134);
face(406,741,1134);
face(741,791,1134);
face(428,749,1136);
face(1145,171,1146);
face(1142,171,1145);
face(232,137,1141);
face(1140,232,1141);
face(1141,504,1144);
face(386,1140,1143);
face(1140,171,1143);
face(1043,171,1144);
face(817,816,1159);
face(410,503,1159);
face(505,693,1156);
face(695,1145,1146);
face(435,695,1146);
face(692,498,1146);
face(171,692,1146);
face(242,538,1165);
face(787,817,1158);
face(557,358,1158);
face(455,557,1158);
face(77,410,1159);
face(816,77,1159);
face(538,712,1165);
face(943,242,1165);
face(302,943,1165);
face(902,621,1172);
face(257,884,1173);
face(51,98,1173);
face(884,51,1173);
face(826,800,1191);
face(690,491,1175);
face(12,1177,1179);
face(996,689,1183);
face(44,28,1177);
face(723,4,1178);
face(782,723,1178);
face(12,782,1178);
face(814,780,1179);
face(28,814,1179);
face(395,129,1186);
face(199,395,1186);
face(453,1204,1205);
face(698,95,1217);
face(762,826,1191);
face(684,760,1191);
face(760,762,1191);
face(1131,502,1193);
face(141,1031,1200);
face(121,141,1200);
face(557,558,1201);
face(162,121,1202);
face(686,162,1202);
face(558,686,1202);
face(454,796,1204);
face(796,1186,1204);
face(217,215,1265);
face(129,679,1205);
face(247,262,1211);
face(262,384,1212);
face(41,42,1212);
face(384,41,1212);
face(152,415,1219);
face(95,96,1218);
face(1217,95,1218);
face(982,172,1218);
face(983,982,1218);
face(566,255,1219);
face(293,292,1222);
face(293,1222,1242);
face(311,293,1242);
face(113,149,1248);
face(149,284,1248);
face(309,1006,1223);
face(307,309,1223);
face(655,11,1226);
face(526,237,1230);
face(1115,526,1230);
face(599,1081,1230);
face(237,599,1230);
face(315,205,1233);
face(276,315,1233);
face(1073,287,1270);
face(1076,1074,1269);
face(775,177,1238);
face(177,856,1242);
face(1054,113,1248);
face(284,264,1248);
face(264,1052,1248);
face(1052,1053,1248);
face(1073,1072,1252);
face(794,89,1275);
face(1074,154,1254);
face(154,202,1254);
face(680,477,1257);
face(1257,241,1258);
face(285,1112,1258);
face(1264,507,1266);
face(1261,477,1263);
face(1261,747,1262);
face(477,1205,1263);
face(172,217,1264);
face(541,507,1264);
face(1266,507,698);
face(1267,715,541);
face(1050,272,1268);
face(698,1217,1266);
face(779,715,1267);
face(311,779,1267);
face(1226,311,1267);
face(215,1226,1267);
face(476,1076,1269);
face(291,476,1269);
face(1270,289,291);
face(537,494,1273);
face(1072,1073,1270);
face(148,1075,1272);
face(1262,794,1275);
face(1272,480,1273);
face(160,373,1273);
face(494,160,1273);
face(117,478,1275);

// User Interface (UI) code:

// Camera control:

// Update camera coordinate system
var s=camera;
if (!s.X) { // startup: create initial coordinates
    s.X=new vec3(1,0,0);
    s.Y=new vec3(0,0,1);
    s.Z=new vec3(0,-1,0.2); // camera Z is world Y
    s.P=new vec3(0,-4,1.8); // initial location
}

// Move camera via keyboard
var move=new vec3(0,0,0); // sums current frame motion

// X control via A and D
if (lib.key['a']) move.pe(new vec3(-1,0,0));
if (lib.key['d']) move.pe(new vec3(+1,0,0));
// Y control via W and S
if (lib.key['w']) move.pe(new vec3(0,0,-1));
if (lib.key['s']) move.pe(new vec3(0,0,+1));
// Z control via Q and Z
if (lib.key['q']) move.pe(new vec3(0,+1,0));
if (lib.key['z']) move.pe(new vec3(0,-1,0));

move.te(2.0*lib.dt); // meters/second motion rate
s.P.pe(s.X.t(move.x).p(s.Y.t(move.y)).p(s.Z.t(move.z)));

// Rotate camera via mouse
var speed=0.01; // radians per mouse pixel
if (lib.mouseleft) { // move Z with mouse
    s.Z.pe(s.X.t(-lib.mousedx*speed).p(
           s.Y.t( lib.mousedy*speed)));
}

// Keep level: make sure X is horizontal.
s.X.z=0.0;
s.Y.crossVectors(s.Z,s.X.normalize());

// Orthonormalize
s.X.crossVectors(s.Y,s.Z).normalize();
s.Y.crossVectors(s.Z,s.X).normalize();
s.Z.normalize();

// Write coordinate system into matrix
s.matrixAutoUpdate=false; // don't trash
s.matrixWorldNeedsUpdate=true; // show
  
var m=s.matrix; // the camera's matrix

// Utility function: set a matrix column
function setCol(m,col,vec) {
  m.elements[4*col+0]=vec.x;
  m.elements[4*col+1]=vec.y;
  m.elements[4*col+2]=vec.z;
}

setCol(m,0,s.X);
  setCol(m,1,s.Y);
  setCol(m,2,s.Z);
  setCol(m,3,s.P); // position from sim