Graph forms
for C4 [ 512, 365 ] = SDD(PX(8,4))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 512, 365 ] =
SDD(PX(8,4)).
(I) Following is a form readable by MAGMA:
g:=Graph<512|{ {256, 394}, {256, 505}, {256, 510}, {256, 511}, {1, 257}, {24,
280}, {227, 483}, {67, 322}, {251, 506}, {142, 399}, {140, 397}, {117, 372},
{208, 465}, {232, 489}, {1, 259}, {118, 372}, {6, 260}, {50, 304}, {61, 319},
{1, 258}, {250, 505}, {148, 407}, {2, 257}, {8, 267}, {57, 314}, {183, 436},
{214, 469}, {3, 263}, {150, 402}, {149, 401}, {65, 325}, {82, 342}, {84, 336},
{92, 344}, {224, 484}, {237, 489}, {9, 268}, {13, 264}, {15, 266}, {36, 289},
{208, 469}, {215, 466}, {4, 258}, {242, 500}, {112, 374}, {5, 259}, {18, 276},
{41, 303}, {173, 427}, {1, 262}, {253, 506}, {139, 396}, {131, 388}, {120, 383},
{2, 261}, {3, 260}, {10, 269}, {14, 265}, {60, 315}, {90, 349}, {214, 465}, {91,
339}, {255, 503}, {157, 405}, {206, 454}, {237, 485}, {4, 269}, {6, 271}, {18,
283}, {20, 285}, {22, 287}, {48, 313}, {83, 346}, {213, 476}, {2, 264}, {255,
501}, {253, 503}, {3, 265}, {89, 339}, {202, 448}, {205, 455}, {234, 480}, {236,
486}, {5, 270}, {12, 263}, {21, 286}, {55, 316}, {28, 272}, {250, 502}, {244,
504}, {148, 408}, {139, 391}, {29, 273}, {30, 274}, {31, 275}, {44, 288}, {45,
289}, {46, 290}, {240, 508}, {7, 266}, {255, 498}, {11, 262}, {75, 326}, {236,
481}, {90, 340}, {243, 509}, {151, 409}, {137, 391}, {10, 261}, {255, 496},
{135, 392}, {19, 284}, {32, 304}, {253, 493}, {121, 361}, {109, 381}, {99, 371},
{202, 474}, {4, 277}, {112, 353}, {6, 279}, {8, 281}, {95, 334}, {223, 462}, {2,
272}, {249, 491}, {124, 366}, {3, 273}, {78, 348}, {207, 477}, {212, 454}, {221,
463}, {222, 460}, {224, 498}, {5, 278}, {135, 404}, {9, 282}, {39, 308}, {63,
300}, {93, 334}, {226, 497}, {26, 270}, {252, 488}, {106, 382}, {27, 271}, {33,
309}, {48, 292}, {95, 331}, {7, 274}, {139, 414}, {66, 343}, {176, 421}, {203,
478}, {216, 461}, {64, 342}, {174, 440}, {234, 508}, {80, 327}, {204, 475},
{217, 462}, {181, 429}, {238, 502}, {126, 359}, {226, 507}, {239, 502}, {60,
294}, {133, 415}, {90, 320}, {91, 321}, {94, 324}, {95, 325}, {96, 378}, {97,
379}, {173, 439}, {191, 421}, {197, 479}, {8, 275}, {110, 373}, {16, 267}, {67,
344}, {85, 329}, {118, 362}, {98, 382}, {165, 441}, {227, 511}, {9, 276}, {250,
487}, {17, 268}, {68, 345}, {70, 347}, {232, 501}, {40, 310}, {143, 401}, {47,
305}, {92, 322}, {93, 323}, {172, 434}, {202, 468}, {230, 504}, {7, 280}, {251,
484}, {149, 394}, {128, 415}, {127, 352}, {117, 362}, {69, 346}, {180, 427},
{204, 467}, {69, 357}, {147, 435}, {144, 432}, {142, 430}, {136, 424}, {132,
420}, {127, 351}, {171, 395}, {100, 325}, {141, 428}, {193, 480}, {198, 487},
{18, 304}, {150, 436}, {136, 426}, {129, 419}, {106, 328}, {19, 305}, {22, 308},
{23, 309}, {207, 493}, {76, 367}, {145, 434}, {132, 423}, {64, 356}, {188, 408},
{189, 409}, {190, 410}, {191, 411}, {159, 442}, {252, 473}, {165, 384}, {183,
402}, {224, 453}, {229, 448}, {8, 302}, {132, 418}, {130, 420}, {9, 303}, {20,
306}, {21, 307}, {31, 313}, {85, 371}, {96, 326}, {97, 327}, {182, 400}, {213,
499}, {238, 456}, {140, 427}, {249, 478}, {200, 495}, {239, 456}, {11, 291},
{254, 470}, {244, 476}, {242, 474}, {103, 335}, {12, 292}, {13, 293}, {14, 294},
{15, 295}, {182, 414}, {200, 480}, {217, 497}, {101, 332}, {254, 471}, {124,
341}, {102, 335}, {203, 482}, {220, 501}, {234, 451}, {6, 300}, {146, 440},
{103, 333}, {100, 334}, {7, 301}, {98, 328}, {99, 329}, {171, 385}, {196, 494},
{199, 493}, {204, 486}, {230, 460}, {102, 333}, {130, 425}, {156, 439}, {184,
403}, {188, 407}, {197, 494}, {219, 496}, {220, 503}, {235, 448}, {19, 319},
{144, 444}, {65, 365}, {201, 485}, {220, 496}, {238, 450}, {16, 317}, {143,
418}, {133, 424}, {81, 380}, {182, 411}, {187, 406}, {226, 463}, {239, 450}, {4,
298}, {153, 439}, {152, 438}, {5, 299}, {172, 386}, {173, 387}, {193, 495},
{220, 498}, {223, 497}, {17, 318}, {134, 425}, {129, 430}, {100, 331}, {25,
310}, {73, 358}, {82, 381}, {178, 413}, {219, 500}, {98, 338}, {198, 502}, {199,
503}, {73, 376}, {133, 436}, {229, 468}, {94, 364}, {155, 425}, {11, 312}, {248,
459}, {131, 432}, {15, 316}, {159, 428}, {217, 490}, {232, 475}, {32, 276},
{254, 458}, {33, 277}, {34, 278}, {35, 279}, {40, 284}, {41, 285}, {42, 286},
{43, 287}, {176, 388}, {241, 453}, {12, 313}, {14, 315}, {42, 287}, {43, 286},
{60, 265}, {223, 490}, {111, 345}, {215, 481}, {13, 314}, {141, 442}, {23, 288},
{48, 263}, {177, 390}, {16, 296}, {106, 338}, {105, 337}, {104, 336}, {17, 297},
{24, 289}, {242, 459}, {108, 341}, {26, 291}, {179, 394}, {180, 397}, {201,
496}, {162, 408}, {213, 495}, {25, 290}, {109, 342}, {32, 283}, {178, 393},
{181, 398}, {36, 280}, {37, 281}, {38, 282}, {39, 283}, {185, 389}, {10, 311},
{247, 458}, {195, 510}, {199, 506}, {201, 500}, {64, 382}, {243, 461}, {219,
485}, {27, 292}, {155, 420}, {134, 441}, {107, 340}, {75, 372}, {198, 505},
{229, 474}, {83, 275}, {137, 457}, {205, 397}, {237, 428}, {88, 282}, {56, 379},
{49, 373}, {50, 374}, {51, 375}, {29, 344}, {151, 466}, {31, 346}, {37, 352},
{79, 266}, {228, 417}, {240, 437}, {38, 352}, {155, 477}, {39, 353}, {58, 380},
{59, 381}, {158, 472}, {159, 473}, {30, 345}, {43, 355}, {232, 416}, {18, 347},
{42, 355}, {44, 357}, {46, 359}, {192, 393}, {203, 386}, {221, 404}, {179, 505},
{243, 441}, {229, 431}, {28, 343}, {134, 461}, {41, 354}, {45, 358}, {58, 369},
{216, 403}, {52, 376}, {53, 377}, {54, 378}, {80, 284}, {88, 276}, {179, 511},
{183, 507}, {101, 296}, {251, 438}, {179, 510}, {190, 499}, {42, 356}, {172,
482}, {43, 356}, {144, 479}, {213, 410}, {60, 364}, {124, 300}, {161, 497},
{238, 446}, {63, 366}, {249, 424}, {162, 499}, {190, 495}, {191, 494}, {222,
399}, {236, 445}, {239, 446}, {145, 451}, {176, 483}, {249, 426}, {20, 320},
{141, 473}, {21, 321}, {22, 322}, {23, 323}, {88, 268}, {157, 457}, {188, 488},
{200, 412}, {109, 312}, {204, 409}, {230, 435}, {136, 478}, {29, 330}, {244,
419}, {36, 371}, {79, 280}, {176, 487}, {187, 492}, {235, 444}, {21, 333}, {128,
472}, {101, 317}, {99, 315}, {156, 452}, {180, 492}, {196, 412}, {233, 433},
{234, 434}, {48, 362}, {253, 423}, {244, 430}, {243, 425}, {161, 507}, {47,
372}, {139, 464}, {113, 298}, {78, 277}, {189, 486}, {218, 385}, {16, 332},
{250, 422}, {24, 324}, {25, 325}, {79, 274}, {153, 452}, {129, 476}, {193, 412},
{197, 411}, {227, 445}, {130, 477}, {147, 460}, {36, 324}, {140, 492}, {191,
479}, {192, 416}, {197, 421}, {198, 422}, {199, 423}, {223, 447}, {93, 316},
{178, 467}, {182, 471}, {195, 418}, {10, 360}, {152, 506}, {11, 361}, {14, 364},
{15, 365}, {79, 301}, {190, 476}, {200, 426}, {62, 349}, {136, 491}, {65, 290},
{68, 295}, {72, 299}, {225, 386}, {20, 368}, {113, 277}, {73, 301}, {74, 302},
{178, 470}, {195, 423}, {201, 429}, {215, 435}, {23, 370}, {26, 383}, {67, 294},
{196, 417}, {202, 431}, {12, 362}, {127, 281}, {13, 363}, {80, 310}, {81, 311},
{89, 319}, {189, 475}, {217, 447}, {22, 369}, {66, 293}, {195, 420}, {196, 419},
{47, 326}, {57, 336}, {59, 338}, {87, 318}, {163, 458}, {62, 340}, {63, 341},
{82, 312}, {83, 313}, {212, 446}, {24, 371}, {147, 504}, {58, 337}, {86, 317},
{193, 426}, {208, 443}, {69, 296}, {150, 507}, {145, 508}, {135, 490}, {71,
298}, {214, 443}, {61, 339}, {101, 267}, {84, 314}, {85, 315}, {160, 462}, {161,
463}, {189, 467}, {40, 327}, {70, 297}, {145, 480}, {181, 452}, {185, 456},
{241, 384}, {172, 478}, {113, 258}, {162, 465}, {25, 365}, {55, 323}, {163,
471}, {228, 400}, {158, 491}, {163, 470}, {218, 431}, {219, 429}, {248, 398},
{56, 335}, {65, 310}, {88, 303}, {154, 482}, {206, 438}, {49, 328}, {242, 395},
{129, 504}, {55, 334}, {203, 434}, {37, 351}, {132, 510}, {51, 329}, {54, 332},
{75, 305}, {92, 294}, {187, 449}, {32, 347}, {247, 396}, {134, 509}, {78, 309},
{19, 367}, {152, 484}, {148, 488}, {113, 269}, {33, 348}, {128, 509}, {111,
274}, {35, 350}, {52, 330}, {53, 331}, {62, 320}, {76, 306}, {77, 307}, {17,
366}, {34, 349}, {169, 297}, {164, 293}, {107, 489}, {247, 373}, {138, 270},
{120, 509}, {212, 339}, {125, 501}, {26, 403}, {254, 375}, {138, 259}, {72,
449}, {86, 479}, {89, 464}, {171, 290}, {76, 454}, {108, 486}, {240, 379}, {44,
416}, {233, 357}, {105, 484}, {108, 481}, {170, 295}, {218, 343}, {107, 485},
{122, 500}, {186, 308}, {175, 288}, {248, 375}, {221, 338}, {33, 433}, {119,
487}, {187, 299}, {226, 370}, {121, 488}, {235, 378}, {34, 432}, {165, 311},
{137, 282}, {53, 417}, {126, 490}, {125, 489}, {119, 483}, {54, 418}, {222,
330}, {71, 466}, {252, 361}, {131, 278}, {212, 321}, {167, 305}, {170, 316},
{207, 345}, {94, 457}, {169, 318}, {216, 335}, {167, 319}, {68, 477}, {251,
354}, {47, 437}, {116, 494}, {168, 306}, {174, 308}, {175, 309}, {27, 384},
{105, 498}, {184, 291}, {138, 278}, {28, 385}, {110, 499}, {30, 387}, {91, 454},
{97, 508}, {228, 377}, {70, 472}, {95, 449}, {164, 314}, {173, 307}, {177, 303},
{29, 386}, {39, 440}, {57, 422}, {40, 392}, {122, 474}, {121, 473}, {120, 472},
{117, 469}, {115, 467}, {96, 448}, {170, 266}, {221, 381}, {38, 391}, {138,
299}, {117, 468}, {166, 263}, {206, 367}, {112, 466}, {118, 468}, {166, 260},
{37, 390}, {118, 469}, {216, 379}, {31, 443}, {103, 451}, {102, 450}, {72, 492},
{44, 393}, {115, 470}, {114, 471}, {103, 450}, {102, 451}, {100, 449}, {46,
395}, {53, 400}, {55, 402}, {169, 268}, {186, 287}, {192, 357}, {34, 388}, {125,
475}, {35, 389}, {71, 481}, {222, 376}, {231, 321}, {45, 394}, {54, 401}, {61,
405}, {111, 455}, {62, 406}, {63, 407}, {87, 511}, {68, 493}, {231, 333}, {56,
403}, {142, 293}, {133, 302}, {123, 464}, {73, 482}, {225, 330}, {104, 452},
{105, 453}, {164, 264}, {177, 285}, {70, 491}, {144, 317}, {235, 326}, {185,
279}, {41, 390}, {46, 385}, {59, 404}, {166, 265}, {228, 331}, {122, 459}, {248,
329}, {224, 337}, {28, 431}, {233, 346}, {87, 483}, {149, 289}, {168, 285},
{174, 283}, {184, 270}, {154, 301}, {158, 297}, {166, 273}, {240, 327}, {225,
344}, {236, 341}, {237, 340}, {210, 360}, {211, 361}, {230, 348}, {52, 399},
{167, 284}, {205, 374}, {45, 401}, {57, 389}, {49, 396}, {51, 398}, {50, 397},
{247, 328}, {110, 465}, {209, 272}, {233, 296}, {143, 332}, {146, 342}, {104,
429}, {158, 347}, {194, 260}, {107, 428}, {169, 366}, {170, 365}, {184, 383},
{85, 413}, {167, 367}, {150, 351}, {148, 350}, {218, 272}, {94, 405}, {186,
369}, {89, 405}, {90, 406}, {171, 359}, {66, 399}, {180, 377}, {194, 271}, {77,
387}, {93, 402}, {147, 348}, {164, 363}, {174, 353}, {209, 257}, {81, 384},
{108, 445}, {84, 389}, {160, 369}, {119, 421}, {161, 370}, {177, 354}, {97,
437}, {163, 375}, {209, 261}, {231, 307}, {74, 415}, {116, 417}, {194, 279},
{211, 262}, {241, 292}, {109, 442}, {116, 419}, {162, 373}, {210, 261}, {80,
392}, {168, 368}, {30, 455}, {142, 343}, {157, 324}, {165, 380}, {209, 264},
{245, 302}, {96, 444}, {160, 380}, {125, 416}, {175, 370}, {227, 318}, {27,
453}, {131, 349}, {72, 406}, {210, 269}, {135, 359}, {192, 288}, {151, 374},
{74, 424}, {154, 376}, {114, 400}, {188, 350}, {92, 447}, {91, 446}, {123, 414},
{181, 336}, {210, 311}, {77, 427}, {245, 275}, {104, 398}, {86, 432}, {120,
415}, {185, 350}, {81, 441}, {116, 412}, {82, 442}, {83, 443}, {168, 320}, {183,
351}, {207, 295}, {112, 409}, {137, 352}, {114, 411}, {86, 444}, {130, 360},
{126, 404}, {87, 445}, {35, 456}, {124, 407}, {211, 312}, {66, 430}, {245, 281},
{146, 382}, {114, 414}, {111, 387}, {175, 323}, {61, 464}, {115, 413}, {194,
300}, {38, 457}, {159, 368}, {106, 410}, {246, 262}, {211, 291}, {225, 273},
{122, 395}, {157, 364}, {160, 337}, {84, 422}, {153, 363}, {119, 388}, {155,
360}, {149, 358}, {58, 462}, {246, 258}, {59, 463}, {69, 433}, {71, 435}, {50,
455}, {246, 259}, {143, 378}, {140, 377}, {56, 461}, {110, 408}, {151, 353},
{146, 356}, {126, 392}, {123, 396}, {246, 257}, {156, 363}, {51, 459}, {52,
460}, {64, 440}, {98, 410}, {186, 322}, {127, 390}, {231, 286}, {76, 438}, {153,
355}, {152, 354}, {115, 393}, {77, 439}, {49, 458}, {67, 447}, {154, 358}, {123,
391}, {206, 306}, {141, 368}, {205, 304}, {215, 298}, {74, 436}, {245, 267},
{99, 413}, {75, 437}, {241, 271}, {78, 433}, {128, 383}, {156, 355}, {121, 512},
{208, 512}, {214, 512}, {252, 512} }>;
(II) A more general form is to represent the graph as the orbit of {256, 394}
under the group generated by the following permutations:
a: (108, 236) (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: (172, 203)
c: (191, 197)
d: (64, 146)
e: (129, 244)
f: (190, 213)
g: (46, 171)
h: (74, 133)
m: (6, 194)
n1: (15, 170)
a1: (11, 211)
b1: (16, 101)
c1: (31, 83)
d1: (153, 156)
e1: (86, 144)
f1: (49, 247)
g1: (199, 253)
h1: (126, 135)
m1: (2, 209)
n2: (3, 166)
a2: (202, 229)
b2: (40, 80)
c2: (71, 215)
d2: (45, 149)
e2: (163, 254)
f2: (68, 207)
g2: (119, 176)
h2: (77, 173)
m2: (116, 196)
n3: (57, 84)
a3: (21, 231)
b3: (189, 204)
c3: (82, 109)
d3: (179, 256)
e3: (2, 5)(3, 9, 67, 37)(4, 11)(6, 18, 217, 8)(7, 19, 45, 91)(10, 26)(12, 17,
22, 150)(13, 72, 28, 34)(14, 38)(15, 47, 179, 21)(16, 35, 50, 126)(20, 52)(23,
208, 108, 64)(24, 61)(25, 96, 198, 77)(27, 70, 58, 74)(29, 41)(30, 40, 54,
238)(31, 63, 39, 161)(32, 223, 245, 194)(33, 121, 71, 82)(36, 89)(42, 55, 117,
87)(43, 93, 118, 227)(44, 110, 189, 98)(46, 86, 57, 140)(48, 169, 186, 183)(49,
115)(51, 114)(53, 122, 191, 104)(56, 130)(59, 69, 148, 112)(60, 137)(62, 66)(65,
235, 250, 173)(68, 97, 132, 102)(73, 76)(75, 256, 231, 170)(78, 252, 215,
109)(79, 167, 149, 212)(80, 143, 239, 111)(81, 120)(83, 124, 174, 226)(84, 180,
171, 144)(85, 123)(88, 92, 127, 166)(90, 142)(95, 202, 119, 153)(99, 139)(100,
229, 176, 156)(101, 185, 205, 135)(103, 207, 240, 195)(105, 136)(106, 192, 162,
204)(107, 129)(113, 211)(116, 201)(125, 190)(128, 165)(131, 164, 187, 218)(133,
241, 158, 160)(138, 209)(141, 147)(145, 199)(146, 175, 214, 236)(151, 221, 233,
188)(152, 172)(154, 206)(155, 216)(159, 230)(168, 222)(177, 225)(178, 247)(181,
228, 242, 197)(182, 248)(184, 210)(193, 220)(196, 219)(200, 255)(203, 251)(213,
232)(224, 249)(234, 253)(237, 244)(257, 259)(258, 262)(260, 276, 447, 281)(261,
270)(263, 268, 322, 351)(264, 299, 272, 278)(265, 282, 294, 352)(266, 305, 394,
321)(267, 279, 304, 490)(269, 291)(271, 347, 462, 302)(273, 303, 344, 390)(274,
284, 401, 446)(275, 300, 283, 497)(277, 361, 298, 312)(280, 319, 289, 339)(285,
330)(286, 316, 372, 511)(287, 402, 362, 318)(288, 465, 486, 382)(290, 444, 422,
427)(292, 297, 369, 436)(293, 406, 343, 349)(295, 437, 510, 333)(296, 350, 374,
404)(301, 367, 358, 454)(306, 376)(307, 365, 326, 505)(308, 507, 313, 366)(309,
512, 481, 342)(310, 378, 502, 387)(311, 383)(314, 492, 385, 432)(315, 391)(317,
389, 397, 359)(320, 399)(323, 469, 445, 356)(324, 405)(325, 448, 487, 439)(327,
418, 450, 345)(328, 393, 373, 467)(329, 414)(331, 474, 421, 452)(332, 456, 455,
392)(334, 468, 483, 355)(335, 477, 379, 420)(336, 377, 395, 479)(337, 424, 453,
491)(338, 357, 408, 409)(340, 430)(341, 440, 370, 443)(346, 407, 353, 463)(348,
473, 435, 442)(354, 386)(360, 403)(363, 449, 431, 388)(364, 457)(368, 460)(371,
464)(375, 471)(380, 415, 384, 472)(381, 433, 488, 466)(396, 413)(398, 400, 459,
411)(410, 416, 499, 475)(412, 496)(417, 500, 494, 429)(419, 485)(423, 451, 493,
508)(425, 461)(426, 498)(428, 504)(434, 506)(438, 482)(441, 509)(458, 470)(476,
489)(478, 484)(480, 503)(495, 501)
f3: (61, 89)
g3: (145, 234)
h3: (120, 128)
m3: (18, 32)
n4: (12, 48)
a4: (115, 178)
b4: (56, 216)
c4: (91, 212)
d4: (217, 223)
e4: (104, 181)
f4: (20, 168)
g4: (193, 200)
h4: (201, 219)
m4: (42, 43)
n5: (38, 137)
a5: (152, 251)
b5: (148, 188)
c5: (28, 218)
d5: (95, 100)
e5: (52, 222)
f5: (13, 164)
g5: (208, 214)
h5: (6, 12)(8, 17)(9, 37)(13, 28)(15, 30)(16, 87)(18, 150)(19, 91)(21, 40)(22,
217)(23, 112)(25, 77)(31, 63)(32, 183)(33, 71)(35, 117)(39, 161)(42, 126)(43,
135)(44, 189)(46, 153)(47, 238)(48, 194)(50, 55)(54, 179)(57, 202)(59, 64)(65,
173)(69, 108)(70, 74)(75, 239)(78, 215)(80, 231)(83, 124)(84, 229)(86, 119)(88,
127)(93, 205)(95, 140)(96, 198)(97, 102)(100, 180)(101, 227)(103, 240)(104,
122)(111, 170)(118, 185)(133, 158)(143, 256)(144, 176)(146, 221)(148, 208)(151,
175)(156, 171)(164, 218)(167, 212)(169, 245)(174, 226)(181, 242)(186, 223)(188,
214)(192, 204)(233, 236)(235, 250)(260, 263)(264, 272)(266, 274)(267, 318)(268,
281)(271, 292)(275, 366)(276, 351)(277, 298)(279, 362)(282, 352)(283, 507)(284,
321)(286, 392)(287, 490)(288, 409)(290, 439)(293, 343)(295, 345)(296, 445)(297,
302)(300, 313)(303, 390)(304, 402)(305, 446)(307, 310)(308, 497)(309, 466)(314,
431)(316, 455)(317, 483)(319, 339)(322, 447)(323, 374)(325, 427)(326, 502)(327,
333)(331, 377)(332, 511)(334, 397)(335, 379)(336, 474)(338, 382)(341, 346)(342,
381)(347, 436)(348, 435)(350, 469)(353, 370)(355, 359)(356, 404)(357, 486)(363,
385)(365, 387)(367, 454)(369, 462)(372, 456)(378, 505)(388, 432)(389, 468)(393,
467)(394, 401)(395, 452)(398, 459)(407, 443)(408, 465)(415, 472)(416, 475)(418,
510)(421, 479)(422, 448)(424, 491)(429, 500)(433, 481)(437, 450)(440, 463)(444,
487)(449, 492)(451, 508)(488, 512)
m5: (67, 92)
n6: (161, 226)
a6: (98, 106)
b6: (5, 138)
c6: (47, 75)
d6: (62, 90)
e6: (55, 93)
f6: (3, 67)(6, 217)(7, 45)(8, 18)(9, 37)(12, 22)(13, 28)(15, 179)(16, 50)(17,
150)(19, 91)(21, 47)(23, 108)(25, 198)(27, 58)(30, 54)(31, 39)(32, 245)(33,
71)(34, 72)(35, 126)(40, 238)(42, 117)(43, 118)(44, 189)(46, 57)(48, 186)(53,
191)(55, 87)(59, 148)(63, 161)(64, 208)(65, 250)(68, 132)(69, 112)(70, 74)(75,
231)(77, 96)(78, 215)(79, 149)(80, 239)(82, 121)(83, 174)(84, 171)(86, 140)(88,
127)(92, 166)(93, 227)(95, 119)(97, 102)(98, 110)(100, 176)(101, 205)(103,
240)(104, 122)(106, 162)(109, 252)(111, 143)(124, 226)(131, 187)(133, 158)(135,
185)(144, 180)(146, 214)(151, 233)(153, 202)(156, 229)(160, 241)(164, 218)(167,
212)(169, 183)(170, 256)(173, 235)(175, 236)(181, 242)(188, 221)(192, 204)(194,
223)(195, 207)(197, 228)(260, 447)(263, 322)(264, 272)(265, 294)(266, 394)(267,
304)(268, 351)(271, 462)(273, 344)(274, 401)(275, 283)(276, 281)(277, 298)(278,
299)(279, 490)(280, 289)(282, 352)(284, 446)(286, 372)(287, 362)(288, 486)(290,
422)(292, 369)(293, 343)(295, 510)(296, 374)(297, 436)(300, 497)(301, 358)(302,
347)(303, 390)(305, 321)(307, 326)(308, 313)(309, 481)(310, 502)(312, 361)(314,
385)(316, 511)(317, 397)(318, 402)(319, 339)(323, 445)(325, 487)(327, 450)(328,
373)(331, 421)(332, 455)(333, 437)(334, 483)(335, 379)(336, 395)(337, 453)(338,
408)(341, 370)(342, 512)(345, 418)(346, 353)(348, 435)(349, 406)(350, 404)(355,
468)(356, 469)(357, 409)(359, 389)(363, 431)(365, 505)(366, 507)(367, 454)(377,
479)(378, 387)(380, 384)(381, 488)(382, 465)(388, 449)(392, 456)(393, 467)(398,
459)(400, 411)(407, 463)(410, 499)(415, 472)(416, 475)(417, 494)(420, 477)(423,
493)(424, 491)(427, 444)(429, 500)(432, 492)(433, 466)(439, 448)(440, 443)(442,
473)(451, 508)(452, 474)
g6: (30, 111)
h6: (9, 88)
m6: (102, 103)
n7: (33, 78)
a7: (59, 221)
b7: (66, 142)
c7: (132, 195)
d7: (130, 155)
e7: (7, 79)
f7: (26, 184)
g7: (97, 240)
h7: (70, 158)
m7: (1, 2)(3, 17, 45, 8)(4, 10)(5, 28, 11, 13)(6, 87, 54, 31)(7, 150, 67, 18)(9,
24, 37, 14)(12, 63, 179, 16)(15, 161, 22, 50)(19, 49, 91, 114)(20, 51)(21, 53,
40, 98)(23, 58, 112, 68)(25, 59, 42, 140)(26, 66)(27, 108, 132, 69)(29, 70, 73,
74)(30, 55, 217, 39)(32, 79, 183, 92)(33, 81, 71, 130)(34, 202, 121, 57)(35,
119, 96, 208)(36, 127, 60, 88)(38, 94)(41, 85)(43, 180, 65, 221)(44, 105, 189,
199)(46, 82, 153, 72)(47, 110, 238, 191)(48, 124, 256, 101)(52, 120)(56,
129)(61, 123)(62, 122, 141, 104)(64, 77, 95, 126)(75, 162, 239, 197)(76,
163)(78, 165, 215, 155)(80, 106, 231, 228)(83, 194, 227, 143)(84, 131, 229,
252)(86, 117, 148, 198)(89, 139)(90, 242, 159, 181)(93, 223, 174, 111)(97, 190,
102, 116)(99, 177)(100, 135, 146, 173)(103, 196, 240, 213)(107, 201)(109, 156,
187, 171)(113, 210)(115, 152)(118, 188, 250, 144)(125, 220)(128, 222)(133, 225,
158, 154)(134, 147)(136, 172)(137, 157)(138, 218, 211, 164)(142, 184)(145,
193)(149, 245, 166, 169)(151, 207, 175, 160)(167, 247, 212, 182)(168, 248)(170,
226, 186, 205)(176, 235, 214, 185)(178, 251)(192, 224, 204, 253)(195, 233, 241,
236)(200, 234)(203, 249)(206, 254)(209, 246)(216, 244)(219, 237)(230, 243)(232,
255)(258, 261)(259, 272, 262, 264)(260, 318, 401, 275)(263, 366, 394, 267)(265,
268, 289, 281)(266, 507, 322, 304)(270, 343, 291, 293)(271, 445, 418, 346)(273,
297, 358, 302)(274, 402, 447, 283)(276, 280, 351, 294)(277, 311, 298, 360)(278,
431, 361, 314)(279, 483, 378, 443)(282, 324, 352, 364)(284, 328, 321, 400)(285,
329)(286, 377, 310, 338)(287, 397, 365, 463)(288, 337, 409, 493)(290, 381, 355,
492)(292, 341, 510, 296)(295, 370, 369, 374)(299, 385, 312, 363)(300, 511, 332,
313)(301, 436, 344, 347)(303, 371, 390, 315)(305, 373, 446, 411)(306, 375)(307,
331, 392, 382)(308, 455, 316, 497)(309, 380, 466, 477)(317, 362, 407, 505)(319,
396, 339, 414)(320, 459, 368, 398)(323, 462, 353, 345)(325, 404, 356, 427)(326,
465, 456, 421)(327, 410, 333, 417)(330, 472, 376, 415)(334, 490, 440, 387)(335,
419, 379, 476)(336, 349, 474, 473)(340, 500, 428, 429)(342, 439, 449, 359)(348,
441, 435, 425)(350, 487, 444, 469)(354, 413)(357, 453, 486, 423)(367, 458, 454,
471)(372, 408, 502, 479)(383, 399)(384, 481, 420, 433)(386, 491, 482, 424)(388,
448, 512, 389)(391, 405)(393, 484, 467, 506)(395, 442, 452, 406)(403, 430)(412,
508, 495, 451)(416, 498, 475, 503)(422, 432, 468, 488)(426, 434)(437, 499, 450,
494)(438, 470)(460, 509)(461, 504)(489, 496)
n8: (58, 160)
a8: (220, 255)
b8: (105, 224)
c8: (54, 143)
d8: (94, 157)
e8: (85, 99)
f8: (87, 227)
g8: (17, 169)
h8: (141, 159)
m8: (198, 250)
n9: (63, 124)
a9: (125, 232)
b9: (23, 175)
c9: (27, 241)
d9: (122, 242)
e9: (73, 154)
f9: (44, 192)
g9: (112, 151)
h9: (25, 65)
m9: (22, 186)
n10: (53, 228)
a10: (35, 185)
b10: (134, 243)
c10: (24, 36)
d10: (96, 235)
e10: (19, 167)
f10: (34, 131)
g10: (117, 118)
h10: (140, 180)
m10: (10, 210)
n11: (41, 177)
a11: (72, 187)
b11: (238, 239)
c11: (81, 165)
d11: (107, 237)
e11: (76, 206)
f11: (4, 113)
g11: (150, 183)
h11: (14, 60)
m11: (110, 162)
n12: (37, 127)
a12: (51, 248)
b12: (39, 174)
c12: (147, 230)
d12: (121, 252)
e12: (123, 139)
f12: (2, 4)(3, 67)(6, 217)(7, 45)(8, 21)(9, 19)(12, 22)(13, 33)(15, 179)(16,
77)(17, 40)(18, 47)(23, 57)(25, 87)(27, 58)(28, 71)(30, 54)(31, 42)(32, 75)(34,
72)(35, 161)(37, 91)(38, 61)(39, 117)(41, 76)(43, 83)(44, 104)(46, 108)(48,
186)(50, 96)(51, 115)(53, 191)(55, 198)(56, 120)(59, 148)(63, 126)(64, 208)(65,
227)(66, 147)(68, 132)(69, 153)(70, 97)(74, 102)(78, 164)(79, 149)(80, 169)(82,
121)(84, 175)(86, 140)(88, 167)(89, 137)(92, 166)(93, 250)(95, 119)(98,
110)(100, 176)(101, 173)(103, 133)(106, 162)(109, 252)(111, 143)(112, 202)(113,
209)(118, 174)(122, 189)(124, 135)(125, 201)(127, 212)(128, 216)(131, 187)(136,
145)(142, 230)(144, 180)(146, 214)(150, 238)(151, 229)(156, 233)(158, 240)(160,
241)(170, 256)(171, 236)(177, 206)(178, 248)(181, 192)(183, 239)(185, 226)(188,
221)(194, 223)(195, 207)(197, 228)(204, 242)(205, 235)(215, 218)(219, 232)(231,
245)(234, 249)(257, 258)(260, 447)(261, 269)(263, 322)(264, 277)(265, 294)(266,
394)(267, 307)(268, 284)(271, 462)(272, 298)(273, 344)(274, 401)(275, 286)(276,
305)(278, 299)(279, 497)(280, 289)(281, 321)(282, 319)(283, 372)(285, 306)(287,
313)(288, 336)(290, 445)(292, 369)(293, 348)(295, 510)(296, 439)(297, 327)(300,
490)(301, 358)(302, 333)(303, 367)(304, 326)(308, 362)(309, 314)(310, 318)(312,
361)(316, 505)(317, 427)(323, 422)(325, 483)(328, 373)(329, 413)(331, 421)(332,
387)(334, 487)(335, 415)(337, 453)(338, 408)(339, 352)(341, 359)(342, 512)(343,
435)(345, 418)(346, 355)(347, 437)(349, 406)(350, 463)(351, 446)(353, 468)(354,
438)(356, 443)(357, 452)(363, 433)(365, 511)(366, 392)(370, 389)(374, 448)(375,
470)(377, 479)(378, 455)(379, 472)(380, 384)(381, 488)(382, 465)(383, 403)(385,
481)(388, 449)(390, 454)(391, 464)(393, 398)(395, 486)(397, 444)(399, 460)(400,
411)(402, 502)(404, 407)(405, 457)(409, 474)(410, 499)(416, 429)(417, 494)(420,
477)(423, 493)(424, 451)(426, 480)(430, 504)(431, 466)(432, 492)(434, 478)(436,
450)(440, 469)(442, 473)(456, 507)(459, 467)(461, 509)(475, 500)(485, 489)(491,
508)(496, 501)
g12: (69, 233)
h12: (136, 249)
m12: (114, 182)
n13: (50, 205)
C4[ 512, 365 ]
512
-1 257 258 259 262
-2 264 257 261 272
-3 265 260 273 263
-4 298 277 258 269
-5 299 278 259 270
-6 300 279 260 271
-7 266 301 280 274
-8 275 267 302 281
-9 276 268 303 282
-10 311 269 261 360
-11 312 291 262 361
-12 313 292 263 362
-13 264 363 314 293
-14 265 364 315 294
-15 266 365 316 295
-16 332 267 317 296
-17 297 366 268 318
-18 276 347 304 283
-19 319 367 305 284
-20 320 368 306 285
-21 286 321 333 307
-22 308 287 322 369
-23 309 288 323 370
-24 289 280 324 371
-25 310 365 290 325
-26 291 270 403 383
-27 453 292 271 384
-28 385 343 431 272
-29 330 386 344 273
-30 387 345 455 274
-31 275 443 313 346
-32 276 347 304 283
-33 309 277 433 348
-34 278 388 432 349
-35 279 389 456 350
-36 289 280 324 371
-37 352 390 281 351
-38 352 391 457 282
-39 308 440 353 283
-40 310 392 327 284
-41 354 390 303 285
-42 286 287 355 356
-43 286 287 355 356
-44 288 357 393 416
-45 289 401 358 394
-46 385 290 359 395
-47 326 305 437 372
-48 313 292 263 362
-49 396 458 328 373
-50 374 397 455 304
-51 375 398 459 329
-52 330 376 399 460
-53 331 377 400 417
-54 418 332 378 401
-55 323 334 402 316
-56 335 379 403 461
-57 389 422 314 336
-58 462 369 380 337
-59 463 381 338 404
-60 265 364 315 294
-61 319 464 339 405
-62 320 349 340 406
-63 341 407 300 366
-64 440 342 356 382
-65 310 365 290 325
-66 430 343 399 293
-67 322 344 447 294
-68 345 477 295 493
-69 433 346 357 296
-70 297 347 491 472
-71 298 466 435 481
-72 299 492 449 406
-73 376 301 358 482
-74 302 424 436 415
-75 326 305 437 372
-76 454 367 306 438
-77 387 427 307 439
-78 309 277 433 348
-79 266 301 280 274
-80 310 392 327 284
-81 441 311 380 384
-82 342 442 312 381
-83 275 443 313 346
-84 389 422 314 336
-85 413 315 371 329
-86 432 444 479 317
-87 445 511 318 483
-88 276 268 303 282
-89 319 464 339 405
-90 320 349 340 406
-91 321 454 446 339
-92 322 344 447 294
-93 323 334 402 316
-94 364 324 457 405
-95 331 334 325 449
-96 378 444 326 448
-97 508 379 327 437
-98 410 338 382 328
-99 413 315 371 329
-100 331 334 325 449
-101 332 267 317 296
-102 451 333 335 450
-103 451 333 335 450
-104 429 452 398 336
-105 484 453 498 337
-106 410 338 382 328
-107 485 489 340 428
-108 341 486 445 481
-109 342 442 312 381
-110 408 465 499 373
-111 387 345 455 274
-112 374 353 409 466
-113 298 277 258 269
-114 400 411 414 471
-115 467 413 393 470
-116 419 412 417 494
-117 468 469 372 362
-118 468 469 372 362
-119 388 421 487 483
-120 509 415 383 472
-121 473 488 512 361
-122 474 500 459 395
-123 396 464 391 414
-124 341 407 300 366
-125 475 489 501 416
-126 490 359 392 404
-127 352 390 281 351
-128 509 415 383 472
-129 419 430 476 504
-130 420 477 425 360
-131 278 388 432 349
-132 418 420 510 423
-133 302 424 436 415
-134 441 509 425 461
-135 490 359 392 404
-136 478 424 491 426
-137 352 391 457 282
-138 299 278 259 270
-139 396 464 391 414
-140 397 377 492 427
-141 473 442 368 428
-142 430 343 399 293
-143 418 332 378 401
-144 432 444 479 317
-145 451 508 434 480
-146 440 342 356 382
-147 435 348 460 504
-148 407 408 488 350
-149 289 401 358 394
-150 507 402 436 351
-151 374 353 409 466
-152 484 506 354 438
-153 363 452 355 439
-154 376 301 358 482
-155 420 477 425 360
-156 363 452 355 439
-157 364 324 457 405
-158 297 347 491 472
-159 473 442 368 428
-160 462 369 380 337
-161 463 507 497 370
-162 408 465 499 373
-163 375 458 470 471
-164 264 363 314 293
-165 441 311 380 384
-166 265 260 273 263
-167 319 367 305 284
-168 320 368 306 285
-169 297 366 268 318
-170 266 365 316 295
-171 385 290 359 395
-172 386 434 478 482
-173 387 427 307 439
-174 308 440 353 283
-175 309 288 323 370
-176 388 421 487 483
-177 354 390 303 285
-178 467 413 393 470
-179 510 511 394 505
-180 397 377 492 427
-181 429 452 398 336
-182 400 411 414 471
-183 507 402 436 351
-184 291 270 403 383
-185 279 389 456 350
-186 308 287 322 369
-187 299 492 449 406
-188 407 408 488 350
-189 409 475 486 467
-190 495 410 476 499
-191 421 411 479 494
-192 288 357 393 416
-193 495 412 480 426
-194 300 279 260 271
-195 418 420 510 423
-196 419 412 417 494
-197 421 411 479 494
-198 487 422 502 505
-199 506 423 503 493
-200 495 412 480 426
-201 429 485 496 500
-202 474 431 468 448
-203 386 434 478 482
-204 409 475 486 467
-205 374 397 455 304
-206 454 367 306 438
-207 345 477 295 493
-208 443 465 512 469
-209 264 257 261 272
-210 311 269 261 360
-211 312 291 262 361
-212 321 454 446 339
-213 495 410 476 499
-214 443 465 512 469
-215 298 466 435 481
-216 335 379 403 461
-217 462 497 490 447
-218 385 343 431 272
-219 429 485 496 500
-220 496 498 501 503
-221 463 381 338 404
-222 330 376 399 460
-223 462 497 490 447
-224 484 453 498 337
-225 330 386 344 273
-226 463 507 497 370
-227 445 511 318 483
-228 331 377 400 417
-229 474 431 468 448
-230 435 348 460 504
-231 286 321 333 307
-232 475 489 501 416
-233 433 346 357 296
-234 451 508 434 480
-235 378 444 326 448
-236 341 486 445 481
-237 485 489 340 428
-238 456 446 502 450
-239 456 446 502 450
-240 508 379 327 437
-241 453 292 271 384
-242 474 500 459 395
-243 441 509 425 461
-244 419 430 476 504
-245 275 267 302 281
-246 257 258 259 262
-247 396 458 328 373
-248 375 398 459 329
-249 478 424 491 426
-250 487 422 502 505
-251 484 506 354 438
-252 473 488 512 361
-253 506 423 503 493
-254 375 458 470 471
-255 496 498 501 503
-256 510 511 394 505
-257 209 1 2 246
-258 1 113 4 246
-259 1 246 5 138
-260 166 3 6 194
-261 209 210 2 10
-262 11 1 211 246
-263 12 166 3 48
-264 209 2 13 164
-265 166 3 14 60
-266 79 15 170 7
-267 101 245 16 8
-268 88 169 17 9
-269 210 113 4 10
-270 26 5 138 184
-271 27 6 194 241
-272 209 2 28 218
-273 166 3 225 29
-274 111 79 7 30
-275 245 83 8 31
-276 88 18 9 32
-277 33 78 113 4
-278 34 5 138 131
-279 35 6 194 185
-280 24 79 36 7
-281 245 37 127 8
-282 88 38 137 9
-283 39 18 174 32
-284 167 80 40 19
-285 177 168 41 20
-286 231 42 21 43
-287 22 42 43 186
-288 44 23 192 175
-289 45 24 36 149
-290 46 25 171 65
-291 11 211 26 184
-292 12 48 27 241
-293 66 13 142 164
-294 67 14 92 60
-295 68 15 170 207
-296 101 233 69 16
-297 70 158 169 17
-298 113 4 71 215
-299 187 5 72 138
-300 124 6 194 63
-301 154 79 7 73
-302 133 245 8 74
-303 88 177 41 9
-304 50 18 205 32
-305 167 47 19 75
-306 168 206 20 76
-307 77 231 173 21
-308 22 39 174 186
-309 33 23 78 175
-310 25 80 40 65
-311 165 210 81 10
-312 11 211 82 109
-313 12 48 83 31
-314 13 57 84 164
-315 99 14 60 85
-316 55 15 93 170
-317 144 101 16 86
-318 169 17 227 87
-319 89 167 61 19
-320 90 168 62 20
-321 231 91 212 21
-322 22 67 92 186
-323 55 23 93 175
-324 24 36 157 94
-325 100 25 95 65
-326 47 235 96 75
-327 80 40 97 240
-328 49 247 106 98
-329 99 248 51 85
-330 222 225 29 52
-331 100 95 228 53
-332 143 101 16 54
-333 231 102 103 21
-334 55 100 93 95
-335 56 102 103 216
-336 57 104 181 84
-337 58 224 105 160
-338 221 59 106 98
-339 89 91 212 61
-340 90 237 62 107
-341 124 236 63 108
-342 146 82 64 109
-343 66 28 218 142
-344 67 92 225 29
-345 111 68 30 207
-346 233 69 83 31
-347 70 158 18 32
-348 33 78 147 230
-349 34 90 62 131
-350 188 35 148 185
-351 37 127 150 183
-352 37 38 137 127
-353 112 39 151 174
-354 177 41 152 251
-355 156 42 43 153
-356 146 42 64 43
-357 44 233 69 192
-358 154 45 149 73
-359 46 135 126 171
-360 155 210 130 10
-361 11 121 211 252
-362 12 48 117 118
-363 13 156 153 164
-364 14 157 60 94
-365 25 15 170 65
-366 124 169 17 63
-367 167 19 206 76
-368 168 159 20 141
-369 22 58 160 186
-370 23 226 161 175
-371 99 24 36 85
-372 47 117 118 75
-373 110 49 247 162
-374 112 50 205 151
-375 254 248 51 163
-376 154 222 73 52
-377 180 140 228 53
-378 143 235 96 54
-379 56 216 97 240
-380 165 58 81 160
-381 221 59 82 109
-382 146 106 64 98
-383 26 128 184 120
-384 165 81 27 241
-385 46 28 171 218
-386 203 225 29 172
-387 77 111 30 173
-388 176 34 119 131
-389 35 57 84 185
-390 177 37 127 41
-391 123 38 137 139
-392 80 135 126 40
-393 44 178 115 192
-394 45 179 256 149
-395 242 122 46 171
-396 123 49 247 139
-397 180 50 205 140
-398 104 181 248 51
-399 66 222 52 142
-400 114 182 228 53
-401 143 45 149 54
-402 55 93 150 183
-403 56 26 216 184
-404 221 135 59 126
-405 89 157 61 94
-406 187 90 72 62
-407 188 124 148 63
-408 110 188 148 162
-409 112 189 204 151
-410 190 213 106 98
-411 114 191 182 197
-412 200 116 193 196
-413 99 178 115 85
-414 123 114 182 139
-415 133 128 74 120
-416 44 232 125 192
-417 116 228 53 196
-418 132 143 195 54
-419 244 116 129 196
-420 132 155 195 130
-421 176 191 119 197
-422 198 57 84 250
-423 132 253 199 195
-424 133 136 249 74
-425 155 243 134 130
-426 200 136 193 249
-427 77 180 140 173
-428 159 237 107 141
-429 201 104 181 219
-430 66 244 129 142
-431 202 28 218 229
-432 34 144 86 131
-433 33 78 233 69
-434 145 234 203 172
-435 147 71 215 230
-436 133 150 183 74
-437 47 75 97 240
-438 206 152 251 76
-439 77 156 173 153
-440 146 39 64 174
-441 165 243 134 81
-442 82 159 141 109
-443 214 83 31 208
-444 144 235 96 86
-445 236 227 108 87
-446 91 212 238 239
-447 67 223 92 217
-448 202 235 96 229
-449 187 100 72 95
-450 102 103 238 239
-451 145 102 234 103
-452 156 104 181 153
-453 224 27 105 241
-454 91 212 206 76
-455 111 50 205 30
-456 35 238 239 185
-457 157 38 137 94
-458 254 49 247 163
-459 242 122 248 51
-460 222 147 52 230
-461 56 243 134 216
-462 58 223 160 217
-463 221 59 226 161
-464 89 123 61 139
-465 110 214 162 208
-466 112 71 215 151
-467 178 189 115 204
-468 202 117 118 229
-469 214 117 118 208
-470 254 178 115 163
-471 254 114 182 163
-472 70 158 128 120
-473 121 159 141 252
-474 242 122 202 229
-475 232 189 125 204
-476 244 190 213 129
-477 155 68 130 207
-478 136 203 172 249
-479 144 191 86 197
-480 145 200 234 193
-481 71 236 215 108
-482 154 203 73 172
-483 176 227 119 87
-484 224 105 152 251
-485 201 237 107 219
-486 189 236 204 108
-487 176 198 250 119
-488 121 188 148 252
-489 232 125 237 107
-490 135 223 126 217
-491 70 136 158 249
-492 187 180 72 140
-493 253 199 68 207
-494 191 116 196 197
-495 200 190 213 193
-496 220 255 201 219
-497 223 226 161 217
-498 220 255 224 105
-499 110 190 213 162
-500 242 122 201 219
-501 220 232 255 125
-502 198 238 239 250
-503 220 253 199 255
-504 244 147 129 230
-505 198 179 256 250
-506 253 199 152 251
-507 226 150 161 183
-508 145 234 97 240
-509 243 134 128 120
-510 132 179 256 195
-511 179 256 227 87
-512 121 214 208 252
0