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