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