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