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