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