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