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