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