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