Graph forms
for C4 [ 512, 395 ] =
PL(CS(KE_16(1,7,2,11,1)[8^16],1))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 395 ] =
PL(CS(KE_16(1,7,2,11,1)[8^16],1)).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 449}, {256, 464}, {256, 479}, {256, 480}, {1, 257}, {128,
384}, {2, 258}, {31, 287}, {38, 294}, {85, 341}, {182, 438}, {183, 439}, {227,
483}, {229, 485}, {31, 286}, {39, 294}, {85, 340}, {182, 439}, {183, 438}, {221,
476}, {226, 483}, {229, 484}, {8, 266}, {137, 395}, {39, 293}, {44, 302}, {86,
340}, {230, 484}, {1, 258}, {137, 394}, {2, 257}, {8, 267}, {38, 293}, {44,
303}, {86, 341}, {230, 485}, {6, 258}, {125, 377}, {43, 303}, {88, 348}, {232,
492}, {6, 259}, {125, 376}, {40, 301}, {43, 302}, {88, 349}, {232, 493}, {5,
259}, {140, 394}, {126, 376}, {40, 302}, {184, 446}, {221, 475}, {226, 484}, {5,
258}, {140, 395}, {126, 377}, {184, 447}, {227, 484}, {30, 278}, {139, 387},
{138, 386}, {37, 301}, {228, 492}, {3, 266}, {139, 386}, {138, 387}, {30, 279},
{3, 265}, {144, 410}, {29, 279}, {87, 349}, {181, 447}, {222, 468}, {225, 491},
{231, 493}, {29, 278}, {144, 411}, {123, 368}, {37, 302}, {87, 348}, {181, 446},
{223, 468}, {231, 492}, {7, 267}, {124, 368}, {42, 294}, {223, 467}, {4, 265},
{7, 266}, {42, 295}, {222, 467}, {225, 492}, {4, 266}, {127, 369}, {41, 295},
{48, 318}, {41, 294}, {48, 319}, {228, 491}, {2, 274}, {121, 361}, {47, 319},
{220, 460}, {236, 508}, {3, 274}, {121, 360}, {44, 317}, {47, 318}, {236, 509},
{3, 273}, {122, 360}, {44, 318}, {195, 465}, {217, 459}, {223, 461}, {230, 500},
{2, 273}, {122, 361}, {223, 460}, {231, 500}, {232, 507}, {41, 317}, {81, 325},
{178, 422}, {179, 423}, {231, 499}, {232, 508}, {233, 509}, {81, 324}, {178,
423}, {179, 422}, {196, 465}, {217, 460}, {230, 499}, {233, 508}, {82, 324},
{141, 411}, {41, 318}, {141, 410}, {119, 352}, {82, 325}, {220, 459}, {1, 281},
{120, 352}, {46, 310}, {84, 332}, {193, 473}, {219, 451}, {221, 453}, {46, 311},
{84, 333}, {193, 472}, {218, 451}, {221, 452}, {229, 508}, {45, 311}, {123,
353}, {180, 430}, {194, 472}, {222, 452}, {1, 282}, {45, 310}, {180, 431}, {194,
473}, {222, 453}, {42, 310}, {143, 403}, {142, 402}, {96, 380}, {4, 281}, {253,
480}, {143, 402}, {142, 403}, {124, 353}, {43, 310}, {96, 381}, {4, 282}, {43,
309}, {83, 333}, {177, 431}, {192, 478}, {218, 452}, {229, 507}, {234, 500},
{235, 501}, {42, 309}, {83, 332}, {177, 430}, {192, 479}, {219, 452}, {234,
501}, {235, 500}, {11, 299}, {38, 262}, {8, 297}, {11, 298}, {38, 263}, {8,
298}, {253, 479}, {152, 442}, {37, 263}, {95, 381}, {172, 398}, {37, 262}, {152,
443}, {115, 336}, {95, 380}, {172, 399}, {195, 480}, {6, 290}, {151, 435}, {150,
434}, {116, 336}, {33, 261}, {34, 262}, {63, 283}, {195, 487}, {196, 480}, {7,
290}, {151, 434}, {150, 435}, {63, 282}, {194, 487}, {7, 289}, {254, 472}, {119,
337}, {12, 298}, {40, 270}, {169, 399}, {199, 481}, {6, 289}, {255, 472}, {12,
299}, {33, 262}, {34, 261}, {40, 271}, {169, 398}, {10, 290}, {255, 471}, {39,
271}, {93, 373}, {10, 291}, {254, 471}, {249, 464}, {120, 337}, {36, 269}, {39,
270}, {93, 372}, {200, 481}, {9, 291}, {16, 314}, {36, 270}, {94, 372}, {194,
488}, {9, 290}, {16, 315}, {94, 373}, {195, 488}, {196, 495}, {5, 297}, {252,
464}, {117, 345}, {62, 274}, {170, 390}, {171, 391}, {197, 489}, {224, 460},
{35, 270}, {117, 344}, {62, 275}, {170, 391}, {171, 390}, {197, 488}, {224,
461}, {35, 269}, {149, 443}, {118, 344}, {61, 275}, {176, 414}, {193, 495},
{198, 488}, {5, 298}, {255, 464}, {149, 442}, {118, 345}, {111, 320}, {61, 274},
{176, 415}, {198, 489}, {9, 313}, {147, 419}, {146, 418}, {112, 320}, {92, 364},
{199, 503}, {92, 365}, {147, 418}, {146, 419}, {193, 496}, {198, 503}, {115,
321}, {250, 456}, {173, 415}, {202, 504}, {203, 505}, {9, 314}, {252, 463},
{251, 456}, {173, 414}, {202, 505}, {203, 504}, {15, 315}, {253, 457}, {34,
278}, {196, 496}, {225, 469}, {12, 313}, {253, 456}, {245, 448}, {116, 321},
{15, 314}, {35, 278}, {225, 468}, {12, 314}, {254, 456}, {249, 463}, {35, 277},
{91, 365}, {226, 468}, {34, 277}, {254, 457}, {91, 364}, {199, 496}, {200, 511},
{226, 469}, {10, 306}, {248, 448}, {113, 329}, {174, 406}, {175, 407}, {200,
496}, {201, 497}, {228, 476}, {11, 306}, {113, 328}, {36, 285}, {174, 407},
{175, 406}, {228, 477}, {11, 305}, {145, 427}, {114, 328}, {36, 286}, {197,
511}, {10, 305}, {251, 448}, {145, 426}, {114, 329}, {224, 475}, {14, 306},
{252, 448}, {251, 455}, {33, 285}, {89, 357}, {224, 476}, {14, 307}, {250, 455},
{89, 356}, {204, 497}, {13, 307}, {255, 449}, {148, 426}, {32, 286}, {64, 382},
{90, 356}, {198, 504}, {227, 477}, {13, 306}, {148, 427}, {32, 287}, {33, 286},
{64, 383}, {90, 357}, {191, 384}, {199, 504}, {227, 476}, {18, 338}, {249, 441},
{247, 439}, {163, 483}, {162, 482}, {69, 261}, {105, 297}, {192, 384}, {203,
395}, {204, 396}, {19, 338}, {249, 440}, {246, 439}, {163, 482}, {162, 483},
{112, 305}, {60, 381}, {69, 260}, {105, 296}, {241, 432}, {19, 337}, {250, 440},
{24, 346}, {60, 382}, {61, 383}, {70, 260}, {106, 296}, {207, 397}, {18, 337},
{250, 441}, {24, 347}, {61, 382}, {70, 261}, {106, 297}, {207, 396}, {13, 329},
{22, 338}, {57, 381}, {72, 268}, {209, 405}, {244, 432}, {22, 339}, {72, 269},
{209, 404}, {21, 339}, {157, 475}, {210, 404}, {13, 330}, {248, 447}, {247,
432}, {157, 474}, {21, 338}, {57, 382}, {203, 396}, {204, 395}, {210, 405}, {17,
345}, {248, 432}, {62, 374}, {63, 375}, {205, 389}, {212, 412}, {62, 375}, {63,
374}, {202, 387}, {205, 388}, {212, 413}, {71, 269}, {251, 433}, {161, 491},
{107, 289}, {201, 387}, {206, 388}, {245, 447}, {17, 346}, {161, 490}, {71,
268}, {206, 389}, {208, 411}, {14, 322}, {159, 467}, {158, 466}, {23, 347}, {58,
374}, {208, 412}, {15, 322}, {252, 433}, {159, 466}, {158, 467}, {20, 345}, {23,
346}, {59, 374}, {108, 289}, {201, 388}, {237, 416}, {15, 321}, {246, 440}, {20,
346}, {59, 373}, {164, 490}, {202, 388}, {211, 413}, {14, 321}, {247, 440}, {58,
373}, {164, 491}, {211, 412}, {18, 322}, {54, 358}, {240, 416}, {18, 323}, {55,
358}, {205, 412}, {17, 323}, {153, 459}, {55, 357}, {60, 366}, {168, 506}, {17,
322}, {153, 458}, {54, 357}, {60, 367}, {168, 507}, {243, 416}, {59, 367}, {109,
313}, {166, 498}, {167, 499}, {243, 423}, {244, 416}, {56, 365}, {59, 366}, {66,
279}, {109, 312}, {166, 499}, {167, 498}, {242, 423}, {56, 366}, {247, 417},
{156, 458}, {110, 312}, {65, 279}, {205, 411}, {110, 313}, {156, 459}, {19,
331}, {155, 451}, {154, 450}, {53, 365}, {16, 329}, {248, 417}, {155, 450},
{154, 451}, {19, 330}, {65, 280}, {16, 330}, {32, 378}, {64, 282}, {66, 280},
{206, 404}, {242, 424}, {32, 379}, {53, 366}, {64, 283}, {68, 287}, {107, 304},
{207, 404}, {243, 424}, {244, 431}, {58, 358}, {67, 287}, {108, 304}, {207,
403}, {208, 396}, {245, 425}, {58, 359}, {206, 403}, {208, 397}, {245, 424},
{20, 330}, {246, 424}, {111, 305}, {57, 359}, {165, 507}, {241, 431}, {20, 331},
{246, 425}, {57, 358}, {165, 506}, {25, 377}, {45, 333}, {54, 342}, {76, 300},
{220, 444}, {240, 400}, {54, 343}, {76, 301}, {220, 445}, {233, 392}, {53, 343},
{189, 479}, {214, 436}, {234, 392}, {243, 401}, {25, 378}, {45, 334}, {53, 342},
{67, 288}, {189, 478}, {215, 436}, {216, 443}, {236, 399}, {50, 342}, {131,
487}, {130, 486}, {68, 288}, {215, 435}, {216, 444}, {235, 399}, {237, 393},
{28, 377}, {131, 486}, {130, 487}, {51, 342}, {214, 435}, {237, 392}, {244,
401}, {28, 378}, {29, 379}, {51, 341}, {56, 350}, {75, 301}, {103, 257}, {219,
445}, {238, 392}, {29, 378}, {50, 341}, {56, 351}, {75, 300}, {219, 444}, {238,
393}, {26, 370}, {46, 326}, {55, 351}, {190, 470}, {191, 471}, {241, 409}, {27,
370}, {47, 326}, {52, 349}, {55, 350}, {104, 257}, {190, 471}, {191, 470}, {213,
444}, {241, 408}, {27, 369}, {132, 494}, {47, 325}, {52, 350}, {242, 408}, {26,
369}, {132, 495}, {46, 325}, {242, 409}, {30, 370}, {31, 371}, {49, 349}, {73,
293}, {80, 316}, {101, 265}, {217, 437}, {30, 371}, {31, 370}, {73, 292}, {80,
317}, {101, 264}, {217, 436}, {234, 391}, {74, 292}, {129, 495}, {102, 264},
{213, 443}, {218, 436}, {233, 391}, {239, 385}, {49, 350}, {129, 494}, {74,
293}, {102, 265}, {218, 437}, {240, 415}, {27, 363}, {135, 503}, {134, 502},
{211, 419}, {213, 421}, {24, 361}, {135, 502}, {134, 503}, {27, 362}, {98, 275},
{210, 419}, {213, 420}, {240, 385}, {24, 362}, {79, 317}, {97, 275}, {188, 462},
{214, 420}, {237, 415}, {79, 316}, {188, 463}, {214, 421}, {22, 354}, {50, 326},
{216, 428}, {23, 354}, {50, 327}, {97, 276}, {216, 429}, {23, 353}, {136, 510},
{28, 362}, {49, 327}, {98, 276}, {185, 463}, {210, 420}, {238, 408}, {22, 353},
{136, 511}, {28, 363}, {49, 326}, {103, 272}, {185, 462}, {211, 420}, {239,
408}, {26, 354}, {77, 309}, {99, 283}, {100, 284}, {104, 272}, {212, 428}, {239,
407}, {26, 355}, {77, 308}, {238, 407}, {25, 355}, {160, 474}, {133, 511}, {52,
334}, {78, 308}, {209, 427}, {215, 429}, {25, 354}, {160, 475}, {133, 510}, {52,
335}, {78, 309}, {215, 428}, {235, 400}, {21, 361}, {51, 335}, {186, 454}, {187,
455}, {236, 400}, {48, 333}, {128, 509}, {51, 334}, {186, 455}, {187, 454},
{209, 428}, {48, 334}, {128, 510}, {21, 362}, {99, 284}, {100, 283}, {212, 427},
{239, 400}, {125, 509}, {88, 473}, {133, 260}, {169, 296}, {88, 474}, {134,
260}, {170, 296}, {125, 510}, {136, 267}, {172, 303}, {86, 466}, {136, 268},
{171, 303}, {87, 466}, {134, 259}, {87, 465}, {133, 259}, {86, 465}, {126, 502},
{127, 502}, {127, 501}, {126, 501}, {135, 268}, {85, 473}, {135, 267}, {170,
295}, {169, 295}, {85, 474}, {176, 319}, {82, 450}, {175, 319}, {83, 450}, {124,
493}, {83, 449}, {131, 273}, {124, 494}, {82, 449}, {121, 493}, {132, 273},
{173, 312}, {174, 312}, {121, 494}, {81, 457}, {129, 281}, {96, 505}, {129,
280}, {174, 311}, {96, 506}, {130, 280}, {173, 311}, {81, 458}, {130, 281},
{171, 304}, {122, 486}, {172, 304}, {84, 457}, {123, 486}, {84, 458}, {123,
485}, {122, 485}, {118, 470}, {140, 300}, {139, 299}, {119, 470}, {166, 263},
{119, 469}, {165, 263}, {118, 469}, {131, 288}, {93, 505}, {132, 288}, {120,
477}, {120, 478}, {93, 506}, {140, 299}, {139, 300}, {168, 271}, {117, 477},
{167, 271}, {138, 291}, {137, 291}, {117, 478}, {144, 315}, {94, 498}, {144,
316}, {95, 498}, {137, 292}, {165, 264}, {95, 497}, {138, 292}, {166, 264}, {94,
497}, {89, 489}, {89, 490}, {143, 316}, {114, 454}, {161, 277}, {143, 315}, {92,
489}, {161, 276}, {115, 454}, {92, 490}, {162, 276}, {115, 453}, {114, 453},
{162, 277}, {167, 272}, {90, 482}, {164, 284}, {168, 272}, {91, 482}, {141,
308}, {116, 461}, {164, 285}, {91, 481}, {142, 308}, {116, 462}, {90, 481},
{113, 461}, {142, 307}, {141, 307}, {163, 285}, {113, 462}, {163, 284}, {192,
383}, {66, 386}, {191, 383}, {67, 386}, {149, 340}, {108, 429}, {67, 385}, {150,
340}, {108, 430}, {66, 385}, {152, 347}, {105, 429}, {152, 348}, {150, 339},
{189, 376}, {149, 339}, {190, 376}, {105, 430}, {65, 393}, {190, 375}, {189,
375}, {65, 394}, {151, 348}, {187, 368}, {106, 422}, {151, 347}, {188, 368},
{68, 393}, {112, 445}, {107, 422}, {68, 394}, {112, 446}, {107, 421}, {106,
421}, {109, 445}, {72, 409}, {146, 323}, {185, 360}, {72, 410}, {145, 323},
{186, 360}, {109, 446}, {188, 367}, {70, 402}, {187, 367}, {71, 402}, {145,
324}, {71, 401}, {146, 324}, {70, 401}, {183, 352}, {110, 438}, {148, 332},
{147, 331}, {184, 352}, {111, 438}, {111, 437}, {110, 437}, {160, 379}, {69,
409}, {160, 380}, {186, 359}, {185, 359}, {69, 410}, {148, 331}, {147, 332},
{73, 425}, {182, 343}, {181, 343}, {73, 426}, {159, 380}, {179, 336}, {98, 390},
{159, 379}, {180, 336}, {76, 425}, {99, 390}, {76, 426}, {99, 389}, {98, 389},
{184, 351}, {74, 418}, {183, 351}, {75, 418}, {157, 372}, {80, 441}, {100, 397},
{75, 417}, {158, 372}, {80, 442}, {100, 398}, {74, 417}, {97, 397}, {158, 371},
{181, 344}, {157, 371}, {182, 344}, {97, 398}, {175, 320}, {102, 406}, {156,
364}, {155, 363}, {176, 320}, {103, 406}, {128, 369}, {103, 405}, {102, 405},
{77, 441}, {104, 413}, {178, 327}, {104, 414}, {177, 327}, {77, 442}, {156,
363}, {155, 364}, {101, 413}, {154, 355}, {177, 328}, {153, 355}, {178, 328},
{101, 414}, {180, 335}, {78, 434}, {179, 335}, {79, 434}, {153, 356}, {79, 433},
{154, 356}, {78, 433}, {127, 384}, {197, 512}, {200, 512}, {201, 512}, {204,
512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 449}
under the group generated by the following permutations:
a: (5, 6)(7, 8)(9, 12)(10, 11)(37, 38)(39, 40)(41, 44)(42, 43)(73, 75)(74,
76)(105, 107)(106, 108)(137, 140)(138, 139)(145, 146)(147, 148)(169, 172)(170,
171)(177, 178)(179, 180)(209, 210)(211, 212)(213, 216)(214, 215)(241, 242)(243,
244)(245, 248)(246, 247)(289, 297)(290, 298)(291, 299)(292, 300)(293, 301)(294,
302)(295, 303)(296, 304)(417, 425)(418, 426)(419, 427)(420, 428)(421, 429)(422,
430)(423, 431)(424, 432) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (17, 18)(19, 20)(21, 24)(22, 23)(49, 50)(51, 52)(53, 56)(54, 55)(85, 88)(86,
87)(117, 120)(118, 119)(149, 152)(150, 151)(181, 184)(182, 183)(337, 345)(338,
346)(339, 347)(340, 348)(341, 349)(342, 350)(343, 351)(344, 352)
c: (9, 10)(11, 12)(13, 16)(14, 15)(41, 42)(43, 44)(45, 48)(46, 47)(77, 80)(78,
79)(109, 112)(110, 111)(141, 144)(142, 143)(173, 176)(174, 175)(305, 313)(306,
314)(307, 315)(308, 316)(309, 317)(310, 318)(311, 319)(312, 320)
d: (93, 94)(95, 96)(125, 126)(127, 128)(133, 134)(135, 136)(165, 166)(167,
168)(197, 198)(199, 200)(201, 202)(203, 204)(229, 230)(231, 232)(233, 234)(235,
236)(497, 505)(498, 506)(499, 507)(500, 508)(501, 509)(502, 510)(503, 511)(504,
512)
e: (69, 70)(71, 72)(101, 102)(103, 104)(141, 142)(143, 144)(173, 174)(175,
176)(205, 206)(207, 208)(209, 212)(210, 211)(237, 238)(239, 240)(241, 244)(242,
243)(401, 409)(402, 410)(403, 411)(404, 412)(405, 413)(406, 414)(407, 415)(408,
416)
f: (85, 86)(87, 88)(117, 118)(119, 120)(157, 158)(159, 160)(189, 190)(191,
192)(193, 196)(194, 195)(221, 222)(223, 224)(225, 228)(226, 227)(253, 254)(255,
256)(465, 473)(466, 474)(467, 475)(468, 476)(469, 477)(470, 478)(471, 479)(472,
480)
g: (25, 26)(27, 28)(29, 30)(31, 32)(57, 58)(59, 60)(61, 62)(63, 64)(93, 96)(94,
95)(125, 128)(126, 127)(157, 160)(158, 159)(189, 192)(190, 191)(369, 377)(370,
378)(371, 379)(372, 380)(373, 381)(374, 382)(375, 383)(376, 384)
h: (1, 2)(3, 4)(29, 32)(30, 31)(33, 34)(35, 36)(61, 64)(62, 63)(65, 68)(66,
67)(97, 100)(98, 99)(129, 132)(130, 131)(161, 164)(162, 163)(273, 281)(274,
282)(275, 283)(276, 284)(277, 285)(278, 286)(279, 287)(280, 288)
m: (73, 74)(75, 76)(105, 106)(107, 108)(145, 146)(147, 148)(177, 178)(179,
180)(209, 210)(211, 212)(213, 216)(214, 215)(241, 242)(243, 244)(245, 248)(246,
247)(417, 425)(418, 426)(419, 427)(420, 428)(421, 429)(422, 430)(423, 431)(424,
432)
n1: (81, 82)(83, 84)(113, 114)(115, 116)(153, 154)(155, 156)(185, 186)(187,
188)(217, 218)(219, 220)(221, 224)(222, 223)(249, 250)(251, 252)(253, 256)(254,
255)(449, 457)(450, 458)(451, 459)(452, 460)(453, 461)(454, 462)(455, 463)(456,
464)
a1: (89, 90)(91, 92)(121, 122)(123, 124)(129, 130)(131, 132)(161, 162)(163,
164)(193, 194)(195, 196)(197, 200)(198, 199)(225, 226)(227, 228)(229, 232)(230,
231)(481, 489)(482, 490)(483, 491)(484, 492)(485, 493)(486, 494)(487, 495)(488,
496)
b1: (2, 4)(5, 130, 103, 64)(6, 129, 104, 63)(7, 132, 101, 62)(8, 131, 102,
61)(9, 121, 211, 189)(10, 124, 212, 190)(11, 123, 209, 191)(12, 122, 210,
192)(13, 22, 148, 119)(14, 23, 145, 118)(15, 24, 146, 117)(16, 21, 147, 120)(18,
20)(25, 73, 225, 141)(26, 76, 226, 142)(27, 75, 227, 143)(28, 74, 228, 144)(29,
39, 164, 69)(30, 40, 163, 70)(31, 37, 162, 71)(32, 38, 161, 72)(33, 34, 35,
36)(41, 92, 241, 160)(42, 89, 242, 159)(43, 90, 243, 158)(44, 91, 244, 157)(45,
55, 178, 86)(46, 54, 179, 87)(47, 53, 180, 88)(48, 56, 177, 85)(49, 50, 51,
52)(57, 106, 195, 174)(58, 107, 196, 173)(59, 108, 193, 176)(60, 105, 194,
175)(65, 167, 99, 133)(66, 168, 100, 134)(67, 165, 97, 135)(68, 166, 98,
136)(77, 153, 245, 222)(78, 154, 246, 223)(79, 155, 247, 224)(80, 156, 248,
221)(81, 181, 115, 152)(82, 182, 116, 151)(83, 183, 113, 150)(84, 184, 114,
149)(93, 172, 199, 240)(94, 171, 200, 237)(95, 170, 197, 238)(96, 169, 198,
239)(109, 186, 213, 253)(110, 185, 214, 256)(111, 188, 215, 255)(112, 187, 216,
254)(125, 137, 231, 205)(126, 138, 232, 208)(127, 139, 229, 207)(128, 140, 230,
206)(201, 233, 204, 234)(202, 236, 203, 235)(217, 252, 218, 249)(219, 250, 220,
251)(257, 282, 258, 281)(259, 280, 272, 283)(260, 279, 271, 284)(261, 278, 270,
285)(262, 277, 269, 286)(263, 276, 268, 287)(264, 275, 267, 288)(265, 274, 266,
273)(289, 495, 414, 374)(290, 494, 413, 375)(291, 493, 412, 376)(292, 492, 411,
377)(293, 491, 410, 378)(294, 490, 409, 379)(295, 489, 408, 380)(296, 488, 407,
381)(297, 487, 406, 382)(298, 486, 405, 383)(299, 485, 404, 384)(300, 484, 403,
369)(301, 483, 402, 370)(302, 482, 401, 371)(303, 481, 416, 372)(304, 496, 415,
373)(305, 368, 428, 471)(306, 353, 427, 470)(307, 354, 426, 469)(308, 355, 425,
468)(309, 356, 424, 467)(310, 357, 423, 466)(311, 358, 422, 465)(312, 359, 421,
480)(313, 360, 420, 479)(314, 361, 419, 478)(315, 362, 418, 477)(316, 363, 417,
476)(317, 364, 432, 475)(318, 365, 431, 474)(319, 366, 430, 473)(320, 367, 429,
472)(321, 347, 324, 344)(322, 346, 323, 345)(325, 343, 336, 348)(326, 342, 335,
349)(327, 341, 334, 350)(328, 340, 333, 351)(329, 339, 332, 352)(330, 338, 331,
337)(385, 506, 398, 503)(386, 507, 397, 502)(387, 508, 396, 501)(388, 509, 395,
500)(389, 510, 394, 499)(390, 511, 393, 498)(391, 512, 392, 497)(399, 504, 400,
505)(433, 451, 440, 460)(434, 450, 439, 461)(435, 449, 438, 462)(436, 464, 437,
463)(441, 459, 448, 452)(442, 458, 447, 453)(443, 457, 446, 454)(444, 456, 445,
455)
c1: (13, 14)(15, 16)(17, 19)(18, 20)(21, 24)(22, 23)(45, 46)(47, 48)(49, 51)(50,
52)(53, 56)(54, 55)(81, 84)(82, 83)(85, 88)(86, 87)(113, 116)(114, 115)(117,
120)(118, 119)(145, 148)(146, 147)(149, 152)(150, 151)(177, 180)(178, 179)(181,
184)(182, 183)(321, 329)(322, 330)(323, 331)(324, 332)(325, 333)(326, 334)(327,
335)(328, 336)(337, 345)(338, 346)(339, 347)(340, 348)(341, 349)(342, 350)(343,
351)(344, 352)
d1: (77, 78)(79, 80)(81, 82)(83, 84)(109, 110)(111, 112)(113, 114)(115,
116)(149, 150)(151, 152)(153, 154)(155, 156)(181, 182)(183, 184)(185, 186)(187,
188)(213, 214)(215, 216)(217, 219)(218, 220)(221, 224)(222, 223)(245, 246)(247,
248)(249, 251)(250, 252)(253, 256)(254, 255)(433, 441)(434, 442)(435, 443)(436,
444)(437, 445)(438, 446)(439, 447)(440, 448)(449, 457)(450, 458)(451, 459)(452,
460)(453, 461)(454, 462)(455, 463)(456, 464)
e1: (65, 66)(67, 68)(93, 94)(95, 96)(97, 98)(99, 100)(125, 126)(127, 128)(133,
134)(135, 136)(137, 138)(139, 140)(165, 166)(167, 168)(169, 170)(171, 172)(197,
198)(199, 200)(201, 203)(202, 204)(205, 208)(206, 207)(229, 230)(231, 232)(233,
235)(234, 236)(237, 240)(238, 239)(385, 393)(386, 394)(387, 395)(388, 396)(389,
397)(390, 398)(391, 399)(392, 400)(497, 505)(498, 506)(499, 507)(500, 508)(501,
509)(502, 510)(503, 511)(504, 512)
f1: (21, 22)(23, 24)(25, 27)(26, 28)(29, 30)(31, 32)(53, 54)(55, 56)(57, 59)(58,
60)(61, 62)(63, 64)(89, 92)(90, 91)(93, 96)(94, 95)(121, 124)(122, 123)(125,
128)(126, 127)(153, 156)(154, 155)(157, 160)(158, 159)(185, 188)(186, 187)(189,
192)(190, 191)(353, 361)(354, 362)(355, 363)(356, 364)(357, 365)(358, 366)(359,
367)(360, 368)(369, 377)(370, 378)(371, 379)(372, 380)(373, 381)(374, 382)(375,
383)(376, 384)
g1: (1, 5, 12, 16, 20, 24, 27, 31, 36, 39, 42, 46, 50, 54, 57, 61, 3, 7, 10, 14,
18, 22, 25, 29, 34, 37, 44, 48, 52, 56, 59, 63)(2, 8, 9, 13, 17, 21, 26, 32, 35,
38, 43, 47, 51, 55, 60, 62, 4, 6, 11, 15, 19, 23, 28, 30, 33, 40, 41, 45, 49,
53, 58, 64)(65, 70, 75, 79, 83, 87, 91, 94, 99, 104, 105, 109, 113, 117, 121,
128, 67, 72, 73, 77, 81, 85, 89, 96, 97, 102, 107, 111, 115, 119, 123, 126)(66,
69, 76, 80, 84, 88, 92, 93, 100, 103, 106, 110, 114, 118, 122, 127, 68, 71, 74,
78, 82, 86, 90, 95, 98, 101, 108, 112, 116, 120, 124, 125)(129, 133, 139, 144,
148, 152, 156, 157, 164, 168, 169, 174, 178, 182, 186, 191, 131, 135, 137, 142,
146, 150, 154, 159, 162, 166, 171, 176, 180, 184, 188, 189)(130, 134, 140, 143,
147, 151, 155, 158, 163, 167, 170, 173, 177, 181, 185, 192, 132, 136, 138, 141,
145, 149, 153, 160, 161, 165, 172, 175, 179, 183, 187, 190)(193, 197, 202, 208,
209, 213, 217, 221, 225, 229, 235, 238, 243, 247, 251, 255, 195, 199, 204, 206,
211, 215, 219, 223, 227, 231, 233, 240, 241, 245, 249, 253)(194, 198, 203, 207,
210, 214, 218, 222, 226, 230, 234, 237, 244, 248, 252, 256, 196, 200, 201, 205,
212, 216, 220, 224, 228, 232, 236, 239, 242, 246, 250, 254)(257, 297, 313, 329,
345, 361, 369, 287, 269, 293, 309, 325, 341, 357, 381, 275, 265, 289, 305, 321,
337, 353, 377, 279, 261, 301, 317, 333, 349, 365, 373, 283)(258, 298, 314, 330,
346, 362, 370, 286, 270, 294, 310, 326, 342, 358, 382, 274, 266, 290, 306, 322,
338, 354, 378, 278, 262, 302, 318, 334, 350, 366, 374, 282)(259, 299, 315, 331,
347, 363, 371, 285, 271, 295, 311, 327, 343, 359, 383, 273, 267, 291, 307, 323,
339, 355, 379, 277, 263, 303, 319, 335, 351, 367, 375, 281)(260, 300, 316, 332,
348, 364, 372, 284, 272, 296, 312, 328, 344, 360, 384, 288, 268, 292, 308, 324,
340, 356, 380, 276, 264, 304, 320, 336, 352, 368, 376, 280)(385, 409, 425, 441,
457, 473, 489, 505, 397, 405, 421, 437, 453, 469, 485, 501, 393, 401, 417, 433,
449, 465, 481, 497, 389, 413, 429, 445, 461, 477, 493, 509)(386, 410, 426, 442,
458, 474, 490, 506, 398, 406, 422, 438, 454, 470, 486, 502, 394, 402, 418, 434,
450, 466, 482, 498, 390, 414, 430, 446, 462, 478, 494, 510)(387, 411, 427, 443,
459, 475, 491, 507, 399, 407, 423, 439, 455, 471, 487, 503, 395, 403, 419, 435,
451, 467, 483, 499, 391, 415, 431, 447, 463, 479, 495, 511)(388, 412, 428, 444,
460, 476, 492, 508, 400, 408, 424, 440, 456, 472, 488, 504, 396, 404, 420, 436,
452, 468, 484, 500, 392, 416, 432, 448, 464, 480, 496, 512)
h1: (2, 4)(5, 64, 6, 63)(7, 62, 8, 61)(9, 59, 11, 57)(10, 58, 12, 60)(13, 54,
16, 53)(14, 55, 15, 56)(17, 49)(18, 52)(19, 51)(20, 50)(21, 45, 22, 48)(23, 47,
24, 46)(25, 41, 27, 43)(26, 44, 28, 42)(29, 39, 30, 40)(31, 37, 32, 38)(34,
36)(65, 168)(66, 167)(67, 166)(68, 165)(69, 164)(70, 163)(71, 162)(72, 161)(73,
157, 75, 159)(74, 158, 76, 160)(77, 153, 80, 156)(78, 154, 79, 155)(81, 152)(82,
151)(83, 150)(84, 149)(85, 147, 86, 148)(87, 145, 88, 146)(89, 144, 92, 141)(90,
143, 91, 142)(93, 140, 96, 137)(94, 139, 95, 138)(97, 135)(98, 136)(99,
133)(100, 134)(101, 131)(102, 132)(103, 129)(104, 130)(105, 191, 107, 189)(106,
192, 108, 190)(109, 187, 112, 186)(110, 188, 111, 185)(113, 182)(114, 181)(115,
184)(116, 183)(117, 177, 118, 178)(119, 179, 120, 180)(121, 174, 124, 175)(122,
173, 123, 176)(125, 170, 128, 171)(126, 169, 127, 172)(193, 210, 196, 209)(194,
211, 195, 212)(197, 205)(198, 208)(199, 207)(200, 206)(202, 204)(213, 253, 216,
254)(214, 256, 215, 255)(217, 249)(218, 252)(219, 251)(220, 250)(221, 248, 222,
245)(223, 246, 224, 247)(225, 242, 228, 241)(226, 243, 227, 244)(229, 237)(230,
240)(231, 239)(232, 238)(234, 236)(257, 281)(258, 282)(259, 283)(260, 284)(261,
285)(262, 286)(263, 287)(264, 288)(265, 273)(266, 274)(267, 275)(268, 276)(269,
277)(270, 278)(271, 279)(272, 280)(289, 375, 297, 383)(290, 374, 298, 382)(291,
373, 299, 381)(292, 372, 300, 380)(293, 371, 301, 379)(294, 370, 302, 378)(295,
369, 303, 377)(296, 384, 304, 376)(305, 359, 313, 367)(306, 358, 314, 366)(307,
357, 315, 365)(308, 356, 316, 364)(309, 355, 317, 363)(310, 354, 318, 362)(311,
353, 319, 361)(312, 368, 320, 360)(321, 351)(322, 350)(323, 349)(324, 348)(325,
347)(326, 346)(327, 345)(328, 344)(329, 343)(330, 342)(331, 341)(332, 340)(333,
339)(334, 338)(335, 337)(336, 352)(385, 499)(386, 498)(387, 497)(388, 512)(389,
511)(390, 510)(391, 509)(392, 508)(393, 507)(394, 506)(395, 505)(396, 504)(397,
503)(398, 502)(399, 501)(400, 500)(401, 483)(402, 482)(403, 481)(404, 496)(405,
495)(406, 494)(407, 493)(408, 492)(409, 491)(410, 490)(411, 489)(412, 488)(413,
487)(414, 486)(415, 485)(416, 484)(417, 467, 425, 475)(418, 466, 426, 474)(419,
465, 427, 473)(420, 480, 428, 472)(421, 479, 429, 471)(422, 478, 430, 470)(423,
477, 431, 469)(424, 476, 432, 468)(433, 451)(434, 450)(435, 449)(436, 464)(437,
463)(438, 462)(439, 461)(440, 460)(441, 459)(442, 458)(443, 457)(444, 456)(445,
455)(446, 454)(447, 453)(448, 452)
C4[ 512, 395 ]
512
-1 257 258 281 282
-2 257 258 273 274
-3 265 266 273 274
-4 265 266 281 282
-5 297 298 258 259
-6 289 290 258 259
-7 266 267 289 290
-8 297 298 266 267
-9 290 291 313 314
-10 290 291 305 306
-11 298 299 305 306
-12 298 299 313 314
-13 330 306 307 329
-14 321 322 306 307
-15 321 322 314 315
-16 330 314 315 329
-17 322 323 345 346
-18 322 323 337 338
-19 330 331 337 338
-20 330 331 345 346
-21 338 339 361 362
-22 353 354 338 339
-23 353 354 346 347
-24 346 347 361 362
-25 354 355 377 378
-26 354 355 369 370
-27 363 369 370 362
-28 363 377 378 362
-29 278 279 378 379
-30 278 279 370 371
-31 286 287 370 371
-32 286 287 378 379
-33 286 261 262 285
-34 277 278 261 262
-35 277 278 269 270
-36 286 269 270 285
-37 301 302 262 263
-38 293 294 262 263
-39 270 271 293 294
-40 301 302 270 271
-41 294 295 317 318
-42 309 310 294 295
-43 309 310 302 303
-44 302 303 317 318
-45 310 311 333 334
-46 310 311 325 326
-47 319 325 326 318
-48 319 333 334 318
-49 326 327 349 350
-50 341 342 326 327
-51 341 342 334 335
-52 334 335 349 350
-53 342 343 365 366
-54 342 343 357 358
-55 357 358 350 351
-56 365 366 350 351
-57 358 359 381 382
-58 374 358 359 373
-59 374 366 367 373
-60 366 367 381 382
-61 275 382 383 274
-62 275 374 375 274
-63 374 375 282 283
-64 282 283 382 383
-65 279 280 393 394
-66 385 386 279 280
-67 385 287 386 288
-68 287 288 393 394
-69 409 410 260 261
-70 401 402 260 261
-71 268 269 401 402
-72 409 410 268 269
-73 292 293 425 426
-74 418 292 293 417
-75 418 300 301 417
-76 300 301 425 426
-77 308 309 441 442
-78 308 309 433 434
-79 433 434 316 317
-80 441 442 316 317
-81 324 325 457 458
-82 324 325 449 450
-83 332 333 449 450
-84 332 333 457 458
-85 341 473 474 340
-86 341 465 466 340
-87 465 466 348 349
-88 473 474 348 349
-89 356 357 489 490
-90 356 357 481 482
-91 364 365 481 482
-92 364 365 489 490
-93 506 372 373 505
-94 497 498 372 373
-95 497 498 380 381
-96 506 380 381 505
-97 275 276 397 398
-98 275 276 389 390
-99 389 390 283 284
-100 397 398 283 284
-101 264 265 413 414
-102 264 265 405 406
-103 257 272 405 406
-104 257 413 414 272
-105 297 429 430 296
-106 297 421 422 296
-107 289 421 422 304
-108 429 430 289 304
-109 312 313 445 446
-110 312 313 437 438
-111 320 305 437 438
-112 320 445 446 305
-113 462 328 329 461
-114 453 454 328 329
-115 321 453 454 336
-116 462 321 336 461
-117 344 345 477 478
-118 344 345 469 470
-119 352 337 469 470
-120 352 477 478 337
-121 360 361 493 494
-122 485 486 360 361
-123 353 485 486 368
-124 353 368 493 494
-125 376 377 509 510
-126 376 377 501 502
-127 369 501 502 384
-128 509 510 369 384
-129 495 280 281 494
-130 486 487 280 281
-131 288 486 487 273
-132 495 288 273 494
-133 510 511 259 260
-134 259 260 502 503
-135 267 268 502 503
-136 267 268 510 511
-137 291 292 394 395
-138 386 387 291 292
-139 386 299 387 300
-140 299 300 394 395
-141 308 410 411 307
-142 308 402 403 307
-143 402 315 403 316
-144 410 411 315 316
-145 323 324 426 427
-146 418 419 323 324
-147 418 331 419 332
-148 331 332 426 427
-149 442 443 339 340
-150 434 435 339 340
-151 434 347 435 348
-152 442 443 347 348
-153 355 356 458 459
-154 451 355 356 450
-155 363 451 364 450
-156 363 364 458 459
-157 474 475 371 372
-158 466 467 371 372
-159 466 379 467 380
-160 474 475 379 380
-161 276 277 490 491
-162 276 277 482 483
-163 284 482 285 483
-164 490 491 284 285
-165 264 506 507 263
-166 264 498 499 263
-167 498 499 271 272
-168 506 507 271 272
-169 398 399 295 296
-170 390 391 295 296
-171 390 303 391 304
-172 398 399 303 304
-173 311 312 414 415
-174 407 311 312 406
-175 319 407 320 406
-176 319 320 414 415
-177 430 431 327 328
-178 422 423 327 328
-179 422 335 423 336
-180 430 431 335 336
-181 343 344 446 447
-182 343 344 438 439
-183 352 438 351 439
-184 352 446 447 351
-185 462 463 359 360
-186 454 455 359 360
-187 454 367 455 368
-188 462 463 367 368
-189 375 376 478 479
-190 375 376 470 471
-191 470 383 471 384
-192 478 479 383 384
-193 473 495 496 472
-194 473 487 488 472
-195 465 487 488 480
-196 495 496 465 480
-197 488 489 511 512
-198 488 489 503 504
-199 496 481 503 504
-200 496 511 512 481
-201 387 497 388 512
-202 387 388 504 505
-203 396 504 395 505
-204 396 497 512 395
-205 388 389 411 412
-206 388 389 403 404
-207 396 397 403 404
-208 396 397 411 412
-209 404 405 427 428
-210 419 420 404 405
-211 419 420 412 413
-212 412 413 427 428
-213 420 421 443 444
-214 420 421 435 436
-215 429 435 436 428
-216 429 443 444 428
-217 436 437 459 460
-218 451 452 436 437
-219 451 452 444 445
-220 444 445 459 460
-221 452 453 475 476
-222 452 453 467 468
-223 467 468 460 461
-224 475 476 460 461
-225 468 469 491 492
-226 484 468 469 483
-227 484 476 477 483
-228 476 477 491 492
-229 484 485 507 508
-230 484 485 499 500
-231 499 500 492 493
-232 507 508 492 493
-233 508 509 391 392
-234 500 391 501 392
-235 399 400 500 501
-236 508 399 509 400
-237 392 393 415 416
-238 407 408 392 393
-239 385 407 408 400
-240 385 400 415 416
-241 408 409 431 432
-242 408 409 423 424
-243 401 423 424 416
-244 431 432 401 416
-245 424 425 447 448
-246 440 424 425 439
-247 440 432 417 439
-248 432 447 448 417
-249 440 441 463 464
-250 440 441 455 456
-251 433 455 456 448
-252 463 464 433 448
-253 456 457 479 480
-254 456 457 471 472
-255 464 449 471 472
-256 464 479 480 449
-257 1 2 103 104
-258 1 2 5 6
-259 133 134 5 6
-260 133 134 69 70
-261 33 34 69 70
-262 33 34 37 38
-263 165 166 37 38
-264 165 166 101 102
-265 101 3 102 4
-266 3 4 7 8
-267 135 136 7 8
-268 135 136 71 72
-269 35 36 71 72
-270 35 36 39 40
-271 167 168 39 40
-272 167 168 103 104
-273 132 2 3 131
-274 2 3 61 62
-275 61 62 97 98
-276 161 162 97 98
-277 34 35 161 162
-278 34 35 29 30
-279 66 29 30 65
-280 66 129 130 65
-281 1 4 129 130
-282 1 4 63 64
-283 99 100 63 64
-284 99 100 163 164
-285 33 36 163 164
-286 33 36 31 32
-287 67 68 31 32
-288 132 67 68 131
-289 6 7 107 108
-290 6 7 9 10
-291 137 138 9 10
-292 137 138 73 74
-293 38 39 73 74
-294 38 39 41 42
-295 169 170 41 42
-296 169 170 105 106
-297 5 105 106 8
-298 11 12 5 8
-299 11 12 139 140
-300 139 140 75 76
-301 37 40 75 76
-302 44 37 40 43
-303 44 171 172 43
-304 171 172 107 108
-305 11 111 112 10
-306 11 13 14 10
-307 13 14 141 142
-308 77 78 141 142
-309 77 78 42 43
-310 45 46 42 43
-311 45 46 173 174
-312 110 173 174 109
-313 110 12 9 109
-314 12 15 16 9
-315 143 144 15 16
-316 143 144 79 80
-317 44 79 80 41
-318 44 47 48 41
-319 176 47 48 175
-320 176 111 112 175
-321 14 15 115 116
-322 14 15 17 18
-323 145 146 17 18
-324 145 146 81 82
-325 46 47 81 82
-326 46 47 49 50
-327 177 178 49 50
-328 177 178 113 114
-329 13 113 114 16
-330 13 16 19 20
-331 147 148 19 20
-332 147 148 83 84
-333 45 48 83 84
-334 45 48 51 52
-335 179 180 51 52
-336 179 180 115 116
-337 18 19 119 120
-338 22 18 19 21
-339 22 149 150 21
-340 149 150 85 86
-341 50 51 85 86
-342 50 51 53 54
-343 181 182 53 54
-344 181 182 117 118
-345 17 117 118 20
-346 23 24 17 20
-347 23 24 151 152
-348 88 151 152 87
-349 88 49 52 87
-350 55 56 49 52
-351 55 56 183 184
-352 183 184 119 120
-353 22 23 123 124
-354 22 23 25 26
-355 154 25 26 153
-356 154 89 90 153
-357 55 89 90 54
-358 55 57 58 54
-359 57 58 185 186
-360 121 122 185 186
-361 121 122 24 21
-362 24 27 28 21
-363 155 156 27 28
-364 155 156 91 92
-365 56 91 92 53
-366 56 59 60 53
-367 187 188 59 60
-368 187 188 123 124
-369 26 27 127 128
-370 26 27 30 31
-371 157 158 30 31
-372 157 158 93 94
-373 58 59 93 94
-374 58 59 62 63
-375 189 190 62 63
-376 189 190 125 126
-377 25 125 126 28
-378 25 28 29 32
-379 159 160 29 32
-380 159 160 95 96
-381 57 60 95 96
-382 57 60 61 64
-383 191 192 61 64
-384 191 192 127 128
-385 66 67 239 240
-386 66 67 138 139
-387 201 202 138 139
-388 201 202 205 206
-389 99 205 206 98
-390 99 170 171 98
-391 233 234 170 171
-392 233 234 237 238
-393 68 237 238 65
-394 68 137 140 65
-395 137 203 204 140
-396 203 204 207 208
-397 100 97 207 208
-398 100 169 172 97
-399 169 235 236 172
-400 235 236 239 240
-401 243 244 70 71
-402 143 70 71 142
-403 143 206 207 142
-404 209 210 206 207
-405 209 210 102 103
-406 102 103 174 175
-407 238 239 174 175
-408 242 238 239 241
-409 242 69 72 241
-410 144 69 72 141
-411 144 205 141 208
-412 211 212 205 208
-413 101 211 212 104
-414 176 101 104 173
-415 176 237 173 240
-416 243 244 237 240
-417 247 248 74 75
-418 146 147 74 75
-419 210 211 146 147
-420 210 211 213 214
-421 213 214 106 107
-422 178 179 106 107
-423 242 243 178 179
-424 242 243 245 246
-425 245 246 73 76
-426 145 148 73 76
-427 209 145 212 148
-428 209 212 215 216
-429 105 215 216 108
-430 177 180 105 108
-431 177 244 180 241
-432 244 247 248 241
-433 78 79 251 252
-434 78 79 150 151
-435 214 215 150 151
-436 214 215 217 218
-437 110 111 217 218
-438 110 111 182 183
-439 246 247 182 183
-440 246 247 249 250
-441 77 80 249 250
-442 77 80 149 152
-443 213 149 216 152
-444 220 213 216 219
-445 220 112 109 219
-446 112 181 184 109
-447 245 181 248 184
-448 245 248 251 252
-449 255 256 82 83
-450 154 155 82 83
-451 154 155 218 219
-452 221 222 218 219
-453 221 222 114 115
-454 187 114 115 186
-455 187 250 251 186
-456 253 254 250 251
-457 253 254 81 84
-458 156 81 84 153
-459 220 156 217 153
-460 220 223 224 217
-461 113 223 224 116
-462 188 113 116 185
-463 188 249 185 252
-464 255 256 249 252
-465 195 86 196 87
-466 158 159 86 87
-467 222 223 158 159
-468 222 223 225 226
-469 225 226 118 119
-470 190 191 118 119
-471 254 255 190 191
-472 254 255 193 194
-473 88 193 194 85
-474 88 157 160 85
-475 221 157 224 160
-476 221 224 227 228
-477 117 227 228 120
-478 189 192 117 120
-479 253 189 256 192
-480 253 256 195 196
-481 199 90 200 91
-482 90 91 162 163
-483 226 227 162 163
-484 226 227 229 230
-485 122 123 229 230
-486 122 123 130 131
-487 194 195 130 131
-488 198 194 195 197
-489 198 89 92 197
-490 89 92 161 164
-491 225 161 228 164
-492 231 232 225 228
-493 121 231 232 124
-494 121 132 124 129
-495 132 193 129 196
-496 199 200 193 196
-497 201 94 204 95
-498 166 167 94 95
-499 231 166 167 230
-500 231 234 235 230
-501 234 235 126 127
-502 134 135 126 127
-503 198 199 134 135
-504 198 199 202 203
-505 202 93 203 96
-506 165 168 93 96
-507 165 232 168 229
-508 232 233 236 229
-509 233 125 236 128
-510 133 125 136 128
-511 133 200 136 197
-512 200 201 204 197
0